1550840156.044 * [misc]progress: [Phase 1 of 3] Setting up. 1550840156.046 * * * [misc]progress: [1/2] Preparing points 1550840157.680 * * * [misc]progress: [2/2] Setting up program. 1550840157.684 * [misc]progress: [Phase 2 of 3] Improving. 1550840157.684 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550840157.685 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840157.686 * * [misc]simplify: iters left: 5 (7 enodes) 1550840157.691 * * [misc]simplify: iters left: 4 (27 enodes) 1550840157.698 * * [misc]simplify: iters left: 3 (40 enodes) 1550840157.704 * * [misc]simplify: iters left: 2 (44 enodes) 1550840157.710 * * [misc]simplify: iters left: 1 (46 enodes) 1550840157.717 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.717 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840157.717 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840157.717 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840157.717 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840157.717 * * [misc]simplify: Extracting #5: cost 9 inf + 919 1550840157.718 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840157.718 * * [misc]simplify: Extracting #7: cost 3 inf + 3160 1550840157.718 * * [misc]simplify: Extracting #8: cost 0 inf + 3643 1550840157.718 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840157.719 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.724 * * [misc]progress: iteration 1 / 4 1550840157.724 * * * [misc]progress: picking best candidate 1550840157.727 * * * * [misc]pick: Picked # 1550840157.727 * * * [misc]progress: localizing error 1550840157.759 * * * [misc]progress: generating rewritten candidates 1550840157.759 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) 1550840157.761 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1550840157.763 * * * [misc]progress: generating series expansions 1550840157.763 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1) 1550840157.768 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840157.768 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840157.768 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840157.770 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840157.770 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840157.770 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840157.770 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840157.770 * [misc]backup-simplify: Simplify 0 into 0 1550840157.770 * [misc]backup-simplify: Simplify 0 into 0 1550840157.770 * [misc]backup-simplify: Simplify 0 into 0 1550840157.770 * [misc]backup-simplify: Simplify 0 into 0 1550840157.770 * [misc]backup-simplify: Simplify 0 into 0 1550840157.770 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840157.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840157.771 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840157.771 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840157.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840157.771 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840157.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840157.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840157.771 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify 0 into 0 1550840157.771 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840157.772 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840157.772 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840157.772 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840157.772 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840157.772 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840157.772 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840157.772 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840157.772 * [misc]backup-simplify: Simplify 0 into 0 1550840157.772 * [misc]backup-simplify: Simplify 0 into 0 1550840157.772 * [misc]backup-simplify: Simplify 0 into 0 1550840157.772 * [misc]backup-simplify: Simplify 0 into 0 1550840157.772 * [misc]backup-simplify: Simplify 0 into 0 1550840157.772 * [misc]backup-simplify: Simplify 0 into 0 1550840157.772 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840157.773 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1550840157.773 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840157.773 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550840157.773 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550840157.773 * [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))) 1550840157.773 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550840157.773 * [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))) 1550840157.773 * [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))) 1550840157.773 * [misc]backup-simplify: Simplify 0 into 0 1550840157.773 * [misc]backup-simplify: Simplify 0 into 0 1550840157.773 * [misc]backup-simplify: Simplify 0 into 0 1550840157.773 * [misc]backup-simplify: Simplify 0 into 0 1550840157.773 * [misc]backup-simplify: Simplify 0 into 0 1550840157.773 * [misc]backup-simplify: Simplify 0 into 0 1550840157.773 * [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))) 1550840157.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)))) 1550840157.773 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550840157.773 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550840157.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)))) 1550840157.773 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550840157.774 * [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)))) 1550840157.774 * [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)))) 1550840157.774 * [misc]backup-simplify: Simplify 0 into 0 1550840157.774 * [misc]backup-simplify: Simplify 0 into 0 1550840157.774 * [misc]backup-simplify: Simplify 0 into 0 1550840157.774 * [misc]backup-simplify: Simplify 0 into 0 1550840157.774 * [misc]backup-simplify: Simplify 0 into 0 1550840157.774 * [misc]backup-simplify: Simplify 0 into 0 1550840157.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))) 1550840157.774 * [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)))) 1550840157.774 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550840157.774 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550840157.775 * [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)))) 1550840157.775 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550840157.775 * [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)))) 1550840157.775 * [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)))) 1550840157.775 * [misc]backup-simplify: Simplify 0 into 0 1550840157.775 * [misc]backup-simplify: Simplify 0 into 0 1550840157.775 * [misc]backup-simplify: Simplify 0 into 0 1550840157.775 * [misc]backup-simplify: Simplify 0 into 0 1550840157.775 * [misc]backup-simplify: Simplify 0 into 0 1550840157.775 * [misc]backup-simplify: Simplify 0 into 0 1550840157.775 * [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))) 1550840157.775 * * * [misc]progress: simplifying candidates 1550840157.775 * * * * [misc]progress: [ 1 / 27 ] simplifiying candidate # 1550840157.775 * * * * [misc]progress: [ 2 / 27 ] simplifiying candidate # 1550840157.775 * * * * [misc]progress: [ 3 / 27 ] simplifiying candidate # 1550840157.775 * * * * [misc]progress: [ 4 / 27 ] simplifiying candidate # 1550840157.775 * * * * [misc]progress: [ 5 / 27 ] simplifiying candidate # 1550840157.775 * * * * [misc]progress: [ 6 / 27 ] simplifiying candidate # 1550840157.775 * * * * [misc]progress: [ 7 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 8 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 9 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))> 1550840157.776 * * * * [misc]progress: [ 11 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 12 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 13 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 14 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 15 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 16 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 17 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 18 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 19 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 20 / 27 ] simplifiying candidate # 1550840157.776 * * * * [misc]progress: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> 1550840157.776 * * * * [misc]progress: [ 22 / 27 ] simplifiying candidate # 1550840157.776 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840157.776 * * [misc]simplify: iters left: 2 (5 enodes) 1550840157.778 * * [misc]simplify: iters left: 1 (21 enodes) 1550840157.781 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.781 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840157.781 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840157.781 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840157.781 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840157.782 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840157.782 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840157.782 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840157.782 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.782 * * * * [misc]progress: [ 23 / 27 ] simplifiying candidate # 1550840157.782 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840157.782 * * [misc]simplify: iters left: 2 (5 enodes) 1550840157.784 * * [misc]simplify: iters left: 1 (21 enodes) 1550840157.787 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.787 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840157.787 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840157.787 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840157.788 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840157.788 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840157.788 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840157.788 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840157.788 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.788 * * * * [misc]progress: [ 24 / 27 ] simplifiying candidate # 1550840157.788 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840157.788 * * [misc]simplify: iters left: 2 (5 enodes) 1550840157.790 * * [misc]simplify: iters left: 1 (21 enodes) 1550840157.793 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.793 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840157.793 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840157.793 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840157.793 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840157.794 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840157.794 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840157.794 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840157.794 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.794 * * * * [misc]progress: [ 25 / 27 ] simplifiying candidate # 1550840157.794 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840157.794 * * [misc]simplify: iters left: 4 (8 enodes) 1550840157.796 * * [misc]simplify: iters left: 3 (30 enodes) 1550840157.802 * * [misc]simplify: iters left: 2 (41 enodes) 1550840157.813 * * [misc]simplify: iters left: 1 (45 enodes) 1550840157.826 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.826 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840157.826 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840157.826 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840157.826 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840157.826 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840157.827 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840157.827 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840157.828 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840157.829 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840157.829 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840157.829 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.829 * * * * [misc]progress: [ 26 / 27 ] simplifiying candidate # 1550840157.830 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840157.830 * * [misc]simplify: iters left: 4 (8 enodes) 1550840157.834 * * [misc]simplify: iters left: 3 (30 enodes) 1550840157.843 * * [misc]simplify: iters left: 2 (41 enodes) 1550840157.865 * * [misc]simplify: iters left: 1 (45 enodes) 1550840157.878 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.878 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840157.878 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840157.879 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840157.879 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840157.879 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840157.879 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840157.880 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840157.880 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840157.881 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840157.882 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840157.882 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.882 * * * * [misc]progress: [ 27 / 27 ] simplifiying candidate # 1550840157.882 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840157.882 * * [misc]simplify: iters left: 4 (8 enodes) 1550840157.886 * * [misc]simplify: iters left: 3 (30 enodes) 1550840157.892 * * [misc]simplify: iters left: 2 (41 enodes) 1550840157.897 * * [misc]simplify: iters left: 1 (45 enodes) 1550840157.903 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840157.903 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840157.903 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840157.903 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840157.903 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840157.904 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840157.904 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840157.904 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840157.904 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840157.905 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840157.905 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840157.905 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840157.905 * * * [misc]progress: adding candidates to table 1550840158.158 * * [misc]progress: iteration 2 / 4 1550840158.158 * * * [misc]progress: picking best candidate 1550840158.179 * * * * [misc]pick: Picked # 1550840158.179 * * * [misc]progress: localizing error 1550840158.190 * * * [misc]progress: generating rewritten candidates 1550840158.190 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1 1 1) 1550840158.190 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1550840158.193 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2) 1550840158.196 * * * [misc]progress: generating series expansions 1550840158.196 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1 1 1) 1550840158.196 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840158.196 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840158.197 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840158.197 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.197 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840158.197 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.197 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.197 * [misc]backup-simplify: Simplify 0 into 0 1550840158.197 * [misc]backup-simplify: Simplify 0 into 0 1550840158.197 * [misc]backup-simplify: Simplify 0 into 0 1550840158.197 * [misc]backup-simplify: Simplify 0 into 0 1550840158.197 * [misc]backup-simplify: Simplify 0 into 0 1550840158.197 * [misc]backup-simplify: Simplify 0 into 0 1550840158.197 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.197 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.197 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840158.198 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840158.198 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.198 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840158.198 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.198 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.198 * [misc]backup-simplify: Simplify 0 into 0 1550840158.198 * [misc]backup-simplify: Simplify 0 into 0 1550840158.198 * [misc]backup-simplify: Simplify 0 into 0 1550840158.198 * [misc]backup-simplify: Simplify 0 into 0 1550840158.198 * [misc]backup-simplify: Simplify 0 into 0 1550840158.198 * [misc]backup-simplify: Simplify 0 into 0 1550840158.198 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840158.199 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.199 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840158.199 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840158.199 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.199 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840158.199 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.199 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.199 * [misc]backup-simplify: Simplify 0 into 0 1550840158.199 * [misc]backup-simplify: Simplify 0 into 0 1550840158.199 * [misc]backup-simplify: Simplify 0 into 0 1550840158.199 * [misc]backup-simplify: Simplify 0 into 0 1550840158.199 * [misc]backup-simplify: Simplify 0 into 0 1550840158.199 * [misc]backup-simplify: Simplify 0 into 0 1550840158.200 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840158.200 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1550840158.200 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1550840158.200 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840158.200 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840158.200 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.200 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840158.200 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.200 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.200 * [misc]backup-simplify: Simplify 0 into 0 1550840158.200 * [misc]backup-simplify: Simplify 0 into 0 1550840158.200 * [misc]backup-simplify: Simplify 0 into 0 1550840158.200 * [misc]backup-simplify: Simplify 0 into 0 1550840158.201 * [misc]backup-simplify: Simplify 0 into 0 1550840158.201 * [misc]backup-simplify: Simplify 0 into 0 1550840158.201 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840158.201 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.201 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840158.201 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840158.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.201 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840158.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.201 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840158.202 * [misc]backup-simplify: Simplify 0 into 0 1550840158.202 * [misc]backup-simplify: Simplify 0 into 0 1550840158.202 * [misc]backup-simplify: Simplify 0 into 0 1550840158.202 * [misc]backup-simplify: Simplify 0 into 0 1550840158.202 * [misc]backup-simplify: Simplify 0 into 0 1550840158.202 * [misc]backup-simplify: Simplify 0 into 0 1550840158.202 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840158.202 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.202 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840158.202 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840158.202 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.202 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840158.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840158.203 * [misc]backup-simplify: Simplify 0 into 0 1550840158.203 * [misc]backup-simplify: Simplify 0 into 0 1550840158.203 * [misc]backup-simplify: Simplify 0 into 0 1550840158.203 * [misc]backup-simplify: Simplify 0 into 0 1550840158.203 * [misc]backup-simplify: Simplify 0 into 0 1550840158.203 * [misc]backup-simplify: Simplify 0 into 0 1550840158.203 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840158.203 * * * * [misc]progress: [ 3 / 3 ] generating series at (2) 1550840158.203 * [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))) 1550840158.204 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550840158.204 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550840158.204 * [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))) 1550840158.204 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550840158.204 * [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))) 1550840158.204 * [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))) 1550840158.204 * [misc]backup-simplify: Simplify 0 into 0 1550840158.204 * [misc]backup-simplify: Simplify 0 into 0 1550840158.204 * [misc]backup-simplify: Simplify 0 into 0 1550840158.204 * [misc]backup-simplify: Simplify 0 into 0 1550840158.204 * [misc]backup-simplify: Simplify 0 into 0 1550840158.204 * [misc]backup-simplify: Simplify 0 into 0 1550840158.204 * [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))) 1550840158.205 * [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)))) 1550840158.205 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550840158.205 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550840158.205 * [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)))) 1550840158.205 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550840158.205 * [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)))) 1550840158.206 * [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)))) 1550840158.206 * [misc]backup-simplify: Simplify 0 into 0 1550840158.206 * [misc]backup-simplify: Simplify 0 into 0 1550840158.206 * [misc]backup-simplify: Simplify 0 into 0 1550840158.206 * [misc]backup-simplify: Simplify 0 into 0 1550840158.206 * [misc]backup-simplify: Simplify 0 into 0 1550840158.206 * [misc]backup-simplify: Simplify 0 into 0 1550840158.206 * [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))) 1550840158.207 * [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)))) 1550840158.207 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550840158.207 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550840158.207 * [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)))) 1550840158.207 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550840158.207 * [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)))) 1550840158.207 * [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)))) 1550840158.207 * [misc]backup-simplify: Simplify 0 into 0 1550840158.208 * [misc]backup-simplify: Simplify 0 into 0 1550840158.208 * [misc]backup-simplify: Simplify 0 into 0 1550840158.208 * [misc]backup-simplify: Simplify 0 into 0 1550840158.208 * [misc]backup-simplify: Simplify 0 into 0 1550840158.208 * [misc]backup-simplify: Simplify 0 into 0 1550840158.208 * [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))) 1550840158.208 * * * [misc]progress: simplifying candidates 1550840158.208 * * * * [misc]progress: [ 1 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 2 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 3 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 4 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 5 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 6 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 7 / 48 ] simplifiying candidate # 1550840158.208 * * * * [misc]progress: [ 8 / 48 ] simplifiying candidate # 1550840158.209 * * * * [misc]progress: [ 9 / 48 ] simplifiying candidate # 1550840158.209 * * * * [misc]progress: [ 10 / 48 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))> 1550840158.209 * * * * [misc]progress: [ 11 / 48 ] simplifiying candidate # 1550840158.209 * * * * [misc]progress: [ 12 / 48 ] simplifiying candidate # 1550840158.209 * * * * [misc]progress: [ 13 / 48 ] simplifiying candidate # 1550840158.209 * [enter]simplify: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) 1550840158.209 * * [misc]simplify: iters left: 6 (8 enodes) 1550840158.213 * * [misc]simplify: iters left: 5 (32 enodes) 1550840158.222 * * [misc]simplify: iters left: 4 (47 enodes) 1550840158.229 * * [misc]simplify: iters left: 3 (51 enodes) 1550840158.239 * * [misc]simplify: iters left: 2 (53 enodes) 1550840158.246 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.246 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.246 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840158.246 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840158.246 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550840158.246 * * [misc]simplify: Extracting #5: cost 14 inf + 0 1550840158.246 * * [misc]simplify: Extracting #6: cost 19 inf + 0 1550840158.246 * * [misc]simplify: Extracting #7: cost 20 inf + 2 1550840158.247 * * [misc]simplify: Extracting #8: cost 18 inf + 543 1550840158.247 * * [misc]simplify: Extracting #9: cost 12 inf + 1580 1550840158.247 * * [misc]simplify: Extracting #10: cost 1 inf + 4471 1550840158.248 * * [misc]simplify: Extracting #11: cost 0 inf + 4857 1550840158.248 * [exit]simplify: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) 1550840158.248 * [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)))) 1550840158.249 * * * * [misc]progress: [ 14 / 48 ] simplifiying candidate # 1550840158.249 * [enter]simplify: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a))))) 1550840158.249 * * [misc]simplify: iters left: 6 (7 enodes) 1550840158.250 * * [misc]simplify: iters left: 5 (27 enodes) 1550840158.256 * * [misc]simplify: iters left: 4 (40 enodes) 1550840158.268 * * [misc]simplify: iters left: 3 (44 enodes) 1550840158.280 * * [misc]simplify: iters left: 2 (46 enodes) 1550840158.293 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.293 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840158.293 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840158.293 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840158.294 * * [misc]simplify: Extracting #4: cost 10 inf + 0 1550840158.294 * * [misc]simplify: Extracting #5: cost 15 inf + 0 1550840158.294 * * [misc]simplify: Extracting #6: cost 16 inf + 2 1550840158.294 * * [misc]simplify: Extracting #7: cost 14 inf + 433 1550840158.294 * * [misc]simplify: Extracting #8: cost 7 inf + 1446 1550840158.295 * * [misc]simplify: Extracting #9: cost 0 inf + 3133 1550840158.296 * [exit]simplify: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a))))) 1550840158.296 * [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)))) 1550840158.296 * * * * [misc]progress: [ 15 / 48 ] simplifiying candidate # 1550840158.296 * [enter]simplify: Simplifying (log 1) 1550840158.296 * * [misc]simplify: iters left: 1 (2 enodes) 1550840158.299 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.299 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550840158.299 * [exit]simplify: Simplified to 0 1550840158.299 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) 1550840158.299 * * * * [misc]progress: [ 16 / 48 ] simplifiying candidate # 1550840158.299 * * * * [misc]progress: [ 17 / 48 ] simplifiying candidate # 1550840158.300 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1550840158.300 * * [misc]simplify: iters left: 4 (5 enodes) 1550840158.302 * * [misc]simplify: iters left: 3 (21 enodes) 1550840158.309 * * [misc]simplify: iters left: 2 (34 enodes) 1550840158.319 * * [misc]simplify: iters left: 1 (38 enodes) 1550840158.330 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.330 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840158.330 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840158.330 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840158.330 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840158.330 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550840158.331 * * [misc]simplify: Extracting #6: cost 5 inf + 1069 1550840158.331 * * [misc]simplify: Extracting #7: cost 0 inf + 1909 1550840158.332 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1550840158.332 * [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)))) 1550840158.332 * * * * [misc]progress: [ 18 / 48 ] simplifiying candidate # 1550840158.332 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550840158.332 * * [misc]simplify: iters left: 4 (5 enodes) 1550840158.333 * * [misc]simplify: iters left: 3 (21 enodes) 1550840158.336 * * [misc]simplify: iters left: 2 (34 enodes) 1550840158.342 * * [misc]simplify: iters left: 1 (38 enodes) 1550840158.347 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.347 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840158.347 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840158.347 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840158.347 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840158.348 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550840158.348 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550840158.348 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550840158.348 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550840158.348 * [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)))) 1550840158.349 * * * * [misc]progress: [ 19 / 48 ] simplifiying candidate # 1550840158.349 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1550840158.349 * * [misc]simplify: iters left: 3 (4 enodes) 1550840158.350 * * [misc]simplify: iters left: 2 (18 enodes) 1550840158.354 * * [misc]simplify: iters left: 1 (31 enodes) 1550840158.359 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.359 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.359 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.359 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.359 * * [misc]simplify: Extracting #4: cost 7 inf + 599 1550840158.359 * * [misc]simplify: Extracting #5: cost 5 inf + 712 1550840158.359 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.360 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.360 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))) 1550840158.360 * * * * [misc]progress: [ 20 / 48 ] simplifiying candidate # 1550840158.360 * * * * [misc]progress: [ 21 / 48 ] simplifiying candidate # 1550840158.360 * [enter]simplify: Simplifying (cosh a) 1550840158.360 * * [misc]simplify: iters left: 1 (2 enodes) 1550840158.361 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.361 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550840158.361 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550840158.361 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550840158.361 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550840158.361 * [exit]simplify: Simplified to (cosh a) 1550840158.361 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.361 * * * * [misc]progress: [ 22 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 23 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 24 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 25 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 26 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 27 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 28 / 48 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))> 1550840158.361 * * * * [misc]progress: [ 29 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 30 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 31 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 32 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 33 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 34 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 35 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 36 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 37 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 38 / 48 ] simplifiying candidate # 1550840158.361 * * * * [misc]progress: [ 39 / 48 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 1550840158.362 * * * * [misc]progress: [ 40 / 48 ] simplifiying candidate # 1550840158.362 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840158.362 * * [misc]simplify: iters left: 2 (5 enodes) 1550840158.363 * * [misc]simplify: iters left: 1 (21 enodes) 1550840158.366 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.366 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.366 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.366 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.367 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840158.367 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840158.367 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.367 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.367 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550840158.367 * * * * [misc]progress: [ 41 / 48 ] simplifiying candidate # 1550840158.367 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840158.367 * * [misc]simplify: iters left: 2 (5 enodes) 1550840158.369 * * [misc]simplify: iters left: 1 (21 enodes) 1550840158.372 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.372 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.372 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.372 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.372 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840158.372 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840158.373 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.373 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.373 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550840158.373 * * * * [misc]progress: [ 42 / 48 ] simplifiying candidate # 1550840158.374 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840158.374 * * [misc]simplify: iters left: 2 (5 enodes) 1550840158.376 * * [misc]simplify: iters left: 1 (21 enodes) 1550840158.383 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.383 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.383 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.383 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.383 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840158.384 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840158.384 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.384 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.385 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550840158.385 * * * * [misc]progress: [ 43 / 48 ] simplifiying candidate # 1550840158.385 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840158.385 * * [misc]simplify: iters left: 2 (5 enodes) 1550840158.388 * * [misc]simplify: iters left: 1 (21 enodes) 1550840158.394 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.394 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.394 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.394 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.394 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840158.394 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840158.394 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.394 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.394 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.394 * * * * [misc]progress: [ 44 / 48 ] simplifiying candidate # 1550840158.395 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840158.395 * * [misc]simplify: iters left: 2 (5 enodes) 1550840158.396 * * [misc]simplify: iters left: 1 (21 enodes) 1550840158.399 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.399 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.399 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.399 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.399 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840158.400 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840158.400 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.400 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.400 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.400 * * * * [misc]progress: [ 45 / 48 ] simplifiying candidate # 1550840158.400 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840158.400 * * [misc]simplify: iters left: 2 (5 enodes) 1550840158.402 * * [misc]simplify: iters left: 1 (21 enodes) 1550840158.405 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.405 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840158.405 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840158.405 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840158.405 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840158.406 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840158.406 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840158.406 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840158.406 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.406 * * * * [misc]progress: [ 46 / 48 ] simplifiying candidate # 1550840158.406 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840158.406 * * [misc]simplify: iters left: 4 (8 enodes) 1550840158.408 * * [misc]simplify: iters left: 3 (30 enodes) 1550840158.413 * * [misc]simplify: iters left: 2 (41 enodes) 1550840158.419 * * [misc]simplify: iters left: 1 (45 enodes) 1550840158.426 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.426 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840158.426 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840158.426 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840158.426 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840158.426 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840158.426 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840158.427 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840158.427 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840158.427 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840158.428 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840158.428 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.428 * * * * [misc]progress: [ 47 / 48 ] simplifiying candidate # 1550840158.428 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840158.428 * * [misc]simplify: iters left: 4 (8 enodes) 1550840158.430 * * [misc]simplify: iters left: 3 (30 enodes) 1550840158.436 * * [misc]simplify: iters left: 2 (41 enodes) 1550840158.447 * * [misc]simplify: iters left: 1 (45 enodes) 1550840158.462 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.462 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840158.462 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840158.462 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840158.462 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840158.462 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840158.463 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840158.463 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840158.463 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840158.463 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840158.464 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840158.464 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.464 * * * * [misc]progress: [ 48 / 48 ] simplifiying candidate # 1550840158.464 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840158.464 * * [misc]simplify: iters left: 4 (8 enodes) 1550840158.466 * * [misc]simplify: iters left: 3 (30 enodes) 1550840158.471 * * [misc]simplify: iters left: 2 (41 enodes) 1550840158.477 * * [misc]simplify: iters left: 1 (45 enodes) 1550840158.483 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840158.483 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840158.483 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840158.483 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840158.484 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840158.484 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840158.484 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840158.484 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840158.484 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840158.485 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840158.485 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840158.485 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840158.485 * * * [misc]progress: adding candidates to table 1550840159.065 * * [misc]progress: iteration 3 / 4 1550840159.065 * * * [misc]progress: picking best candidate 1550840159.136 * * * * [misc]pick: Picked # 1550840159.136 * * * [misc]progress: localizing error 1550840159.167 * * * [misc]progress: generating rewritten candidates 1550840159.167 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 1550840159.168 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1550840159.168 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550840159.174 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1550840159.178 * * * [misc]progress: generating series expansions 1550840159.178 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 1550840159.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840159.178 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840159.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840159.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840159.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.178 * [misc]backup-simplify: Simplify 0 into 0 1550840159.178 * [misc]backup-simplify: Simplify 0 into 0 1550840159.179 * [misc]backup-simplify: Simplify 0 into 0 1550840159.179 * [misc]backup-simplify: Simplify 0 into 0 1550840159.179 * [misc]backup-simplify: Simplify 0 into 0 1550840159.179 * [misc]backup-simplify: Simplify 0 into 0 1550840159.179 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.179 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840159.179 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840159.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.179 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840159.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.180 * [misc]backup-simplify: Simplify 0 into 0 1550840159.180 * [misc]backup-simplify: Simplify 0 into 0 1550840159.180 * [misc]backup-simplify: Simplify 0 into 0 1550840159.180 * [misc]backup-simplify: Simplify 0 into 0 1550840159.180 * [misc]backup-simplify: Simplify 0 into 0 1550840159.180 * [misc]backup-simplify: Simplify 0 into 0 1550840159.180 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840159.180 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.180 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840159.180 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840159.180 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.180 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840159.180 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.181 * [misc]backup-simplify: Simplify 0 into 0 1550840159.181 * [misc]backup-simplify: Simplify 0 into 0 1550840159.181 * [misc]backup-simplify: Simplify 0 into 0 1550840159.181 * [misc]backup-simplify: Simplify 0 into 0 1550840159.181 * [misc]backup-simplify: Simplify 0 into 0 1550840159.181 * [misc]backup-simplify: Simplify 0 into 0 1550840159.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840159.181 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1550840159.181 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840159.181 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840159.181 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840159.181 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.181 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840159.182 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.182 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.182 * [misc]backup-simplify: Simplify 0 into 0 1550840159.182 * [misc]backup-simplify: Simplify 0 into 0 1550840159.182 * [misc]backup-simplify: Simplify 0 into 0 1550840159.182 * [misc]backup-simplify: Simplify 0 into 0 1550840159.182 * [misc]backup-simplify: Simplify 0 into 0 1550840159.182 * [misc]backup-simplify: Simplify 0 into 0 1550840159.182 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.182 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.182 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840159.182 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840159.182 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.182 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840159.183 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.183 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.183 * [misc]backup-simplify: Simplify 0 into 0 1550840159.183 * [misc]backup-simplify: Simplify 0 into 0 1550840159.183 * [misc]backup-simplify: Simplify 0 into 0 1550840159.183 * [misc]backup-simplify: Simplify 0 into 0 1550840159.183 * [misc]backup-simplify: Simplify 0 into 0 1550840159.183 * [misc]backup-simplify: Simplify 0 into 0 1550840159.183 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840159.183 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.183 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840159.183 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840159.184 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.184 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840159.184 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.184 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.184 * [misc]backup-simplify: Simplify 0 into 0 1550840159.184 * [misc]backup-simplify: Simplify 0 into 0 1550840159.184 * [misc]backup-simplify: Simplify 0 into 0 1550840159.184 * [misc]backup-simplify: Simplify 0 into 0 1550840159.184 * [misc]backup-simplify: Simplify 0 into 0 1550840159.184 * [misc]backup-simplify: Simplify 0 into 0 1550840159.184 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840159.184 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550840159.185 * [misc]backup-simplify: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.185 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0 1550840159.185 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550840159.185 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840159.185 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.185 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.185 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.185 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550840159.185 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840159.185 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840159.186 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.186 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.186 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.186 * [misc]backup-simplify: Simplify 0 into 0 1550840159.189 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.189 * [misc]backup-simplify: Simplify 0 into 0 1550840159.189 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.189 * [misc]backup-simplify: Simplify 0 into 0 1550840159.190 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.190 * [misc]backup-simplify: Simplify 0 into 0 1550840159.191 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.191 * [misc]backup-simplify: Simplify 0 into 0 1550840159.192 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840159.192 * [misc]backup-simplify: Simplify 0 into 0 1550840159.192 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.192 * [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)))) 1550840159.192 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0 1550840159.192 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550840159.192 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840159.193 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.193 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550840159.193 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.193 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550840159.193 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840159.193 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840159.193 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550840159.193 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.194 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550840159.194 * [misc]backup-simplify: Simplify 0 into 0 1550840159.195 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.195 * [misc]backup-simplify: Simplify 0 into 0 1550840159.195 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.195 * [misc]backup-simplify: Simplify 0 into 0 1550840159.196 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.196 * [misc]backup-simplify: Simplify 0 into 0 1550840159.197 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.197 * [misc]backup-simplify: Simplify 0 into 0 1550840159.198 * [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 1550840159.198 * [misc]backup-simplify: Simplify 0 into 0 1550840159.198 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.198 * [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)))) 1550840159.198 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0 1550840159.198 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550840159.198 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840159.198 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.199 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550840159.199 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.199 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550840159.199 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840159.199 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840159.199 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550840159.199 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.199 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550840159.200 * [misc]backup-simplify: Simplify 0 into 0 1550840159.201 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.201 * [misc]backup-simplify: Simplify 0 into 0 1550840159.201 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.201 * [misc]backup-simplify: Simplify 0 into 0 1550840159.202 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.202 * [misc]backup-simplify: Simplify 0 into 0 1550840159.203 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840159.203 * [misc]backup-simplify: Simplify 0 into 0 1550840159.204 * [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 1550840159.204 * [misc]backup-simplify: Simplify 0 into 0 1550840159.204 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840159.205 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1550840159.205 * [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))) 1550840159.205 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550840159.205 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550840159.205 * [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))) 1550840159.205 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550840159.205 * [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))) 1550840159.206 * [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))) 1550840159.206 * [misc]backup-simplify: Simplify 0 into 0 1550840159.206 * [misc]backup-simplify: Simplify 0 into 0 1550840159.206 * [misc]backup-simplify: Simplify 0 into 0 1550840159.206 * [misc]backup-simplify: Simplify 0 into 0 1550840159.206 * [misc]backup-simplify: Simplify 0 into 0 1550840159.206 * [misc]backup-simplify: Simplify 0 into 0 1550840159.206 * [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))) 1550840159.207 * [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)))) 1550840159.207 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550840159.207 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550840159.207 * [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)))) 1550840159.207 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550840159.207 * [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)))) 1550840159.207 * [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)))) 1550840159.208 * [misc]backup-simplify: Simplify 0 into 0 1550840159.208 * [misc]backup-simplify: Simplify 0 into 0 1550840159.208 * [misc]backup-simplify: Simplify 0 into 0 1550840159.208 * [misc]backup-simplify: Simplify 0 into 0 1550840159.208 * [misc]backup-simplify: Simplify 0 into 0 1550840159.208 * [misc]backup-simplify: Simplify 0 into 0 1550840159.208 * [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))) 1550840159.209 * [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)))) 1550840159.209 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550840159.209 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550840159.209 * [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)))) 1550840159.209 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550840159.209 * [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)))) 1550840159.209 * [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)))) 1550840159.209 * [misc]backup-simplify: Simplify 0 into 0 1550840159.210 * [misc]backup-simplify: Simplify 0 into 0 1550840159.210 * [misc]backup-simplify: Simplify 0 into 0 1550840159.210 * [misc]backup-simplify: Simplify 0 into 0 1550840159.210 * [misc]backup-simplify: Simplify 0 into 0 1550840159.210 * [misc]backup-simplify: Simplify 0 into 0 1550840159.210 * [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))) 1550840159.210 * * * [misc]progress: simplifying candidates 1550840159.210 * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # 1550840159.210 * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # 1550840159.210 * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # 1550840159.210 * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # 1550840159.210 * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # 1550840159.210 * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # 1550840159.210 * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550840159.211 * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> 1550840159.211 * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # 1550840159.211 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # 1550840159.212 * [enter]simplify: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840159.212 * * [misc]simplify: iters left: 6 (9 enodes) 1550840159.216 * * [misc]simplify: iters left: 5 (35 enodes) 1550840159.227 * * [misc]simplify: iters left: 4 (50 enodes) 1550840159.241 * * [misc]simplify: iters left: 3 (54 enodes) 1550840159.256 * * [misc]simplify: iters left: 2 (56 enodes) 1550840159.272 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.272 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.272 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840159.272 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840159.272 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550840159.272 * * [misc]simplify: Extracting #5: cost 13 inf + 0 1550840159.273 * * [misc]simplify: Extracting #6: cost 16 inf + 0 1550840159.273 * * [misc]simplify: Extracting #7: cost 21 inf + 0 1550840159.273 * * [misc]simplify: Extracting #8: cost 22 inf + 2 1550840159.273 * * [misc]simplify: Extracting #9: cost 22 inf + 211 1550840159.273 * * [misc]simplify: Extracting #10: cost 11 inf + 1858 1550840159.274 * * [misc]simplify: Extracting #11: cost 2 inf + 4777 1550840159.281 * * [misc]simplify: Extracting #12: cost 0 inf + 5669 1550840159.282 * [exit]simplify: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840159.282 * [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)))) 1550840159.282 * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # 1550840159.283 * [enter]simplify: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550840159.283 * * [misc]simplify: iters left: 6 (8 enodes) 1550840159.287 * * [misc]simplify: iters left: 5 (30 enodes) 1550840159.296 * * [misc]simplify: iters left: 4 (43 enodes) 1550840159.307 * * [misc]simplify: iters left: 3 (47 enodes) 1550840159.314 * * [misc]simplify: iters left: 2 (49 enodes) 1550840159.321 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.321 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.321 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840159.321 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840159.321 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550840159.321 * * [misc]simplify: Extracting #5: cost 12 inf + 0 1550840159.321 * * [misc]simplify: Extracting #6: cost 17 inf + 0 1550840159.321 * * [misc]simplify: Extracting #7: cost 18 inf + 2 1550840159.321 * * [misc]simplify: Extracting #8: cost 17 inf + 377 1550840159.321 * * [misc]simplify: Extracting #9: cost 10 inf + 1400 1550840159.322 * * [misc]simplify: Extracting #10: cost 0 inf + 3785 1550840159.322 * [exit]simplify: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550840159.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)))) 1550840159.322 * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # 1550840159.322 * [enter]simplify: Simplifying (log 1) 1550840159.322 * * [misc]simplify: iters left: 1 (2 enodes) 1550840159.324 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.324 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550840159.324 * [exit]simplify: Simplified to 0 1550840159.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)))) 1550840159.324 * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # 1550840159.324 * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # 1550840159.324 * [enter]simplify: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a)))) 1550840159.324 * * [misc]simplify: iters left: 5 (6 enodes) 1550840159.325 * * [misc]simplify: iters left: 4 (24 enodes) 1550840159.329 * * [misc]simplify: iters left: 3 (37 enodes) 1550840159.335 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.341 * * [misc]simplify: iters left: 1 (43 enodes) 1550840159.347 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.347 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.347 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840159.347 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550840159.347 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550840159.347 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550840159.347 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550840159.348 * * [misc]simplify: Extracting #7: cost 6 inf + 1410 1550840159.348 * * [misc]simplify: Extracting #8: cost 1 inf + 2180 1550840159.348 * * [misc]simplify: Extracting #9: cost 0 inf + 2401 1550840159.348 * [exit]simplify: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a)))) 1550840159.348 * [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)))) 1550840159.349 * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # 1550840159.349 * [enter]simplify: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a)))) 1550840159.349 * * [misc]simplify: iters left: 5 (6 enodes) 1550840159.350 * * [misc]simplify: iters left: 4 (24 enodes) 1550840159.354 * * [misc]simplify: iters left: 3 (37 enodes) 1550840159.359 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.366 * * [misc]simplify: iters left: 1 (43 enodes) 1550840159.379 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.379 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.379 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840159.379 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550840159.379 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550840159.381 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550840159.381 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550840159.381 * * [misc]simplify: Extracting #7: cost 6 inf + 1490 1550840159.382 * * [misc]simplify: Extracting #8: cost 1 inf + 2260 1550840159.383 * * [misc]simplify: Extracting #9: cost 0 inf + 2481 1550840159.383 * [exit]simplify: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a)))) 1550840159.383 * [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)))) 1550840159.383 * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # 1550840159.384 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550840159.384 * * [misc]simplify: iters left: 5 (6 enodes) 1550840159.386 * * [misc]simplify: iters left: 4 (24 enodes) 1550840159.391 * * [misc]simplify: iters left: 3 (37 enodes) 1550840159.397 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.403 * * [misc]simplify: iters left: 1 (43 enodes) 1550840159.409 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.409 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.409 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840159.409 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550840159.409 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550840159.409 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550840159.409 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550840159.410 * * [misc]simplify: Extracting #7: cost 6 inf + 1370 1550840159.410 * * [misc]simplify: Extracting #8: cost 1 inf + 2100 1550840159.410 * * [misc]simplify: Extracting #9: cost 0 inf + 2321 1550840159.410 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550840159.410 * [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)))) 1550840159.411 * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # 1550840159.411 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550840159.411 * * [misc]simplify: iters left: 4 (5 enodes) 1550840159.412 * * [misc]simplify: iters left: 3 (21 enodes) 1550840159.416 * * [misc]simplify: iters left: 2 (34 enodes) 1550840159.425 * * [misc]simplify: iters left: 1 (38 enodes) 1550840159.436 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.436 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.436 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.436 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.436 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840159.437 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550840159.437 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550840159.437 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550840159.438 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550840159.438 * [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)))) 1550840159.438 * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # 1550840159.438 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550840159.438 * * [misc]simplify: iters left: 5 (6 enodes) 1550840159.441 * * [misc]simplify: iters left: 4 (24 enodes) 1550840159.446 * * [misc]simplify: iters left: 3 (37 enodes) 1550840159.452 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.458 * * [misc]simplify: iters left: 1 (43 enodes) 1550840159.465 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.465 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.465 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840159.466 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550840159.466 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550840159.466 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550840159.466 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550840159.466 * * [misc]simplify: Extracting #7: cost 6 inf + 1370 1550840159.467 * * [misc]simplify: Extracting #8: cost 1 inf + 2100 1550840159.467 * * [misc]simplify: Extracting #9: cost 0 inf + 2321 1550840159.467 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550840159.467 * [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)))) 1550840159.467 * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # 1550840159.467 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550840159.468 * * [misc]simplify: iters left: 4 (5 enodes) 1550840159.469 * * [misc]simplify: iters left: 3 (21 enodes) 1550840159.473 * * [misc]simplify: iters left: 2 (34 enodes) 1550840159.482 * * [misc]simplify: iters left: 1 (38 enodes) 1550840159.489 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.489 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.489 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.489 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.489 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840159.489 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550840159.490 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550840159.490 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550840159.490 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550840159.490 * [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)))) 1550840159.490 * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # 1550840159.490 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # 1550840159.490 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1550840159.490 * * [misc]simplify: iters left: 3 (4 enodes) 1550840159.491 * * [misc]simplify: iters left: 2 (18 enodes) 1550840159.494 * * [misc]simplify: iters left: 1 (31 enodes) 1550840159.499 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.499 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.499 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.499 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.499 * * [misc]simplify: Extracting #4: cost 7 inf + 599 1550840159.499 * * [misc]simplify: Extracting #5: cost 5 inf + 712 1550840159.500 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.500 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.500 * [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)))) 1550840159.500 * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550840159.500 * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # 1550840159.500 * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # 1550840159.501 * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # 1550840159.501 * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # 1550840159.501 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # 1550840159.501 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # 1550840159.501 * * * * [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))))))> 1550840159.501 * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # 1550840159.501 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840159.501 * * [misc]simplify: iters left: 2 (5 enodes) 1550840159.502 * * [misc]simplify: iters left: 1 (21 enodes) 1550840159.507 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.507 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.507 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.507 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.507 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840159.507 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840159.508 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.508 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.508 * [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)))) 1550840159.508 * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # 1550840159.509 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840159.509 * * [misc]simplify: iters left: 2 (5 enodes) 1550840159.511 * * [misc]simplify: iters left: 1 (21 enodes) 1550840159.518 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.518 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.518 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.519 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.519 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840159.519 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840159.519 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.520 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.520 * [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)))) 1550840159.520 * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # 1550840159.520 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840159.520 * * [misc]simplify: iters left: 2 (5 enodes) 1550840159.522 * * [misc]simplify: iters left: 1 (21 enodes) 1550840159.525 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.525 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.525 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.525 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.526 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840159.526 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840159.526 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.526 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.526 * [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)))) 1550840159.527 * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # 1550840159.527 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840159.527 * * [misc]simplify: iters left: 2 (5 enodes) 1550840159.528 * * [misc]simplify: iters left: 1 (21 enodes) 1550840159.531 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.531 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.531 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.531 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.532 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840159.532 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840159.532 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.532 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.532 * [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)))) 1550840159.532 * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # 1550840159.532 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840159.532 * * [misc]simplify: iters left: 2 (5 enodes) 1550840159.534 * * [misc]simplify: iters left: 1 (21 enodes) 1550840159.537 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.537 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.537 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.537 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.537 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840159.537 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840159.538 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.538 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.538 * [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)))) 1550840159.538 * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # 1550840159.538 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840159.538 * * [misc]simplify: iters left: 2 (5 enodes) 1550840159.539 * * [misc]simplify: iters left: 1 (21 enodes) 1550840159.543 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.543 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840159.543 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840159.543 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840159.543 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840159.543 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840159.543 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840159.543 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840159.543 * [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)))) 1550840159.544 * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # 1550840159.544 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550840159.544 * * [misc]simplify: iters left: 3 (6 enodes) 1550840159.545 * * [misc]simplify: iters left: 2 (24 enodes) 1550840159.549 * * [misc]simplify: iters left: 1 (35 enodes) 1550840159.560 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.560 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.560 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.560 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.560 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840159.560 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550840159.561 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550840159.561 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550840159.562 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550840159.562 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550840159.562 * [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)))) 1550840159.562 * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # 1550840159.563 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550840159.563 * * [misc]simplify: iters left: 3 (6 enodes) 1550840159.566 * * [misc]simplify: iters left: 2 (24 enodes) 1550840159.573 * * [misc]simplify: iters left: 1 (35 enodes) 1550840159.584 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.584 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.584 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.584 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.584 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840159.584 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550840159.584 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550840159.585 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550840159.585 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550840159.586 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550840159.586 * [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)))) 1550840159.586 * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # 1550840159.586 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550840159.587 * * [misc]simplify: iters left: 3 (6 enodes) 1550840159.590 * * [misc]simplify: iters left: 2 (24 enodes) 1550840159.599 * * [misc]simplify: iters left: 1 (35 enodes) 1550840159.609 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.609 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.609 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.610 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.610 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550840159.610 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550840159.610 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550840159.610 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550840159.611 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550840159.612 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550840159.612 * [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)))) 1550840159.612 * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # 1550840159.612 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840159.612 * * [misc]simplify: iters left: 4 (8 enodes) 1550840159.616 * * [misc]simplify: iters left: 3 (30 enodes) 1550840159.626 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.638 * * [misc]simplify: iters left: 1 (45 enodes) 1550840159.651 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.651 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.651 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.651 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.651 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840159.652 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840159.652 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840159.652 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840159.653 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840159.654 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840159.654 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840159.655 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840159.655 * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # 1550840159.655 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840159.655 * * [misc]simplify: iters left: 4 (8 enodes) 1550840159.659 * * [misc]simplify: iters left: 3 (30 enodes) 1550840159.668 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.680 * * [misc]simplify: iters left: 1 (45 enodes) 1550840159.691 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.691 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.691 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.691 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.692 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840159.692 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840159.692 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840159.692 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840159.692 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840159.693 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840159.693 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840159.693 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840159.693 * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # 1550840159.693 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550840159.693 * * [misc]simplify: iters left: 4 (8 enodes) 1550840159.696 * * [misc]simplify: iters left: 3 (30 enodes) 1550840159.700 * * [misc]simplify: iters left: 2 (41 enodes) 1550840159.706 * * [misc]simplify: iters left: 1 (45 enodes) 1550840159.713 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840159.713 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840159.713 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840159.713 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550840159.713 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550840159.713 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550840159.713 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550840159.713 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550840159.714 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550840159.714 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550840159.714 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550840159.715 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550840159.715 * * * [misc]progress: adding candidates to table 1550840160.595 * * [misc]progress: iteration 4 / 4 1550840160.595 * * * [misc]progress: picking best candidate 1550840160.640 * * * * [misc]pick: Picked # 1550840160.641 * * * [misc]progress: localizing error 1550840160.678 * * * [misc]progress: generating rewritten candidates 1550840160.678 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1) 1550840160.678 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1) 1550840160.679 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1550840160.679 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1550840160.685 * * * [misc]progress: generating series expansions 1550840160.685 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1) 1550840160.685 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840160.685 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840160.685 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.686 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.686 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.686 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.686 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.686 * [misc]backup-simplify: Simplify 0 into 0 1550840160.686 * [misc]backup-simplify: Simplify 0 into 0 1550840160.686 * [misc]backup-simplify: Simplify 0 into 0 1550840160.686 * [misc]backup-simplify: Simplify 0 into 0 1550840160.686 * [misc]backup-simplify: Simplify 0 into 0 1550840160.686 * [misc]backup-simplify: Simplify 0 into 0 1550840160.686 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.686 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.686 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840160.686 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.687 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.687 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.687 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.687 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.687 * [misc]backup-simplify: Simplify 0 into 0 1550840160.687 * [misc]backup-simplify: Simplify 0 into 0 1550840160.687 * [misc]backup-simplify: Simplify 0 into 0 1550840160.687 * [misc]backup-simplify: Simplify 0 into 0 1550840160.687 * [misc]backup-simplify: Simplify 0 into 0 1550840160.687 * [misc]backup-simplify: Simplify 0 into 0 1550840160.687 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840160.687 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.688 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840160.688 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.688 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.688 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.688 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.688 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.688 * [misc]backup-simplify: Simplify 0 into 0 1550840160.688 * [misc]backup-simplify: Simplify 0 into 0 1550840160.688 * [misc]backup-simplify: Simplify 0 into 0 1550840160.688 * [misc]backup-simplify: Simplify 0 into 0 1550840160.688 * [misc]backup-simplify: Simplify 0 into 0 1550840160.688 * [misc]backup-simplify: Simplify 0 into 0 1550840160.688 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840160.689 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1 1) 1550840160.689 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840160.689 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840160.689 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.689 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.689 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.689 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.689 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.689 * [misc]backup-simplify: Simplify 0 into 0 1550840160.689 * [misc]backup-simplify: Simplify 0 into 0 1550840160.689 * [misc]backup-simplify: Simplify 0 into 0 1550840160.689 * [misc]backup-simplify: Simplify 0 into 0 1550840160.689 * [misc]backup-simplify: Simplify 0 into 0 1550840160.689 * [misc]backup-simplify: Simplify 0 into 0 1550840160.689 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.690 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.690 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840160.690 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.690 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.690 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.690 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.690 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.690 * [misc]backup-simplify: Simplify 0 into 0 1550840160.690 * [misc]backup-simplify: Simplify 0 into 0 1550840160.690 * [misc]backup-simplify: Simplify 0 into 0 1550840160.690 * [misc]backup-simplify: Simplify 0 into 0 1550840160.690 * [misc]backup-simplify: Simplify 0 into 0 1550840160.690 * [misc]backup-simplify: Simplify 0 into 0 1550840160.691 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840160.691 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.691 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840160.691 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.691 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.691 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.691 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.691 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.691 * [misc]backup-simplify: Simplify 0 into 0 1550840160.691 * [misc]backup-simplify: Simplify 0 into 0 1550840160.691 * [misc]backup-simplify: Simplify 0 into 0 1550840160.692 * [misc]backup-simplify: Simplify 0 into 0 1550840160.692 * [misc]backup-simplify: Simplify 0 into 0 1550840160.692 * [misc]backup-simplify: Simplify 0 into 0 1550840160.692 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840160.692 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1) 1550840160.692 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550840160.692 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550840160.692 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.692 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.692 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.692 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.692 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.692 * [misc]backup-simplify: Simplify 0 into 0 1550840160.692 * [misc]backup-simplify: Simplify 0 into 0 1550840160.692 * [misc]backup-simplify: Simplify 0 into 0 1550840160.693 * [misc]backup-simplify: Simplify 0 into 0 1550840160.693 * [misc]backup-simplify: Simplify 0 into 0 1550840160.693 * [misc]backup-simplify: Simplify 0 into 0 1550840160.693 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.693 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.693 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840160.693 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.693 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.693 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.693 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.693 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.693 * [misc]backup-simplify: Simplify 0 into 0 1550840160.693 * [misc]backup-simplify: Simplify 0 into 0 1550840160.694 * [misc]backup-simplify: Simplify 0 into 0 1550840160.694 * [misc]backup-simplify: Simplify 0 into 0 1550840160.694 * [misc]backup-simplify: Simplify 0 into 0 1550840160.694 * [misc]backup-simplify: Simplify 0 into 0 1550840160.694 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550840160.694 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.694 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550840160.694 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.694 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.694 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.694 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.695 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.695 * [misc]backup-simplify: Simplify 0 into 0 1550840160.695 * [misc]backup-simplify: Simplify 0 into 0 1550840160.695 * [misc]backup-simplify: Simplify 0 into 0 1550840160.695 * [misc]backup-simplify: Simplify 0 into 0 1550840160.695 * [misc]backup-simplify: Simplify 0 into 0 1550840160.695 * [misc]backup-simplify: Simplify 0 into 0 1550840160.695 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550840160.695 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1550840160.695 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.695 * [misc]approximate: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in (a) around 0 1550840160.695 * [misc]taylor: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a 1550840160.695 * [misc]taylor: Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a 1550840160.695 * [misc]taylor: Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a 1550840160.695 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550840160.695 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.695 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.696 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840160.696 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.696 * [misc]backup-simplify: Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2)))) 1550840160.696 * [misc]backup-simplify: Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1550840160.698 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1550840160.699 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.699 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.699 * [misc]taylor: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a 1550840160.699 * [misc]taylor: Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a 1550840160.699 * [misc]taylor: Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a 1550840160.699 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550840160.699 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550840160.699 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550840160.699 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550840160.699 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.700 * [misc]backup-simplify: Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2)))) 1550840160.700 * [misc]backup-simplify: Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1550840160.701 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1550840160.701 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.701 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.701 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.703 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 1) into 0 1550840160.703 * [misc]backup-simplify: Simplify 0 into 0 1550840160.704 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.706 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.707 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.708 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 2) into 0 1550840160.709 * [misc]backup-simplify: Simplify 0 into 0 1550840160.709 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.712 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550840160.713 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.716 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 6) into 0 1550840160.716 * [misc]backup-simplify: Simplify 0 into 0 1550840160.717 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.722 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.723 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.728 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 24) into 0 1550840160.728 * [misc]backup-simplify: Simplify 0 into 0 1550840160.729 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.737 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550840160.738 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.745 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 120) into 0 1550840160.745 * [misc]backup-simplify: Simplify 0 into 0 1550840160.746 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550840160.753 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.754 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0 1550840160.761 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 720) into 0 1550840160.761 * [misc]backup-simplify: Simplify 0 into 0 1550840160.762 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.762 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1550840160.762 * [misc]approximate: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in (a) around 0 1550840160.762 * [misc]taylor: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a 1550840160.762 * [misc]taylor: Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1550840160.762 * [misc]taylor: Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1550840160.762 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550840160.762 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.762 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.762 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550840160.762 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.762 * [misc]backup-simplify: Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1550840160.762 * [misc]backup-simplify: Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1550840160.763 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550840160.763 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.763 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1550840160.763 * [misc]taylor: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a 1550840160.763 * [misc]taylor: Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1550840160.763 * [misc]taylor: Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1550840160.763 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550840160.764 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550840160.764 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550840160.764 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550840160.764 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.764 * [misc]backup-simplify: Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1550840160.764 * [misc]backup-simplify: Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1550840160.765 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550840160.765 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.765 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1550840160.765 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1550840160.766 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0 1550840160.766 * [misc]backup-simplify: Simplify 0 into 0 1550840160.766 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.767 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.768 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.769 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0 1550840160.769 * [misc]backup-simplify: Simplify 0 into 0 1550840160.769 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.771 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550840160.771 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.773 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0 1550840160.773 * [misc]backup-simplify: Simplify 0 into 0 1550840160.774 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.782 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.783 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.788 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0 1550840160.789 * [misc]backup-simplify: Simplify 0 into 0 1550840160.789 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.795 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550840160.796 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.800 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0 1550840160.800 * [misc]backup-simplify: Simplify 0 into 0 1550840160.801 * [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 1550840160.809 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.809 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.817 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0 1550840160.817 * [misc]backup-simplify: Simplify 0 into 0 1550840160.817 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.817 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1550840160.817 * [misc]approximate: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in (a) around 0 1550840160.817 * [misc]taylor: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a 1550840160.817 * [misc]taylor: Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1550840160.817 * [misc]taylor: Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1550840160.817 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550840160.817 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.817 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.817 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550840160.817 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.817 * [misc]backup-simplify: Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1550840160.818 * [misc]backup-simplify: Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1550840160.818 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550840160.819 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.819 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1550840160.819 * [misc]taylor: Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a 1550840160.819 * [misc]taylor: Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1550840160.819 * [misc]taylor: Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1550840160.819 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550840160.819 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550840160.819 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550840160.819 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550840160.819 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.819 * [misc]backup-simplify: Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1550840160.819 * [misc]backup-simplify: Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1550840160.820 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550840160.820 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.820 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1550840160.820 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1550840160.821 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0 1550840160.821 * [misc]backup-simplify: Simplify 0 into 0 1550840160.822 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.824 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.825 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.827 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0 1550840160.827 * [misc]backup-simplify: Simplify 0 into 0 1550840160.827 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.830 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550840160.831 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.834 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0 1550840160.834 * [misc]backup-simplify: Simplify 0 into 0 1550840160.835 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.840 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.841 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.845 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0 1550840160.846 * [misc]backup-simplify: Simplify 0 into 0 1550840160.846 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550840160.853 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550840160.854 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.859 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0 1550840160.859 * [misc]backup-simplify: Simplify 0 into 0 1550840160.860 * [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 1550840160.869 * [misc]backup-simplify: Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550840160.869 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1550840160.877 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0 1550840160.878 * [misc]backup-simplify: Simplify 0 into 0 1550840160.878 * [misc]backup-simplify: Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840160.878 * * * [misc]progress: simplifying candidates 1550840160.878 * * * * [misc]progress: [ 1 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 2 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 3 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 4 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 5 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 6 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 7 / 61 ] simplifiying candidate # 1550840160.878 * * * * [misc]progress: [ 8 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 9 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 10 / 61 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))))) (log1p a))))> 1550840160.879 * * * * [misc]progress: [ 11 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 12 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 13 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 14 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 15 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 16 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 17 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 18 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 19 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 20 / 61 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550840160.879 * * * * [misc]progress: [ 21 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 22 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 23 / 61 ] simplifiying candidate # 1550840160.879 * * * * [misc]progress: [ 24 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 25 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 26 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 27 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 28 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 29 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 30 / 61 ] simplifiying candidate #real (real->posit16 (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))))> 1550840160.880 * * * * [misc]progress: [ 31 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 32 / 61 ] simplifiying candidate # 1550840160.880 * * * * [misc]progress: [ 33 / 61 ] simplifiying candidate # 1550840160.880 * [enter]simplify: Simplifying (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) 1550840160.881 * * [misc]simplify: iters left: 6 (10 enodes) 1550840160.885 * * [misc]simplify: iters left: 5 (38 enodes) 1550840160.897 * * [misc]simplify: iters left: 4 (53 enodes) 1550840160.911 * * [misc]simplify: iters left: 3 (57 enodes) 1550840160.919 * * [misc]simplify: iters left: 2 (59 enodes) 1550840160.928 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840160.928 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840160.928 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840160.928 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840160.928 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550840160.928 * * [misc]simplify: Extracting #5: cost 13 inf + 0 1550840160.928 * * [misc]simplify: Extracting #6: cost 15 inf + 0 1550840160.928 * * [misc]simplify: Extracting #7: cost 18 inf + 0 1550840160.928 * * [misc]simplify: Extracting #8: cost 23 inf + 0 1550840160.928 * * [misc]simplify: Extracting #9: cost 18 inf + 528 1550840160.928 * * [misc]simplify: Extracting #10: cost 18 inf + 1287 1550840160.929 * * [misc]simplify: Extracting #11: cost 4 inf + 5387 1550840160.929 * * [misc]simplify: Extracting #12: cost 0 inf + 6621 1550840160.930 * [exit]simplify: Simplified to (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) 1550840160.930 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a)))) 1550840160.930 * * * * [misc]progress: [ 34 / 61 ] simplifiying candidate # 1550840160.931 * [enter]simplify: Simplifying (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) 1550840160.931 * * [misc]simplify: iters left: 6 (10 enodes) 1550840160.932 * * [misc]simplify: iters left: 5 (37 enodes) 1550840160.938 * * [misc]simplify: iters left: 4 (50 enodes) 1550840160.946 * * [misc]simplify: iters left: 3 (54 enodes) 1550840160.953 * * [misc]simplify: iters left: 2 (56 enodes) 1550840160.969 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840160.969 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840160.969 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550840160.969 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840160.969 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550840160.969 * * [misc]simplify: Extracting #5: cost 13 inf + 0 1550840160.969 * * [misc]simplify: Extracting #6: cost 16 inf + 0 1550840160.969 * * [misc]simplify: Extracting #7: cost 21 inf + 0 1550840160.969 * * [misc]simplify: Extracting #8: cost 22 inf + 2 1550840160.970 * * [misc]simplify: Extracting #9: cost 22 inf + 211 1550840160.970 * * [misc]simplify: Extracting #10: cost 12 inf + 1747 1550840160.971 * * [misc]simplify: Extracting #11: cost 2 inf + 4747 1550840160.972 * * [misc]simplify: Extracting #12: cost 0 inf + 5609 1550840160.974 * [exit]simplify: Simplified to (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840160.974 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a)))) 1550840160.974 * * * * [misc]progress: [ 35 / 61 ] simplifiying candidate # 1550840160.974 * [enter]simplify: Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840160.974 * * [misc]simplify: iters left: 6 (9 enodes) 1550840160.978 * * [misc]simplify: iters left: 5 (33 enodes) 1550840160.988 * * [misc]simplify: iters left: 4 (46 enodes) 1550840161.001 * * [misc]simplify: iters left: 3 (50 enodes) 1550840161.017 * * [misc]simplify: iters left: 2 (52 enodes) 1550840161.029 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.029 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840161.030 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840161.030 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840161.030 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550840161.030 * * [misc]simplify: Extracting #5: cost 11 inf + 0 1550840161.030 * * [misc]simplify: Extracting #6: cost 14 inf + 0 1550840161.030 * * [misc]simplify: Extracting #7: cost 19 inf + 0 1550840161.030 * * [misc]simplify: Extracting #8: cost 20 inf + 2 1550840161.030 * * [misc]simplify: Extracting #9: cost 19 inf + 392 1550840161.030 * * [misc]simplify: Extracting #10: cost 9 inf + 1953 1550840161.031 * * [misc]simplify: Extracting #11: cost 1 inf + 4221 1550840161.032 * * [misc]simplify: Extracting #12: cost 0 inf + 4577 1550840161.033 * [exit]simplify: Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840161.033 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a)))) 1550840161.033 * * * * [misc]progress: [ 36 / 61 ] simplifiying candidate # 1550840161.033 * [enter]simplify: Simplifying (log (sqrt 1)) 1550840161.033 * * [misc]simplify: iters left: 2 (3 enodes) 1550840161.037 * * [misc]simplify: iters left: 1 (11 enodes) 1550840161.040 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.040 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550840161.040 * [exit]simplify: Simplified to 0 1550840161.040 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1550840161.040 * * * * [misc]progress: [ 37 / 61 ] simplifiying candidate # 1550840161.040 * [enter]simplify: Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840161.040 * * [misc]simplify: iters left: 6 (9 enodes) 1550840161.044 * * [misc]simplify: iters left: 5 (33 enodes) 1550840161.052 * * [misc]simplify: iters left: 4 (46 enodes) 1550840161.060 * * [misc]simplify: iters left: 3 (50 enodes) 1550840161.067 * * [misc]simplify: iters left: 2 (52 enodes) 1550840161.074 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.074 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840161.074 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840161.075 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840161.075 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550840161.075 * * [misc]simplify: Extracting #5: cost 11 inf + 0 1550840161.075 * * [misc]simplify: Extracting #6: cost 14 inf + 0 1550840161.075 * * [misc]simplify: Extracting #7: cost 19 inf + 0 1550840161.075 * * [misc]simplify: Extracting #8: cost 20 inf + 2 1550840161.075 * * [misc]simplify: Extracting #9: cost 19 inf + 392 1550840161.075 * * [misc]simplify: Extracting #10: cost 9 inf + 1953 1550840161.075 * * [misc]simplify: Extracting #11: cost 1 inf + 4221 1550840161.076 * * [misc]simplify: Extracting #12: cost 0 inf + 4577 1550840161.076 * [exit]simplify: Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550840161.076 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a)))) 1550840161.077 * * * * [misc]progress: [ 38 / 61 ] simplifiying candidate # 1550840161.077 * [enter]simplify: Simplifying (log 1) 1550840161.077 * * [misc]simplify: iters left: 1 (2 enodes) 1550840161.078 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.078 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550840161.078 * [exit]simplify: Simplified to 0 1550840161.078 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1550840161.078 * * * * [misc]progress: [ 39 / 61 ] simplifiying candidate # 1550840161.078 * * * * [misc]progress: [ 40 / 61 ] simplifiying candidate # 1550840161.078 * * * * [misc]progress: [ 41 / 61 ] simplifiying candidate # 1550840161.078 * * * * [misc]progress: [ 42 / 61 ] simplifiying candidate # 1550840161.079 * [enter]simplify: Simplifying (sqrt (exp (sqrt (fmod (cosh a) (* a a))))) 1550840161.079 * * [misc]simplify: iters left: 6 (7 enodes) 1550840161.080 * * [misc]simplify: iters left: 5 (27 enodes) 1550840161.084 * * [misc]simplify: iters left: 4 (40 enodes) 1550840161.090 * * [misc]simplify: iters left: 3 (44 enodes) 1550840161.096 * * [misc]simplify: iters left: 2 (46 enodes) 1550840161.104 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.104 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840161.104 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840161.104 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840161.104 * * [misc]simplify: Extracting #4: cost 10 inf + 0 1550840161.104 * * [misc]simplify: Extracting #5: cost 15 inf + 0 1550840161.104 * * [misc]simplify: Extracting #6: cost 16 inf + 2 1550840161.104 * * [misc]simplify: Extracting #7: cost 14 inf + 433 1550840161.104 * * [misc]simplify: Extracting #8: cost 7 inf + 1416 1550840161.105 * * [misc]simplify: Extracting #9: cost 0 inf + 3013 1550840161.106 * [exit]simplify: Simplified to (sqrt (exp (sqrt (fmod (cosh a) (* a a))))) 1550840161.106 * [misc]simplify: Simplified (2 1 1 2 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)))) 1550840161.106 * * * * [misc]progress: [ 43 / 61 ] simplifiying candidate # 1550840161.106 * * * * [misc]progress: [ 44 / 61 ] simplifiying candidate # 1550840161.106 * * * * [misc]progress: [ 45 / 61 ] simplifiying candidate # 1550840161.106 * * * * [misc]progress: [ 46 / 61 ] simplifiying candidate # 1550840161.106 * * * * [misc]progress: [ 47 / 61 ] simplifiying candidate # 1550840161.106 * * * * [misc]progress: [ 48 / 61 ] simplifiying candidate # 1550840161.106 * * * * [misc]progress: [ 49 / 61 ] simplifiying candidate #real (real->posit16 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> 1550840161.106 * * * * [misc]progress: [ 50 / 61 ] simplifiying candidate # 1550840161.107 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.107 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.110 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.118 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.118 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.118 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.118 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.119 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.119 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.119 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.120 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.120 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 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)))) 1550840161.120 * * * * [misc]progress: [ 51 / 61 ] simplifiying candidate # 1550840161.120 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.120 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.123 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.129 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.130 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.130 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.130 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.130 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.130 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.131 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.131 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.131 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 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)))) 1550840161.131 * * * * [misc]progress: [ 52 / 61 ] simplifiying candidate # 1550840161.132 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.132 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.134 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.141 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.141 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.141 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.141 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.141 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.141 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.142 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.142 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.142 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 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)))) 1550840161.143 * * * * [misc]progress: [ 53 / 61 ] simplifiying candidate # 1550840161.143 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.143 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.146 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.152 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.152 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.152 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.152 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.153 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.153 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.153 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.154 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.154 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 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)))) 1550840161.154 * * * * [misc]progress: [ 54 / 61 ] simplifiying candidate # 1550840161.154 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.154 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.157 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.163 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.163 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.163 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.163 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.164 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.164 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.164 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.164 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.165 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 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)))) 1550840161.165 * * * * [misc]progress: [ 55 / 61 ] simplifiying candidate # 1550840161.165 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.165 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.166 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.169 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.170 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.170 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.170 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.170 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.170 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.170 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.170 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.170 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 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)))) 1550840161.170 * * * * [misc]progress: [ 56 / 61 ] simplifiying candidate # 1550840161.171 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.171 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.172 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.175 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.175 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.175 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.175 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.176 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.176 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.176 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.176 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.176 * [misc]simplify: Simplified (2 1 1 1 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)))) 1550840161.176 * * * * [misc]progress: [ 57 / 61 ] simplifiying candidate # 1550840161.176 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.176 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.178 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.181 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.181 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.181 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.181 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.181 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.181 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.181 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.182 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.182 * [misc]simplify: Simplified (2 1 1 1 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)))) 1550840161.182 * * * * [misc]progress: [ 58 / 61 ] simplifiying candidate # 1550840161.182 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550840161.182 * * [misc]simplify: iters left: 2 (5 enodes) 1550840161.183 * * [misc]simplify: iters left: 1 (21 enodes) 1550840161.187 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.187 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840161.187 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550840161.187 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550840161.187 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550840161.187 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550840161.187 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550840161.188 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550840161.188 * [misc]simplify: Simplified (2 1 1 1 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)))) 1550840161.188 * * * * [misc]progress: [ 59 / 61 ] simplifiying candidate # 1550840161.188 * [enter]simplify: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840161.188 * * [misc]simplify: iters left: 6 (9 enodes) 1550840161.190 * * [misc]simplify: iters left: 5 (33 enodes) 1550840161.194 * * [misc]simplify: iters left: 4 (44 enodes) 1550840161.200 * * [misc]simplify: iters left: 3 (48 enodes) 1550840161.207 * * [misc]simplify: iters left: 2 (50 enodes) 1550840161.214 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.214 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840161.214 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840161.215 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840161.215 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550840161.215 * * [misc]simplify: Extracting #5: cost 12 inf + 0 1550840161.215 * * [misc]simplify: Extracting #6: cost 17 inf + 0 1550840161.215 * * [misc]simplify: Extracting #7: cost 18 inf + 2 1550840161.215 * * [misc]simplify: Extracting #8: cost 18 inf + 226 1550840161.215 * * [misc]simplify: Extracting #9: cost 9 inf + 1471 1550840161.216 * * [misc]simplify: Extracting #10: cost 1 inf + 3469 1550840161.217 * * [misc]simplify: Extracting #11: cost 0 inf + 3785 1550840161.220 * [exit]simplify: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550840161.220 * [misc]simplify: Simplified (2 1 1 2 2) 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)))) 1550840161.220 * * * * [misc]progress: [ 60 / 61 ] simplifiying candidate # 1550840161.221 * [enter]simplify: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840161.221 * * [misc]simplify: iters left: 6 (9 enodes) 1550840161.225 * * [misc]simplify: iters left: 5 (33 enodes) 1550840161.231 * * [misc]simplify: iters left: 4 (44 enodes) 1550840161.238 * * [misc]simplify: iters left: 3 (48 enodes) 1550840161.244 * * [misc]simplify: iters left: 2 (50 enodes) 1550840161.251 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.251 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840161.251 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840161.251 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840161.251 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550840161.251 * * [misc]simplify: Extracting #5: cost 12 inf + 0 1550840161.251 * * [misc]simplify: Extracting #6: cost 17 inf + 0 1550840161.251 * * [misc]simplify: Extracting #7: cost 18 inf + 2 1550840161.251 * * [misc]simplify: Extracting #8: cost 18 inf + 226 1550840161.252 * * [misc]simplify: Extracting #9: cost 9 inf + 1471 1550840161.252 * * [misc]simplify: Extracting #10: cost 1 inf + 3469 1550840161.252 * * [misc]simplify: Extracting #11: cost 0 inf + 3785 1550840161.253 * [exit]simplify: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550840161.253 * [misc]simplify: Simplified (2 1 1 2 2) 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)))) 1550840161.253 * * * * [misc]progress: [ 61 / 61 ] simplifiying candidate # 1550840161.253 * [enter]simplify: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) 1550840161.253 * * [misc]simplify: iters left: 6 (9 enodes) 1550840161.255 * * [misc]simplify: iters left: 5 (33 enodes) 1550840161.264 * * [misc]simplify: iters left: 4 (44 enodes) 1550840161.275 * * [misc]simplify: iters left: 3 (48 enodes) 1550840161.283 * * [misc]simplify: iters left: 2 (50 enodes) 1550840161.290 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840161.290 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840161.290 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840161.290 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550840161.290 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550840161.290 * * [misc]simplify: Extracting #5: cost 12 inf + 0 1550840161.290 * * [misc]simplify: Extracting #6: cost 17 inf + 0 1550840161.291 * * [misc]simplify: Extracting #7: cost 18 inf + 2 1550840161.291 * * [misc]simplify: Extracting #8: cost 18 inf + 226 1550840161.291 * * [misc]simplify: Extracting #9: cost 9 inf + 1471 1550840161.291 * * [misc]simplify: Extracting #10: cost 1 inf + 3469 1550840161.292 * * [misc]simplify: Extracting #11: cost 0 inf + 3785 1550840161.292 * [exit]simplify: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550840161.292 * [misc]simplify: Simplified (2 1 1 2 2) 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)))) 1550840161.292 * * * [misc]progress: adding candidates to table 1550840162.303 * [misc]progress: [Phase 3 of 3] Extracting. 1550840162.303 * * [misc]regime: Finding splitpoints for: (# # # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #real (real->posit16 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> # # # #) 1550840162.307 * * * [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)))) 1550840162.308 * * * * [misc]regimes: Trying to branch on a from (# # # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #real (real->posit16 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> # # # #) 1550840162.428 * * * * [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 (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> # # # #) 1550840162.551 * * * * [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))))))> #) 1550840162.595 * * * * [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 (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> # # # #) 1550840162.721 * * * [misc]regime: Found split indices: #