1550712643.167 * [misc]progress: [Phase 1 of 3] Setting up. 1550712643.168 * * * [misc]progress: [1/2] Preparing points 1550712644.592 * * * [misc]progress: [2/2] Setting up program. 1550712644.601 * [misc]progress: [Phase 2 of 3] Improving. 1550712644.601 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550712644.603 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712644.604 * * [misc]simplify: iters left: 5 (7 enodes) 1550712644.646 * * [misc]simplify: iters left: 4 (27 enodes) 1550712644.663 * * [misc]simplify: iters left: 3 (40 enodes) 1550712644.676 * * [misc]simplify: iters left: 2 (44 enodes) 1550712644.689 * * [misc]simplify: iters left: 1 (46 enodes) 1550712644.704 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.704 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712644.704 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712644.704 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712644.705 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712644.705 * * [misc]simplify: Extracting #5: cost 9 inf + 919 1550712644.706 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712644.706 * * [misc]simplify: Extracting #7: cost 3 inf + 3160 1550712644.707 * * [misc]simplify: Extracting #8: cost 0 inf + 3643 1550712644.708 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712644.708 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712644.717 * * [misc]progress: iteration 1 / 4 1550712644.717 * * * [misc]progress: picking best candidate 1550712644.724 * * * * [misc]pick: Picked # 1550712644.724 * * * [misc]progress: localizing error 1550712644.759 * * * [misc]progress: generating rewritten candidates 1550712644.759 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1550712644.760 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1550712644.761 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1550712644.763 * * * [misc]progress: generating series expansions 1550712644.763 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1550712644.767 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712644.767 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712644.767 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712644.769 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712644.769 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712644.769 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712644.769 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712644.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify 0 into 0 1550712644.769 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712644.770 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712644.770 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712644.770 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712644.770 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712644.770 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712644.770 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712644.770 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712644.770 * [misc]backup-simplify: Simplify 0 into 0 1550712644.770 * [misc]backup-simplify: Simplify 0 into 0 1550712644.770 * [misc]backup-simplify: Simplify 0 into 0 1550712644.770 * [misc]backup-simplify: Simplify 0 into 0 1550712644.770 * [misc]backup-simplify: Simplify 0 into 0 1550712644.770 * [misc]backup-simplify: Simplify 0 into 0 1550712644.770 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712644.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712644.771 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712644.771 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712644.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712644.771 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712644.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712644.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify 0 into 0 1550712644.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712644.771 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1550712644.771 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.771 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550712644.771 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.772 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.772 * [misc]backup-simplify: Simplify 0 into 0 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712644.772 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550712644.772 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712644.772 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550712644.772 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712644.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712644.773 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550712644.773 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550712644.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712644.773 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550712644.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712644.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712644.773 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.774 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1550712644.774 * [misc]backup-simplify: Simplify (cosh a) into (cosh a) 1550712644.774 * [misc]approximate: Taking taylor expansion of (cosh a) in (a) around 0 1550712644.774 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550712644.774 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550712644.774 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550712644.774 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550712644.774 * [misc]taylor: Taking taylor expansion of a in a 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 1 into 1 1550712644.774 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.774 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550712644.774 * [misc]taylor: Taking taylor expansion of (- a) in a 1550712644.774 * [misc]taylor: Taking taylor expansion of a in a 1550712644.774 * [misc]backup-simplify: Simplify 0 into 0 1550712644.774 * [misc]backup-simplify: Simplify 1 into 1 1550712644.774 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.775 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.775 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.775 * [misc]taylor: Taking taylor expansion of 2 in a 1550712644.775 * [misc]backup-simplify: Simplify 2 into 2 1550712644.775 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.775 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.775 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550712644.776 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550712644.776 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550712644.776 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550712644.776 * [misc]taylor: Taking taylor expansion of a in a 1550712644.776 * [misc]backup-simplify: Simplify 0 into 0 1550712644.776 * [misc]backup-simplify: Simplify 1 into 1 1550712644.776 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.776 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550712644.776 * [misc]taylor: Taking taylor expansion of (- a) in a 1550712644.776 * [misc]taylor: Taking taylor expansion of a in a 1550712644.776 * [misc]backup-simplify: Simplify 0 into 0 1550712644.776 * [misc]backup-simplify: Simplify 1 into 1 1550712644.776 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.776 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.776 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712644.776 * [misc]taylor: Taking taylor expansion of 2 in a 1550712644.776 * [misc]backup-simplify: Simplify 2 into 2 1550712644.776 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712644.776 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712644.789 * [misc]backup-simplify: Simplify 1 into 1 1550712644.793 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712644.793 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.794 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712644.794 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712644.795 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712644.795 * [misc]backup-simplify: Simplify 0 into 0 1550712644.797 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.797 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.798 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.800 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712644.800 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1550712644.800 * [misc]backup-simplify: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1550712644.800 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550712644.805 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1550712644.805 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.805 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.805 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.805 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.810 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1550712644.810 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1550712644.810 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1550712644.810 * [misc]backup-simplify: Simplify 0 into 0 1550712644.817 * [misc]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 1550712644.817 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.817 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.817 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.817 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.818 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.818 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.818 * [misc]backup-simplify: Simplify (- 0) into 0 1550712644.824 * [misc]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 1550712644.824 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1550712644.824 * [misc]backup-simplify: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1550712644.824 * [misc]backup-simplify: Simplify 1/24 into 1/24 1550712644.826 * [misc]backup-simplify: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550712644.826 * [misc]backup-simplify: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a)) 1550712644.826 * [misc]approximate: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0 1550712644.826 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550712644.826 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550712644.826 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550712644.826 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550712644.826 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712644.827 * [misc]taylor: Taking taylor expansion of a in a 1550712644.827 * [misc]backup-simplify: Simplify 0 into 0 1550712644.827 * [misc]backup-simplify: Simplify 1 into 1 1550712644.827 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.827 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550712644.827 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550712644.827 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550712644.827 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712644.827 * [misc]taylor: Taking taylor expansion of a in a 1550712644.827 * [misc]backup-simplify: Simplify 0 into 0 1550712644.827 * [misc]backup-simplify: Simplify 1 into 1 1550712644.827 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.827 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.828 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550712644.828 * [misc]taylor: Taking taylor expansion of 2 in a 1550712644.828 * [misc]backup-simplify: Simplify 2 into 2 1550712644.828 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550712644.828 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550712644.828 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550712644.828 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550712644.828 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550712644.828 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550712644.828 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712644.828 * [misc]taylor: Taking taylor expansion of a in a 1550712644.828 * [misc]backup-simplify: Simplify 0 into 0 1550712644.828 * [misc]backup-simplify: Simplify 1 into 1 1550712644.829 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.829 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550712644.829 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550712644.829 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550712644.829 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712644.829 * [misc]taylor: Taking taylor expansion of a in a 1550712644.829 * [misc]backup-simplify: Simplify 0 into 0 1550712644.829 * [misc]backup-simplify: Simplify 1 into 1 1550712644.829 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712644.829 * [misc]backup-simplify: Simplify (- 1) into -1 1550712644.829 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550712644.829 * [misc]taylor: Taking taylor expansion of 2 in a 1550712644.829 * [misc]backup-simplify: Simplify 2 into 2 1550712644.829 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550712644.830 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550712644.830 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550712644.830 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.831 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0 1550712644.831 * [misc]backup-simplify: Simplify 0 into 0 1550712644.831 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.831 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.831 * [misc]backup-simplify: Simplify 0 into 0 1550712644.832 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.833 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.833 * [misc]backup-simplify: Simplify 0 into 0 1550712644.833 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.834 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.834 * [misc]backup-simplify: Simplify 0 into 0 1550712644.834 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.835 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.835 * [misc]backup-simplify: Simplify 0 into 0 1550712644.835 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.836 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.836 * [misc]backup-simplify: Simplify 0 into 0 1550712644.837 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp a) (exp (- a)))) 1550712644.837 * [misc]backup-simplify: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a)) 1550712644.837 * [misc]approximate: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0 1550712644.837 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550712644.837 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550712644.837 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550712644.837 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550712644.837 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712644.837 * [misc]taylor: Taking taylor expansion of -1 in a 1550712644.837 * [misc]backup-simplify: Simplify -1 into -1 1550712644.837 * [misc]taylor: Taking taylor expansion of a in a 1550712644.837 * [misc]backup-simplify: Simplify 0 into 0 1550712644.837 * [misc]backup-simplify: Simplify 1 into 1 1550712644.837 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.837 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550712644.837 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550712644.837 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550712644.837 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712644.838 * [misc]taylor: Taking taylor expansion of -1 in a 1550712644.838 * [misc]backup-simplify: Simplify -1 into -1 1550712644.838 * [misc]taylor: Taking taylor expansion of a in a 1550712644.838 * [misc]backup-simplify: Simplify 0 into 0 1550712644.838 * [misc]backup-simplify: Simplify 1 into 1 1550712644.838 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.838 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.838 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550712644.838 * [misc]taylor: Taking taylor expansion of 2 in a 1550712644.838 * [misc]backup-simplify: Simplify 2 into 2 1550712644.838 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550712644.838 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550712644.838 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550712644.838 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550712644.839 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550712644.839 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550712644.839 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712644.839 * [misc]taylor: Taking taylor expansion of -1 in a 1550712644.839 * [misc]backup-simplify: Simplify -1 into -1 1550712644.839 * [misc]taylor: Taking taylor expansion of a in a 1550712644.839 * [misc]backup-simplify: Simplify 0 into 0 1550712644.839 * [misc]backup-simplify: Simplify 1 into 1 1550712644.839 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.839 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550712644.839 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550712644.839 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550712644.839 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712644.839 * [misc]taylor: Taking taylor expansion of -1 in a 1550712644.839 * [misc]backup-simplify: Simplify -1 into -1 1550712644.839 * [misc]taylor: Taking taylor expansion of a in a 1550712644.839 * [misc]backup-simplify: Simplify 0 into 0 1550712644.839 * [misc]backup-simplify: Simplify 1 into 1 1550712644.839 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712644.839 * [misc]backup-simplify: Simplify (- -1) into 1 1550712644.840 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550712644.840 * [misc]taylor: Taking taylor expansion of 2 in a 1550712644.840 * [misc]backup-simplify: Simplify 2 into 2 1550712644.840 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550712644.840 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550712644.840 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550712644.840 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.841 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)))) into 0 1550712644.841 * [misc]backup-simplify: Simplify 0 into 0 1550712644.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.842 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.842 * [misc]backup-simplify: Simplify 0 into 0 1550712644.842 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.843 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.843 * [misc]backup-simplify: Simplify 0 into 0 1550712644.843 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.844 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.844 * [misc]backup-simplify: Simplify 0 into 0 1550712644.844 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.845 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.845 * [misc]backup-simplify: Simplify 0 into 0 1550712644.845 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712644.846 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712644.846 * [misc]backup-simplify: Simplify 0 into 0 1550712644.847 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550712644.847 * * * [misc]progress: simplifying candidates 1550712644.847 * * * * [misc]progress: [ 1 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 2 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 3 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 4 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 5 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 6 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 7 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 8 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 9 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 10 / 41 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))> 1550712644.847 * * * * [misc]progress: [ 11 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 12 / 41 ] simplifiying candidate # 1550712644.847 * * * * [misc]progress: [ 13 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 14 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 15 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 16 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 17 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 18 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 19 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 20 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 21 / 41 ] simplifiying candidate #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> 1550712644.848 * * * * [misc]progress: [ 22 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 23 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 24 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 25 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 26 / 41 ] simplifiying candidate # 1550712644.848 * * * * [misc]progress: [ 27 / 41 ] simplifiying candidate # 1550712644.849 * * * * [misc]progress: [ 28 / 41 ] simplifiying candidate # 1550712644.849 * * * * [misc]progress: [ 29 / 41 ] simplifiying candidate # 1550712644.849 * * * * [misc]progress: [ 30 / 41 ] simplifiying candidate # 1550712644.849 * * * * [misc]progress: [ 31 / 41 ] simplifiying candidate # 1550712644.849 * * * * [misc]progress: [ 32 / 41 ] simplifiying candidate #real (real->posit16 (cosh a))) (* a a)) (log1p a))))> 1550712644.849 * * * * [misc]progress: [ 33 / 41 ] simplifiying candidate # 1550712644.849 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712644.849 * * [misc]simplify: iters left: 2 (5 enodes) 1550712644.852 * * [misc]simplify: iters left: 1 (21 enodes) 1550712644.859 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.859 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712644.859 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712644.860 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712644.860 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712644.860 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712644.860 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712644.861 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712644.861 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712644.861 * * * * [misc]progress: [ 34 / 41 ] simplifiying candidate # 1550712644.861 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712644.861 * * [misc]simplify: iters left: 2 (5 enodes) 1550712644.864 * * [misc]simplify: iters left: 1 (21 enodes) 1550712644.872 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.872 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712644.872 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712644.872 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712644.872 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712644.872 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712644.873 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712644.873 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712644.873 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712644.873 * * * * [misc]progress: [ 35 / 41 ] simplifiying candidate # 1550712644.874 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712644.874 * * [misc]simplify: iters left: 2 (5 enodes) 1550712644.877 * * [misc]simplify: iters left: 1 (21 enodes) 1550712644.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.885 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712644.885 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712644.885 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712644.885 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712644.885 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712644.886 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712644.886 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712644.886 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712644.886 * * * * [misc]progress: [ 36 / 41 ] simplifiying candidate # 1550712644.886 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.886 * * [misc]simplify: iters left: 4 (8 enodes) 1550712644.890 * * [misc]simplify: iters left: 3 (30 enodes) 1550712644.900 * * [misc]simplify: iters left: 2 (41 enodes) 1550712644.913 * * [misc]simplify: iters left: 1 (45 enodes) 1550712644.928 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.928 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712644.928 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712644.928 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712644.928 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712644.928 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712644.929 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712644.929 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712644.930 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712644.931 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712644.931 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712644.931 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712644.931 * * * * [misc]progress: [ 37 / 41 ] simplifiying candidate # 1550712644.932 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.932 * * [misc]simplify: iters left: 4 (8 enodes) 1550712644.936 * * [misc]simplify: iters left: 3 (30 enodes) 1550712644.946 * * [misc]simplify: iters left: 2 (41 enodes) 1550712644.962 * * [misc]simplify: iters left: 1 (45 enodes) 1550712644.970 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.970 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712644.970 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712644.970 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712644.970 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712644.970 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712644.970 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712644.970 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712644.971 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712644.971 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712644.971 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712644.971 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712644.971 * * * * [misc]progress: [ 38 / 41 ] simplifiying candidate # 1550712644.972 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712644.972 * * [misc]simplify: iters left: 4 (8 enodes) 1550712644.974 * * [misc]simplify: iters left: 3 (30 enodes) 1550712644.979 * * [misc]simplify: iters left: 2 (41 enodes) 1550712644.986 * * [misc]simplify: iters left: 1 (45 enodes) 1550712644.998 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712644.998 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712644.998 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712644.998 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712644.998 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712644.998 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712644.999 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712644.999 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712645.000 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712645.000 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712645.001 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712645.001 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712645.001 * * * * [misc]progress: [ 39 / 41 ] simplifiying candidate # 1550712645.002 * [enter]simplify: Simplifying (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550712645.002 * * [misc]simplify: iters left: 6 (12 enodes) 1550712645.011 * * [misc]simplify: iters left: 5 (47 enodes) 1550712645.028 * * [misc]simplify: iters left: 4 (65 enodes) 1550712645.050 * * [misc]simplify: iters left: 3 (88 enodes) 1550712645.073 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.073 * * [misc]simplify: Extracting #1: cost 14 inf + 0 1550712645.073 * * [misc]simplify: Extracting #2: cost 19 inf + 45 1550712645.074 * * [misc]simplify: Extracting #3: cost 5 inf + 1939 1550712645.075 * * [misc]simplify: Extracting #4: cost 0 inf + 3428 1550712645.076 * [exit]simplify: Simplified to (fma 1/24 (pow a 4) (fma (* a a) 1/2 1)) 1550712645.076 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (fma 1/24 (pow a 4) (fma (* a a) 1/2 1)) (* a a)) (log1p a)))) 1550712645.076 * * * * [misc]progress: [ 40 / 41 ] simplifiying candidate # 1550712645.076 * [enter]simplify: Simplifying (* 1/2 (+ (exp a) (exp (- a)))) 1550712645.077 * * [misc]simplify: iters left: 6 (7 enodes) 1550712645.081 * * [misc]simplify: iters left: 5 (31 enodes) 1550712645.093 * * [misc]simplify: iters left: 4 (51 enodes) 1550712645.109 * * [misc]simplify: iters left: 3 (55 enodes) 1550712645.123 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.123 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550712645.123 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550712645.123 * * [misc]simplify: Extracting #3: cost 13 inf + 44 1550712645.124 * * [misc]simplify: Extracting #4: cost 4 inf + 1047 1550712645.124 * * [misc]simplify: Extracting #5: cost 0 inf + 1673 1550712645.125 * [exit]simplify: Simplified to (fma 1/2 (exp a) (/ 1/2 (exp a))) 1550712645.125 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (fma 1/2 (exp a) (/ 1/2 (exp a))) (* a a)) (log1p a)))) 1550712645.125 * * * * [misc]progress: [ 41 / 41 ] simplifiying candidate # 1550712645.125 * [enter]simplify: Simplifying (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550712645.125 * * [misc]simplify: iters left: 6 (8 enodes) 1550712645.131 * * [misc]simplify: iters left: 5 (36 enodes) 1550712645.144 * * [misc]simplify: iters left: 4 (53 enodes) 1550712645.160 * * [misc]simplify: iters left: 3 (63 enodes) 1550712645.177 * * [misc]simplify: iters left: 2 (65 enodes) 1550712645.193 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.193 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550712645.193 * * [misc]simplify: Extracting #2: cost 17 inf + 1 1550712645.193 * * [misc]simplify: Extracting #3: cost 13 inf + 228 1550712645.194 * * [misc]simplify: Extracting #4: cost 2 inf + 1578 1550712645.195 * * [misc]simplify: Extracting #5: cost 0 inf + 1816 1550712645.195 * [exit]simplify: Simplified to (fma 1/2 (exp a) (/ 1/2 (exp a))) 1550712645.195 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (fma 1/2 (exp a) (/ 1/2 (exp a))) (* a a)) (log1p a)))) 1550712645.196 * * * [misc]progress: adding candidates to table 1550712645.639 * * [misc]progress: iteration 2 / 4 1550712645.639 * * * [misc]progress: picking best candidate 1550712645.701 * * * * [misc]pick: Picked # 1550712645.701 * * * [misc]progress: localizing error 1550712645.712 * * * [misc]progress: generating rewritten candidates 1550712645.712 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 1) 1550712645.713 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550712645.718 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1550712645.719 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 1550712645.720 * * * [misc]progress: generating series expansions 1550712645.720 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 1) 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712645.720 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712645.720 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.720 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.720 * [misc]backup-simplify: Simplify 0 into 0 1550712645.720 * [misc]backup-simplify: Simplify 0 into 0 1550712645.720 * [misc]backup-simplify: Simplify 0 into 0 1550712645.720 * [misc]backup-simplify: Simplify 0 into 0 1550712645.720 * [misc]backup-simplify: Simplify 0 into 0 1550712645.720 * [misc]backup-simplify: Simplify 0 into 0 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.720 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712645.720 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712645.720 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712645.721 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.721 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712645.722 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550712645.722 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1550712645.722 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712645.722 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712645.722 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.722 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712645.722 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.722 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify 0 into 0 1550712645.722 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712645.722 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.722 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712645.722 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712645.722 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.722 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712645.723 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.723 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712645.723 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.723 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712645.723 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712645.723 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.723 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712645.723 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.723 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.723 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712645.724 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1550712645.724 * [misc]backup-simplify: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.724 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550712645.724 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550712645.724 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.724 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550712645.724 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.724 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.724 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify 0 into 0 1550712645.724 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.724 * [misc]backup-simplify: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712645.724 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550712645.724 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550712645.725 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712645.725 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550712645.725 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712645.725 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712645.725 * [misc]backup-simplify: Simplify 0 into 0 1550712645.725 * [misc]backup-simplify: Simplify 0 into 0 1550712645.725 * [misc]backup-simplify: Simplify 0 into 0 1550712645.725 * [misc]backup-simplify: Simplify 0 into 0 1550712645.725 * [misc]backup-simplify: Simplify 0 into 0 1550712645.725 * [misc]backup-simplify: Simplify 0 into 0 1550712645.725 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.725 * [misc]backup-simplify: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712645.725 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550712645.725 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550712645.725 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712645.726 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550712645.726 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712645.726 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712645.726 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 1550712645.726 * [misc]backup-simplify: Simplify (cosh a) into (cosh a) 1550712645.726 * [misc]approximate: Taking taylor expansion of (cosh a) in (a) around 0 1550712645.726 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550712645.726 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550712645.726 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550712645.726 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550712645.726 * [misc]taylor: Taking taylor expansion of a in a 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 1 into 1 1550712645.726 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712645.726 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550712645.726 * [misc]taylor: Taking taylor expansion of (- a) in a 1550712645.726 * [misc]taylor: Taking taylor expansion of a in a 1550712645.726 * [misc]backup-simplify: Simplify 0 into 0 1550712645.726 * [misc]backup-simplify: Simplify 1 into 1 1550712645.727 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.727 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.727 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712645.727 * [misc]taylor: Taking taylor expansion of 2 in a 1550712645.727 * [misc]backup-simplify: Simplify 2 into 2 1550712645.727 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712645.727 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712645.727 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550712645.727 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550712645.727 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550712645.727 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550712645.727 * [misc]taylor: Taking taylor expansion of a in a 1550712645.727 * [misc]backup-simplify: Simplify 0 into 0 1550712645.727 * [misc]backup-simplify: Simplify 1 into 1 1550712645.727 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712645.727 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550712645.727 * [misc]taylor: Taking taylor expansion of (- a) in a 1550712645.727 * [misc]taylor: Taking taylor expansion of a in a 1550712645.727 * [misc]backup-simplify: Simplify 0 into 0 1550712645.727 * [misc]backup-simplify: Simplify 1 into 1 1550712645.727 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.728 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.728 * [misc]backup-simplify: Simplify (exp 0) into 1 1550712645.728 * [misc]taylor: Taking taylor expansion of 2 in a 1550712645.728 * [misc]backup-simplify: Simplify 2 into 2 1550712645.728 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550712645.728 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550712645.728 * [misc]backup-simplify: Simplify 1 into 1 1550712645.729 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550712645.729 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.730 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550712645.730 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550712645.730 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550712645.730 * [misc]backup-simplify: Simplify 0 into 0 1550712645.731 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712645.731 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.731 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.733 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550712645.733 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1550712645.733 * [misc]backup-simplify: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1550712645.733 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550712645.735 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1550712645.735 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.735 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.735 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.736 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.738 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1550712645.738 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1550712645.738 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1550712645.738 * [misc]backup-simplify: Simplify 0 into 0 1550712645.742 * [misc]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 1550712645.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.742 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.742 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.742 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.742 * [misc]backup-simplify: Simplify (- 0) into 0 1550712645.746 * [misc]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 1550712645.746 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1550712645.746 * [misc]backup-simplify: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1550712645.746 * [misc]backup-simplify: Simplify 1/24 into 1/24 1550712645.746 * [misc]backup-simplify: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550712645.746 * [misc]backup-simplify: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a)) 1550712645.746 * [misc]approximate: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0 1550712645.747 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550712645.747 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550712645.747 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550712645.747 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550712645.747 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712645.747 * [misc]taylor: Taking taylor expansion of a in a 1550712645.747 * [misc]backup-simplify: Simplify 0 into 0 1550712645.747 * [misc]backup-simplify: Simplify 1 into 1 1550712645.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.747 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550712645.747 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550712645.747 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550712645.747 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712645.747 * [misc]taylor: Taking taylor expansion of a in a 1550712645.747 * [misc]backup-simplify: Simplify 0 into 0 1550712645.747 * [misc]backup-simplify: Simplify 1 into 1 1550712645.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.747 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.747 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550712645.747 * [misc]taylor: Taking taylor expansion of 2 in a 1550712645.747 * [misc]backup-simplify: Simplify 2 into 2 1550712645.747 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550712645.747 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550712645.747 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550712645.747 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550712645.747 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550712645.748 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550712645.748 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712645.748 * [misc]taylor: Taking taylor expansion of a in a 1550712645.748 * [misc]backup-simplify: Simplify 0 into 0 1550712645.748 * [misc]backup-simplify: Simplify 1 into 1 1550712645.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.748 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550712645.748 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550712645.748 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550712645.748 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550712645.748 * [misc]taylor: Taking taylor expansion of a in a 1550712645.748 * [misc]backup-simplify: Simplify 0 into 0 1550712645.748 * [misc]backup-simplify: Simplify 1 into 1 1550712645.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550712645.748 * [misc]backup-simplify: Simplify (- 1) into -1 1550712645.748 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550712645.748 * [misc]taylor: Taking taylor expansion of 2 in a 1550712645.748 * [misc]backup-simplify: Simplify 2 into 2 1550712645.748 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550712645.748 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550712645.749 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550712645.749 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.749 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0 1550712645.749 * [misc]backup-simplify: Simplify 0 into 0 1550712645.749 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.749 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.750 * [misc]backup-simplify: Simplify 0 into 0 1550712645.750 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.750 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.750 * [misc]backup-simplify: Simplify 0 into 0 1550712645.750 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.751 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.751 * [misc]backup-simplify: Simplify 0 into 0 1550712645.751 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.752 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.752 * [misc]backup-simplify: Simplify 0 into 0 1550712645.752 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.753 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.753 * [misc]backup-simplify: Simplify 0 into 0 1550712645.753 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp a) (exp (- a)))) 1550712645.753 * [misc]backup-simplify: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a)) 1550712645.753 * [misc]approximate: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0 1550712645.753 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550712645.753 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550712645.753 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550712645.753 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550712645.753 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712645.753 * [misc]taylor: Taking taylor expansion of -1 in a 1550712645.753 * [misc]backup-simplify: Simplify -1 into -1 1550712645.753 * [misc]taylor: Taking taylor expansion of a in a 1550712645.753 * [misc]backup-simplify: Simplify 0 into 0 1550712645.753 * [misc]backup-simplify: Simplify 1 into 1 1550712645.753 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.754 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550712645.754 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550712645.754 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550712645.754 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712645.754 * [misc]taylor: Taking taylor expansion of -1 in a 1550712645.754 * [misc]backup-simplify: Simplify -1 into -1 1550712645.754 * [misc]taylor: Taking taylor expansion of a in a 1550712645.754 * [misc]backup-simplify: Simplify 0 into 0 1550712645.754 * [misc]backup-simplify: Simplify 1 into 1 1550712645.754 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.754 * [misc]backup-simplify: Simplify (- -1) into 1 1550712645.754 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550712645.754 * [misc]taylor: Taking taylor expansion of 2 in a 1550712645.754 * [misc]backup-simplify: Simplify 2 into 2 1550712645.754 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550712645.754 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550712645.754 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550712645.754 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550712645.754 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550712645.754 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550712645.754 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712645.754 * [misc]taylor: Taking taylor expansion of -1 in a 1550712645.754 * [misc]backup-simplify: Simplify -1 into -1 1550712645.754 * [misc]taylor: Taking taylor expansion of a in a 1550712645.754 * [misc]backup-simplify: Simplify 0 into 0 1550712645.754 * [misc]backup-simplify: Simplify 1 into 1 1550712645.754 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.754 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550712645.754 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550712645.755 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550712645.755 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550712645.755 * [misc]taylor: Taking taylor expansion of -1 in a 1550712645.755 * [misc]backup-simplify: Simplify -1 into -1 1550712645.755 * [misc]taylor: Taking taylor expansion of a in a 1550712645.755 * [misc]backup-simplify: Simplify 0 into 0 1550712645.755 * [misc]backup-simplify: Simplify 1 into 1 1550712645.755 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550712645.755 * [misc]backup-simplify: Simplify (- -1) into 1 1550712645.755 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550712645.755 * [misc]taylor: Taking taylor expansion of 2 in a 1550712645.755 * [misc]backup-simplify: Simplify 2 into 2 1550712645.755 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550712645.755 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550712645.755 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550712645.755 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.756 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)))) into 0 1550712645.756 * [misc]backup-simplify: Simplify 0 into 0 1550712645.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.756 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.756 * [misc]backup-simplify: Simplify 0 into 0 1550712645.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.757 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.757 * [misc]backup-simplify: Simplify 0 into 0 1550712645.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.757 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.757 * [misc]backup-simplify: Simplify 0 into 0 1550712645.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.758 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.758 * [misc]backup-simplify: Simplify 0 into 0 1550712645.758 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550712645.759 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550712645.759 * [misc]backup-simplify: Simplify 0 into 0 1550712645.759 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550712645.759 * * * [misc]progress: simplifying candidates 1550712645.759 * * * * [misc]progress: [ 1 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 2 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 3 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 4 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 5 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 6 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 7 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 8 / 62 ] simplifiying candidate # 1550712645.759 * * * * [misc]progress: [ 9 / 62 ] simplifiying candidate # 1550712645.760 * * * * [misc]progress: [ 10 / 62 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))> 1550712645.760 * * * * [misc]progress: [ 11 / 62 ] simplifiying candidate # 1550712645.760 * * * * [misc]progress: [ 12 / 62 ] simplifiying candidate # 1550712645.760 * * * * [misc]progress: [ 13 / 62 ] simplifiying candidate # 1550712645.760 * [enter]simplify: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) 1550712645.760 * * [misc]simplify: iters left: 6 (8 enodes) 1550712645.762 * * [misc]simplify: iters left: 5 (32 enodes) 1550712645.768 * * [misc]simplify: iters left: 4 (47 enodes) 1550712645.776 * * [misc]simplify: iters left: 3 (51 enodes) 1550712645.785 * * [misc]simplify: iters left: 2 (53 enodes) 1550712645.794 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.794 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.794 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550712645.794 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550712645.794 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550712645.794 * * [misc]simplify: Extracting #5: cost 14 inf + 0 1550712645.794 * * [misc]simplify: Extracting #6: cost 19 inf + 0 1550712645.795 * * [misc]simplify: Extracting #7: cost 20 inf + 2 1550712645.795 * * [misc]simplify: Extracting #8: cost 18 inf + 543 1550712645.795 * * [misc]simplify: Extracting #9: cost 12 inf + 1580 1550712645.795 * * [misc]simplify: Extracting #10: cost 1 inf + 4471 1550712645.796 * * [misc]simplify: Extracting #11: cost 0 inf + 4857 1550712645.796 * [exit]simplify: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) 1550712645.796 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712645.796 * * * * [misc]progress: [ 14 / 62 ] simplifiying candidate # 1550712645.797 * [enter]simplify: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a))))) 1550712645.797 * * [misc]simplify: iters left: 6 (7 enodes) 1550712645.798 * * [misc]simplify: iters left: 5 (27 enodes) 1550712645.804 * * [misc]simplify: iters left: 4 (40 enodes) 1550712645.816 * * [misc]simplify: iters left: 3 (44 enodes) 1550712645.833 * * [misc]simplify: iters left: 2 (46 enodes) 1550712645.847 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.847 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.847 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712645.847 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550712645.848 * * [misc]simplify: Extracting #4: cost 10 inf + 0 1550712645.848 * * [misc]simplify: Extracting #5: cost 15 inf + 0 1550712645.848 * * [misc]simplify: Extracting #6: cost 16 inf + 2 1550712645.848 * * [misc]simplify: Extracting #7: cost 14 inf + 433 1550712645.848 * * [misc]simplify: Extracting #8: cost 7 inf + 1446 1550712645.849 * * [misc]simplify: Extracting #9: cost 0 inf + 3133 1550712645.850 * [exit]simplify: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a))))) 1550712645.850 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712645.850 * * * * [misc]progress: [ 15 / 62 ] simplifiying candidate # 1550712645.850 * [enter]simplify: Simplifying (log 1) 1550712645.850 * * [misc]simplify: iters left: 1 (2 enodes) 1550712645.853 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.853 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712645.853 * [exit]simplify: Simplified to 0 1550712645.853 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) 1550712645.853 * * * * [misc]progress: [ 16 / 62 ] simplifiying candidate # 1550712645.853 * * * * [misc]progress: [ 17 / 62 ] simplifiying candidate # 1550712645.854 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1550712645.854 * * [misc]simplify: iters left: 4 (5 enodes) 1550712645.856 * * [misc]simplify: iters left: 3 (21 enodes) 1550712645.864 * * [misc]simplify: iters left: 2 (34 enodes) 1550712645.875 * * [misc]simplify: iters left: 1 (38 enodes) 1550712645.887 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.887 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.887 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712645.887 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712645.887 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712645.887 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550712645.888 * * [misc]simplify: Extracting #6: cost 5 inf + 1069 1550712645.888 * * [misc]simplify: Extracting #7: cost 0 inf + 1909 1550712645.889 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1550712645.889 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1550712645.889 * * * * [misc]progress: [ 18 / 62 ] simplifiying candidate # 1550712645.889 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550712645.889 * * [misc]simplify: iters left: 4 (5 enodes) 1550712645.892 * * [misc]simplify: iters left: 3 (21 enodes) 1550712645.899 * * [misc]simplify: iters left: 2 (34 enodes) 1550712645.911 * * [misc]simplify: iters left: 1 (38 enodes) 1550712645.922 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.922 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712645.922 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712645.922 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712645.923 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712645.923 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550712645.923 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550712645.923 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550712645.924 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550712645.924 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712645.924 * * * * [misc]progress: [ 19 / 62 ] simplifiying candidate # 1550712645.924 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1550712645.925 * * [misc]simplify: iters left: 3 (4 enodes) 1550712645.926 * * [misc]simplify: iters left: 2 (18 enodes) 1550712645.933 * * [misc]simplify: iters left: 1 (31 enodes) 1550712645.943 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.943 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.943 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.943 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.943 * * [misc]simplify: Extracting #4: cost 7 inf + 599 1550712645.944 * * [misc]simplify: Extracting #5: cost 5 inf + 712 1550712645.944 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.944 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.944 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))) 1550712645.945 * * * * [misc]progress: [ 20 / 62 ] simplifiying candidate # 1550712645.945 * * * * [misc]progress: [ 21 / 62 ] simplifiying candidate # 1550712645.945 * [enter]simplify: Simplifying (cosh a) 1550712645.945 * * [misc]simplify: iters left: 1 (2 enodes) 1550712645.946 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.946 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550712645.946 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550712645.946 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550712645.946 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550712645.947 * [exit]simplify: Simplified to (cosh a) 1550712645.947 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712645.947 * * * * [misc]progress: [ 22 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 23 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 24 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 25 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 26 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 27 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 28 / 62 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))> 1550712645.947 * * * * [misc]progress: [ 29 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 30 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 31 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 32 / 62 ] simplifiying candidate # 1550712645.947 * * * * [misc]progress: [ 33 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 34 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 35 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 36 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 37 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 38 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 39 / 62 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 1550712645.948 * * * * [misc]progress: [ 40 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 41 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 42 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 43 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 44 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 45 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 46 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 47 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 48 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 49 / 62 ] simplifiying candidate # 1550712645.948 * * * * [misc]progress: [ 50 / 62 ] simplifiying candidate #real (real->posit16 (cosh a))) (* a a)))) (log1p a))))> 1550712645.949 * * * * [misc]progress: [ 51 / 62 ] simplifiying candidate # 1550712645.949 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712645.949 * * [misc]simplify: iters left: 2 (5 enodes) 1550712645.952 * * [misc]simplify: iters left: 1 (21 enodes) 1550712645.958 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.958 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.958 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.958 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.958 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712645.958 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712645.958 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.959 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.959 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550712645.959 * * * * [misc]progress: [ 52 / 62 ] simplifiying candidate # 1550712645.959 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712645.959 * * [misc]simplify: iters left: 2 (5 enodes) 1550712645.961 * * [misc]simplify: iters left: 1 (21 enodes) 1550712645.964 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.964 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.965 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.965 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.965 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712645.965 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712645.965 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.965 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.965 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550712645.965 * * * * [misc]progress: [ 53 / 62 ] simplifiying candidate # 1550712645.965 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712645.966 * * [misc]simplify: iters left: 2 (5 enodes) 1550712645.967 * * [misc]simplify: iters left: 1 (21 enodes) 1550712645.971 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.971 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.971 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.971 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.971 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712645.971 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712645.971 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.972 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.972 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550712645.972 * * * * [misc]progress: [ 54 / 62 ] simplifiying candidate # 1550712645.972 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712645.972 * * [misc]simplify: iters left: 2 (5 enodes) 1550712645.973 * * [misc]simplify: iters left: 1 (21 enodes) 1550712645.978 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.978 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.979 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.979 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.979 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712645.979 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712645.979 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.979 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.979 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712645.979 * * * * [misc]progress: [ 55 / 62 ] simplifiying candidate # 1550712645.979 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712645.980 * * [misc]simplify: iters left: 2 (5 enodes) 1550712645.981 * * [misc]simplify: iters left: 1 (21 enodes) 1550712645.986 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.986 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.986 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.986 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.986 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712645.986 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712645.987 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.987 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.987 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712645.987 * * * * [misc]progress: [ 56 / 62 ] simplifiying candidate # 1550712645.987 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712645.988 * * [misc]simplify: iters left: 2 (5 enodes) 1550712645.990 * * [misc]simplify: iters left: 1 (21 enodes) 1550712645.998 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712645.998 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712645.998 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712645.998 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712645.998 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712645.998 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712645.999 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712645.999 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712645.999 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712645.999 * * * * [misc]progress: [ 57 / 62 ] simplifiying candidate # 1550712646.000 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712646.000 * * [misc]simplify: iters left: 4 (8 enodes) 1550712646.004 * * [misc]simplify: iters left: 3 (30 enodes) 1550712646.014 * * [misc]simplify: iters left: 2 (41 enodes) 1550712646.027 * * [misc]simplify: iters left: 1 (45 enodes) 1550712646.042 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.042 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.042 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712646.042 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712646.042 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712646.042 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712646.042 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712646.043 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712646.044 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712646.044 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712646.045 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712646.045 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712646.045 * * * * [misc]progress: [ 58 / 62 ] simplifiying candidate # 1550712646.045 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712646.046 * * [misc]simplify: iters left: 4 (8 enodes) 1550712646.050 * * [misc]simplify: iters left: 3 (30 enodes) 1550712646.060 * * [misc]simplify: iters left: 2 (41 enodes) 1550712646.073 * * [misc]simplify: iters left: 1 (45 enodes) 1550712646.087 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.087 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.087 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712646.087 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712646.087 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712646.088 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712646.088 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712646.088 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712646.089 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712646.090 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712646.090 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712646.091 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712646.091 * * * * [misc]progress: [ 59 / 62 ] simplifiying candidate # 1550712646.091 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712646.091 * * [misc]simplify: iters left: 4 (8 enodes) 1550712646.095 * * [misc]simplify: iters left: 3 (30 enodes) 1550712646.105 * * [misc]simplify: iters left: 2 (41 enodes) 1550712646.118 * * [misc]simplify: iters left: 1 (45 enodes) 1550712646.129 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.129 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712646.129 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712646.129 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712646.130 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712646.130 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712646.130 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712646.130 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712646.130 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712646.131 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712646.131 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712646.131 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712646.131 * * * * [misc]progress: [ 60 / 62 ] simplifiying candidate # 1550712646.131 * [enter]simplify: Simplifying (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550712646.131 * * [misc]simplify: iters left: 6 (12 enodes) 1550712646.137 * * [misc]simplify: iters left: 5 (47 enodes) 1550712646.146 * * [misc]simplify: iters left: 4 (65 enodes) 1550712646.161 * * [misc]simplify: iters left: 3 (88 enodes) 1550712646.184 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.184 * * [misc]simplify: Extracting #1: cost 14 inf + 0 1550712646.185 * * [misc]simplify: Extracting #2: cost 19 inf + 45 1550712646.185 * * [misc]simplify: Extracting #3: cost 5 inf + 1939 1550712646.185 * * [misc]simplify: Extracting #4: cost 0 inf + 3428 1550712646.186 * [exit]simplify: Simplified to (fma 1/24 (pow a 4) (fma (* a a) 1/2 1)) 1550712646.186 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (fma 1/24 (pow a 4) (fma (* a a) 1/2 1)) (* a a)))) (log1p a)))) 1550712646.186 * * * * [misc]progress: [ 61 / 62 ] simplifiying candidate # 1550712646.186 * [enter]simplify: Simplifying (* 1/2 (+ (exp a) (exp (- a)))) 1550712646.186 * * [misc]simplify: iters left: 6 (7 enodes) 1550712646.189 * * [misc]simplify: iters left: 5 (31 enodes) 1550712646.196 * * [misc]simplify: iters left: 4 (51 enodes) 1550712646.203 * * [misc]simplify: iters left: 3 (55 enodes) 1550712646.211 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.211 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550712646.211 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550712646.211 * * [misc]simplify: Extracting #3: cost 13 inf + 44 1550712646.211 * * [misc]simplify: Extracting #4: cost 4 inf + 1047 1550712646.212 * * [misc]simplify: Extracting #5: cost 0 inf + 1673 1550712646.212 * [exit]simplify: Simplified to (fma 1/2 (exp a) (/ 1/2 (exp a))) 1550712646.212 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (fma 1/2 (exp a) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) 1550712646.212 * * * * [misc]progress: [ 62 / 62 ] simplifiying candidate # 1550712646.212 * [enter]simplify: Simplifying (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550712646.213 * * [misc]simplify: iters left: 6 (8 enodes) 1550712646.216 * * [misc]simplify: iters left: 5 (36 enodes) 1550712646.224 * * [misc]simplify: iters left: 4 (53 enodes) 1550712646.233 * * [misc]simplify: iters left: 3 (63 enodes) 1550712646.244 * * [misc]simplify: iters left: 2 (65 enodes) 1550712646.260 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712646.260 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550712646.260 * * [misc]simplify: Extracting #2: cost 17 inf + 1 1550712646.260 * * [misc]simplify: Extracting #3: cost 13 inf + 228 1550712646.261 * * [misc]simplify: Extracting #4: cost 2 inf + 1578 1550712646.262 * * [misc]simplify: Extracting #5: cost 0 inf + 1816 1550712646.262 * [exit]simplify: Simplified to (fma 1/2 (exp a) (/ 1/2 (exp a))) 1550712646.262 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (fma 1/2 (exp a) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) 1550712646.263 * * * [misc]progress: adding candidates to table 1550712647.067 * * [misc]progress: iteration 3 / 4 1550712647.068 * * * [misc]progress: picking best candidate 1550712647.154 * * * * [misc]pick: Picked # 1550712647.155 * * * [misc]progress: localizing error 1550712647.188 * * * [misc]progress: generating rewritten candidates 1550712647.188 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 1550712647.189 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1550712647.189 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550712647.195 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1550712647.199 * * * [misc]progress: generating series expansions 1550712647.199 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 1550712647.199 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712647.199 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712647.199 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712647.199 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.199 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712647.199 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.200 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.200 * [misc]backup-simplify: Simplify 0 into 0 1550712647.200 * [misc]backup-simplify: Simplify 0 into 0 1550712647.200 * [misc]backup-simplify: Simplify 0 into 0 1550712647.200 * [misc]backup-simplify: Simplify 0 into 0 1550712647.200 * [misc]backup-simplify: Simplify 0 into 0 1550712647.200 * [misc]backup-simplify: Simplify 0 into 0 1550712647.200 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.200 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.200 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712647.200 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712647.200 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.200 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712647.200 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.200 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712647.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.201 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712647.201 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712647.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.201 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712647.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify 0 into 0 1550712647.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712647.201 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712647.202 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712647.202 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.202 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.202 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712647.202 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.202 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.202 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.202 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712647.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.203 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712647.203 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712647.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.203 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712647.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify 0 into 0 1550712647.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712647.203 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550712647.203 * [misc]backup-simplify: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.203 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0 1550712647.204 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550712647.204 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712647.204 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.204 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.204 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.204 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550712647.204 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712647.204 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712647.204 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.204 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.204 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.204 * [misc]backup-simplify: Simplify 0 into 0 1550712647.205 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.205 * [misc]backup-simplify: Simplify 0 into 0 1550712647.206 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.206 * [misc]backup-simplify: Simplify 0 into 0 1550712647.206 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.206 * [misc]backup-simplify: Simplify 0 into 0 1550712647.206 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.207 * [misc]backup-simplify: Simplify 0 into 0 1550712647.207 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550712647.207 * [misc]backup-simplify: Simplify 0 into 0 1550712647.207 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.207 * [misc]backup-simplify: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550712647.207 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0 1550712647.207 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550712647.207 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712647.207 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.208 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550712647.208 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.208 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550712647.208 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712647.208 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712647.208 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550712647.208 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.208 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550712647.208 * [misc]backup-simplify: Simplify 0 into 0 1550712647.209 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.209 * [misc]backup-simplify: Simplify 0 into 0 1550712647.209 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.209 * [misc]backup-simplify: Simplify 0 into 0 1550712647.210 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.210 * [misc]backup-simplify: Simplify 0 into 0 1550712647.210 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.210 * [misc]backup-simplify: Simplify 0 into 0 1550712647.211 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.211 * [misc]backup-simplify: Simplify 0 into 0 1550712647.211 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.211 * [misc]backup-simplify: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550712647.211 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0 1550712647.211 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550712647.211 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712647.211 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.211 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550712647.211 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.211 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550712647.211 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712647.211 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712647.212 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550712647.212 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.212 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550712647.212 * [misc]backup-simplify: Simplify 0 into 0 1550712647.213 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.213 * [misc]backup-simplify: Simplify 0 into 0 1550712647.213 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.213 * [misc]backup-simplify: Simplify 0 into 0 1550712647.214 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.214 * [misc]backup-simplify: Simplify 0 into 0 1550712647.214 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.214 * [misc]backup-simplify: Simplify 0 into 0 1550712647.215 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550712647.215 * [misc]backup-simplify: Simplify 0 into 0 1550712647.215 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 1550712647.215 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1550712647.215 * [misc]backup-simplify: Simplify (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.215 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550712647.215 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550712647.215 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.215 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550712647.215 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.215 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.215 * [misc]backup-simplify: Simplify 0 into 0 1550712647.215 * [misc]backup-simplify: Simplify 0 into 0 1550712647.215 * [misc]backup-simplify: Simplify 0 into 0 1550712647.216 * [misc]backup-simplify: Simplify 0 into 0 1550712647.216 * [misc]backup-simplify: Simplify 0 into 0 1550712647.216 * [misc]backup-simplify: Simplify 0 into 0 1550712647.216 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.216 * [misc]backup-simplify: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712647.216 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550712647.216 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550712647.216 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712647.216 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550712647.216 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712647.216 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1550712647.216 * [misc]backup-simplify: Simplify 0 into 0 1550712647.217 * [misc]backup-simplify: Simplify 0 into 0 1550712647.217 * [misc]backup-simplify: Simplify 0 into 0 1550712647.217 * [misc]backup-simplify: Simplify 0 into 0 1550712647.217 * [misc]backup-simplify: Simplify 0 into 0 1550712647.217 * [misc]backup-simplify: Simplify 0 into 0 1550712647.217 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.217 * [misc]backup-simplify: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712647.217 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550712647.217 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550712647.217 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712647.217 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550712647.217 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712647.218 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1550712647.218 * [misc]backup-simplify: Simplify 0 into 0 1550712647.218 * [misc]backup-simplify: Simplify 0 into 0 1550712647.218 * [misc]backup-simplify: Simplify 0 into 0 1550712647.218 * [misc]backup-simplify: Simplify 0 into 0 1550712647.218 * [misc]backup-simplify: Simplify 0 into 0 1550712647.218 * [misc]backup-simplify: Simplify 0 into 0 1550712647.218 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.218 * * * [misc]progress: simplifying candidates 1550712647.218 * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550712647.218 * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # 1550712647.218 * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> 1550712647.219 * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # 1550712647.219 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # 1550712647.219 * [enter]simplify: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550712647.219 * * [misc]simplify: iters left: 6 (9 enodes) 1550712647.221 * * [misc]simplify: iters left: 5 (35 enodes) 1550712647.228 * * [misc]simplify: iters left: 4 (50 enodes) 1550712647.237 * * [misc]simplify: iters left: 3 (54 enodes) 1550712647.255 * * [misc]simplify: iters left: 2 (56 enodes) 1550712647.272 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.272 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.272 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550712647.272 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550712647.272 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550712647.272 * * [misc]simplify: Extracting #5: cost 13 inf + 0 1550712647.272 * * [misc]simplify: Extracting #6: cost 16 inf + 0 1550712647.272 * * [misc]simplify: Extracting #7: cost 21 inf + 0 1550712647.273 * * [misc]simplify: Extracting #8: cost 22 inf + 2 1550712647.273 * * [misc]simplify: Extracting #9: cost 22 inf + 211 1550712647.273 * * [misc]simplify: Extracting #10: cost 11 inf + 1858 1550712647.274 * * [misc]simplify: Extracting #11: cost 2 inf + 4777 1550712647.275 * * [misc]simplify: Extracting #12: cost 0 inf + 5669 1550712647.277 * [exit]simplify: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550712647.277 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712647.277 * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # 1550712647.277 * [enter]simplify: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550712647.277 * * [misc]simplify: iters left: 6 (8 enodes) 1550712647.281 * * [misc]simplify: iters left: 5 (30 enodes) 1550712647.291 * * [misc]simplify: iters left: 4 (43 enodes) 1550712647.304 * * [misc]simplify: iters left: 3 (47 enodes) 1550712647.313 * * [misc]simplify: iters left: 2 (49 enodes) 1550712647.321 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.321 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.321 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712647.321 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550712647.321 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550712647.321 * * [misc]simplify: Extracting #5: cost 12 inf + 0 1550712647.321 * * [misc]simplify: Extracting #6: cost 17 inf + 0 1550712647.321 * * [misc]simplify: Extracting #7: cost 18 inf + 2 1550712647.321 * * [misc]simplify: Extracting #8: cost 17 inf + 377 1550712647.321 * * [misc]simplify: Extracting #9: cost 10 inf + 1400 1550712647.322 * * [misc]simplify: Extracting #10: cost 0 inf + 3785 1550712647.322 * [exit]simplify: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550712647.322 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712647.322 * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # 1550712647.323 * [enter]simplify: Simplifying (log 1) 1550712647.323 * * [misc]simplify: iters left: 1 (2 enodes) 1550712647.324 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.324 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550712647.324 * [exit]simplify: Simplified to 0 1550712647.324 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1550712647.324 * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # 1550712647.324 * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # 1550712647.325 * [enter]simplify: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a)))) 1550712647.325 * * [misc]simplify: iters left: 5 (6 enodes) 1550712647.326 * * [misc]simplify: iters left: 4 (24 enodes) 1550712647.331 * * [misc]simplify: iters left: 3 (37 enodes) 1550712647.338 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.345 * * [misc]simplify: iters left: 1 (43 enodes) 1550712647.352 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.352 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.352 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712647.352 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550712647.352 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550712647.352 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550712647.352 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550712647.353 * * [misc]simplify: Extracting #7: cost 6 inf + 1410 1550712647.353 * * [misc]simplify: Extracting #8: cost 1 inf + 2180 1550712647.353 * * [misc]simplify: Extracting #9: cost 0 inf + 2401 1550712647.353 * [exit]simplify: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a)))) 1550712647.354 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1550712647.354 * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # 1550712647.354 * [enter]simplify: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a)))) 1550712647.354 * * [misc]simplify: iters left: 5 (6 enodes) 1550712647.355 * * [misc]simplify: iters left: 4 (24 enodes) 1550712647.360 * * [misc]simplify: iters left: 3 (37 enodes) 1550712647.366 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.373 * * [misc]simplify: iters left: 1 (43 enodes) 1550712647.381 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.381 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.381 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712647.381 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550712647.381 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550712647.381 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550712647.381 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550712647.381 * * [misc]simplify: Extracting #7: cost 6 inf + 1490 1550712647.381 * * [misc]simplify: Extracting #8: cost 1 inf + 2260 1550712647.382 * * [misc]simplify: Extracting #9: cost 0 inf + 2481 1550712647.382 * [exit]simplify: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a)))) 1550712647.382 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1550712647.382 * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # 1550712647.382 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550712647.382 * * [misc]simplify: iters left: 5 (6 enodes) 1550712647.384 * * [misc]simplify: iters left: 4 (24 enodes) 1550712647.389 * * [misc]simplify: iters left: 3 (37 enodes) 1550712647.397 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.404 * * [misc]simplify: iters left: 1 (43 enodes) 1550712647.412 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.412 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.412 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712647.412 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550712647.412 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550712647.412 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550712647.412 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550712647.412 * * [misc]simplify: Extracting #7: cost 6 inf + 1370 1550712647.412 * * [misc]simplify: Extracting #8: cost 1 inf + 2100 1550712647.413 * * [misc]simplify: Extracting #9: cost 0 inf + 2321 1550712647.413 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550712647.413 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712647.413 * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # 1550712647.413 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550712647.413 * * [misc]simplify: iters left: 4 (5 enodes) 1550712647.414 * * [misc]simplify: iters left: 3 (21 enodes) 1550712647.419 * * [misc]simplify: iters left: 2 (34 enodes) 1550712647.425 * * [misc]simplify: iters left: 1 (38 enodes) 1550712647.431 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.431 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.431 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.431 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.431 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712647.431 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550712647.432 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550712647.432 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550712647.432 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550712647.432 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a)))) 1550712647.432 * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # 1550712647.432 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550712647.433 * * [misc]simplify: iters left: 5 (6 enodes) 1550712647.434 * * [misc]simplify: iters left: 4 (24 enodes) 1550712647.439 * * [misc]simplify: iters left: 3 (37 enodes) 1550712647.446 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.453 * * [misc]simplify: iters left: 1 (43 enodes) 1550712647.460 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.460 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.460 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550712647.460 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550712647.460 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550712647.460 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550712647.460 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550712647.460 * * [misc]simplify: Extracting #7: cost 6 inf + 1370 1550712647.461 * * [misc]simplify: Extracting #8: cost 1 inf + 2100 1550712647.461 * * [misc]simplify: Extracting #9: cost 0 inf + 2321 1550712647.461 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550712647.461 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712647.461 * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # 1550712647.461 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550712647.462 * * [misc]simplify: iters left: 4 (5 enodes) 1550712647.463 * * [misc]simplify: iters left: 3 (21 enodes) 1550712647.469 * * [misc]simplify: iters left: 2 (34 enodes) 1550712647.480 * * [misc]simplify: iters left: 1 (38 enodes) 1550712647.492 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.493 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.493 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.493 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.493 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712647.493 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550712647.493 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550712647.494 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550712647.494 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550712647.494 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a)))) 1550712647.494 * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # 1550712647.494 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # 1550712647.495 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1550712647.495 * * [misc]simplify: iters left: 3 (4 enodes) 1550712647.497 * * [misc]simplify: iters left: 2 (18 enodes) 1550712647.503 * * [misc]simplify: iters left: 1 (31 enodes) 1550712647.515 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.515 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.515 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.515 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.515 * * [misc]simplify: Extracting #4: cost 7 inf + 599 1550712647.516 * * [misc]simplify: Extracting #5: cost 5 inf + 712 1550712647.516 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.516 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.517 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 1550712647.517 * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550712647.517 * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # 1550712647.517 * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # 1550712647.518 * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # 1550712647.518 * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # 1550712647.518 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # 1550712647.518 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # 1550712647.518 * * * * [misc]progress: [ 52 / 64 ] simplifiying candidate #real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> 1550712647.518 * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # 1550712647.518 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712647.518 * * [misc]simplify: iters left: 2 (5 enodes) 1550712647.521 * * [misc]simplify: iters left: 1 (21 enodes) 1550712647.529 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.529 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.529 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.529 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.529 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712647.529 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712647.530 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.530 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.530 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712647.530 * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # 1550712647.531 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712647.531 * * [misc]simplify: iters left: 2 (5 enodes) 1550712647.534 * * [misc]simplify: iters left: 1 (21 enodes) 1550712647.542 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.542 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.542 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.542 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.542 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712647.542 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712647.543 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.543 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.543 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712647.544 * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # 1550712647.544 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712647.544 * * [misc]simplify: iters left: 2 (5 enodes) 1550712647.547 * * [misc]simplify: iters left: 1 (21 enodes) 1550712647.555 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.555 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.555 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.555 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.555 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712647.555 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712647.556 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.556 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.556 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712647.556 * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # 1550712647.557 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712647.557 * * [misc]simplify: iters left: 2 (5 enodes) 1550712647.560 * * [misc]simplify: iters left: 1 (21 enodes) 1550712647.567 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.567 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.567 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.567 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.567 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712647.568 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712647.568 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.568 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.568 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712647.569 * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # 1550712647.569 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712647.569 * * [misc]simplify: iters left: 2 (5 enodes) 1550712647.572 * * [misc]simplify: iters left: 1 (21 enodes) 1550712647.579 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.579 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.579 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.579 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.580 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712647.580 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712647.580 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.581 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.581 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712647.581 * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # 1550712647.581 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712647.581 * * [misc]simplify: iters left: 2 (5 enodes) 1550712647.584 * * [misc]simplify: iters left: 1 (21 enodes) 1550712647.591 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.592 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712647.592 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712647.592 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712647.592 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712647.592 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712647.593 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712647.593 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712647.593 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1550712647.593 * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # 1550712647.593 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550712647.594 * * [misc]simplify: iters left: 3 (6 enodes) 1550712647.597 * * [misc]simplify: iters left: 2 (24 enodes) 1550712647.601 * * [misc]simplify: iters left: 1 (35 enodes) 1550712647.608 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.608 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.608 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.608 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.608 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712647.608 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550712647.608 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550712647.608 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550712647.609 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550712647.609 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550712647.609 * [misc]simplify: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 1550712647.609 * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # 1550712647.609 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550712647.609 * * [misc]simplify: iters left: 3 (6 enodes) 1550712647.611 * * [misc]simplify: iters left: 2 (24 enodes) 1550712647.616 * * [misc]simplify: iters left: 1 (35 enodes) 1550712647.622 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.622 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.623 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.623 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.623 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712647.623 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550712647.623 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550712647.623 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550712647.623 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550712647.624 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550712647.624 * [misc]simplify: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 1550712647.624 * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # 1550712647.624 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550712647.624 * * [misc]simplify: iters left: 3 (6 enodes) 1550712647.626 * * [misc]simplify: iters left: 2 (24 enodes) 1550712647.630 * * [misc]simplify: iters left: 1 (35 enodes) 1550712647.637 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.637 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.637 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.637 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.637 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550712647.637 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550712647.637 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550712647.637 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550712647.638 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550712647.638 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550712647.638 * [misc]simplify: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) 1550712647.638 * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # 1550712647.638 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.638 * * [misc]simplify: iters left: 4 (8 enodes) 1550712647.641 * * [misc]simplify: iters left: 3 (30 enodes) 1550712647.647 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.655 * * [misc]simplify: iters left: 1 (45 enodes) 1550712647.664 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.664 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.664 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.664 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.664 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712647.664 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712647.665 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712647.665 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712647.666 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712647.666 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712647.667 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712647.667 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712647.667 * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # 1550712647.668 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.668 * * [misc]simplify: iters left: 4 (8 enodes) 1550712647.672 * * [misc]simplify: iters left: 3 (30 enodes) 1550712647.681 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.694 * * [misc]simplify: iters left: 1 (45 enodes) 1550712647.708 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.708 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.708 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.708 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.708 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712647.708 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712647.709 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712647.709 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712647.710 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712647.711 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712647.711 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712647.711 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712647.711 * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # 1550712647.712 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550712647.712 * * [misc]simplify: iters left: 4 (8 enodes) 1550712647.716 * * [misc]simplify: iters left: 3 (30 enodes) 1550712647.726 * * [misc]simplify: iters left: 2 (41 enodes) 1550712647.738 * * [misc]simplify: iters left: 1 (45 enodes) 1550712647.752 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712647.752 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550712647.752 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550712647.752 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550712647.752 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550712647.752 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550712647.753 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550712647.753 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550712647.754 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550712647.755 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550712647.756 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550712647.756 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712647.756 * * * [misc]progress: adding candidates to table 1550712648.633 * * [misc]progress: iteration 4 / 4 1550712648.633 * * * [misc]progress: picking best candidate 1550712648.709 * * * * [misc]pick: Picked # 1550712648.709 * * * [misc]progress: localizing error 1550712648.744 * * * [misc]progress: generating rewritten candidates 1550712648.744 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1) 1550712648.745 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 1 1 1) 1550712648.745 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1 1) 1550712648.745 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1550712648.746 * * * [misc]progress: generating series expansions 1550712648.746 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1) 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712648.746 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712648.746 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.746 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.746 * [misc]backup-simplify: Simplify 0 into 0 1550712648.746 * [misc]backup-simplify: Simplify 0 into 0 1550712648.746 * [misc]backup-simplify: Simplify 0 into 0 1550712648.746 * [misc]backup-simplify: Simplify 0 into 0 1550712648.746 * [misc]backup-simplify: Simplify 0 into 0 1550712648.746 * [misc]backup-simplify: Simplify 0 into 0 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.746 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.746 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.746 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.746 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.747 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.747 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.747 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.747 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.747 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.748 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 1 1 1) 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712648.748 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712648.748 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.748 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify 0 into 0 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.748 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.748 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.748 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.748 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.749 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.749 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.749 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.749 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.749 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.750 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1 1 1) 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712648.750 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712648.750 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.750 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.750 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify 0 into 0 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.750 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.750 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.750 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.750 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.751 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.751 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.751 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify 0 into 0 1550712648.751 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.751 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1) 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550712648.752 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550712648.752 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.752 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.752 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.752 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.752 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.752 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.752 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.753 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.753 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550712648.753 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.753 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.753 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550712648.753 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.753 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify 0 into 0 1550712648.753 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550712648.753 * * * [misc]progress: simplifying candidates 1550712648.753 * * * * [misc]progress: [ 1 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 2 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 3 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 4 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 5 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 6 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 7 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 8 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 9 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 10 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))))) (log1p a))))> 1550712648.754 * * * * [misc]progress: [ 11 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 12 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 13 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 14 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 15 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 16 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 17 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 18 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 19 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 20 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550712648.754 * * * * [misc]progress: [ 21 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 22 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 23 / 52 ] simplifiying candidate # 1550712648.754 * * * * [misc]progress: [ 24 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 25 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 26 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 27 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 28 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 29 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 30 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550712648.755 * * * * [misc]progress: [ 31 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 32 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 33 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 34 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 35 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 36 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 37 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 38 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 39 / 52 ] simplifiying candidate # 1550712648.755 * * * * [misc]progress: [ 40 / 52 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550712648.755 * * * * [misc]progress: [ 41 / 52 ] simplifiying candidate # 1550712648.755 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.755 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.757 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.762 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.762 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.762 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.762 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.762 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.762 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.762 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.762 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.762 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.763 * * * * [misc]progress: [ 42 / 52 ] simplifiying candidate # 1550712648.763 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.763 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.764 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.768 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.768 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.769 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.769 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.769 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.769 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.769 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.770 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.770 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.770 * * * * [misc]progress: [ 43 / 52 ] simplifiying candidate # 1550712648.770 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.770 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.773 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.780 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.780 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.780 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.780 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.780 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.781 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.781 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.781 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.782 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.782 * * * * [misc]progress: [ 44 / 52 ] simplifiying candidate # 1550712648.782 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.782 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.785 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.792 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.792 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.792 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.792 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.793 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.793 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.793 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.794 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.794 * [misc]simplify: Simplified (2 1 1 2 1 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.794 * * * * [misc]progress: [ 45 / 52 ] simplifiying candidate # 1550712648.794 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.794 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.797 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.805 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.805 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.805 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.805 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.805 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.805 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.806 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.806 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.806 * [misc]simplify: Simplified (2 1 1 2 1 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.811 * * * * [misc]progress: [ 46 / 52 ] simplifiying candidate # 1550712648.811 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.811 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.814 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.821 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.822 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.822 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.822 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.822 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.822 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.822 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.823 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.823 * [misc]simplify: Simplified (2 1 1 2 1 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.823 * * * * [misc]progress: [ 47 / 52 ] simplifiying candidate # 1550712648.823 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.824 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.825 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.829 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.830 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.830 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.830 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.830 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.830 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.830 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.830 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.830 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.830 * * * * [misc]progress: [ 48 / 52 ] simplifiying candidate # 1550712648.831 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.831 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.832 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.836 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.836 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.836 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.836 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.836 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.837 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.837 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.837 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.837 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.837 * * * * [misc]progress: [ 49 / 52 ] simplifiying candidate # 1550712648.837 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.837 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.839 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.843 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.843 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.843 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.843 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.843 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.843 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.844 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.844 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.844 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.844 * * * * [misc]progress: [ 50 / 52 ] simplifiying candidate # 1550712648.844 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.844 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.846 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.850 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.850 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.850 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.850 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.850 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.850 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.850 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.851 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.851 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.851 * * * * [misc]progress: [ 51 / 52 ] simplifiying candidate # 1550712648.851 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.851 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.853 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.856 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.856 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.857 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.857 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.857 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.857 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.857 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.857 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.857 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.857 * * * * [misc]progress: [ 52 / 52 ] simplifiying candidate # 1550712648.858 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550712648.858 * * [misc]simplify: iters left: 2 (5 enodes) 1550712648.859 * * [misc]simplify: iters left: 1 (21 enodes) 1550712648.866 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550712648.866 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550712648.866 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550712648.866 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550712648.866 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550712648.866 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550712648.867 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550712648.867 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550712648.867 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550712648.868 * * * [misc]progress: adding candidates to table 1550712649.798 * [misc]progress: [Phase 3 of 3] Extracting. 1550712649.798 * * [misc]regime: Finding splitpoints for: (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> # # # # #) 1550712649.801 * * * [misc]regime-changes: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550712649.801 * * * * [misc]regimes: Trying to branch on a from (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> # # # # #) 1550712649.880 * * * * [misc]regimes: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> # # # # #) 1550712649.979 * * * * [misc]regimes: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>) 1550712650.044 * * * * [misc]regimes: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> # # # # #) 1550712650.165 * * * [misc]regime: Found split indices: #