1553946234.697 * [progress]: [Phase 1 of 3] Setting up. 1553946234.698 * * * [progress]: [1/2] Preparing points 1553946234.991 * * * [progress]: [2/2] Setting up program. 1553946234.995 * [progress]: [Phase 2 of 3] Improving. 1553946234.995 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553946234.996 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1553946234.997 * * [simplify]: iters left: 4 (7 enodes) 1553946235.009 * * [simplify]: iters left: 3 (29 enodes) 1553946235.475 * * [simplify]: iters left: 2 (50 enodes) 1553946235.496 * * [simplify]: iters left: 1 (72 enodes) 1553946235.519 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.520 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946235.520 * * [simplify]: Extracting #2: cost 16 inf + 0 1553946235.521 * * [simplify]: Extracting #3: cost 21 inf + 360 1553946235.521 * * [simplify]: Extracting #4: cost 12 inf + 1582 1553946235.522 * * [simplify]: Extracting #5: cost 1 inf + 2933 1553946235.523 * * [simplify]: Extracting #6: cost 0 inf + 2972 1553946235.524 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1553946235.524 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.538 * * [progress]: iteration 1 / 4 1553946235.538 * * * [progress]: picking best candidate 1553946235.542 * * * * [pick]: Picked # 1553946235.543 * * * [progress]: localizing error 1553946235.568 * * * [progress]: generating rewritten candidates 1553946235.568 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1553946235.572 * * * [progress]: generating series expansions 1553946235.572 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1553946235.576 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553946235.576 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946235.577 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946235.579 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946235.579 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946235.579 * [taylor]: Taking taylor expansion of (exp c) in c 1553946235.579 * [taylor]: Taking taylor expansion of c in c 1553946235.579 * [backup-simplify]: Simplify 0 into 0 1553946235.579 * [backup-simplify]: Simplify 1 into 1 1553946235.579 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.579 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946235.579 * [taylor]: Taking taylor expansion of (- c) in c 1553946235.579 * [taylor]: Taking taylor expansion of c in c 1553946235.579 * [backup-simplify]: Simplify 0 into 0 1553946235.579 * [backup-simplify]: Simplify 1 into 1 1553946235.580 * [backup-simplify]: Simplify (- 0) into 0 1553946235.580 * [backup-simplify]: Simplify (- 1) into -1 1553946235.580 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.580 * [taylor]: Taking taylor expansion of 2 in c 1553946235.580 * [backup-simplify]: Simplify 2 into 2 1553946235.581 * [backup-simplify]: Simplify (- 1) into -1 1553946235.582 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946235.583 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946235.583 * [backup-simplify]: Simplify (- 1) into -1 1553946235.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946235.585 * [backup-simplify]: Simplify (- -1) into 1 1553946235.585 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946235.586 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946235.586 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946235.586 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946235.586 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946235.586 * [taylor]: Taking taylor expansion of (exp c) in c 1553946235.586 * [taylor]: Taking taylor expansion of c in c 1553946235.586 * [backup-simplify]: Simplify 0 into 0 1553946235.586 * [backup-simplify]: Simplify 1 into 1 1553946235.586 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.586 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946235.586 * [taylor]: Taking taylor expansion of (- c) in c 1553946235.586 * [taylor]: Taking taylor expansion of c in c 1553946235.586 * [backup-simplify]: Simplify 0 into 0 1553946235.586 * [backup-simplify]: Simplify 1 into 1 1553946235.586 * [backup-simplify]: Simplify (- 0) into 0 1553946235.587 * [backup-simplify]: Simplify (- 1) into -1 1553946235.587 * [backup-simplify]: Simplify (exp 0) into 1 1553946235.587 * [taylor]: Taking taylor expansion of 2 in c 1553946235.587 * [backup-simplify]: Simplify 2 into 2 1553946235.587 * [backup-simplify]: Simplify (- 1) into -1 1553946235.587 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946235.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946235.589 * [backup-simplify]: Simplify (- 1) into -1 1553946235.590 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946235.590 * [backup-simplify]: Simplify (- -1) into 1 1553946235.590 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946235.591 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946235.591 * [backup-simplify]: Simplify 1 into 1 1553946235.593 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946235.594 * [backup-simplify]: Simplify (- 1) into -1 1553946235.594 * [backup-simplify]: Simplify (- 0) into 0 1553946235.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946235.596 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946235.596 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946235.597 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946235.597 * [backup-simplify]: Simplify 0 into 0 1553946235.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946235.600 * [backup-simplify]: Simplify (- 1) into -1 1553946235.600 * [backup-simplify]: Simplify (- 1) into -1 1553946235.613 * [backup-simplify]: Simplify (- 0) into 0 1553946235.613 * [backup-simplify]: Simplify (- 0) into 0 1553946235.615 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946235.616 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946235.616 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946235.617 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946235.617 * [backup-simplify]: Simplify 1/6 into 1/6 1553946235.621 * [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 1553946235.622 * [backup-simplify]: Simplify (- 1) into -1 1553946235.622 * [backup-simplify]: Simplify (- 1) into -1 1553946235.622 * [backup-simplify]: Simplify (- 0) into 0 1553946235.623 * [backup-simplify]: Simplify (- 1) into -1 1553946235.623 * [backup-simplify]: Simplify (- 0) into 0 1553946235.623 * [backup-simplify]: Simplify (- 0) into 0 1553946235.623 * [backup-simplify]: Simplify (- 0) into 0 1553946235.627 * [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 1553946235.628 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946235.628 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946235.629 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946235.629 * [backup-simplify]: Simplify 0 into 0 1553946235.634 * [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 1553946235.634 * [backup-simplify]: Simplify (- 1) into -1 1553946235.635 * [backup-simplify]: Simplify (- 1) into -1 1553946235.635 * [backup-simplify]: Simplify (- 0) into 0 1553946235.635 * [backup-simplify]: Simplify (- 1) into -1 1553946235.635 * [backup-simplify]: Simplify (- 0) into 0 1553946235.636 * [backup-simplify]: Simplify (- 1) into -1 1553946235.636 * [backup-simplify]: Simplify (- 0) into 0 1553946235.636 * [backup-simplify]: Simplify (- 1) into -1 1553946235.636 * [backup-simplify]: Simplify (- 0) into 0 1553946235.636 * [backup-simplify]: Simplify (- 0) into 0 1553946235.637 * [backup-simplify]: Simplify (- 0) into 0 1553946235.637 * [backup-simplify]: Simplify (- 0) into 0 1553946235.640 * [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 1553946235.640 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946235.641 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946235.642 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946235.642 * [backup-simplify]: Simplify 1/120 into 1/120 1553946235.646 * [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)) 1553946235.646 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553946235.646 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946235.646 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946235.646 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946235.646 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946235.646 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946235.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.646 * [taylor]: Taking taylor expansion of c in c 1553946235.646 * [backup-simplify]: Simplify 0 into 0 1553946235.646 * [backup-simplify]: Simplify 1 into 1 1553946235.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.647 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946235.647 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946235.647 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946235.647 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.647 * [taylor]: Taking taylor expansion of c in c 1553946235.647 * [backup-simplify]: Simplify 0 into 0 1553946235.647 * [backup-simplify]: Simplify 1 into 1 1553946235.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.648 * [backup-simplify]: Simplify (- 1) into -1 1553946235.648 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946235.648 * [taylor]: Taking taylor expansion of 2 in c 1553946235.648 * [backup-simplify]: Simplify 2 into 2 1553946235.648 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946235.648 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946235.648 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946235.648 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946235.649 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946235.649 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946235.649 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946235.649 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.649 * [taylor]: Taking taylor expansion of c in c 1553946235.649 * [backup-simplify]: Simplify 0 into 0 1553946235.649 * [backup-simplify]: Simplify 1 into 1 1553946235.649 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.649 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946235.649 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946235.649 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946235.649 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946235.649 * [taylor]: Taking taylor expansion of c in c 1553946235.649 * [backup-simplify]: Simplify 0 into 0 1553946235.649 * [backup-simplify]: Simplify 1 into 1 1553946235.650 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946235.650 * [backup-simplify]: Simplify (- 1) into -1 1553946235.650 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946235.650 * [taylor]: Taking taylor expansion of 2 in c 1553946235.650 * [backup-simplify]: Simplify 2 into 2 1553946235.650 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946235.650 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946235.651 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946235.651 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946235.651 * [backup-simplify]: Simplify (- 0) into 0 1553946235.651 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.652 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946235.652 * [backup-simplify]: Simplify 0 into 0 1553946235.653 * [backup-simplify]: Simplify (- 0) into 0 1553946235.653 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.654 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.654 * [backup-simplify]: Simplify 0 into 0 1553946235.655 * [backup-simplify]: Simplify (- 0) into 0 1553946235.655 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.657 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.657 * [backup-simplify]: Simplify 0 into 0 1553946235.657 * [backup-simplify]: Simplify (- 0) into 0 1553946235.657 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.660 * [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 1553946235.660 * [backup-simplify]: Simplify 0 into 0 1553946235.660 * [backup-simplify]: Simplify (- 0) into 0 1553946235.660 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.663 * [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 1553946235.663 * [backup-simplify]: Simplify 0 into 0 1553946235.663 * [backup-simplify]: Simplify (- 0) into 0 1553946235.664 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.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)) (* 0 (/ 0 2)))) into 0 1553946235.667 * [backup-simplify]: Simplify 0 into 0 1553946235.667 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946235.667 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553946235.667 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946235.667 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946235.667 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946235.667 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946235.667 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946235.667 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.667 * [taylor]: Taking taylor expansion of -1 in c 1553946235.667 * [backup-simplify]: Simplify -1 into -1 1553946235.667 * [taylor]: Taking taylor expansion of c in c 1553946235.667 * [backup-simplify]: Simplify 0 into 0 1553946235.667 * [backup-simplify]: Simplify 1 into 1 1553946235.668 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.668 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946235.668 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946235.668 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946235.668 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.668 * [taylor]: Taking taylor expansion of -1 in c 1553946235.668 * [backup-simplify]: Simplify -1 into -1 1553946235.668 * [taylor]: Taking taylor expansion of c in c 1553946235.668 * [backup-simplify]: Simplify 0 into 0 1553946235.668 * [backup-simplify]: Simplify 1 into 1 1553946235.668 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.669 * [backup-simplify]: Simplify (- -1) into 1 1553946235.669 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946235.669 * [taylor]: Taking taylor expansion of 2 in c 1553946235.669 * [backup-simplify]: Simplify 2 into 2 1553946235.669 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946235.669 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946235.669 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946235.669 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946235.669 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946235.669 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946235.669 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946235.669 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.669 * [taylor]: Taking taylor expansion of -1 in c 1553946235.669 * [backup-simplify]: Simplify -1 into -1 1553946235.669 * [taylor]: Taking taylor expansion of c in c 1553946235.669 * [backup-simplify]: Simplify 0 into 0 1553946235.669 * [backup-simplify]: Simplify 1 into 1 1553946235.670 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.670 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946235.670 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946235.670 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946235.670 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946235.670 * [taylor]: Taking taylor expansion of -1 in c 1553946235.670 * [backup-simplify]: Simplify -1 into -1 1553946235.670 * [taylor]: Taking taylor expansion of c in c 1553946235.670 * [backup-simplify]: Simplify 0 into 0 1553946235.670 * [backup-simplify]: Simplify 1 into 1 1553946235.671 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946235.671 * [backup-simplify]: Simplify (- -1) into 1 1553946235.671 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946235.671 * [taylor]: Taking taylor expansion of 2 in c 1553946235.671 * [backup-simplify]: Simplify 2 into 2 1553946235.671 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946235.671 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946235.672 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946235.672 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946235.672 * [backup-simplify]: Simplify (- 0) into 0 1553946235.672 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.673 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946235.673 * [backup-simplify]: Simplify 0 into 0 1553946235.674 * [backup-simplify]: Simplify (- 0) into 0 1553946235.674 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.675 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.675 * [backup-simplify]: Simplify 0 into 0 1553946235.676 * [backup-simplify]: Simplify (- 0) into 0 1553946235.676 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.678 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946235.678 * [backup-simplify]: Simplify 0 into 0 1553946235.678 * [backup-simplify]: Simplify (- 0) into 0 1553946235.679 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.681 * [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 1553946235.681 * [backup-simplify]: Simplify 0 into 0 1553946235.681 * [backup-simplify]: Simplify (- 0) into 0 1553946235.681 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.684 * [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 1553946235.684 * [backup-simplify]: Simplify 0 into 0 1553946235.685 * [backup-simplify]: Simplify (- 0) into 0 1553946235.685 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946235.688 * [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 1553946235.688 * [backup-simplify]: Simplify 0 into 0 1553946235.688 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946235.688 * * * [progress]: simplifying candidates 1553946235.688 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 1553946235.688 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 1553946235.688 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 1553946235.689 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946235.689 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 1553946235.689 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946235.690 * * [simplify]: iters left: 6 (11 enodes) 1553946235.696 * * [simplify]: iters left: 5 (44 enodes) 1553946235.708 * * [simplify]: iters left: 4 (66 enodes) 1553946235.729 * * [simplify]: iters left: 3 (102 enodes) 1553946235.752 * * [simplify]: iters left: 2 (114 enodes) 1553946235.766 * * [simplify]: iters left: 1 (122 enodes) 1553946235.790 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.791 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946235.791 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946235.792 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946235.793 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946235.794 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946235.796 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946235.798 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946235.798 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.798 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 1553946235.798 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946235.798 * * [simplify]: iters left: 6 (7 enodes) 1553946235.802 * * [simplify]: iters left: 5 (26 enodes) 1553946235.810 * * [simplify]: iters left: 4 (42 enodes) 1553946235.822 * * [simplify]: iters left: 3 (62 enodes) 1553946235.842 * * [simplify]: iters left: 2 (82 enodes) 1553946235.862 * * [simplify]: iters left: 1 (86 enodes) 1553946235.876 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.876 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946235.877 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946235.877 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946235.877 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946235.877 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946235.878 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946235.878 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946235.878 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.878 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 1553946235.879 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946235.879 * * [simplify]: iters left: 6 (8 enodes) 1553946235.881 * * [simplify]: iters left: 5 (31 enodes) 1553946235.887 * * [simplify]: iters left: 4 (45 enodes) 1553946235.895 * * [simplify]: iters left: 3 (67 enodes) 1553946235.907 * * [simplify]: iters left: 2 (89 enodes) 1553946235.923 * * [simplify]: iters left: 1 (93 enodes) 1553946235.942 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946235.942 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946235.943 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946235.943 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946235.943 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946235.944 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946235.945 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946235.945 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946235.945 * * * [progress]: adding candidates to table 1553946236.085 * * [progress]: iteration 2 / 4 1553946236.085 * * * [progress]: picking best candidate 1553946236.092 * * * * [pick]: Picked # 1553946236.093 * * * [progress]: localizing error 1553946236.113 * * * [progress]: generating rewritten candidates 1553946236.113 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 1553946236.113 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553946236.114 * * * [progress]: generating series expansions 1553946236.114 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 1553946236.114 * [backup-simplify]: Simplify (* 1/6 c) into (* 1/6 c) 1553946236.114 * [approximate]: Taking taylor expansion of (* 1/6 c) in (c) around 0 1553946236.114 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946236.114 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.114 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.114 * [taylor]: Taking taylor expansion of c in c 1553946236.114 * [backup-simplify]: Simplify 0 into 0 1553946236.114 * [backup-simplify]: Simplify 1 into 1 1553946236.114 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946236.114 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.114 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.114 * [taylor]: Taking taylor expansion of c in c 1553946236.114 * [backup-simplify]: Simplify 0 into 0 1553946236.114 * [backup-simplify]: Simplify 1 into 1 1553946236.114 * [backup-simplify]: Simplify (* 1/6 0) into 0 1553946236.114 * [backup-simplify]: Simplify 0 into 0 1553946236.115 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1553946236.115 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.115 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1553946236.116 * [backup-simplify]: Simplify 0 into 0 1553946236.116 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553946236.116 * [backup-simplify]: Simplify 0 into 0 1553946236.117 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553946236.117 * [backup-simplify]: Simplify 0 into 0 1553946236.118 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553946236.118 * [backup-simplify]: Simplify 0 into 0 1553946236.119 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553946236.119 * [backup-simplify]: Simplify 0 into 0 1553946236.120 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553946236.120 * [backup-simplify]: Simplify 0 into 0 1553946236.120 * [backup-simplify]: Simplify (* 1/6 c) into (* 1/6 c) 1553946236.120 * [backup-simplify]: Simplify (* 1/6 (/ 1 c)) into (/ 1/6 c) 1553946236.120 * [approximate]: Taking taylor expansion of (/ 1/6 c) in (c) around 0 1553946236.120 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946236.120 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.120 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.120 * [taylor]: Taking taylor expansion of c in c 1553946236.120 * [backup-simplify]: Simplify 0 into 0 1553946236.120 * [backup-simplify]: Simplify 1 into 1 1553946236.120 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946236.121 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946236.121 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.121 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.121 * [taylor]: Taking taylor expansion of c in c 1553946236.121 * [backup-simplify]: Simplify 0 into 0 1553946236.121 * [backup-simplify]: Simplify 1 into 1 1553946236.121 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946236.121 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1553946236.121 * [backup-simplify]: Simplify 0 into 0 1553946236.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.122 * [backup-simplify]: Simplify 0 into 0 1553946236.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.123 * [backup-simplify]: Simplify 0 into 0 1553946236.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.123 * [backup-simplify]: Simplify 0 into 0 1553946236.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.124 * [backup-simplify]: Simplify 0 into 0 1553946236.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.124 * [backup-simplify]: Simplify 0 into 0 1553946236.125 * [backup-simplify]: Simplify (* 1/6 (/ 1 (/ 1 c))) into (* 1/6 c) 1553946236.125 * [backup-simplify]: Simplify (* 1/6 (/ 1 (- c))) into (/ -1/6 c) 1553946236.125 * [approximate]: Taking taylor expansion of (/ -1/6 c) in (c) around 0 1553946236.125 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946236.125 * [taylor]: Taking taylor expansion of -1/6 in c 1553946236.125 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.125 * [taylor]: Taking taylor expansion of c in c 1553946236.125 * [backup-simplify]: Simplify 0 into 0 1553946236.125 * [backup-simplify]: Simplify 1 into 1 1553946236.125 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946236.125 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946236.125 * [taylor]: Taking taylor expansion of -1/6 in c 1553946236.125 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.125 * [taylor]: Taking taylor expansion of c in c 1553946236.125 * [backup-simplify]: Simplify 0 into 0 1553946236.125 * [backup-simplify]: Simplify 1 into 1 1553946236.125 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946236.125 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1553946236.126 * [backup-simplify]: Simplify 0 into 0 1553946236.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.127 * [backup-simplify]: Simplify 0 into 0 1553946236.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.128 * [backup-simplify]: Simplify 0 into 0 1553946236.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.128 * [backup-simplify]: Simplify 0 into 0 1553946236.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.129 * [backup-simplify]: Simplify 0 into 0 1553946236.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.129 * [backup-simplify]: Simplify 0 into 0 1553946236.129 * [backup-simplify]: Simplify (* -1/6 (/ 1 (/ 1 (- c)))) into (* 1/6 c) 1553946236.129 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553946236.130 * [backup-simplify]: Simplify (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) into (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.130 * [approximate]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) in (c) around 0 1553946236.130 * [taylor]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) in c 1553946236.130 * [taylor]: Rewrote expression to (+ (* (pow c 2) (* 1/6 c)) (fma 1/120 (pow c 5) c)) 1553946236.130 * [taylor]: Taking taylor expansion of (* (pow c 2) (* 1/6 c)) in c 1553946236.130 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.130 * [taylor]: Taking taylor expansion of c in c 1553946236.130 * [backup-simplify]: Simplify 0 into 0 1553946236.130 * [backup-simplify]: Simplify 1 into 1 1553946236.130 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946236.130 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.130 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.130 * [taylor]: Taking taylor expansion of c in c 1553946236.130 * [backup-simplify]: Simplify 0 into 0 1553946236.130 * [backup-simplify]: Simplify 1 into 1 1553946236.130 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 1553946236.130 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 1553946236.130 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 1553946236.130 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.130 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.130 * [taylor]: Taking taylor expansion of (pow c 5) in c 1553946236.130 * [taylor]: Taking taylor expansion of c in c 1553946236.130 * [backup-simplify]: Simplify 0 into 0 1553946236.130 * [backup-simplify]: Simplify 1 into 1 1553946236.130 * [taylor]: Taking taylor expansion of c in c 1553946236.130 * [backup-simplify]: Simplify 0 into 0 1553946236.130 * [backup-simplify]: Simplify 1 into 1 1553946236.130 * [taylor]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) (fma 1/120 (pow c 5) c)) in c 1553946236.130 * [taylor]: Rewrote expression to (+ (* (pow c 2) (* 1/6 c)) (fma 1/120 (pow c 5) c)) 1553946236.130 * [taylor]: Taking taylor expansion of (* (pow c 2) (* 1/6 c)) in c 1553946236.130 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.130 * [taylor]: Taking taylor expansion of c in c 1553946236.130 * [backup-simplify]: Simplify 0 into 0 1553946236.130 * [backup-simplify]: Simplify 1 into 1 1553946236.130 * [taylor]: Taking taylor expansion of (* 1/6 c) in c 1553946236.131 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.131 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.131 * [taylor]: Taking taylor expansion of c in c 1553946236.131 * [backup-simplify]: Simplify 0 into 0 1553946236.131 * [backup-simplify]: Simplify 1 into 1 1553946236.131 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 1553946236.131 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 1553946236.131 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 1553946236.131 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.131 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.131 * [taylor]: Taking taylor expansion of (pow c 5) in c 1553946236.131 * [taylor]: Taking taylor expansion of c in c 1553946236.131 * [backup-simplify]: Simplify 0 into 0 1553946236.131 * [backup-simplify]: Simplify 1 into 1 1553946236.131 * [taylor]: Taking taylor expansion of c in c 1553946236.131 * [backup-simplify]: Simplify 0 into 0 1553946236.131 * [backup-simplify]: Simplify 1 into 1 1553946236.131 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.131 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.131 * [backup-simplify]: Simplify 0 into 0 1553946236.132 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946236.132 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946236.132 * [backup-simplify]: Simplify 1 into 1 1553946236.133 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.133 * [backup-simplify]: Simplify (* 1/6 0) into 0 1553946236.133 * [backup-simplify]: Simplify (* 1 0) into 0 1553946236.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.134 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.134 * [backup-simplify]: Simplify 0 into 0 1553946236.134 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1553946236.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.135 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 0)) into 1/6 1553946236.135 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.135 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1553946236.135 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.136 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1553946236.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 0))) into 0 1553946236.137 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.137 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.137 * [backup-simplify]: Simplify 0 into 0 1553946236.138 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553946236.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0)))) into 0 1553946236.140 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.140 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.140 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.140 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 1553946236.141 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 1553946236.141 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 1553946236.141 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.141 * [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)) 1553946236.141 * [backup-simplify]: Simplify (fma (* (/ 1 c) (/ 1 c)) (* 1/6 (/ 1 c)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 1553946236.141 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in (c) around 0 1553946236.141 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 1553946236.141 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ 1/6 c)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 1553946236.141 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ 1/6 c)) in c 1553946236.141 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946236.141 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.141 * [taylor]: Taking taylor expansion of c in c 1553946236.142 * [backup-simplify]: Simplify 0 into 0 1553946236.142 * [backup-simplify]: Simplify 1 into 1 1553946236.142 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.142 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.142 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946236.142 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.142 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.142 * [taylor]: Taking taylor expansion of c in c 1553946236.142 * [backup-simplify]: Simplify 0 into 0 1553946236.142 * [backup-simplify]: Simplify 1 into 1 1553946236.142 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946236.142 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 1553946236.142 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 1553946236.142 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 1553946236.142 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.142 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.142 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 1553946236.143 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.143 * [taylor]: Taking taylor expansion of c in c 1553946236.143 * [backup-simplify]: Simplify 0 into 0 1553946236.143 * [backup-simplify]: Simplify 1 into 1 1553946236.143 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.143 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.143 * [taylor]: Taking taylor expansion of c in c 1553946236.143 * [backup-simplify]: Simplify 0 into 0 1553946236.143 * [backup-simplify]: Simplify 1 into 1 1553946236.143 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.143 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 1553946236.143 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ 1/6 c)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 1553946236.143 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ 1/6 c)) in c 1553946236.143 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946236.143 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.143 * [taylor]: Taking taylor expansion of c in c 1553946236.143 * [backup-simplify]: Simplify 0 into 0 1553946236.143 * [backup-simplify]: Simplify 1 into 1 1553946236.143 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.144 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.144 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c 1553946236.144 * [taylor]: Taking taylor expansion of 1/6 in c 1553946236.144 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.144 * [taylor]: Taking taylor expansion of c in c 1553946236.144 * [backup-simplify]: Simplify 0 into 0 1553946236.144 * [backup-simplify]: Simplify 1 into 1 1553946236.144 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553946236.144 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 1553946236.144 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 1553946236.144 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 1553946236.144 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.144 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.144 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 1553946236.144 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.144 * [taylor]: Taking taylor expansion of c in c 1553946236.144 * [backup-simplify]: Simplify 0 into 0 1553946236.144 * [backup-simplify]: Simplify 1 into 1 1553946236.144 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.145 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.145 * [taylor]: Taking taylor expansion of c in c 1553946236.145 * [backup-simplify]: Simplify 0 into 0 1553946236.145 * [backup-simplify]: Simplify 1 into 1 1553946236.145 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.145 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.145 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.146 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.146 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 1553946236.146 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 1553946236.146 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 1553946236.146 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946236.147 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.149 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 1553946236.149 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.149 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.149 * [backup-simplify]: Simplify 0 into 0 1553946236.149 * [backup-simplify]: Simplify (* 1 1/6) into 1/6 1553946236.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.152 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.152 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.152 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1553946236.152 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1553946236.153 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946236.154 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0 1553946236.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.157 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.157 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.157 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.158 * [backup-simplify]: Simplify 0 into 0 1553946236.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0 1553946236.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.163 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.163 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946236.163 * [backup-simplify]: Simplify (+ 0 1) into 1 1553946236.163 * [backup-simplify]: Simplify 1 into 1 1553946236.164 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.164 * [backup-simplify]: Simplify (fma (* (/ 1 (- c)) (/ 1 (- c))) (* 1/6 (/ 1 (- c))) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))) into (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 1553946236.164 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in (c) around 0 1553946236.164 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 1553946236.164 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ -1/6 c)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 1553946236.164 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ -1/6 c)) in c 1553946236.164 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946236.164 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.164 * [taylor]: Taking taylor expansion of c in c 1553946236.164 * [backup-simplify]: Simplify 0 into 0 1553946236.164 * [backup-simplify]: Simplify 1 into 1 1553946236.164 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.165 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.165 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946236.165 * [taylor]: Taking taylor expansion of -1/6 in c 1553946236.165 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.165 * [taylor]: Taking taylor expansion of c in c 1553946236.165 * [backup-simplify]: Simplify 0 into 0 1553946236.165 * [backup-simplify]: Simplify 1 into 1 1553946236.165 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946236.165 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 1553946236.165 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 1553946236.165 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 1553946236.165 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.165 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.165 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 1553946236.165 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.165 * [taylor]: Taking taylor expansion of -1 in c 1553946236.165 * [backup-simplify]: Simplify -1 into -1 1553946236.165 * [taylor]: Taking taylor expansion of c in c 1553946236.165 * [backup-simplify]: Simplify 0 into 0 1553946236.165 * [backup-simplify]: Simplify 1 into 1 1553946236.166 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.166 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.166 * [taylor]: Taking taylor expansion of -1 in c 1553946236.166 * [backup-simplify]: Simplify -1 into -1 1553946236.166 * [taylor]: Taking taylor expansion of c in c 1553946236.166 * [backup-simplify]: Simplify 0 into 0 1553946236.166 * [backup-simplify]: Simplify 1 into 1 1553946236.171 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.171 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 1553946236.172 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ -1/6 c)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 1553946236.172 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ -1/6 c)) in c 1553946236.172 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1553946236.172 * [taylor]: Taking taylor expansion of (pow c 2) in c 1553946236.172 * [taylor]: Taking taylor expansion of c in c 1553946236.172 * [backup-simplify]: Simplify 0 into 0 1553946236.172 * [backup-simplify]: Simplify 1 into 1 1553946236.172 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.172 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.172 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c 1553946236.172 * [taylor]: Taking taylor expansion of -1/6 in c 1553946236.173 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.173 * [taylor]: Taking taylor expansion of c in c 1553946236.173 * [backup-simplify]: Simplify 0 into 0 1553946236.173 * [backup-simplify]: Simplify 1 into 1 1553946236.173 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1553946236.173 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 1553946236.173 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 1553946236.173 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 1553946236.173 * [taylor]: Taking taylor expansion of 1/120 in c 1553946236.173 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.173 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 1553946236.173 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.173 * [taylor]: Taking taylor expansion of -1 in c 1553946236.173 * [backup-simplify]: Simplify -1 into -1 1553946236.173 * [taylor]: Taking taylor expansion of c in c 1553946236.173 * [backup-simplify]: Simplify 0 into 0 1553946236.173 * [backup-simplify]: Simplify 1 into 1 1553946236.173 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.173 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.173 * [taylor]: Taking taylor expansion of -1 in c 1553946236.173 * [backup-simplify]: Simplify -1 into -1 1553946236.173 * [taylor]: Taking taylor expansion of c in c 1553946236.173 * [backup-simplify]: Simplify 0 into 0 1553946236.174 * [backup-simplify]: Simplify 1 into 1 1553946236.174 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.174 * [backup-simplify]: Simplify (* -1 -1) into 1 1553946236.174 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.175 * [backup-simplify]: Simplify (* -1 1) into -1 1553946236.175 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 1553946236.175 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 1553946236.175 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 1553946236.175 * [backup-simplify]: Simplify -1/120 into -1/120 1553946236.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553946236.176 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1553946236.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.178 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1553946236.179 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0 1553946236.179 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.179 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.179 * [backup-simplify]: Simplify 0 into 0 1553946236.180 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6 1553946236.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.182 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1553946236.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.184 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.185 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0 1553946236.185 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.186 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1553946236.186 * [backup-simplify]: Simplify -1/6 into -1/6 1553946236.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1553946236.188 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946236.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1/6)) into 0 1553946236.190 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.190 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1553946236.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.191 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553946236.192 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1553946236.192 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.193 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.193 * [backup-simplify]: Simplify 0 into 0 1553946236.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553946236.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/6))) into 0 1553946236.195 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946236.196 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1553946236.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.197 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553946236.198 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1553946236.198 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553946236.199 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553946236.199 * [backup-simplify]: Simplify -1 into -1 1553946236.199 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.199 * * * [progress]: simplifying candidates 1553946236.199 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 1553946236.199 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 10 / 28 ] simplifiying candidate #real (real->posit16 (* 1/6 c))) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946236.200 * * * * [progress]: [ 11 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 1553946236.200 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946236.200 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 1553946236.200 * [simplify]: Simplifying (* 1/6 c) 1553946236.201 * * [simplify]: iters left: 2 (3 enodes) 1553946236.202 * * [simplify]: iters left: 1 (10 enodes) 1553946236.203 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.203 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946236.203 * * [simplify]: Extracting #2: cost 2 inf + 2 1553946236.203 * * [simplify]: Extracting #3: cost 0 inf + 86 1553946236.203 * [simplify]: Simplified to (* 1/6 c) 1553946236.204 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.204 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 1553946236.204 * [simplify]: Simplifying (* 1/6 c) 1553946236.204 * * [simplify]: iters left: 2 (3 enodes) 1553946236.205 * * [simplify]: iters left: 1 (10 enodes) 1553946236.206 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.206 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946236.207 * * [simplify]: Extracting #2: cost 2 inf + 2 1553946236.207 * * [simplify]: Extracting #3: cost 0 inf + 86 1553946236.207 * [simplify]: Simplified to (* 1/6 c) 1553946236.207 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.207 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 1553946236.207 * [simplify]: Simplifying (* 1/6 c) 1553946236.207 * * [simplify]: iters left: 2 (3 enodes) 1553946236.208 * * [simplify]: iters left: 1 (10 enodes) 1553946236.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.210 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946236.210 * * [simplify]: Extracting #2: cost 2 inf + 2 1553946236.210 * * [simplify]: Extracting #3: cost 0 inf + 86 1553946236.210 * [simplify]: Simplified to (* 1/6 c) 1553946236.210 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.210 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 1553946236.210 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.210 * * [simplify]: iters left: 6 (11 enodes) 1553946236.214 * * [simplify]: iters left: 5 (44 enodes) 1553946236.222 * * [simplify]: iters left: 4 (66 enodes) 1553946236.235 * * [simplify]: iters left: 3 (102 enodes) 1553946236.247 * * [simplify]: iters left: 2 (114 enodes) 1553946236.263 * * [simplify]: iters left: 1 (122 enodes) 1553946236.279 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.279 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946236.279 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946236.280 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946236.280 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946236.282 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946236.284 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946236.286 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.286 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.286 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 1553946236.286 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.286 * * [simplify]: iters left: 6 (11 enodes) 1553946236.293 * * [simplify]: iters left: 5 (44 enodes) 1553946236.303 * * [simplify]: iters left: 4 (66 enodes) 1553946236.314 * * [simplify]: iters left: 3 (102 enodes) 1553946236.327 * * [simplify]: iters left: 2 (114 enodes) 1553946236.341 * * [simplify]: iters left: 1 (122 enodes) 1553946236.358 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.358 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946236.358 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946236.359 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946236.360 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946236.360 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946236.361 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946236.362 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.362 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.362 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 1553946236.363 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946236.363 * * [simplify]: iters left: 6 (11 enodes) 1553946236.366 * * [simplify]: iters left: 5 (44 enodes) 1553946236.374 * * [simplify]: iters left: 4 (66 enodes) 1553946236.387 * * [simplify]: iters left: 3 (102 enodes) 1553946236.412 * * [simplify]: iters left: 2 (114 enodes) 1553946236.438 * * [simplify]: iters left: 1 (122 enodes) 1553946236.472 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946236.473 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946236.473 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946236.474 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946236.475 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946236.477 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946236.479 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946236.481 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946236.481 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946236.481 * * * [progress]: adding candidates to table 1553946236.725 * * [progress]: iteration 3 / 4 1553946236.725 * * * [progress]: picking best candidate 1553946236.730 * * * * [pick]: Picked # 1553946236.730 * * * [progress]: localizing error 1553946236.754 * * * [progress]: generating rewritten candidates 1553946236.754 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1553946236.776 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1553946236.801 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1553946236.802 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1553946236.804 * * * [progress]: generating series expansions 1553946236.804 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1553946236.804 * [backup-simplify]: Simplify (cbrt (* (* (sinh c) (sinh c)) (sinh c))) into (sinh c) 1553946236.804 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946236.804 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.804 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.804 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.804 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.804 * [taylor]: Taking taylor expansion of c in c 1553946236.804 * [backup-simplify]: Simplify 0 into 0 1553946236.804 * [backup-simplify]: Simplify 1 into 1 1553946236.804 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.804 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.804 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.804 * [taylor]: Taking taylor expansion of c in c 1553946236.804 * [backup-simplify]: Simplify 0 into 0 1553946236.804 * [backup-simplify]: Simplify 1 into 1 1553946236.805 * [backup-simplify]: Simplify (- 0) into 0 1553946236.805 * [backup-simplify]: Simplify (- 1) into -1 1553946236.805 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.805 * [taylor]: Taking taylor expansion of 2 in c 1553946236.805 * [backup-simplify]: Simplify 2 into 2 1553946236.805 * [backup-simplify]: Simplify (- 1) into -1 1553946236.806 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.806 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.807 * [backup-simplify]: Simplify (- 1) into -1 1553946236.807 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.807 * [backup-simplify]: Simplify (- -1) into 1 1553946236.808 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.808 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.808 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.808 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.808 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.808 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.808 * [taylor]: Taking taylor expansion of c in c 1553946236.808 * [backup-simplify]: Simplify 0 into 0 1553946236.808 * [backup-simplify]: Simplify 1 into 1 1553946236.808 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.808 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.808 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.808 * [taylor]: Taking taylor expansion of c in c 1553946236.808 * [backup-simplify]: Simplify 0 into 0 1553946236.808 * [backup-simplify]: Simplify 1 into 1 1553946236.808 * [backup-simplify]: Simplify (- 0) into 0 1553946236.809 * [backup-simplify]: Simplify (- 1) into -1 1553946236.809 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.809 * [taylor]: Taking taylor expansion of 2 in c 1553946236.809 * [backup-simplify]: Simplify 2 into 2 1553946236.809 * [backup-simplify]: Simplify (- 1) into -1 1553946236.809 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.810 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.810 * [backup-simplify]: Simplify (- 1) into -1 1553946236.811 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.811 * [backup-simplify]: Simplify (- -1) into 1 1553946236.811 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.811 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.811 * [backup-simplify]: Simplify 1 into 1 1553946236.812 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.812 * [backup-simplify]: Simplify (- 1) into -1 1553946236.813 * [backup-simplify]: Simplify (- 0) into 0 1553946236.814 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.814 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946236.814 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946236.815 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946236.815 * [backup-simplify]: Simplify 0 into 0 1553946236.816 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946236.816 * [backup-simplify]: Simplify (- 1) into -1 1553946236.816 * [backup-simplify]: Simplify (- 1) into -1 1553946236.817 * [backup-simplify]: Simplify (- 0) into 0 1553946236.817 * [backup-simplify]: Simplify (- 0) into 0 1553946236.818 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946236.818 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946236.819 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946236.819 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946236.819 * [backup-simplify]: Simplify 1/6 into 1/6 1553946236.821 * [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 1553946236.822 * [backup-simplify]: Simplify (- 1) into -1 1553946236.822 * [backup-simplify]: Simplify (- 1) into -1 1553946236.822 * [backup-simplify]: Simplify (- 0) into 0 1553946236.822 * [backup-simplify]: Simplify (- 1) into -1 1553946236.823 * [backup-simplify]: Simplify (- 0) into 0 1553946236.823 * [backup-simplify]: Simplify (- 0) into 0 1553946236.823 * [backup-simplify]: Simplify (- 0) into 0 1553946236.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 1553946236.826 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946236.826 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946236.827 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946236.827 * [backup-simplify]: Simplify 0 into 0 1553946236.831 * [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 1553946236.832 * [backup-simplify]: Simplify (- 1) into -1 1553946236.832 * [backup-simplify]: Simplify (- 1) into -1 1553946236.833 * [backup-simplify]: Simplify (- 0) into 0 1553946236.833 * [backup-simplify]: Simplify (- 1) into -1 1553946236.833 * [backup-simplify]: Simplify (- 0) into 0 1553946236.834 * [backup-simplify]: Simplify (- 1) into -1 1553946236.834 * [backup-simplify]: Simplify (- 0) into 0 1553946236.834 * [backup-simplify]: Simplify (- 1) into -1 1553946236.835 * [backup-simplify]: Simplify (- 0) into 0 1553946236.835 * [backup-simplify]: Simplify (- 0) into 0 1553946236.835 * [backup-simplify]: Simplify (- 0) into 0 1553946236.836 * [backup-simplify]: Simplify (- 0) into 0 1553946236.842 * [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 1553946236.842 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946236.842 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946236.844 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946236.844 * [backup-simplify]: Simplify 1/120 into 1/120 1553946236.845 * [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)) 1553946236.845 * [backup-simplify]: Simplify (cbrt (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c)))) into (sinh (/ 1 c)) 1553946236.845 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946236.845 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.845 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.845 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.845 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.845 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.845 * [taylor]: Taking taylor expansion of c in c 1553946236.845 * [backup-simplify]: Simplify 0 into 0 1553946236.845 * [backup-simplify]: Simplify 1 into 1 1553946236.846 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.846 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.846 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.846 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.846 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.846 * [taylor]: Taking taylor expansion of c in c 1553946236.846 * [backup-simplify]: Simplify 0 into 0 1553946236.846 * [backup-simplify]: Simplify 1 into 1 1553946236.846 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.847 * [backup-simplify]: Simplify (- 1) into -1 1553946236.847 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.847 * [taylor]: Taking taylor expansion of 2 in c 1553946236.847 * [backup-simplify]: Simplify 2 into 2 1553946236.847 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.847 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.847 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.847 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.847 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.847 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.847 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.847 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.847 * [taylor]: Taking taylor expansion of c in c 1553946236.847 * [backup-simplify]: Simplify 0 into 0 1553946236.847 * [backup-simplify]: Simplify 1 into 1 1553946236.848 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.848 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.848 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.848 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.848 * [taylor]: Taking taylor expansion of c in c 1553946236.848 * [backup-simplify]: Simplify 0 into 0 1553946236.848 * [backup-simplify]: Simplify 1 into 1 1553946236.849 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.849 * [backup-simplify]: Simplify (- 1) into -1 1553946236.849 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.849 * [taylor]: Taking taylor expansion of 2 in c 1553946236.849 * [backup-simplify]: Simplify 2 into 2 1553946236.849 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.849 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.849 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.850 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.850 * [backup-simplify]: Simplify (- 0) into 0 1553946236.851 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.852 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946236.852 * [backup-simplify]: Simplify 0 into 0 1553946236.852 * [backup-simplify]: Simplify (- 0) into 0 1553946236.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.854 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.854 * [backup-simplify]: Simplify 0 into 0 1553946236.854 * [backup-simplify]: Simplify (- 0) into 0 1553946236.855 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.857 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.857 * [backup-simplify]: Simplify 0 into 0 1553946236.857 * [backup-simplify]: Simplify (- 0) into 0 1553946236.858 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.860 * [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 1553946236.860 * [backup-simplify]: Simplify 0 into 0 1553946236.861 * [backup-simplify]: Simplify (- 0) into 0 1553946236.861 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.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 1553946236.864 * [backup-simplify]: Simplify 0 into 0 1553946236.864 * [backup-simplify]: Simplify (- 0) into 0 1553946236.865 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.868 * [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 1553946236.868 * [backup-simplify]: Simplify 0 into 0 1553946236.868 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946236.869 * [backup-simplify]: Simplify (cbrt (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 1553946236.869 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946236.869 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946236.869 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946236.869 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946236.869 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946236.869 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.869 * [taylor]: Taking taylor expansion of -1 in c 1553946236.869 * [backup-simplify]: Simplify -1 into -1 1553946236.869 * [taylor]: Taking taylor expansion of c in c 1553946236.869 * [backup-simplify]: Simplify 0 into 0 1553946236.869 * [backup-simplify]: Simplify 1 into 1 1553946236.869 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.870 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946236.870 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946236.870 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946236.870 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.870 * [taylor]: Taking taylor expansion of -1 in c 1553946236.870 * [backup-simplify]: Simplify -1 into -1 1553946236.870 * [taylor]: Taking taylor expansion of c in c 1553946236.870 * [backup-simplify]: Simplify 0 into 0 1553946236.870 * [backup-simplify]: Simplify 1 into 1 1553946236.870 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.871 * [backup-simplify]: Simplify (- -1) into 1 1553946236.871 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946236.871 * [taylor]: Taking taylor expansion of 2 in c 1553946236.871 * [backup-simplify]: Simplify 2 into 2 1553946236.871 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946236.871 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946236.871 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.871 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946236.871 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946236.872 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946236.872 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946236.872 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.872 * [taylor]: Taking taylor expansion of -1 in c 1553946236.872 * [backup-simplify]: Simplify -1 into -1 1553946236.872 * [taylor]: Taking taylor expansion of c in c 1553946236.872 * [backup-simplify]: Simplify 0 into 0 1553946236.872 * [backup-simplify]: Simplify 1 into 1 1553946236.872 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.872 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946236.872 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946236.872 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946236.872 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.872 * [taylor]: Taking taylor expansion of -1 in c 1553946236.872 * [backup-simplify]: Simplify -1 into -1 1553946236.872 * [taylor]: Taking taylor expansion of c in c 1553946236.872 * [backup-simplify]: Simplify 0 into 0 1553946236.872 * [backup-simplify]: Simplify 1 into 1 1553946236.873 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.873 * [backup-simplify]: Simplify (- -1) into 1 1553946236.873 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946236.873 * [taylor]: Taking taylor expansion of 2 in c 1553946236.873 * [backup-simplify]: Simplify 2 into 2 1553946236.874 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946236.874 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946236.874 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.874 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.874 * [backup-simplify]: Simplify (- 0) into 0 1553946236.875 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.876 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946236.876 * [backup-simplify]: Simplify 0 into 0 1553946236.876 * [backup-simplify]: Simplify (- 0) into 0 1553946236.877 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.878 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.878 * [backup-simplify]: Simplify 0 into 0 1553946236.879 * [backup-simplify]: Simplify (- 0) into 0 1553946236.879 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.881 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.881 * [backup-simplify]: Simplify 0 into 0 1553946236.882 * [backup-simplify]: Simplify (- 0) into 0 1553946236.882 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.884 * [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 1553946236.884 * [backup-simplify]: Simplify 0 into 0 1553946236.885 * [backup-simplify]: Simplify (- 0) into 0 1553946236.885 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.891 * [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 1553946236.891 * [backup-simplify]: Simplify 0 into 0 1553946236.892 * [backup-simplify]: Simplify (- 0) into 0 1553946236.892 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.896 * [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 1553946236.896 * [backup-simplify]: Simplify 0 into 0 1553946236.896 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946236.896 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1553946236.896 * [backup-simplify]: Simplify (* (* (sinh c) (sinh c)) (sinh c)) into (pow (sinh c) 3) 1553946236.896 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 1553946236.896 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 1553946236.896 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.896 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.896 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.896 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.896 * [taylor]: Taking taylor expansion of c in c 1553946236.896 * [backup-simplify]: Simplify 0 into 0 1553946236.897 * [backup-simplify]: Simplify 1 into 1 1553946236.897 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.897 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.897 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.897 * [taylor]: Taking taylor expansion of c in c 1553946236.897 * [backup-simplify]: Simplify 0 into 0 1553946236.897 * [backup-simplify]: Simplify 1 into 1 1553946236.897 * [backup-simplify]: Simplify (- 0) into 0 1553946236.897 * [backup-simplify]: Simplify (- 1) into -1 1553946236.897 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.897 * [taylor]: Taking taylor expansion of 2 in c 1553946236.897 * [backup-simplify]: Simplify 2 into 2 1553946236.897 * [backup-simplify]: Simplify (- 1) into -1 1553946236.898 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.898 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.899 * [backup-simplify]: Simplify (- 1) into -1 1553946236.899 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.899 * [backup-simplify]: Simplify (- -1) into 1 1553946236.900 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.900 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.900 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 1553946236.900 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.900 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.900 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.900 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.900 * [taylor]: Taking taylor expansion of c in c 1553946236.900 * [backup-simplify]: Simplify 0 into 0 1553946236.900 * [backup-simplify]: Simplify 1 into 1 1553946236.900 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.900 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.900 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.900 * [taylor]: Taking taylor expansion of c in c 1553946236.900 * [backup-simplify]: Simplify 0 into 0 1553946236.900 * [backup-simplify]: Simplify 1 into 1 1553946236.900 * [backup-simplify]: Simplify (- 0) into 0 1553946236.901 * [backup-simplify]: Simplify (- 1) into -1 1553946236.901 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.901 * [taylor]: Taking taylor expansion of 2 in c 1553946236.901 * [backup-simplify]: Simplify 2 into 2 1553946236.901 * [backup-simplify]: Simplify (- 1) into -1 1553946236.901 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946236.902 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946236.902 * [backup-simplify]: Simplify (- 1) into -1 1553946236.903 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946236.903 * [backup-simplify]: Simplify (- -1) into 1 1553946236.903 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946236.903 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946236.904 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.904 * [backup-simplify]: Simplify (* 1 1) into 1 1553946236.904 * [backup-simplify]: Simplify 1 into 1 1553946236.905 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.905 * [backup-simplify]: Simplify (- 1) into -1 1553946236.905 * [backup-simplify]: Simplify (- 0) into 0 1553946236.906 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946236.906 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946236.907 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946236.907 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946236.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553946236.908 * [backup-simplify]: Simplify 0 into 0 1553946236.909 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946236.910 * [backup-simplify]: Simplify (- 1) into -1 1553946236.910 * [backup-simplify]: Simplify (- 1) into -1 1553946236.910 * [backup-simplify]: Simplify (- 0) into 0 1553946236.910 * [backup-simplify]: Simplify (- 0) into 0 1553946236.912 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946236.912 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946236.912 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946236.913 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946236.913 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 1553946236.914 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 1553946236.914 * [backup-simplify]: Simplify 1/2 into 1/2 1553946236.916 * [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 1553946236.917 * [backup-simplify]: Simplify (- 1) into -1 1553946236.917 * [backup-simplify]: Simplify (- 1) into -1 1553946236.917 * [backup-simplify]: Simplify (- 0) into 0 1553946236.917 * [backup-simplify]: Simplify (- 1) into -1 1553946236.918 * [backup-simplify]: Simplify (- 0) into 0 1553946236.918 * [backup-simplify]: Simplify (- 0) into 0 1553946236.918 * [backup-simplify]: Simplify (- 0) into 0 1553946236.920 * [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 1553946236.921 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946236.921 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946236.922 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946236.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 1553946236.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 1553946236.923 * [backup-simplify]: Simplify 0 into 0 1553946236.926 * [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 1553946236.926 * [backup-simplify]: Simplify (- 1) into -1 1553946236.927 * [backup-simplify]: Simplify (- 1) into -1 1553946236.927 * [backup-simplify]: Simplify (- 0) into 0 1553946236.927 * [backup-simplify]: Simplify (- 1) into -1 1553946236.928 * [backup-simplify]: Simplify (- 0) into 0 1553946236.928 * [backup-simplify]: Simplify (- 1) into -1 1553946236.928 * [backup-simplify]: Simplify (- 0) into 0 1553946236.928 * [backup-simplify]: Simplify (- 1) into -1 1553946236.928 * [backup-simplify]: Simplify (- 0) into 0 1553946236.929 * [backup-simplify]: Simplify (- 0) into 0 1553946236.929 * [backup-simplify]: Simplify (- 0) into 0 1553946236.929 * [backup-simplify]: Simplify (- 0) into 0 1553946236.933 * [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 1553946236.933 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946236.933 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946236.935 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946236.937 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 1553946236.939 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 1553946236.939 * [backup-simplify]: Simplify 13/120 into 13/120 1553946236.939 * [backup-simplify]: Simplify (+ (* 13/120 (pow c 7)) (+ (* 1/2 (pow c 5)) (* 1 (pow c 3)))) into (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1553946236.940 * [backup-simplify]: Simplify (* (* (sinh (/ 1 c)) (sinh (/ 1 c))) (sinh (/ 1 c))) into (pow (sinh (/ 1 c)) 3) 1553946236.940 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 1553946236.940 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1553946236.940 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.940 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.940 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.940 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.940 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.940 * [taylor]: Taking taylor expansion of c in c 1553946236.940 * [backup-simplify]: Simplify 0 into 0 1553946236.940 * [backup-simplify]: Simplify 1 into 1 1553946236.940 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.940 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.940 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.940 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.940 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.940 * [taylor]: Taking taylor expansion of c in c 1553946236.941 * [backup-simplify]: Simplify 0 into 0 1553946236.941 * [backup-simplify]: Simplify 1 into 1 1553946236.941 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.941 * [backup-simplify]: Simplify (- 1) into -1 1553946236.941 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.941 * [taylor]: Taking taylor expansion of 2 in c 1553946236.941 * [backup-simplify]: Simplify 2 into 2 1553946236.942 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.942 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.942 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.942 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 1553946236.942 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946236.942 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946236.942 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946236.942 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946236.942 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.942 * [taylor]: Taking taylor expansion of c in c 1553946236.942 * [backup-simplify]: Simplify 0 into 0 1553946236.942 * [backup-simplify]: Simplify 1 into 1 1553946236.943 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.943 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946236.943 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946236.943 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946236.943 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946236.943 * [taylor]: Taking taylor expansion of c in c 1553946236.943 * [backup-simplify]: Simplify 0 into 0 1553946236.943 * [backup-simplify]: Simplify 1 into 1 1553946236.943 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946236.944 * [backup-simplify]: Simplify (- 1) into -1 1553946236.944 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946236.944 * [taylor]: Taking taylor expansion of 2 in c 1553946236.944 * [backup-simplify]: Simplify 2 into 2 1553946236.944 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946236.944 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946236.944 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946236.944 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 1553946236.945 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 1553946236.945 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 1553946236.945 * [backup-simplify]: Simplify (- 0) into 0 1553946236.946 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.947 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946236.947 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 1553946236.948 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 1553946236.948 * [backup-simplify]: Simplify 0 into 0 1553946236.948 * [backup-simplify]: Simplify (- 0) into 0 1553946236.948 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.950 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.951 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 1553946236.952 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 1553946236.952 * [backup-simplify]: Simplify 0 into 0 1553946236.952 * [backup-simplify]: Simplify (- 0) into 0 1553946236.953 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.955 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.956 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 1553946236.957 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 1553946236.957 * [backup-simplify]: Simplify 0 into 0 1553946236.957 * [backup-simplify]: Simplify (- 0) into 0 1553946236.958 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.960 * [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 1553946236.961 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 1553946236.962 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 1553946236.962 * [backup-simplify]: Simplify 0 into 0 1553946236.962 * [backup-simplify]: Simplify (- 0) into 0 1553946236.963 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.964 * [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 1553946236.966 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 1553946236.967 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 1553946236.967 * [backup-simplify]: Simplify 0 into 0 1553946236.967 * [backup-simplify]: Simplify (- 0) into 0 1553946236.967 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.969 * [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 1553946236.971 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 1553946236.972 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0 1553946236.972 * [backup-simplify]: Simplify 0 into 0 1553946236.972 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1553946236.973 * [backup-simplify]: Simplify (* (* (sinh (/ 1 (- c))) (sinh (/ 1 (- c)))) (sinh (/ 1 (- c)))) into (pow (sinh (/ -1 c)) 3) 1553946236.973 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 1553946236.973 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1553946236.973 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946236.973 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946236.973 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946236.973 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946236.973 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.973 * [taylor]: Taking taylor expansion of -1 in c 1553946236.973 * [backup-simplify]: Simplify -1 into -1 1553946236.973 * [taylor]: Taking taylor expansion of c in c 1553946236.973 * [backup-simplify]: Simplify 0 into 0 1553946236.973 * [backup-simplify]: Simplify 1 into 1 1553946236.973 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.973 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946236.973 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946236.973 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946236.973 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.973 * [taylor]: Taking taylor expansion of -1 in c 1553946236.973 * [backup-simplify]: Simplify -1 into -1 1553946236.973 * [taylor]: Taking taylor expansion of c in c 1553946236.973 * [backup-simplify]: Simplify 0 into 0 1553946236.973 * [backup-simplify]: Simplify 1 into 1 1553946236.973 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.974 * [backup-simplify]: Simplify (- -1) into 1 1553946236.974 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946236.974 * [taylor]: Taking taylor expansion of 2 in c 1553946236.974 * [backup-simplify]: Simplify 2 into 2 1553946236.974 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946236.974 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946236.974 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.974 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 1553946236.974 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946236.974 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946236.974 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946236.974 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946236.974 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.974 * [taylor]: Taking taylor expansion of -1 in c 1553946236.974 * [backup-simplify]: Simplify -1 into -1 1553946236.974 * [taylor]: Taking taylor expansion of c in c 1553946236.974 * [backup-simplify]: Simplify 0 into 0 1553946236.974 * [backup-simplify]: Simplify 1 into 1 1553946236.975 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.975 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946236.975 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946236.975 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946236.975 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946236.975 * [taylor]: Taking taylor expansion of -1 in c 1553946236.975 * [backup-simplify]: Simplify -1 into -1 1553946236.975 * [taylor]: Taking taylor expansion of c in c 1553946236.975 * [backup-simplify]: Simplify 0 into 0 1553946236.975 * [backup-simplify]: Simplify 1 into 1 1553946236.975 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946236.975 * [backup-simplify]: Simplify (- -1) into 1 1553946236.975 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946236.975 * [taylor]: Taking taylor expansion of 2 in c 1553946236.975 * [backup-simplify]: Simplify 2 into 2 1553946236.975 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946236.975 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946236.976 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946236.976 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 1553946236.976 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 1553946236.976 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 1553946236.976 * [backup-simplify]: Simplify (- 0) into 0 1553946236.977 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.977 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946236.977 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 1553946236.978 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))) into 0 1553946236.978 * [backup-simplify]: Simplify 0 into 0 1553946236.978 * [backup-simplify]: Simplify (- 0) into 0 1553946236.978 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.979 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.979 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0 1553946236.980 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))) into 0 1553946236.980 * [backup-simplify]: Simplify 0 into 0 1553946236.980 * [backup-simplify]: Simplify (- 0) into 0 1553946236.980 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.982 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946236.982 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0 1553946236.983 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))) into 0 1553946236.983 * [backup-simplify]: Simplify 0 into 0 1553946236.983 * [backup-simplify]: Simplify (- 0) into 0 1553946236.984 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.985 * [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 1553946236.986 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0 1553946236.987 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))) into 0 1553946236.987 * [backup-simplify]: Simplify 0 into 0 1553946236.989 * [backup-simplify]: Simplify (- 0) into 0 1553946236.989 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.991 * [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 1553946236.992 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0 1553946236.993 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))))) into 0 1553946236.994 * [backup-simplify]: Simplify 0 into 0 1553946236.994 * [backup-simplify]: Simplify (- 0) into 0 1553946236.994 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946236.996 * [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 1553946236.997 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0 1553946236.999 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))))) into 0 1553946236.999 * [backup-simplify]: Simplify 0 into 0 1553946236.999 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1553946236.999 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1553946236.999 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553946236.999 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946236.999 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946236.999 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946236.999 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946236.999 * [taylor]: Taking taylor expansion of (exp c) in c 1553946236.999 * [taylor]: Taking taylor expansion of c in c 1553946236.999 * [backup-simplify]: Simplify 0 into 0 1553946236.999 * [backup-simplify]: Simplify 1 into 1 1553946236.999 * [backup-simplify]: Simplify (exp 0) into 1 1553946236.999 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946236.999 * [taylor]: Taking taylor expansion of (- c) in c 1553946236.999 * [taylor]: Taking taylor expansion of c in c 1553946236.999 * [backup-simplify]: Simplify 0 into 0 1553946236.999 * [backup-simplify]: Simplify 1 into 1 1553946237.000 * [backup-simplify]: Simplify (- 0) into 0 1553946237.000 * [backup-simplify]: Simplify (- 1) into -1 1553946237.000 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.000 * [taylor]: Taking taylor expansion of 2 in c 1553946237.000 * [backup-simplify]: Simplify 2 into 2 1553946237.000 * [backup-simplify]: Simplify (- 1) into -1 1553946237.000 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.001 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.001 * [backup-simplify]: Simplify (- 1) into -1 1553946237.002 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.002 * [backup-simplify]: Simplify (- -1) into 1 1553946237.002 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.003 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.003 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.003 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.003 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.003 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.003 * [taylor]: Taking taylor expansion of c in c 1553946237.003 * [backup-simplify]: Simplify 0 into 0 1553946237.003 * [backup-simplify]: Simplify 1 into 1 1553946237.003 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.003 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.003 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.003 * [taylor]: Taking taylor expansion of c in c 1553946237.003 * [backup-simplify]: Simplify 0 into 0 1553946237.003 * [backup-simplify]: Simplify 1 into 1 1553946237.003 * [backup-simplify]: Simplify (- 0) into 0 1553946237.003 * [backup-simplify]: Simplify (- 1) into -1 1553946237.003 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.003 * [taylor]: Taking taylor expansion of 2 in c 1553946237.003 * [backup-simplify]: Simplify 2 into 2 1553946237.004 * [backup-simplify]: Simplify (- 1) into -1 1553946237.004 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.004 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.005 * [backup-simplify]: Simplify (- 1) into -1 1553946237.006 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.006 * [backup-simplify]: Simplify (- -1) into 1 1553946237.007 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.007 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.007 * [backup-simplify]: Simplify 1 into 1 1553946237.009 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.009 * [backup-simplify]: Simplify (- 1) into -1 1553946237.010 * [backup-simplify]: Simplify (- 0) into 0 1553946237.011 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.012 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946237.012 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946237.013 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946237.013 * [backup-simplify]: Simplify 0 into 0 1553946237.016 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946237.016 * [backup-simplify]: Simplify (- 1) into -1 1553946237.017 * [backup-simplify]: Simplify (- 1) into -1 1553946237.017 * [backup-simplify]: Simplify (- 0) into 0 1553946237.017 * [backup-simplify]: Simplify (- 0) into 0 1553946237.020 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946237.020 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946237.021 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946237.022 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946237.022 * [backup-simplify]: Simplify 1/6 into 1/6 1553946237.026 * [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 1553946237.027 * [backup-simplify]: Simplify (- 1) into -1 1553946237.027 * [backup-simplify]: Simplify (- 1) into -1 1553946237.028 * [backup-simplify]: Simplify (- 0) into 0 1553946237.028 * [backup-simplify]: Simplify (- 1) into -1 1553946237.029 * [backup-simplify]: Simplify (- 0) into 0 1553946237.029 * [backup-simplify]: Simplify (- 0) into 0 1553946237.029 * [backup-simplify]: Simplify (- 0) into 0 1553946237.034 * [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 1553946237.034 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946237.035 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946237.036 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946237.036 * [backup-simplify]: Simplify 0 into 0 1553946237.042 * [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 1553946237.042 * [backup-simplify]: Simplify (- 1) into -1 1553946237.043 * [backup-simplify]: Simplify (- 1) into -1 1553946237.043 * [backup-simplify]: Simplify (- 0) into 0 1553946237.044 * [backup-simplify]: Simplify (- 1) into -1 1553946237.044 * [backup-simplify]: Simplify (- 0) into 0 1553946237.044 * [backup-simplify]: Simplify (- 1) into -1 1553946237.045 * [backup-simplify]: Simplify (- 0) into 0 1553946237.045 * [backup-simplify]: Simplify (- 1) into -1 1553946237.045 * [backup-simplify]: Simplify (- 0) into 0 1553946237.046 * [backup-simplify]: Simplify (- 0) into 0 1553946237.046 * [backup-simplify]: Simplify (- 0) into 0 1553946237.047 * [backup-simplify]: Simplify (- 0) into 0 1553946237.051 * [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 1553946237.051 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946237.051 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946237.052 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946237.052 * [backup-simplify]: Simplify 1/120 into 1/120 1553946237.052 * [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)) 1553946237.052 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553946237.052 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946237.052 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.052 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.053 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.053 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.053 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.053 * [taylor]: Taking taylor expansion of c in c 1553946237.053 * [backup-simplify]: Simplify 0 into 0 1553946237.053 * [backup-simplify]: Simplify 1 into 1 1553946237.053 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.053 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.053 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.053 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.053 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.053 * [taylor]: Taking taylor expansion of c in c 1553946237.053 * [backup-simplify]: Simplify 0 into 0 1553946237.053 * [backup-simplify]: Simplify 1 into 1 1553946237.053 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.053 * [backup-simplify]: Simplify (- 1) into -1 1553946237.054 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.054 * [taylor]: Taking taylor expansion of 2 in c 1553946237.054 * [backup-simplify]: Simplify 2 into 2 1553946237.054 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.054 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.054 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.054 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.054 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.054 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.054 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.054 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.054 * [taylor]: Taking taylor expansion of c in c 1553946237.054 * [backup-simplify]: Simplify 0 into 0 1553946237.054 * [backup-simplify]: Simplify 1 into 1 1553946237.054 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.054 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.054 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.054 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.054 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.054 * [taylor]: Taking taylor expansion of c in c 1553946237.054 * [backup-simplify]: Simplify 0 into 0 1553946237.054 * [backup-simplify]: Simplify 1 into 1 1553946237.055 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.055 * [backup-simplify]: Simplify (- 1) into -1 1553946237.055 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.055 * [taylor]: Taking taylor expansion of 2 in c 1553946237.055 * [backup-simplify]: Simplify 2 into 2 1553946237.055 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.055 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.055 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.055 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.056 * [backup-simplify]: Simplify (- 0) into 0 1553946237.056 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.056 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946237.056 * [backup-simplify]: Simplify 0 into 0 1553946237.057 * [backup-simplify]: Simplify (- 0) into 0 1553946237.057 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.058 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.058 * [backup-simplify]: Simplify 0 into 0 1553946237.058 * [backup-simplify]: Simplify (- 0) into 0 1553946237.058 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.059 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.060 * [backup-simplify]: Simplify 0 into 0 1553946237.060 * [backup-simplify]: Simplify (- 0) into 0 1553946237.060 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.061 * [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 1553946237.061 * [backup-simplify]: Simplify 0 into 0 1553946237.062 * [backup-simplify]: Simplify (- 0) into 0 1553946237.062 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.065 * [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 1553946237.065 * [backup-simplify]: Simplify 0 into 0 1553946237.066 * [backup-simplify]: Simplify (- 0) into 0 1553946237.066 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.069 * [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 1553946237.070 * [backup-simplify]: Simplify 0 into 0 1553946237.070 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946237.070 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553946237.070 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946237.070 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.070 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.070 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.070 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.070 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.070 * [taylor]: Taking taylor expansion of -1 in c 1553946237.070 * [backup-simplify]: Simplify -1 into -1 1553946237.070 * [taylor]: Taking taylor expansion of c in c 1553946237.070 * [backup-simplify]: Simplify 0 into 0 1553946237.070 * [backup-simplify]: Simplify 1 into 1 1553946237.071 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.071 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.071 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.071 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.071 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.071 * [taylor]: Taking taylor expansion of -1 in c 1553946237.071 * [backup-simplify]: Simplify -1 into -1 1553946237.071 * [taylor]: Taking taylor expansion of c in c 1553946237.071 * [backup-simplify]: Simplify 0 into 0 1553946237.071 * [backup-simplify]: Simplify 1 into 1 1553946237.071 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.072 * [backup-simplify]: Simplify (- -1) into 1 1553946237.072 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.072 * [taylor]: Taking taylor expansion of 2 in c 1553946237.072 * [backup-simplify]: Simplify 2 into 2 1553946237.072 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.072 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.072 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.072 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.072 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.073 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.073 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.073 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.073 * [taylor]: Taking taylor expansion of -1 in c 1553946237.073 * [backup-simplify]: Simplify -1 into -1 1553946237.073 * [taylor]: Taking taylor expansion of c in c 1553946237.073 * [backup-simplify]: Simplify 0 into 0 1553946237.073 * [backup-simplify]: Simplify 1 into 1 1553946237.073 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.073 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.073 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.073 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.073 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.073 * [taylor]: Taking taylor expansion of -1 in c 1553946237.073 * [backup-simplify]: Simplify -1 into -1 1553946237.073 * [taylor]: Taking taylor expansion of c in c 1553946237.074 * [backup-simplify]: Simplify 0 into 0 1553946237.074 * [backup-simplify]: Simplify 1 into 1 1553946237.074 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.074 * [backup-simplify]: Simplify (- -1) into 1 1553946237.074 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.074 * [taylor]: Taking taylor expansion of 2 in c 1553946237.075 * [backup-simplify]: Simplify 2 into 2 1553946237.075 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.075 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.075 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.075 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.075 * [backup-simplify]: Simplify (- 0) into 0 1553946237.076 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.077 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946237.077 * [backup-simplify]: Simplify 0 into 0 1553946237.077 * [backup-simplify]: Simplify (- 0) into 0 1553946237.078 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.079 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.079 * [backup-simplify]: Simplify 0 into 0 1553946237.080 * [backup-simplify]: Simplify (- 0) into 0 1553946237.080 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.082 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.082 * [backup-simplify]: Simplify 0 into 0 1553946237.082 * [backup-simplify]: Simplify (- 0) into 0 1553946237.083 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.085 * [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 1553946237.085 * [backup-simplify]: Simplify 0 into 0 1553946237.086 * [backup-simplify]: Simplify (- 0) into 0 1553946237.086 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.089 * [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 1553946237.089 * [backup-simplify]: Simplify 0 into 0 1553946237.089 * [backup-simplify]: Simplify (- 0) into 0 1553946237.089 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.091 * [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 1553946237.091 * [backup-simplify]: Simplify 0 into 0 1553946237.092 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946237.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1553946237.092 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553946237.092 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553946237.092 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.092 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.092 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.092 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.092 * [taylor]: Taking taylor expansion of c in c 1553946237.092 * [backup-simplify]: Simplify 0 into 0 1553946237.092 * [backup-simplify]: Simplify 1 into 1 1553946237.092 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.092 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.092 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.092 * [taylor]: Taking taylor expansion of c in c 1553946237.092 * [backup-simplify]: Simplify 0 into 0 1553946237.092 * [backup-simplify]: Simplify 1 into 1 1553946237.092 * [backup-simplify]: Simplify (- 0) into 0 1553946237.093 * [backup-simplify]: Simplify (- 1) into -1 1553946237.093 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.093 * [taylor]: Taking taylor expansion of 2 in c 1553946237.093 * [backup-simplify]: Simplify 2 into 2 1553946237.093 * [backup-simplify]: Simplify (- 1) into -1 1553946237.093 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.094 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.094 * [backup-simplify]: Simplify (- 1) into -1 1553946237.095 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.095 * [backup-simplify]: Simplify (- -1) into 1 1553946237.095 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.095 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.095 * [taylor]: Taking taylor expansion of (sinh c) in c 1553946237.096 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553946237.096 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553946237.096 * [taylor]: Taking taylor expansion of (exp c) in c 1553946237.096 * [taylor]: Taking taylor expansion of c in c 1553946237.096 * [backup-simplify]: Simplify 0 into 0 1553946237.096 * [backup-simplify]: Simplify 1 into 1 1553946237.096 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.096 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553946237.096 * [taylor]: Taking taylor expansion of (- c) in c 1553946237.096 * [taylor]: Taking taylor expansion of c in c 1553946237.096 * [backup-simplify]: Simplify 0 into 0 1553946237.096 * [backup-simplify]: Simplify 1 into 1 1553946237.096 * [backup-simplify]: Simplify (- 0) into 0 1553946237.096 * [backup-simplify]: Simplify (- 1) into -1 1553946237.096 * [backup-simplify]: Simplify (exp 0) into 1 1553946237.096 * [taylor]: Taking taylor expansion of 2 in c 1553946237.096 * [backup-simplify]: Simplify 2 into 2 1553946237.096 * [backup-simplify]: Simplify (- 1) into -1 1553946237.097 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553946237.097 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553946237.097 * [backup-simplify]: Simplify (- 1) into -1 1553946237.098 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553946237.098 * [backup-simplify]: Simplify (- -1) into 1 1553946237.099 * [backup-simplify]: Simplify (+ 1 1) into 2 1553946237.099 * [backup-simplify]: Simplify (/ 2 2) into 1 1553946237.099 * [backup-simplify]: Simplify 1 into 1 1553946237.100 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.100 * [backup-simplify]: Simplify (- 1) into -1 1553946237.100 * [backup-simplify]: Simplify (- 0) into 0 1553946237.101 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553946237.101 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553946237.102 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553946237.102 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553946237.102 * [backup-simplify]: Simplify 0 into 0 1553946237.105 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553946237.105 * [backup-simplify]: Simplify (- 1) into -1 1553946237.105 * [backup-simplify]: Simplify (- 1) into -1 1553946237.106 * [backup-simplify]: Simplify (- 0) into 0 1553946237.106 * [backup-simplify]: Simplify (- 0) into 0 1553946237.107 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553946237.107 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553946237.108 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553946237.108 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553946237.108 * [backup-simplify]: Simplify 1/6 into 1/6 1553946237.111 * [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 1553946237.111 * [backup-simplify]: Simplify (- 1) into -1 1553946237.111 * [backup-simplify]: Simplify (- 1) into -1 1553946237.112 * [backup-simplify]: Simplify (- 0) into 0 1553946237.112 * [backup-simplify]: Simplify (- 1) into -1 1553946237.112 * [backup-simplify]: Simplify (- 0) into 0 1553946237.112 * [backup-simplify]: Simplify (- 0) into 0 1553946237.113 * [backup-simplify]: Simplify (- 0) into 0 1553946237.115 * [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 1553946237.115 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553946237.116 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553946237.116 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553946237.116 * [backup-simplify]: Simplify 0 into 0 1553946237.122 * [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 1553946237.123 * [backup-simplify]: Simplify (- 1) into -1 1553946237.123 * [backup-simplify]: Simplify (- 1) into -1 1553946237.124 * [backup-simplify]: Simplify (- 0) into 0 1553946237.124 * [backup-simplify]: Simplify (- 1) into -1 1553946237.125 * [backup-simplify]: Simplify (- 0) into 0 1553946237.125 * [backup-simplify]: Simplify (- 1) into -1 1553946237.125 * [backup-simplify]: Simplify (- 0) into 0 1553946237.126 * [backup-simplify]: Simplify (- 1) into -1 1553946237.126 * [backup-simplify]: Simplify (- 0) into 0 1553946237.127 * [backup-simplify]: Simplify (- 0) into 0 1553946237.127 * [backup-simplify]: Simplify (- 0) into 0 1553946237.128 * [backup-simplify]: Simplify (- 0) into 0 1553946237.134 * [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 1553946237.135 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553946237.135 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553946237.137 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553946237.137 * [backup-simplify]: Simplify 1/120 into 1/120 1553946237.137 * [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)) 1553946237.137 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553946237.137 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553946237.137 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.137 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.137 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.137 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.137 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.137 * [taylor]: Taking taylor expansion of c in c 1553946237.138 * [backup-simplify]: Simplify 0 into 0 1553946237.138 * [backup-simplify]: Simplify 1 into 1 1553946237.138 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.138 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.138 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.138 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.138 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.138 * [taylor]: Taking taylor expansion of c in c 1553946237.138 * [backup-simplify]: Simplify 0 into 0 1553946237.138 * [backup-simplify]: Simplify 1 into 1 1553946237.139 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.139 * [backup-simplify]: Simplify (- 1) into -1 1553946237.139 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.139 * [taylor]: Taking taylor expansion of 2 in c 1553946237.139 * [backup-simplify]: Simplify 2 into 2 1553946237.139 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.139 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.140 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.140 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553946237.140 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553946237.140 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553946237.140 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553946237.140 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.140 * [taylor]: Taking taylor expansion of c in c 1553946237.140 * [backup-simplify]: Simplify 0 into 0 1553946237.140 * [backup-simplify]: Simplify 1 into 1 1553946237.140 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.140 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553946237.140 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553946237.140 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553946237.140 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553946237.140 * [taylor]: Taking taylor expansion of c in c 1553946237.140 * [backup-simplify]: Simplify 0 into 0 1553946237.140 * [backup-simplify]: Simplify 1 into 1 1553946237.141 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946237.141 * [backup-simplify]: Simplify (- 1) into -1 1553946237.141 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553946237.141 * [taylor]: Taking taylor expansion of 2 in c 1553946237.141 * [backup-simplify]: Simplify 2 into 2 1553946237.142 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553946237.142 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553946237.142 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.142 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553946237.143 * [backup-simplify]: Simplify (- 0) into 0 1553946237.143 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.144 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553946237.144 * [backup-simplify]: Simplify 0 into 0 1553946237.145 * [backup-simplify]: Simplify (- 0) into 0 1553946237.145 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.147 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.147 * [backup-simplify]: Simplify 0 into 0 1553946237.147 * [backup-simplify]: Simplify (- 0) into 0 1553946237.148 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.150 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.150 * [backup-simplify]: Simplify 0 into 0 1553946237.150 * [backup-simplify]: Simplify (- 0) into 0 1553946237.151 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.153 * [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 1553946237.153 * [backup-simplify]: Simplify 0 into 0 1553946237.154 * [backup-simplify]: Simplify (- 0) into 0 1553946237.154 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.157 * [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 1553946237.157 * [backup-simplify]: Simplify 0 into 0 1553946237.158 * [backup-simplify]: Simplify (- 0) into 0 1553946237.158 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.162 * [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 1553946237.162 * [backup-simplify]: Simplify 0 into 0 1553946237.162 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553946237.162 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553946237.162 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553946237.162 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.162 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.163 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.163 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.163 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.163 * [taylor]: Taking taylor expansion of -1 in c 1553946237.163 * [backup-simplify]: Simplify -1 into -1 1553946237.163 * [taylor]: Taking taylor expansion of c in c 1553946237.163 * [backup-simplify]: Simplify 0 into 0 1553946237.163 * [backup-simplify]: Simplify 1 into 1 1553946237.163 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.163 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.163 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.163 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.163 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.163 * [taylor]: Taking taylor expansion of -1 in c 1553946237.163 * [backup-simplify]: Simplify -1 into -1 1553946237.163 * [taylor]: Taking taylor expansion of c in c 1553946237.163 * [backup-simplify]: Simplify 0 into 0 1553946237.164 * [backup-simplify]: Simplify 1 into 1 1553946237.164 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.164 * [backup-simplify]: Simplify (- -1) into 1 1553946237.164 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.165 * [taylor]: Taking taylor expansion of 2 in c 1553946237.165 * [backup-simplify]: Simplify 2 into 2 1553946237.165 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.165 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.165 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.165 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553946237.165 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553946237.165 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553946237.165 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553946237.165 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.165 * [taylor]: Taking taylor expansion of -1 in c 1553946237.165 * [backup-simplify]: Simplify -1 into -1 1553946237.165 * [taylor]: Taking taylor expansion of c in c 1553946237.165 * [backup-simplify]: Simplify 0 into 0 1553946237.165 * [backup-simplify]: Simplify 1 into 1 1553946237.166 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.166 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553946237.166 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553946237.166 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553946237.166 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553946237.166 * [taylor]: Taking taylor expansion of -1 in c 1553946237.166 * [backup-simplify]: Simplify -1 into -1 1553946237.166 * [taylor]: Taking taylor expansion of c in c 1553946237.166 * [backup-simplify]: Simplify 0 into 0 1553946237.166 * [backup-simplify]: Simplify 1 into 1 1553946237.167 * [backup-simplify]: Simplify (/ -1 1) into -1 1553946237.167 * [backup-simplify]: Simplify (- -1) into 1 1553946237.167 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553946237.167 * [taylor]: Taking taylor expansion of 2 in c 1553946237.167 * [backup-simplify]: Simplify 2 into 2 1553946237.167 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553946237.167 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553946237.167 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.168 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553946237.168 * [backup-simplify]: Simplify (- 0) into 0 1553946237.168 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.170 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553946237.170 * [backup-simplify]: Simplify 0 into 0 1553946237.170 * [backup-simplify]: Simplify (- 0) into 0 1553946237.170 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.172 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.172 * [backup-simplify]: Simplify 0 into 0 1553946237.172 * [backup-simplify]: Simplify (- 0) into 0 1553946237.173 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.175 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553946237.175 * [backup-simplify]: Simplify 0 into 0 1553946237.175 * [backup-simplify]: Simplify (- 0) into 0 1553946237.176 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.178 * [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 1553946237.178 * [backup-simplify]: Simplify 0 into 0 1553946237.179 * [backup-simplify]: Simplify (- 0) into 0 1553946237.179 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.182 * [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 1553946237.182 * [backup-simplify]: Simplify 0 into 0 1553946237.183 * [backup-simplify]: Simplify (- 0) into 0 1553946237.183 * [backup-simplify]: Simplify (+ 0 0) into 0 1553946237.187 * [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 1553946237.187 * [backup-simplify]: Simplify 0 into 0 1553946237.187 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946237.187 * * * [progress]: simplifying candidates 1553946237.187 * * * * [progress]: [ 1 / 89 ] simplifiying candidate # 1553946237.187 * * * * [progress]: [ 2 / 89 ] simplifiying candidate # 1553946237.187 * * * * [progress]: [ 3 / 89 ] simplifiying candidate # 1553946237.187 * * * * [progress]: [ 4 / 89 ] simplifiying candidate # 1553946237.187 * * * * [progress]: [ 5 / 89 ] simplifiying candidate # 1553946237.188 * * * * [progress]: [ 6 / 89 ] simplifiying candidate # 1553946237.188 * * * * [progress]: [ 7 / 89 ] simplifiying candidate # 1553946237.188 * [simplify]: Simplifying (cbrt (* (sinh c) (sinh c))) 1553946237.188 * * [simplify]: iters left: 4 (4 enodes) 1553946237.190 * * [simplify]: iters left: 3 (18 enodes) 1553946237.196 * * [simplify]: iters left: 2 (39 enodes) 1553946237.210 * * [simplify]: iters left: 1 (71 enodes) 1553946237.237 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.237 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946237.237 * * [simplify]: Extracting #2: cost 21 inf + 0 1553946237.237 * * [simplify]: Extracting #3: cost 42 inf + 2 1553946237.238 * * [simplify]: Extracting #4: cost 61 inf + 227 1553946237.239 * * [simplify]: Extracting #5: cost 32 inf + 4452 1553946237.242 * * [simplify]: Extracting #6: cost 3 inf + 9633 1553946237.245 * * [simplify]: Extracting #7: cost 0 inf + 10366 1553946237.248 * [simplify]: Simplified to (cbrt (* (sinh c) (sinh c))) 1553946237.248 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.248 * * * * [progress]: [ 8 / 89 ] simplifiying candidate # 1553946237.249 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1553946237.249 * * [simplify]: iters left: 6 (8 enodes) 1553946237.252 * * [simplify]: iters left: 5 (29 enodes) 1553946237.265 * * [simplify]: iters left: 4 (53 enodes) 1553946237.286 * * [simplify]: iters left: 3 (153 enodes) 1553946237.335 * * [simplify]: iters left: 2 (412 enodes) 1553946237.512 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.512 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946237.512 * * [simplify]: Extracting #2: cost 66 inf + 1 1553946237.513 * * [simplify]: Extracting #3: cost 160 inf + 75 1553946237.517 * * [simplify]: Extracting #4: cost 107 inf + 10439 1553946237.532 * * [simplify]: Extracting #5: cost 13 inf + 33761 1553946237.549 * * [simplify]: Extracting #6: cost 0 inf + 36328 1553946237.566 * * [simplify]: Extracting #7: cost 0 inf + 36118 1553946237.575 * [simplify]: Simplified to (+ (/ -1 (exp c)) (exp c)) 1553946237.575 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) (cbrt (* (* 2 2) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.575 * * * * [progress]: [ 9 / 89 ] simplifiying candidate # 1553946237.575 * [simplify]: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))) 1553946237.575 * * [simplify]: iters left: 6 (9 enodes) 1553946237.578 * * [simplify]: iters left: 5 (37 enodes) 1553946237.587 * * [simplify]: iters left: 4 (76 enodes) 1553946237.608 * * [simplify]: iters left: 3 (229 enodes) 1553946237.684 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.684 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946237.684 * * [simplify]: Extracting #2: cost 37 inf + 0 1553946237.685 * * [simplify]: Extracting #3: cost 143 inf + 1 1553946237.685 * * [simplify]: Extracting #4: cost 181 inf + 951 1553946237.687 * * [simplify]: Extracting #5: cost 123 inf + 13468 1553946237.694 * * [simplify]: Extracting #6: cost 8 inf + 46119 1553946237.706 * * [simplify]: Extracting #7: cost 0 inf + 44316 1553946237.718 * * [simplify]: Extracting #8: cost 0 inf + 43972 1553946237.727 * [simplify]: Simplified to (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1553946237.727 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.727 * * * * [progress]: [ 10 / 89 ] simplifiying candidate # 1553946237.727 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c))))) 1553946237.727 * * [simplify]: iters left: 6 (9 enodes) 1553946237.729 * * [simplify]: iters left: 5 (35 enodes) 1553946237.735 * * [simplify]: iters left: 4 (66 enodes) 1553946237.757 * * [simplify]: iters left: 3 (178 enodes) 1553946237.819 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.820 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946237.820 * * [simplify]: Extracting #2: cost 34 inf + 0 1553946237.820 * * [simplify]: Extracting #3: cost 128 inf + 1 1553946237.821 * * [simplify]: Extracting #4: cost 137 inf + 768 1553946237.822 * * [simplify]: Extracting #5: cost 84 inf + 11224 1553946237.828 * * [simplify]: Extracting #6: cost 9 inf + 30523 1553946237.837 * * [simplify]: Extracting #7: cost 0 inf + 32925 1553946237.844 * * [simplify]: Extracting #8: cost 0 inf + 32923 1553946237.852 * [simplify]: Simplified to (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) 1553946237.852 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (* (/ (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) 2) (+ (/ -1 (exp c)) (exp c)))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946237.852 * * * * [progress]: [ 11 / 89 ] simplifiying candidate # 1553946237.852 * [simplify]: Simplifying (cbrt (* (* (sinh c) (sinh c)) (- (exp c) (exp (- c))))) 1553946237.852 * * [simplify]: iters left: 6 (9 enodes) 1553946237.854 * * [simplify]: iters left: 5 (36 enodes) 1553946237.862 * * [simplify]: iters left: 4 (73 enodes) 1553946237.892 * * [simplify]: iters left: 3 (181 enodes) 1553946237.961 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946237.961 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946237.962 * * [simplify]: Extracting #2: cost 29 inf + 0 1553946237.962 * * [simplify]: Extracting #3: cost 114 inf + 2 1553946237.963 * * [simplify]: Extracting #4: cost 139 inf + 1678 1553946237.967 * * [simplify]: Extracting #5: cost 73 inf + 15769 1553946237.977 * * [simplify]: Extracting #6: cost 9 inf + 31547 1553946237.989 * * [simplify]: Extracting #7: cost 0 inf + 33318 1553946237.996 * * [simplify]: Extracting #8: cost 0 inf + 33262 1553946238.002 * [simplify]: Simplified to (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) 1553946238.002 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4)) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.003 * * * * [progress]: [ 12 / 89 ] simplifiying candidate # 1553946238.003 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c))) 1553946238.003 * * [simplify]: iters left: 6 (9 enodes) 1553946238.005 * * [simplify]: iters left: 5 (36 enodes) 1553946238.011 * * [simplify]: iters left: 4 (66 enodes) 1553946238.024 * * [simplify]: iters left: 3 (167 enodes) 1553946238.121 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.121 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.121 * * [simplify]: Extracting #2: cost 26 inf + 0 1553946238.121 * * [simplify]: Extracting #3: cost 98 inf + 1 1553946238.122 * * [simplify]: Extracting #4: cost 161 inf + 243 1553946238.125 * * [simplify]: Extracting #5: cost 116 inf + 7909 1553946238.135 * * [simplify]: Extracting #6: cost 25 inf + 30561 1553946238.149 * * [simplify]: Extracting #7: cost 0 inf + 36868 1553946238.163 * * [simplify]: Extracting #8: cost 0 inf + 36799 1553946238.177 * [simplify]: Simplified to (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) 1553946238.177 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c)))))) (cbrt (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.177 * * * * [progress]: [ 13 / 89 ] simplifiying candidate # 1553946238.178 * [simplify]: Simplifying (cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c))) 1553946238.178 * * [simplify]: iters left: 6 (9 enodes) 1553946238.185 * * [simplify]: iters left: 5 (35 enodes) 1553946238.197 * * [simplify]: iters left: 4 (65 enodes) 1553946238.214 * * [simplify]: iters left: 3 (163 enodes) 1553946238.275 * * [simplify]: iters left: 2 (484 enodes) 1553946238.662 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.662 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.662 * * [simplify]: Extracting #2: cost 32 inf + 0 1553946238.663 * * [simplify]: Extracting #3: cost 194 inf + 2 1553946238.666 * * [simplify]: Extracting #4: cost 314 inf + 3469 1553946238.683 * * [simplify]: Extracting #5: cost 120 inf + 47694 1553946238.716 * * [simplify]: Extracting #6: cost 3 inf + 76892 1553946238.753 * * [simplify]: Extracting #7: cost 0 inf + 76714 1553946238.790 * [simplify]: Simplified to (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) 1553946238.790 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 4)) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.791 * * * * [progress]: [ 14 / 89 ] simplifiying candidate # 1553946238.791 * [simplify]: Simplifying (cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c))) 1553946238.791 * * [simplify]: iters left: 6 (9 enodes) 1553946238.795 * * [simplify]: iters left: 5 (37 enodes) 1553946238.811 * * [simplify]: iters left: 4 (68 enodes) 1553946238.835 * * [simplify]: iters left: 3 (169 enodes) 1553946238.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.887 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946238.887 * * [simplify]: Extracting #2: cost 31 inf + 0 1553946238.887 * * [simplify]: Extracting #3: cost 110 inf + 2 1553946238.888 * * [simplify]: Extracting #4: cost 157 inf + 483 1553946238.890 * * [simplify]: Extracting #5: cost 95 inf + 13035 1553946238.897 * * [simplify]: Extracting #6: cost 12 inf + 33133 1553946238.904 * * [simplify]: Extracting #7: cost 0 inf + 35951 1553946238.913 * [simplify]: Simplified to (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) 1553946238.913 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (cbrt (/ (/ (+ (/ -1 (exp c)) (exp c)) (/ 2 (+ (/ -1 (exp c)) (exp c)))) (/ 2 (+ (/ -1 (exp c)) (exp c))))) (cbrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.913 * * * * [progress]: [ 15 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 16 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 17 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 18 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 19 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 20 / 89 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946238.914 * * * * [progress]: [ 21 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 22 / 89 ] simplifiying candidate # 1553946238.914 * * * * [progress]: [ 23 / 89 ] simplifiying candidate # 1553946238.914 * [simplify]: Simplifying (sinh c) 1553946238.914 * * [simplify]: iters left: 1 (2 enodes) 1553946238.916 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.916 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946238.916 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946238.916 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946238.916 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946238.916 * [simplify]: Simplified to (sinh c) 1553946238.916 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.917 * [simplify]: Simplifying (+ (+ 1 1) 1) 1553946238.917 * * [simplify]: iters left: 4 (3 enodes) 1553946238.921 * * [simplify]: iters left: 3 (14 enodes) 1553946238.925 * * [simplify]: iters left: 2 (16 enodes) 1553946238.930 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.930 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946238.930 * [simplify]: Simplified to 3 1553946238.930 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.930 * * * * [progress]: [ 24 / 89 ] simplifiying candidate # 1553946238.930 * [simplify]: Simplifying (sinh c) 1553946238.930 * * [simplify]: iters left: 1 (2 enodes) 1553946238.931 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.931 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946238.931 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946238.931 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946238.932 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946238.932 * [simplify]: Simplified to (sinh c) 1553946238.932 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.932 * [simplify]: Simplifying (+ 2 1) 1553946238.932 * * [simplify]: iters left: 2 (3 enodes) 1553946238.936 * * [simplify]: iters left: 1 (13 enodes) 1553946238.940 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.940 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946238.940 * [simplify]: Simplified to 3 1553946238.940 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.940 * * * * [progress]: [ 25 / 89 ] simplifiying candidate # 1553946238.940 * [simplify]: Simplifying (sinh c) 1553946238.940 * * [simplify]: iters left: 1 (2 enodes) 1553946238.941 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.941 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946238.941 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946238.941 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946238.942 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946238.942 * [simplify]: Simplified to (sinh c) 1553946238.942 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.942 * [simplify]: Simplifying (+ (+ 1 1) 1) 1553946238.942 * * [simplify]: iters left: 4 (3 enodes) 1553946238.946 * * [simplify]: iters left: 3 (14 enodes) 1553946238.948 * * [simplify]: iters left: 2 (16 enodes) 1553946238.950 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946238.950 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946238.950 * [simplify]: Simplified to 3 1553946238.950 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946238.950 * * * * [progress]: [ 26 / 89 ] simplifiying candidate # 1553946238.950 * [simplify]: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1553946238.951 * * [simplify]: iters left: 5 (4 enodes) 1553946238.951 * * [simplify]: iters left: 4 (19 enodes) 1553946238.955 * * [simplify]: iters left: 3 (46 enodes) 1553946238.964 * * [simplify]: iters left: 2 (107 enodes) 1553946239.001 * * [simplify]: iters left: 1 (295 enodes) 1553946239.197 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.198 * * [simplify]: Extracting #1: cost 34 inf + 0 1553946239.198 * * [simplify]: Extracting #2: cost 122 inf + 4 1553946239.200 * * [simplify]: Extracting #3: cost 239 inf + 1965 1553946239.212 * * [simplify]: Extracting #4: cost 95 inf + 33793 1553946239.239 * * [simplify]: Extracting #5: cost 0 inf + 58426 1553946239.261 * * [simplify]: Extracting #6: cost 0 inf + 54532 1553946239.273 * [simplify]: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.273 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (* (* (sinh c) (sinh c)) (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.273 * * * * [progress]: [ 27 / 89 ] simplifiying candidate # 1553946239.273 * [simplify]: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.273 * * [simplify]: iters left: 5 (4 enodes) 1553946239.274 * * [simplify]: iters left: 4 (19 enodes) 1553946239.278 * * [simplify]: iters left: 3 (46 enodes) 1553946239.289 * * [simplify]: iters left: 2 (107 enodes) 1553946239.333 * * [simplify]: iters left: 1 (295 enodes) 1553946239.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.527 * * [simplify]: Extracting #1: cost 34 inf + 0 1553946239.528 * * [simplify]: Extracting #2: cost 122 inf + 4 1553946239.531 * * [simplify]: Extracting #3: cost 239 inf + 1965 1553946239.543 * * [simplify]: Extracting #4: cost 95 inf + 33793 1553946239.570 * * [simplify]: Extracting #5: cost 0 inf + 58426 1553946239.582 * * [simplify]: Extracting #6: cost 0 inf + 54532 1553946239.595 * [simplify]: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1553946239.595 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (* (* (sinh c) (sinh c)) (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.595 * * * * [progress]: [ 28 / 89 ] simplifiying candidate # 1553946239.595 * [simplify]: Simplifying (sinh c) 1553946239.595 * * [simplify]: iters left: 1 (2 enodes) 1553946239.596 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.596 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.596 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.596 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.596 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.596 * [simplify]: Simplified to (sinh c) 1553946239.596 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.596 * * * * [progress]: [ 29 / 89 ] simplifiying candidate # 1553946239.596 * [simplify]: Simplifying (sinh c) 1553946239.596 * * [simplify]: iters left: 1 (2 enodes) 1553946239.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.597 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.597 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.597 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.597 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.597 * [simplify]: Simplified to (sinh c) 1553946239.597 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.597 * * * * [progress]: [ 30 / 89 ] simplifiying candidate # 1553946239.597 * [simplify]: Simplifying (sinh c) 1553946239.598 * * [simplify]: iters left: 1 (2 enodes) 1553946239.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.598 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.599 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.599 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.599 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.599 * [simplify]: Simplified to (sinh c) 1553946239.599 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ 2 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.599 * * * * [progress]: [ 31 / 89 ] simplifiying candidate # 1553946239.599 * [simplify]: Simplifying (sinh c) 1553946239.599 * * [simplify]: iters left: 1 (2 enodes) 1553946239.601 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.601 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946239.601 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946239.601 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946239.601 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946239.601 * [simplify]: Simplified to (sinh c) 1553946239.601 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (pow (sinh c) (+ (+ 1 1) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.601 * * * * [progress]: [ 32 / 89 ] simplifiying candidate # 1553946239.601 * * * * [progress]: [ 33 / 89 ] simplifiying candidate # 1553946239.602 * [simplify]: Simplifying (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1553946239.602 * * [simplify]: iters left: 6 (5 enodes) 1553946239.604 * * [simplify]: iters left: 5 (22 enodes) 1553946239.612 * * [simplify]: iters left: 4 (42 enodes) 1553946239.626 * * [simplify]: iters left: 3 (74 enodes) 1553946239.651 * * [simplify]: iters left: 2 (129 enodes) 1553946239.697 * * [simplify]: iters left: 1 (240 enodes) 1553946239.770 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.770 * * [simplify]: Extracting #1: cost 22 inf + 0 1553946239.771 * * [simplify]: Extracting #2: cost 62 inf + 0 1553946239.771 * * [simplify]: Extracting #3: cost 74 inf + 1 1553946239.772 * * [simplify]: Extracting #4: cost 82 inf + 200 1553946239.774 * * [simplify]: Extracting #5: cost 44 inf + 6356 1553946239.778 * * [simplify]: Extracting #6: cost 21 inf + 11363 1553946239.787 * * [simplify]: Extracting #7: cost 4 inf + 17783 1553946239.796 * * [simplify]: Extracting #8: cost 0 inf + 19037 1553946239.805 * * [simplify]: Extracting #9: cost 0 inf + 19009 1553946239.814 * [simplify]: Simplified to (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))) 1553946239.814 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (exp (+ (+ (log (sinh c)) (log (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946239.814 * * * * [progress]: [ 34 / 89 ] simplifiying candidate # 1553946239.814 * [simplify]: Simplifying (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1553946239.814 * * [simplify]: iters left: 6 (6 enodes) 1553946239.817 * * [simplify]: iters left: 5 (26 enodes) 1553946239.826 * * [simplify]: iters left: 4 (50 enodes) 1553946239.843 * * [simplify]: iters left: 3 (100 enodes) 1553946239.880 * * [simplify]: iters left: 2 (233 enodes) 1553946239.958 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946239.958 * * [simplify]: Extracting #1: cost 20 inf + 0 1553946239.958 * * [simplify]: Extracting #2: cost 71 inf + 0 1553946239.959 * * [simplify]: Extracting #3: cost 98 inf + 778 1553946239.960 * * [simplify]: Extracting #4: cost 152 inf + 2916 1553946239.964 * * [simplify]: Extracting #5: cost 103 inf + 10922 1553946239.972 * * [simplify]: Extracting #6: cost 26 inf + 30234 1553946239.985 * * [simplify]: Extracting #7: cost 0 inf + 36118 1553946239.998 * * [simplify]: Extracting #8: cost 0 inf + 34969 1553946240.006 * * [simplify]: Extracting #9: cost 0 inf + 34801 1553946240.013 * [simplify]: Simplified to (+ (log (* (sinh c) (sinh c))) (log (sinh c))) 1553946240.013 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (exp (+ (log (* (sinh c) (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946240.013 * * * * [progress]: [ 35 / 89 ] simplifiying candidate # 1553946240.013 * * * * [progress]: [ 36 / 89 ] simplifiying candidate # 1553946240.013 * * * * [progress]: [ 37 / 89 ] simplifiying candidate # 1553946240.014 * [simplify]: Simplifying (* (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1553946240.014 * * [simplify]: iters left: 6 (6 enodes) 1553946240.015 * * [simplify]: iters left: 5 (32 enodes) 1553946240.022 * * [simplify]: iters left: 4 (93 enodes) 1553946240.069 * * [simplify]: iters left: 3 (308 enodes) 1553946240.288 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946240.288 * * [simplify]: Extracting #1: cost 31 inf + 0 1553946240.289 * * [simplify]: Extracting #2: cost 189 inf + 3 1553946240.292 * * [simplify]: Extracting #3: cost 277 inf + 4936 1553946240.303 * * [simplify]: Extracting #4: cost 192 inf + 32041 1553946240.333 * * [simplify]: Extracting #5: cost 23 inf + 86838 1553946240.358 * * [simplify]: Extracting #6: cost 0 inf + 95906 1553946240.390 * * [simplify]: Extracting #7: cost 0 inf + 95769 1553946240.416 * [simplify]: Simplified to (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))) 1553946240.416 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (cbrt (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946240.416 * * * * [progress]: [ 38 / 89 ] simplifiying candidate # 1553946240.416 * [simplify]: Simplifying (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c))) 1553946240.416 * * [simplify]: iters left: 6 (7 enodes) 1553946240.418 * * [simplify]: iters left: 5 (38 enodes) 1553946240.427 * * [simplify]: iters left: 4 (102 enodes) 1553946240.469 * * [simplify]: iters left: 3 (321 enodes) 1553946240.639 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946240.639 * * [simplify]: Extracting #1: cost 31 inf + 0 1553946240.640 * * [simplify]: Extracting #2: cost 190 inf + 3 1553946240.644 * * [simplify]: Extracting #3: cost 258 inf + 6355 1553946240.657 * * [simplify]: Extracting #4: cost 189 inf + 32524 1553946240.680 * * [simplify]: Extracting #5: cost 25 inf + 86374 1553946240.708 * * [simplify]: Extracting #6: cost 0 inf + 93982 1553946240.730 * * [simplify]: Extracting #7: cost 0 inf + 93954 1553946240.765 * [simplify]: Simplified to (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)) 1553946240.765 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (cbrt (* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c)))) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946240.766 * * * * [progress]: [ 39 / 89 ] simplifiying candidate # 1553946240.766 * * * * [progress]: [ 40 / 89 ] simplifiying candidate # 1553946240.766 * * * * [progress]: [ 41 / 89 ] simplifiying candidate # 1553946240.766 * * * * [progress]: [ 42 / 89 ] simplifiying candidate # 1553946240.766 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1553946240.766 * * [simplify]: iters left: 6 (7 enodes) 1553946240.769 * * [simplify]: iters left: 5 (26 enodes) 1553946240.774 * * [simplify]: iters left: 4 (50 enodes) 1553946240.784 * * [simplify]: iters left: 3 (132 enodes) 1553946240.837 * * [simplify]: iters left: 2 (431 enodes) 1553946241.141 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.142 * * [simplify]: Extracting #1: cost 51 inf + 0 1553946241.142 * * [simplify]: Extracting #2: cost 329 inf + 2 1553946241.145 * * [simplify]: Extracting #3: cost 293 inf + 9500 1553946241.155 * * [simplify]: Extracting #4: cost 82 inf + 56649 1553946241.173 * * [simplify]: Extracting #5: cost 0 inf + 79248 1553946241.197 * * [simplify]: Extracting #6: cost 0 inf + 77986 1553946241.214 * [simplify]: Simplified to (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 1553946241.214 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) (* (* 2 2) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.215 * [simplify]: Simplifying (* (* 2 2) 2) 1553946241.215 * * [simplify]: iters left: 4 (3 enodes) 1553946241.219 * * [simplify]: iters left: 3 (12 enodes) 1553946241.222 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.222 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946241.222 * [simplify]: Simplified to 8 1553946241.222 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 8)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.223 * * * * [progress]: [ 43 / 89 ] simplifiying candidate # 1553946241.223 * [simplify]: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))) 1553946241.223 * * [simplify]: iters left: 6 (8 enodes) 1553946241.227 * * [simplify]: iters left: 5 (34 enodes) 1553946241.239 * * [simplify]: iters left: 4 (73 enodes) 1553946241.272 * * [simplify]: iters left: 3 (226 enodes) 1553946241.395 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.395 * * [simplify]: Extracting #1: cost 35 inf + 0 1553946241.396 * * [simplify]: Extracting #2: cost 144 inf + 1 1553946241.398 * * [simplify]: Extracting #3: cost 187 inf + 522 1553946241.401 * * [simplify]: Extracting #4: cost 130 inf + 13285 1553946241.417 * * [simplify]: Extracting #5: cost 9 inf + 46426 1553946241.427 * * [simplify]: Extracting #6: cost 0 inf + 44955 1553946241.439 * * [simplify]: Extracting #7: cost 0 inf + 44799 1553946241.448 * [simplify]: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 1553946241.448 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.448 * [simplify]: Simplifying (* 2 2) 1553946241.448 * * [simplify]: iters left: 2 (2 enodes) 1553946241.449 * * [simplify]: iters left: 1 (7 enodes) 1553946241.451 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.451 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946241.451 * [simplify]: Simplified to 4 1553946241.451 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 2) 4)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.451 * * * * [progress]: [ 44 / 89 ] simplifiying candidate # 1553946241.451 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c)))) 1553946241.451 * * [simplify]: iters left: 6 (8 enodes) 1553946241.453 * * [simplify]: iters left: 5 (32 enodes) 1553946241.459 * * [simplify]: iters left: 4 (63 enodes) 1553946241.476 * * [simplify]: iters left: 3 (175 enodes) 1553946241.529 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.529 * * [simplify]: Extracting #1: cost 32 inf + 0 1553946241.529 * * [simplify]: Extracting #2: cost 126 inf + 1 1553946241.530 * * [simplify]: Extracting #3: cost 135 inf + 753 1553946241.532 * * [simplify]: Extracting #4: cost 77 inf + 13423 1553946241.543 * * [simplify]: Extracting #5: cost 8 inf + 30426 1553946241.555 * * [simplify]: Extracting #6: cost 0 inf + 32395 1553946241.567 * [simplify]: Simplified to (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 1553946241.567 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.567 * [simplify]: Simplifying (* 2 2) 1553946241.567 * * [simplify]: iters left: 2 (2 enodes) 1553946241.569 * * [simplify]: iters left: 1 (7 enodes) 1553946241.572 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.572 * * [simplify]: Extracting #1: cost 0 inf + 1 1553946241.572 * [simplify]: Simplified to 4 1553946241.572 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c)))) (+ (exp c) (/ -1 (exp c)))) 2) 4)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.572 * * * * [progress]: [ 45 / 89 ] simplifiying candidate # 1553946241.572 * * * * [progress]: [ 46 / 89 ] simplifiying candidate # 1553946241.572 * [simplify]: Simplifying (cbrt (sinh c)) 1553946241.572 * * [simplify]: iters left: 2 (3 enodes) 1553946241.574 * * [simplify]: iters left: 1 (15 enodes) 1553946241.580 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.580 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946241.580 * * [simplify]: Extracting #2: cost 9 inf + 0 1553946241.580 * * [simplify]: Extracting #3: cost 11 inf + 2 1553946241.580 * * [simplify]: Extracting #4: cost 12 inf + 185 1553946241.580 * * [simplify]: Extracting #5: cost 5 inf + 904 1553946241.581 * * [simplify]: Extracting #6: cost 0 inf + 1690 1553946241.581 * [simplify]: Simplified to (cbrt (sinh c)) 1553946241.581 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c)))) (cbrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.581 * * * * [progress]: [ 47 / 89 ] simplifiying candidate # 1553946241.582 * [simplify]: Simplifying (sqrt (sinh c)) 1553946241.582 * * [simplify]: iters left: 2 (3 enodes) 1553946241.583 * * [simplify]: iters left: 1 (15 enodes) 1553946241.588 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.588 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946241.588 * * [simplify]: Extracting #2: cost 9 inf + 0 1553946241.589 * * [simplify]: Extracting #3: cost 11 inf + 2 1553946241.589 * * [simplify]: Extracting #4: cost 12 inf + 185 1553946241.589 * * [simplify]: Extracting #5: cost 5 inf + 824 1553946241.589 * * [simplify]: Extracting #6: cost 0 inf + 1610 1553946241.589 * [simplify]: Simplified to (sqrt (sinh c)) 1553946241.589 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.589 * * * * [progress]: [ 48 / 89 ] simplifiying candidate # 1553946241.590 * [simplify]: Simplifying (sinh c) 1553946241.590 * * [simplify]: iters left: 1 (2 enodes) 1553946241.590 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.590 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946241.590 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946241.590 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946241.590 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946241.590 * [simplify]: Simplified to (sinh c) 1553946241.590 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (* (sinh c) (sinh c)) 1) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.590 * * * * [progress]: [ 49 / 89 ] simplifiying candidate # 1553946241.591 * [simplify]: Simplifying (sinh c) 1553946241.591 * * [simplify]: iters left: 1 (2 enodes) 1553946241.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.591 * * [simplify]: Extracting #1: cost 5 inf + 0 1553946241.591 * * [simplify]: Extracting #2: cost 5 inf + 2 1553946241.591 * * [simplify]: Extracting #3: cost 3 inf + 185 1553946241.591 * * [simplify]: Extracting #4: cost 0 inf + 558 1553946241.591 * [simplify]: Simplified to (sinh c) 1553946241.591 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (* (sinh c) (* (sinh c) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.591 * * * * [progress]: [ 50 / 89 ] simplifiying candidate # 1553946241.591 * * * * [progress]: [ 51 / 89 ] simplifiying candidate # 1553946241.592 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (sinh c)) 1553946241.592 * * [simplify]: iters left: 6 (8 enodes) 1553946241.594 * * [simplify]: iters left: 5 (33 enodes) 1553946241.599 * * [simplify]: iters left: 4 (63 enodes) 1553946241.612 * * [simplify]: iters left: 3 (164 enodes) 1553946241.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.664 * * [simplify]: Extracting #1: cost 26 inf + 0 1553946241.664 * * [simplify]: Extracting #2: cost 104 inf + 1 1553946241.664 * * [simplify]: Extracting #3: cost 174 inf + 726 1553946241.667 * * [simplify]: Extracting #4: cost 96 inf + 19777 1553946241.674 * * [simplify]: Extracting #5: cost 4 inf + 44060 1553946241.684 * * [simplify]: Extracting #6: cost 0 inf + 40461 1553946241.691 * * [simplify]: Extracting #7: cost 0 inf + 40185 1553946241.699 * [simplify]: Simplified to (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) 1553946241.699 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (+ (exp c) (/ -1 (exp c))) (* (+ (exp c) (/ -1 (exp c))) (+ (exp c) (/ -1 (exp c))))) 2) (* 2 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.699 * * * * [progress]: [ 52 / 89 ] simplifiying candidate # 1553946241.699 * [simplify]: Simplifying (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c)) 1553946241.699 * * [simplify]: iters left: 6 (8 enodes) 1553946241.702 * * [simplify]: iters left: 5 (32 enodes) 1553946241.713 * * [simplify]: iters left: 4 (62 enodes) 1553946241.737 * * [simplify]: iters left: 3 (160 enodes) 1553946241.806 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.806 * * [simplify]: Extracting #1: cost 30 inf + 0 1553946241.806 * * [simplify]: Extracting #2: cost 105 inf + 2 1553946241.807 * * [simplify]: Extracting #3: cost 153 inf + 1320 1553946241.808 * * [simplify]: Extracting #4: cost 109 inf + 9614 1553946241.813 * * [simplify]: Extracting #5: cost 11 inf + 33779 1553946241.820 * * [simplify]: Extracting #6: cost 0 inf + 35877 1553946241.827 * * [simplify]: Extracting #7: cost 0 inf + 35863 1553946241.833 * [simplify]: Simplified to (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 1553946241.833 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 4) 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.833 * * * * [progress]: [ 53 / 89 ] simplifiying candidate # 1553946241.833 * [simplify]: Simplifying (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c)) 1553946241.834 * * [simplify]: iters left: 6 (8 enodes) 1553946241.835 * * [simplify]: iters left: 5 (34 enodes) 1553946241.846 * * [simplify]: iters left: 4 (65 enodes) 1553946241.872 * * [simplify]: iters left: 3 (166 enodes) 1553946241.936 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946241.936 * * [simplify]: Extracting #1: cost 30 inf + 0 1553946241.937 * * [simplify]: Extracting #2: cost 109 inf + 2 1553946241.937 * * [simplify]: Extracting #3: cost 161 inf + 397 1553946241.939 * * [simplify]: Extracting #4: cost 89 inf + 14681 1553946241.944 * * [simplify]: Extracting #5: cost 16 inf + 32861 1553946241.956 * * [simplify]: Extracting #6: cost 0 inf + 36627 1553946241.970 * * [simplify]: Extracting #7: cost 0 inf + 36613 1553946241.982 * [simplify]: Simplified to (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 1553946241.983 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (cbrt (/ (/ (+ (exp c) (/ -1 (exp c))) (* (/ 2 (+ (exp c) (/ -1 (exp c)))) (/ 2 (+ (exp c) (/ -1 (exp c)))))) 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946241.983 * * * * [progress]: [ 54 / 89 ] simplifiying candidate #real (real->posit16 (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946241.983 * * * * [progress]: [ 55 / 89 ] simplifiying candidate # 1553946241.983 * * * * [progress]: [ 56 / 89 ] simplifiying candidate # 1553946241.983 * * * * [progress]: [ 57 / 89 ] simplifiying candidate # 1553946241.983 * * * * [progress]: [ 58 / 89 ] simplifiying candidate # 1553946241.983 * * * * [progress]: [ 59 / 89 ] simplifiying candidate # 1553946241.983 * * * * [progress]: [ 60 / 89 ] simplifiying candidate # 1553946241.983 * * * * [progress]: [ 61 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 62 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 63 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 64 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 65 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 66 / 89 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946241.984 * * * * [progress]: [ 67 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 68 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 69 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 70 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 71 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 72 / 89 ] simplifiying candidate # 1553946241.984 * * * * [progress]: [ 73 / 89 ] simplifiying candidate # 1553946241.985 * * * * [progress]: [ 74 / 89 ] simplifiying candidate # 1553946241.985 * * * * [progress]: [ 75 / 89 ] simplifiying candidate # 1553946241.985 * * * * [progress]: [ 76 / 89 ] simplifiying candidate # 1553946241.985 * * * * [progress]: [ 77 / 89 ] simplifiying candidate #real (real->posit16 (sinh c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553946241.985 * * * * [progress]: [ 78 / 89 ] simplifiying candidate # 1553946241.985 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946241.985 * * [simplify]: iters left: 6 (11 enodes) 1553946241.992 * * [simplify]: iters left: 5 (44 enodes) 1553946242.006 * * [simplify]: iters left: 4 (66 enodes) 1553946242.032 * * [simplify]: iters left: 3 (102 enodes) 1553946242.058 * * [simplify]: iters left: 2 (114 enodes) 1553946242.083 * * [simplify]: iters left: 1 (122 enodes) 1553946242.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.115 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946242.115 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946242.116 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946242.118 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946242.119 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946242.121 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946242.123 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946242.123 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.123 * * * * [progress]: [ 79 / 89 ] simplifiying candidate # 1553946242.123 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946242.123 * * [simplify]: iters left: 6 (7 enodes) 1553946242.127 * * [simplify]: iters left: 5 (26 enodes) 1553946242.136 * * [simplify]: iters left: 4 (42 enodes) 1553946242.152 * * [simplify]: iters left: 3 (62 enodes) 1553946242.170 * * [simplify]: iters left: 2 (82 enodes) 1553946242.189 * * [simplify]: iters left: 1 (86 enodes) 1553946242.207 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.207 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.207 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946242.207 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946242.208 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946242.209 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946242.209 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946242.210 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.210 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.210 * * * * [progress]: [ 80 / 89 ] simplifiying candidate # 1553946242.211 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946242.211 * * [simplify]: iters left: 6 (8 enodes) 1553946242.216 * * [simplify]: iters left: 5 (31 enodes) 1553946242.221 * * [simplify]: iters left: 4 (45 enodes) 1553946242.229 * * [simplify]: iters left: 3 (67 enodes) 1553946242.240 * * [simplify]: iters left: 2 (89 enodes) 1553946242.252 * * [simplify]: iters left: 1 (93 enodes) 1553946242.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.274 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.274 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946242.274 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946242.275 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946242.276 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946242.276 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.276 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.277 * * * * [progress]: [ 81 / 89 ] simplifiying candidate # 1553946242.277 * [simplify]: Simplifying (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 1553946242.277 * * [simplify]: iters left: 6 (13 enodes) 1553946242.283 * * [simplify]: iters left: 5 (49 enodes) 1553946242.291 * * [simplify]: iters left: 4 (66 enodes) 1553946242.301 * * [simplify]: iters left: 3 (81 enodes) 1553946242.313 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.314 * * [simplify]: Extracting #1: cost 14 inf + 0 1553946242.314 * * [simplify]: Extracting #2: cost 23 inf + 3 1553946242.314 * * [simplify]: Extracting #3: cost 16 inf + 512 1553946242.316 * * [simplify]: Extracting #4: cost 1 inf + 5252 1553946242.317 * * [simplify]: Extracting #5: cost 0 inf + 5772 1553946242.318 * [simplify]: Simplified to (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c)))) 1553946242.318 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (fma (pow c 7) 13/120 (fma (pow c 5) 1/2 (* c (* c c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.319 * * * * [progress]: [ 82 / 89 ] simplifiying candidate # 1553946242.319 * [simplify]: Simplifying (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 1553946242.319 * * [simplify]: iters left: 6 (9 enodes) 1553946242.324 * * [simplify]: iters left: 5 (35 enodes) 1553946242.336 * * [simplify]: iters left: 4 (67 enodes) 1553946242.366 * * [simplify]: iters left: 3 (209 enodes) 1553946242.486 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.487 * * [simplify]: Extracting #1: cost 25 inf + 0 1553946242.487 * * [simplify]: Extracting #2: cost 147 inf + 1 1553946242.488 * * [simplify]: Extracting #3: cost 215 inf + 146 1553946242.490 * * [simplify]: Extracting #4: cost 148 inf + 17658 1553946242.499 * * [simplify]: Extracting #5: cost 17 inf + 56678 1553946242.511 * * [simplify]: Extracting #6: cost 0 inf + 56530 1553946242.528 * * [simplify]: Extracting #7: cost 0 inf + 54321 1553946242.550 * * [simplify]: Extracting #8: cost 0 inf + 54271 1553946242.562 * [simplify]: Simplified to (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8) 1553946242.562 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))) 1/8)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.562 * * * * [progress]: [ 83 / 89 ] simplifiying candidate # 1553946242.562 * [simplify]: Simplifying (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 1553946242.562 * * [simplify]: iters left: 6 (10 enodes) 1553946242.566 * * [simplify]: iters left: 5 (40 enodes) 1553946242.573 * * [simplify]: iters left: 4 (70 enodes) 1553946242.606 * * [simplify]: iters left: 3 (214 enodes) 1553946242.703 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.704 * * [simplify]: Extracting #1: cost 25 inf + 0 1553946242.704 * * [simplify]: Extracting #2: cost 134 inf + 1 1553946242.705 * * [simplify]: Extracting #3: cost 202 inf + 1394 1553946242.708 * * [simplify]: Extracting #4: cost 129 inf + 22890 1553946242.724 * * [simplify]: Extracting #5: cost 11 inf + 55130 1553946242.744 * * [simplify]: Extracting #6: cost 0 inf + 50767 1553946242.768 * * [simplify]: Extracting #7: cost 0 inf + 50225 1553946242.791 * [simplify]: Simplified to (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c)))) 1553946242.791 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* 1/8 (* (* (+ (/ -1 (exp c)) (exp c)) (+ (/ -1 (exp c)) (exp c))) (+ (/ -1 (exp c)) (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.791 * * * * [progress]: [ 84 / 89 ] simplifiying candidate # 1553946242.791 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946242.791 * * [simplify]: iters left: 6 (11 enodes) 1553946242.798 * * [simplify]: iters left: 5 (44 enodes) 1553946242.805 * * [simplify]: iters left: 4 (66 enodes) 1553946242.817 * * [simplify]: iters left: 3 (102 enodes) 1553946242.831 * * [simplify]: iters left: 2 (114 enodes) 1553946242.850 * * [simplify]: iters left: 1 (122 enodes) 1553946242.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.884 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946242.884 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946242.885 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946242.886 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946242.888 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946242.890 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946242.891 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946242.891 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.892 * * * * [progress]: [ 85 / 89 ] simplifiying candidate # 1553946242.892 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946242.892 * * [simplify]: iters left: 6 (7 enodes) 1553946242.894 * * [simplify]: iters left: 5 (26 enodes) 1553946242.899 * * [simplify]: iters left: 4 (42 enodes) 1553946242.906 * * [simplify]: iters left: 3 (62 enodes) 1553946242.916 * * [simplify]: iters left: 2 (82 enodes) 1553946242.927 * * [simplify]: iters left: 1 (86 enodes) 1553946242.941 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.941 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.941 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946242.941 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946242.941 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946242.942 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946242.942 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946242.943 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.943 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.943 * * * * [progress]: [ 86 / 89 ] simplifiying candidate # 1553946242.943 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946242.943 * * [simplify]: iters left: 6 (8 enodes) 1553946242.946 * * [simplify]: iters left: 5 (31 enodes) 1553946242.952 * * [simplify]: iters left: 4 (45 enodes) 1553946242.960 * * [simplify]: iters left: 3 (67 enodes) 1553946242.972 * * [simplify]: iters left: 2 (89 enodes) 1553946242.983 * * [simplify]: iters left: 1 (93 enodes) 1553946242.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946242.993 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946242.993 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946242.994 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946242.994 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946242.994 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946242.995 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946242.995 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946242.995 * * * * [progress]: [ 87 / 89 ] simplifiying candidate # 1553946242.995 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553946242.995 * * [simplify]: iters left: 6 (11 enodes) 1553946242.999 * * [simplify]: iters left: 5 (44 enodes) 1553946243.007 * * [simplify]: iters left: 4 (66 enodes) 1553946243.018 * * [simplify]: iters left: 3 (102 enodes) 1553946243.031 * * [simplify]: iters left: 2 (114 enodes) 1553946243.053 * * [simplify]: iters left: 1 (122 enodes) 1553946243.069 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.069 * * [simplify]: Extracting #1: cost 15 inf + 0 1553946243.069 * * [simplify]: Extracting #2: cost 25 inf + 44 1553946243.070 * * [simplify]: Extracting #3: cost 8 inf + 2506 1553946243.070 * * [simplify]: Extracting #4: cost 2 inf + 3748 1553946243.071 * * [simplify]: Extracting #5: cost 0 inf + 4289 1553946243.072 * * [simplify]: Extracting #6: cost 0 inf + 4264 1553946243.073 * [simplify]: Simplified to (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c)) 1553946243.073 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.073 * * * * [progress]: [ 88 / 89 ] simplifiying candidate # 1553946243.073 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553946243.073 * * [simplify]: iters left: 6 (7 enodes) 1553946243.075 * * [simplify]: iters left: 5 (26 enodes) 1553946243.080 * * [simplify]: iters left: 4 (42 enodes) 1553946243.093 * * [simplify]: iters left: 3 (62 enodes) 1553946243.105 * * [simplify]: iters left: 2 (82 enodes) 1553946243.115 * * [simplify]: iters left: 1 (86 enodes) 1553946243.124 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.124 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946243.124 * * [simplify]: Extracting #2: cost 20 inf + 2 1553946243.124 * * [simplify]: Extracting #3: cost 17 inf + 46 1553946243.124 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553946243.125 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553946243.125 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553946243.126 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946243.126 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (fma 1/2 (exp c) (/ -1/2 (exp c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.126 * * * * [progress]: [ 89 / 89 ] simplifiying candidate # 1553946243.126 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553946243.126 * * [simplify]: iters left: 6 (8 enodes) 1553946243.129 * * [simplify]: iters left: 5 (31 enodes) 1553946243.133 * * [simplify]: iters left: 4 (45 enodes) 1553946243.143 * * [simplify]: iters left: 3 (67 enodes) 1553946243.154 * * [simplify]: iters left: 2 (89 enodes) 1553946243.176 * * [simplify]: iters left: 1 (93 enodes) 1553946243.195 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946243.195 * * [simplify]: Extracting #1: cost 11 inf + 0 1553946243.195 * * [simplify]: Extracting #2: cost 21 inf + 2 1553946243.195 * * [simplify]: Extracting #3: cost 20 inf + 5 1553946243.195 * * [simplify]: Extracting #4: cost 10 inf + 889 1553946243.196 * * [simplify]: Extracting #5: cost 0 inf + 2129 1553946243.197 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553946243.197 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (cbrt (* (* (sinh c) (fma 1/2 (exp c) (/ -1/2 (exp c)))) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553946243.197 * * * [progress]: adding candidates to table 1553946243.794 * [progress]: [Phase 3 of 3] Extracting. 1553946243.794 * * [regime]: Finding splitpoints for: (# # #) 1553946243.795 * * * [regime-changes]: Trying 1 branch expressions: (c) 1553946243.795 * * * * [regimes]: Trying to branch on c from (# # #) 1553946243.819 * * * [regime]: Found split indices: #