1550651436.184 * [misc]progress: [Phase 1 of 3] Setting up. 1550651436.186 * * * [misc]progress: [1/2] Preparing points 1550651437.836 * * * [misc]progress: [2/2] Setting up program. 1550651437.844 * [misc]progress: [Phase 2 of 3] Improving. 1550651437.844 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550651437.845 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651437.846 * * [misc]simplify: iters left: 5 (7 enodes) 1550651437.854 * * [misc]simplify: iters left: 4 (27 enodes) 1550651437.867 * * [misc]simplify: iters left: 3 (40 enodes) 1550651437.878 * * [misc]simplify: iters left: 2 (44 enodes) 1550651437.891 * * [misc]simplify: iters left: 1 (46 enodes) 1550651437.900 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651437.900 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651437.900 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651437.900 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651437.901 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651437.901 * * [misc]simplify: Extracting #5: cost 9 inf + 919 1550651437.901 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651437.901 * * [misc]simplify: Extracting #7: cost 3 inf + 3160 1550651437.902 * * [misc]simplify: Extracting #8: cost 0 inf + 3643 1550651437.902 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651437.902 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651437.907 * * [misc]progress: iteration 1 / 4 1550651437.908 * * * [misc]progress: picking best candidate 1550651437.911 * * * * [misc]pick: Picked # 1550651437.911 * * * [misc]progress: localizing error 1550651437.944 * * * [misc]progress: generating rewritten candidates 1550651437.944 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1550651437.945 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1550651437.947 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1550651437.948 * * * [misc]progress: generating series expansions 1550651437.948 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1550651437.952 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651437.952 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651437.953 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651437.954 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651437.954 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651437.954 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651437.954 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651437.954 * [misc]backup-simplify: Simplify 0 into 0 1550651437.954 * [misc]backup-simplify: Simplify 0 into 0 1550651437.954 * [misc]backup-simplify: Simplify 0 into 0 1550651437.954 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651437.955 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651437.955 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651437.955 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651437.955 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651437.955 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651437.955 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651437.955 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify 0 into 0 1550651437.955 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651437.956 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651437.956 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651437.956 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651437.956 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651437.956 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651437.956 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651437.956 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651437.956 * [misc]backup-simplify: Simplify 0 into 0 1550651437.956 * [misc]backup-simplify: Simplify 0 into 0 1550651437.956 * [misc]backup-simplify: Simplify 0 into 0 1550651437.956 * [misc]backup-simplify: Simplify 0 into 0 1550651437.956 * [misc]backup-simplify: Simplify 0 into 0 1550651437.956 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651437.957 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1550651437.957 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651437.957 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550651437.957 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550651437.957 * [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))) 1550651437.957 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550651437.957 * [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))) 1550651437.957 * [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))) 1550651437.957 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [misc]backup-simplify: Simplify 0 into 0 1550651437.957 * [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))) 1550651437.957 * [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)))) 1550651437.957 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550651437.957 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550651437.958 * [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)))) 1550651437.958 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550651437.958 * [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)))) 1550651437.958 * [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)))) 1550651437.958 * [misc]backup-simplify: Simplify 0 into 0 1550651437.958 * [misc]backup-simplify: Simplify 0 into 0 1550651437.958 * [misc]backup-simplify: Simplify 0 into 0 1550651437.958 * [misc]backup-simplify: Simplify 0 into 0 1550651437.958 * [misc]backup-simplify: Simplify 0 into 0 1550651437.958 * [misc]backup-simplify: Simplify 0 into 0 1550651437.958 * [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))) 1550651437.958 * [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)))) 1550651437.958 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550651437.958 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550651437.959 * [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)))) 1550651437.959 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550651437.959 * [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)))) 1550651437.959 * [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)))) 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [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))) 1550651437.959 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1550651437.959 * [misc]backup-simplify: Simplify (cosh a) into (cosh a) 1550651437.959 * [misc]approximate: Taking taylor expansion of (cosh a) in (a) around 0 1550651437.959 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550651437.959 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550651437.959 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550651437.959 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550651437.959 * [misc]taylor: Taking taylor expansion of a in a 1550651437.959 * [misc]backup-simplify: Simplify 0 into 0 1550651437.959 * [misc]backup-simplify: Simplify 1 into 1 1550651437.960 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651437.960 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550651437.960 * [misc]taylor: Taking taylor expansion of (- a) in a 1550651437.960 * [misc]taylor: Taking taylor expansion of a in a 1550651437.960 * [misc]backup-simplify: Simplify 0 into 0 1550651437.960 * [misc]backup-simplify: Simplify 1 into 1 1550651437.960 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.960 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.960 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651437.960 * [misc]taylor: Taking taylor expansion of 2 in a 1550651437.960 * [misc]backup-simplify: Simplify 2 into 2 1550651437.961 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550651437.961 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550651437.961 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550651437.961 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550651437.961 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550651437.961 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550651437.961 * [misc]taylor: Taking taylor expansion of a in a 1550651437.961 * [misc]backup-simplify: Simplify 0 into 0 1550651437.961 * [misc]backup-simplify: Simplify 1 into 1 1550651437.961 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651437.961 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550651437.961 * [misc]taylor: Taking taylor expansion of (- a) in a 1550651437.961 * [misc]taylor: Taking taylor expansion of a in a 1550651437.961 * [misc]backup-simplify: Simplify 0 into 0 1550651437.961 * [misc]backup-simplify: Simplify 1 into 1 1550651437.961 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.961 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.961 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651437.961 * [misc]taylor: Taking taylor expansion of 2 in a 1550651437.961 * [misc]backup-simplify: Simplify 2 into 2 1550651437.961 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550651437.962 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550651437.962 * [misc]backup-simplify: Simplify 1 into 1 1550651437.963 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550651437.963 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.964 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550651437.964 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550651437.965 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550651437.965 * [misc]backup-simplify: Simplify 0 into 0 1550651437.966 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550651437.966 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.966 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.968 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550651437.968 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1550651437.968 * [misc]backup-simplify: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1550651437.968 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550651437.970 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1550651437.971 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.971 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.971 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.971 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.973 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1550651437.974 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1550651437.974 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1550651437.974 * [misc]backup-simplify: Simplify 0 into 0 1550651437.981 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1550651437.981 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.981 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.981 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.981 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.981 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.982 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.982 * [misc]backup-simplify: Simplify (- 0) into 0 1550651437.988 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1550651437.988 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1550651437.988 * [misc]backup-simplify: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1550651437.988 * [misc]backup-simplify: Simplify 1/24 into 1/24 1550651437.990 * [misc]backup-simplify: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550651437.990 * [misc]backup-simplify: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a)) 1550651437.990 * [misc]approximate: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0 1550651437.990 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550651437.990 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550651437.990 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550651437.990 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550651437.990 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651437.990 * [misc]taylor: Taking taylor expansion of a in a 1550651437.990 * [misc]backup-simplify: Simplify 0 into 0 1550651437.990 * [misc]backup-simplify: Simplify 1 into 1 1550651437.991 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651437.991 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550651437.991 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550651437.991 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550651437.991 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651437.991 * [misc]taylor: Taking taylor expansion of a in a 1550651437.991 * [misc]backup-simplify: Simplify 0 into 0 1550651437.991 * [misc]backup-simplify: Simplify 1 into 1 1550651437.991 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651437.991 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.991 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550651437.992 * [misc]taylor: Taking taylor expansion of 2 in a 1550651437.992 * [misc]backup-simplify: Simplify 2 into 2 1550651437.992 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550651437.992 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550651437.992 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550651437.992 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550651437.992 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550651437.992 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550651437.992 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651437.992 * [misc]taylor: Taking taylor expansion of a in a 1550651437.992 * [misc]backup-simplify: Simplify 0 into 0 1550651437.992 * [misc]backup-simplify: Simplify 1 into 1 1550651437.992 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651437.992 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550651437.992 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550651437.992 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550651437.992 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651437.992 * [misc]taylor: Taking taylor expansion of a in a 1550651437.993 * [misc]backup-simplify: Simplify 0 into 0 1550651437.993 * [misc]backup-simplify: Simplify 1 into 1 1550651437.993 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651437.993 * [misc]backup-simplify: Simplify (- 1) into -1 1550651437.993 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550651437.993 * [misc]taylor: Taking taylor expansion of 2 in a 1550651437.993 * [misc]backup-simplify: Simplify 2 into 2 1550651437.993 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550651437.993 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550651437.994 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550651437.994 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651437.994 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0 1550651437.994 * [misc]backup-simplify: Simplify 0 into 0 1550651437.994 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651437.995 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651437.995 * [misc]backup-simplify: Simplify 0 into 0 1550651437.995 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651437.996 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651437.996 * [misc]backup-simplify: Simplify 0 into 0 1550651437.996 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651437.997 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651437.997 * [misc]backup-simplify: Simplify 0 into 0 1550651437.998 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651437.999 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651437.999 * [misc]backup-simplify: Simplify 0 into 0 1550651437.999 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.000 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.000 * [misc]backup-simplify: Simplify 0 into 0 1550651438.000 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp a) (exp (- a)))) 1550651438.000 * [misc]backup-simplify: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a)) 1550651438.000 * [misc]approximate: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0 1550651438.000 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550651438.000 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550651438.000 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550651438.000 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550651438.000 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.001 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.001 * [misc]backup-simplify: Simplify -1 into -1 1550651438.001 * [misc]taylor: Taking taylor expansion of a in a 1550651438.001 * [misc]backup-simplify: Simplify 0 into 0 1550651438.001 * [misc]backup-simplify: Simplify 1 into 1 1550651438.001 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.001 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550651438.001 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550651438.001 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550651438.001 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.001 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.001 * [misc]backup-simplify: Simplify -1 into -1 1550651438.001 * [misc]taylor: Taking taylor expansion of a in a 1550651438.001 * [misc]backup-simplify: Simplify 0 into 0 1550651438.001 * [misc]backup-simplify: Simplify 1 into 1 1550651438.001 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.001 * [misc]backup-simplify: Simplify (- -1) into 1 1550651438.002 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550651438.002 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.002 * [misc]backup-simplify: Simplify 2 into 2 1550651438.002 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550651438.002 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550651438.002 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550651438.002 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550651438.002 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550651438.002 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550651438.002 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.002 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.002 * [misc]backup-simplify: Simplify -1 into -1 1550651438.002 * [misc]taylor: Taking taylor expansion of a in a 1550651438.002 * [misc]backup-simplify: Simplify 0 into 0 1550651438.002 * [misc]backup-simplify: Simplify 1 into 1 1550651438.002 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.002 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550651438.002 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550651438.002 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550651438.003 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.003 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.003 * [misc]backup-simplify: Simplify -1 into -1 1550651438.003 * [misc]taylor: Taking taylor expansion of a in a 1550651438.003 * [misc]backup-simplify: Simplify 0 into 0 1550651438.003 * [misc]backup-simplify: Simplify 1 into 1 1550651438.003 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.003 * [misc]backup-simplify: Simplify (- -1) into 1 1550651438.003 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550651438.003 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.003 * [misc]backup-simplify: Simplify 2 into 2 1550651438.003 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550651438.003 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550651438.004 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550651438.004 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.004 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)))) into 0 1550651438.004 * [misc]backup-simplify: Simplify 0 into 0 1550651438.004 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.005 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.005 * [misc]backup-simplify: Simplify 0 into 0 1550651438.005 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.005 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.005 * [misc]backup-simplify: Simplify 0 into 0 1550651438.005 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.006 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.006 * [misc]backup-simplify: Simplify 0 into 0 1550651438.006 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.007 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.007 * [misc]backup-simplify: Simplify 0 into 0 1550651438.007 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.008 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.008 * [misc]backup-simplify: Simplify 0 into 0 1550651438.008 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550651438.008 * * * [misc]progress: simplifying candidates 1550651438.008 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))> 1550651438.008 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1550651438.008 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> 1550651438.009 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1550651438.009 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate #real (real->posit16 (cosh a))) (* a a)) (log1p a))))> 1550651438.009 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1550651438.009 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.009 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.011 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.014 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.014 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.014 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.014 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.014 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.014 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.015 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.015 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.015 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.015 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1550651438.015 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.015 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.016 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.020 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.020 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.020 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.020 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.020 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.020 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.020 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.021 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.021 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.021 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # 1550651438.021 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.021 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.022 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.025 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.026 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.026 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.026 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.026 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.026 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.026 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.026 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.026 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.026 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1550651438.026 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651438.027 * * [misc]simplify: iters left: 4 (8 enodes) 1550651438.029 * * [misc]simplify: iters left: 3 (30 enodes) 1550651438.035 * * [misc]simplify: iters left: 2 (41 enodes) 1550651438.046 * * [misc]simplify: iters left: 1 (45 enodes) 1550651438.065 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.066 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.066 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651438.066 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651438.066 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651438.066 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651438.066 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651438.067 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651438.067 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651438.068 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651438.069 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651438.069 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.069 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1550651438.069 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651438.069 * * [misc]simplify: iters left: 4 (8 enodes) 1550651438.073 * * [misc]simplify: iters left: 3 (30 enodes) 1550651438.082 * * [misc]simplify: iters left: 2 (41 enodes) 1550651438.094 * * [misc]simplify: iters left: 1 (45 enodes) 1550651438.106 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.106 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.106 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651438.106 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651438.106 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651438.106 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651438.107 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651438.107 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651438.108 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651438.108 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651438.109 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651438.109 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.109 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1550651438.110 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651438.110 * * [misc]simplify: iters left: 4 (8 enodes) 1550651438.113 * * [misc]simplify: iters left: 3 (30 enodes) 1550651438.123 * * [misc]simplify: iters left: 2 (41 enodes) 1550651438.135 * * [misc]simplify: iters left: 1 (45 enodes) 1550651438.147 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.148 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.148 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651438.148 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651438.148 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651438.148 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651438.148 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651438.149 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651438.149 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651438.150 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651438.151 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651438.151 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.151 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1550651438.152 * [enter]simplify: Simplifying (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550651438.152 * * [misc]simplify: iters left: 6 (12 enodes) 1550651438.158 * * [misc]simplify: iters left: 5 (45 enodes) 1550651438.166 * * [misc]simplify: iters left: 4 (59 enodes) 1550651438.176 * * [misc]simplify: iters left: 3 (71 enodes) 1550651438.187 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.187 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550651438.187 * * [misc]simplify: Extracting #2: cost 18 inf + 1 1550651438.187 * * [misc]simplify: Extracting #3: cost 19 inf + 45 1550651438.187 * * [misc]simplify: Extracting #4: cost 9 inf + 1054 1550651438.187 * * [misc]simplify: Extracting #5: cost 1 inf + 3263 1550651438.188 * * [misc]simplify: Extracting #6: cost 0 inf + 3678 1550651438.189 * [exit]simplify: Simplified to (+ (+ (* (* a a) 1/2) 1) (* (pow a 4) 1/24)) 1550651438.189 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (+ (+ (* (* a a) 1/2) 1) (* (pow a 4) 1/24)) (* a a)) (log1p a)))) 1550651438.189 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1550651438.189 * [enter]simplify: Simplifying (* 1/2 (+ (exp a) (exp (- a)))) 1550651438.189 * * [misc]simplify: iters left: 6 (7 enodes) 1550651438.193 * * [misc]simplify: iters left: 5 (31 enodes) 1550651438.199 * * [misc]simplify: iters left: 4 (49 enodes) 1550651438.209 * * [misc]simplify: iters left: 3 (51 enodes) 1550651438.220 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.220 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550651438.220 * * [misc]simplify: Extracting #2: cost 10 inf + 1 1550651438.220 * * [misc]simplify: Extracting #3: cost 15 inf + 1 1550651438.221 * * [misc]simplify: Extracting #4: cost 13 inf + 44 1550651438.221 * * [misc]simplify: Extracting #5: cost 4 inf + 1047 1550651438.221 * * [misc]simplify: Extracting #6: cost 0 inf + 1723 1550651438.222 * [exit]simplify: Simplified to (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) 1550651438.222 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))) 1550651438.222 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1550651438.223 * [enter]simplify: Simplifying (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550651438.223 * * [misc]simplify: iters left: 6 (8 enodes) 1550651438.228 * * [misc]simplify: iters left: 5 (36 enodes) 1550651438.240 * * [misc]simplify: iters left: 4 (51 enodes) 1550651438.254 * * [misc]simplify: iters left: 3 (59 enodes) 1550651438.268 * * [misc]simplify: iters left: 2 (61 enodes) 1550651438.282 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.283 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550651438.283 * * [misc]simplify: Extracting #2: cost 10 inf + 1 1550651438.283 * * [misc]simplify: Extracting #3: cost 17 inf + 1 1550651438.283 * * [misc]simplify: Extracting #4: cost 13 inf + 228 1550651438.283 * * [misc]simplify: Extracting #5: cost 1 inf + 1674 1550651438.284 * * [misc]simplify: Extracting #6: cost 0 inf + 1866 1550651438.285 * [exit]simplify: Simplified to (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) 1550651438.285 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))) 1550651438.285 * * * [misc]progress: adding candidates to table 1550651438.658 * * [misc]progress: iteration 2 / 4 1550651438.658 * * * [misc]progress: picking best candidate 1550651438.710 * * * * [misc]pick: Picked # 1550651438.710 * * * [misc]progress: localizing error 1550651438.729 * * * [misc]progress: generating rewritten candidates 1550651438.729 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 1) 1550651438.729 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550651438.732 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1550651438.733 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 1550651438.734 * * * [misc]progress: generating series expansions 1550651438.734 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 1) 1550651438.734 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651438.734 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651438.734 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651438.734 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.734 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651438.734 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.734 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.734 * [misc]backup-simplify: Simplify 0 into 0 1550651438.734 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.735 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651438.735 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.735 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify 0 into 0 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651438.735 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.735 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651438.736 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.736 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651438.736 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550651438.736 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1550651438.736 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651438.736 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.736 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.736 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.736 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651438.737 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.737 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651438.737 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651438.737 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.737 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651438.737 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.737 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify 0 into 0 1550651438.737 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651438.737 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.737 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651438.738 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651438.738 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.738 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651438.738 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.738 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651438.738 * [misc]backup-simplify: Simplify 0 into 0 1550651438.738 * [misc]backup-simplify: Simplify 0 into 0 1550651438.738 * [misc]backup-simplify: Simplify 0 into 0 1550651438.738 * [misc]backup-simplify: Simplify 0 into 0 1550651438.738 * [misc]backup-simplify: Simplify 0 into 0 1550651438.738 * [misc]backup-simplify: Simplify 0 into 0 1550651438.738 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651438.738 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1550651438.738 * [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))) 1550651438.738 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550651438.738 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550651438.738 * [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))) 1550651438.738 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550651438.738 * [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))) 1550651438.739 * [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))) 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [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))) 1550651438.739 * [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)))) 1550651438.739 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550651438.739 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550651438.739 * [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)))) 1550651438.739 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550651438.739 * [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)))) 1550651438.739 * [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)))) 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.739 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [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))) 1550651438.740 * [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)))) 1550651438.740 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550651438.740 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550651438.740 * [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)))) 1550651438.740 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550651438.740 * [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)))) 1550651438.740 * [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)))) 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.740 * [misc]backup-simplify: Simplify 0 into 0 1550651438.741 * [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))) 1550651438.741 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 1550651438.741 * [misc]backup-simplify: Simplify (cosh a) into (cosh a) 1550651438.741 * [misc]approximate: Taking taylor expansion of (cosh a) in (a) around 0 1550651438.741 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550651438.741 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550651438.741 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550651438.741 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550651438.741 * [misc]taylor: Taking taylor expansion of a in a 1550651438.741 * [misc]backup-simplify: Simplify 0 into 0 1550651438.741 * [misc]backup-simplify: Simplify 1 into 1 1550651438.741 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651438.741 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550651438.741 * [misc]taylor: Taking taylor expansion of (- a) in a 1550651438.741 * [misc]taylor: Taking taylor expansion of a in a 1550651438.741 * [misc]backup-simplify: Simplify 0 into 0 1550651438.741 * [misc]backup-simplify: Simplify 1 into 1 1550651438.741 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.741 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.741 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651438.741 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.741 * [misc]backup-simplify: Simplify 2 into 2 1550651438.741 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550651438.742 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550651438.742 * [misc]taylor: Taking taylor expansion of (cosh a) in a 1550651438.742 * [misc]taylor: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 1550651438.742 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 1550651438.742 * [misc]taylor: Taking taylor expansion of (exp a) in a 1550651438.742 * [misc]taylor: Taking taylor expansion of a in a 1550651438.742 * [misc]backup-simplify: Simplify 0 into 0 1550651438.742 * [misc]backup-simplify: Simplify 1 into 1 1550651438.742 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651438.742 * [misc]taylor: Taking taylor expansion of (exp (- a)) in a 1550651438.742 * [misc]taylor: Taking taylor expansion of (- a) in a 1550651438.742 * [misc]taylor: Taking taylor expansion of a in a 1550651438.742 * [misc]backup-simplify: Simplify 0 into 0 1550651438.742 * [misc]backup-simplify: Simplify 1 into 1 1550651438.742 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.742 * [misc]backup-simplify: Simplify (exp 0) into 1 1550651438.742 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.742 * [misc]backup-simplify: Simplify 2 into 2 1550651438.742 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1550651438.742 * [misc]backup-simplify: Simplify (/ 2 2) into 1 1550651438.742 * [misc]backup-simplify: Simplify 1 into 1 1550651438.743 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550651438.743 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.744 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1550651438.744 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1550651438.744 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1550651438.744 * [misc]backup-simplify: Simplify 0 into 0 1550651438.746 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550651438.746 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.746 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.747 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550651438.747 * [misc]backup-simplify: Simplify (+ 1/2 1/2) into 1 1550651438.747 * [misc]backup-simplify: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1550651438.747 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550651438.750 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1550651438.750 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.750 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.750 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.750 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.752 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1550651438.752 * [misc]backup-simplify: Simplify (+ 1/6 -1/6) into 0 1550651438.752 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1550651438.752 * [misc]backup-simplify: Simplify 0 into 0 1550651438.756 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1550651438.756 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.756 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.756 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.756 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.756 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.756 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.756 * [misc]backup-simplify: Simplify (- 0) into 0 1550651438.762 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1550651438.762 * [misc]backup-simplify: Simplify (+ 1/24 1/24) into 1/12 1550651438.763 * [misc]backup-simplify: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1550651438.763 * [misc]backup-simplify: Simplify 1/24 into 1/24 1550651438.763 * [misc]backup-simplify: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550651438.763 * [misc]backup-simplify: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a)) 1550651438.763 * [misc]approximate: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0 1550651438.763 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550651438.764 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550651438.764 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550651438.764 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550651438.764 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651438.764 * [misc]taylor: Taking taylor expansion of a in a 1550651438.764 * [misc]backup-simplify: Simplify 0 into 0 1550651438.764 * [misc]backup-simplify: Simplify 1 into 1 1550651438.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651438.764 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550651438.764 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550651438.764 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550651438.764 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651438.764 * [misc]taylor: Taking taylor expansion of a in a 1550651438.764 * [misc]backup-simplify: Simplify 0 into 0 1550651438.764 * [misc]backup-simplify: Simplify 1 into 1 1550651438.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651438.764 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.765 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550651438.765 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.765 * [misc]backup-simplify: Simplify 2 into 2 1550651438.765 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550651438.765 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550651438.765 * [misc]taylor: Taking taylor expansion of (cosh (/ 1 a)) in a 1550651438.765 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 1550651438.765 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 1550651438.765 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1550651438.765 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651438.765 * [misc]taylor: Taking taylor expansion of a in a 1550651438.765 * [misc]backup-simplify: Simplify 0 into 0 1550651438.765 * [misc]backup-simplify: Simplify 1 into 1 1550651438.765 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651438.765 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1550651438.765 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 a))) in a 1550651438.766 * [misc]taylor: Taking taylor expansion of (- (/ 1 a)) in a 1550651438.766 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1550651438.766 * [misc]taylor: Taking taylor expansion of a in a 1550651438.766 * [misc]backup-simplify: Simplify 0 into 0 1550651438.766 * [misc]backup-simplify: Simplify 1 into 1 1550651438.766 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550651438.766 * [misc]backup-simplify: Simplify (- 1) into -1 1550651438.766 * [misc]backup-simplify: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 1550651438.766 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.766 * [misc]backup-simplify: Simplify 2 into 2 1550651438.766 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 1550651438.767 * [misc]backup-simplify: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550651438.767 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 1550651438.767 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.767 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0 1550651438.767 * [misc]backup-simplify: Simplify 0 into 0 1550651438.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.768 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.768 * [misc]backup-simplify: Simplify 0 into 0 1550651438.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.769 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.769 * [misc]backup-simplify: Simplify 0 into 0 1550651438.769 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.770 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.770 * [misc]backup-simplify: Simplify 0 into 0 1550651438.771 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.772 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.772 * [misc]backup-simplify: Simplify 0 into 0 1550651438.772 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.773 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.773 * [misc]backup-simplify: Simplify 0 into 0 1550651438.773 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp a) (exp (- a)))) 1550651438.773 * [misc]backup-simplify: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a)) 1550651438.773 * [misc]approximate: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0 1550651438.773 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550651438.773 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550651438.773 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550651438.773 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550651438.773 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.773 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.773 * [misc]backup-simplify: Simplify -1 into -1 1550651438.773 * [misc]taylor: Taking taylor expansion of a in a 1550651438.773 * [misc]backup-simplify: Simplify 0 into 0 1550651438.773 * [misc]backup-simplify: Simplify 1 into 1 1550651438.773 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.773 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550651438.774 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.774 * [misc]backup-simplify: Simplify -1 into -1 1550651438.774 * [misc]taylor: Taking taylor expansion of a in a 1550651438.774 * [misc]backup-simplify: Simplify 0 into 0 1550651438.774 * [misc]backup-simplify: Simplify 1 into 1 1550651438.774 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.774 * [misc]backup-simplify: Simplify (- -1) into 1 1550651438.774 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550651438.774 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.774 * [misc]backup-simplify: Simplify 2 into 2 1550651438.774 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550651438.774 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550651438.774 * [misc]taylor: Taking taylor expansion of (cosh (/ -1 a)) in a 1550651438.774 * [misc]taylor: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 1550651438.774 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.774 * [misc]backup-simplify: Simplify -1 into -1 1550651438.774 * [misc]taylor: Taking taylor expansion of a in a 1550651438.774 * [misc]backup-simplify: Simplify 0 into 0 1550651438.774 * [misc]backup-simplify: Simplify 1 into 1 1550651438.774 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.774 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1550651438.774 * [misc]taylor: Taking taylor expansion of (exp (- (/ -1 a))) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of (- (/ -1 a)) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1550651438.774 * [misc]taylor: Taking taylor expansion of -1 in a 1550651438.775 * [misc]backup-simplify: Simplify -1 into -1 1550651438.775 * [misc]taylor: Taking taylor expansion of a in a 1550651438.775 * [misc]backup-simplify: Simplify 0 into 0 1550651438.775 * [misc]backup-simplify: Simplify 1 into 1 1550651438.775 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550651438.775 * [misc]backup-simplify: Simplify (- -1) into 1 1550651438.775 * [misc]backup-simplify: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 1550651438.775 * [misc]taylor: Taking taylor expansion of 2 in a 1550651438.775 * [misc]backup-simplify: Simplify 2 into 2 1550651438.775 * [misc]backup-simplify: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 1550651438.775 * [misc]backup-simplify: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550651438.775 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 1550651438.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.776 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)))) into 0 1550651438.776 * [misc]backup-simplify: Simplify 0 into 0 1550651438.776 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.776 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.776 * [misc]backup-simplify: Simplify 0 into 0 1550651438.776 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.777 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.777 * [misc]backup-simplify: Simplify 0 into 0 1550651438.777 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.777 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.777 * [misc]backup-simplify: Simplify 0 into 0 1550651438.777 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.778 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.778 * [misc]backup-simplify: Simplify 0 into 0 1550651438.778 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550651438.779 * [misc]backup-simplify: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1550651438.779 * [misc]backup-simplify: Simplify 0 into 0 1550651438.779 * [misc]backup-simplify: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550651438.779 * * * [misc]progress: simplifying candidates 1550651438.779 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1550651438.779 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))> 1550651438.779 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1550651438.780 * [enter]simplify: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) 1550651438.780 * * [misc]simplify: iters left: 6 (8 enodes) 1550651438.781 * * [misc]simplify: iters left: 5 (32 enodes) 1550651438.787 * * [misc]simplify: iters left: 4 (47 enodes) 1550651438.797 * * [misc]simplify: iters left: 3 (51 enodes) 1550651438.805 * * [misc]simplify: iters left: 2 (53 enodes) 1550651438.819 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.819 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.819 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550651438.819 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550651438.819 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550651438.819 * * [misc]simplify: Extracting #5: cost 14 inf + 0 1550651438.820 * * [misc]simplify: Extracting #6: cost 19 inf + 0 1550651438.820 * * [misc]simplify: Extracting #7: cost 20 inf + 2 1550651438.820 * * [misc]simplify: Extracting #8: cost 18 inf + 543 1550651438.820 * * [misc]simplify: Extracting #9: cost 12 inf + 1580 1550651438.821 * * [misc]simplify: Extracting #10: cost 1 inf + 4471 1550651438.822 * * [misc]simplify: Extracting #11: cost 0 inf + 4857 1550651438.823 * [exit]simplify: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) 1550651438.823 * [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)))) 1550651438.824 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1550651438.824 * [enter]simplify: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a))))) 1550651438.824 * * [misc]simplify: iters left: 6 (7 enodes) 1550651438.827 * * [misc]simplify: iters left: 5 (27 enodes) 1550651438.836 * * [misc]simplify: iters left: 4 (40 enodes) 1550651438.847 * * [misc]simplify: iters left: 3 (44 enodes) 1550651438.859 * * [misc]simplify: iters left: 2 (46 enodes) 1550651438.866 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.866 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.866 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550651438.866 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550651438.867 * * [misc]simplify: Extracting #4: cost 10 inf + 0 1550651438.867 * * [misc]simplify: Extracting #5: cost 15 inf + 0 1550651438.867 * * [misc]simplify: Extracting #6: cost 16 inf + 2 1550651438.867 * * [misc]simplify: Extracting #7: cost 14 inf + 433 1550651438.867 * * [misc]simplify: Extracting #8: cost 7 inf + 1446 1550651438.867 * * [misc]simplify: Extracting #9: cost 0 inf + 3133 1550651438.868 * [exit]simplify: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a))))) 1550651438.868 * [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)))) 1550651438.868 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1550651438.868 * [enter]simplify: Simplifying (log 1) 1550651438.868 * * [misc]simplify: iters left: 1 (2 enodes) 1550651438.869 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.869 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550651438.869 * [exit]simplify: Simplified to 0 1550651438.869 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) 1550651438.869 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1550651438.869 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1550651438.870 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1550651438.870 * * [misc]simplify: iters left: 4 (5 enodes) 1550651438.871 * * [misc]simplify: iters left: 3 (21 enodes) 1550651438.874 * * [misc]simplify: iters left: 2 (34 enodes) 1550651438.879 * * [misc]simplify: iters left: 1 (38 enodes) 1550651438.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.885 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.885 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651438.885 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651438.885 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651438.886 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550651438.886 * * [misc]simplify: Extracting #6: cost 5 inf + 1069 1550651438.886 * * [misc]simplify: Extracting #7: cost 0 inf + 1909 1550651438.886 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1550651438.886 * [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)))) 1550651438.886 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1550651438.886 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550651438.887 * * [misc]simplify: iters left: 4 (5 enodes) 1550651438.888 * * [misc]simplify: iters left: 3 (21 enodes) 1550651438.891 * * [misc]simplify: iters left: 2 (34 enodes) 1550651438.896 * * [misc]simplify: iters left: 1 (38 enodes) 1550651438.903 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.903 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.903 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651438.903 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651438.903 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651438.903 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550651438.904 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550651438.904 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550651438.904 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550651438.904 * [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)))) 1550651438.904 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1550651438.904 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1550651438.904 * * [misc]simplify: iters left: 3 (4 enodes) 1550651438.905 * * [misc]simplify: iters left: 2 (18 enodes) 1550651438.908 * * [misc]simplify: iters left: 1 (31 enodes) 1550651438.913 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.913 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.913 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.913 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.913 * * [misc]simplify: Extracting #4: cost 7 inf + 599 1550651438.914 * * [misc]simplify: Extracting #5: cost 5 inf + 712 1550651438.914 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.914 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.914 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))) 1550651438.914 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1550651438.914 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1550651438.914 * [enter]simplify: Simplifying (cosh a) 1550651438.914 * * [misc]simplify: iters left: 1 (2 enodes) 1550651438.915 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.915 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550651438.915 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550651438.915 * * [misc]simplify: Extracting #3: cost 3 inf + 185 1550651438.915 * * [misc]simplify: Extracting #4: cost 0 inf + 558 1550651438.915 * [exit]simplify: Simplified to (cosh a) 1550651438.915 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.915 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))> 1550651438.915 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1550651438.915 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 1550651438.916 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1550651438.916 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate #real (real->posit16 (cosh a))) (* a a)))) (log1p a))))> 1550651438.916 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1550651438.916 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.916 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.918 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.921 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.922 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.922 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.922 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.922 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.922 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.923 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.923 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.923 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550651438.923 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1550651438.924 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.924 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.925 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.929 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.929 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.929 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.929 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.929 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.929 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.929 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.930 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.930 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550651438.930 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1550651438.930 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.930 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.931 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.935 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.935 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.935 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.935 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.935 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.935 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.935 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.936 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.936 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1550651438.936 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1550651438.936 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.936 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.937 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.941 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.941 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.941 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.941 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.941 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.941 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.941 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.941 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.941 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.941 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1550651438.942 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.942 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.943 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.947 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.947 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.947 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.947 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.947 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.947 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.947 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.947 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.947 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.947 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1550651438.948 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651438.948 * * [misc]simplify: iters left: 2 (5 enodes) 1550651438.950 * * [misc]simplify: iters left: 1 (21 enodes) 1550651438.956 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.956 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651438.956 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651438.956 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651438.957 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651438.957 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651438.957 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651438.958 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651438.958 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651438.958 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1550651438.958 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651438.958 * * [misc]simplify: iters left: 4 (8 enodes) 1550651438.962 * * [misc]simplify: iters left: 3 (30 enodes) 1550651438.971 * * [misc]simplify: iters left: 2 (41 enodes) 1550651438.983 * * [misc]simplify: iters left: 1 (45 enodes) 1550651438.996 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651438.996 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651438.996 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651438.996 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651438.996 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651438.996 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651438.997 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651438.997 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651438.998 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651438.999 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651438.999 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651438.999 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651439.000 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1550651439.000 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651439.000 * * [misc]simplify: iters left: 4 (8 enodes) 1550651439.004 * * [misc]simplify: iters left: 3 (30 enodes) 1550651439.013 * * [misc]simplify: iters left: 2 (41 enodes) 1550651439.027 * * [misc]simplify: iters left: 1 (45 enodes) 1550651439.040 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651439.040 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651439.040 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651439.040 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651439.040 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651439.040 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651439.040 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651439.041 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651439.042 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651439.042 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651439.043 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651439.043 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651439.043 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1550651439.043 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651439.044 * * [misc]simplify: iters left: 4 (8 enodes) 1550651439.048 * * [misc]simplify: iters left: 3 (30 enodes) 1550651439.057 * * [misc]simplify: iters left: 2 (41 enodes) 1550651439.068 * * [misc]simplify: iters left: 1 (45 enodes) 1550651439.077 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651439.077 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651439.077 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651439.077 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651439.077 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651439.077 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651439.077 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651439.077 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651439.078 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651439.078 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651439.078 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651439.078 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651439.078 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1550651439.079 * [enter]simplify: Simplifying (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 1550651439.079 * * [misc]simplify: iters left: 6 (12 enodes) 1550651439.082 * * [misc]simplify: iters left: 5 (45 enodes) 1550651439.090 * * [misc]simplify: iters left: 4 (59 enodes) 1550651439.099 * * [misc]simplify: iters left: 3 (71 enodes) 1550651439.113 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651439.113 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550651439.113 * * [misc]simplify: Extracting #2: cost 18 inf + 1 1550651439.114 * * [misc]simplify: Extracting #3: cost 19 inf + 45 1550651439.114 * * [misc]simplify: Extracting #4: cost 9 inf + 1054 1550651439.115 * * [misc]simplify: Extracting #5: cost 1 inf + 3263 1550651439.116 * * [misc]simplify: Extracting #6: cost 0 inf + 3678 1550651439.117 * [exit]simplify: Simplified to (+ (+ (* (* a a) 1/2) 1) (* (pow a 4) 1/24)) 1550651439.117 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (+ (+ (* (* a a) 1/2) 1) (* (pow a 4) 1/24)) (* a a)))) (log1p a)))) 1550651439.117 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1550651439.117 * [enter]simplify: Simplifying (* 1/2 (+ (exp a) (exp (- a)))) 1550651439.117 * * [misc]simplify: iters left: 6 (7 enodes) 1550651439.121 * * [misc]simplify: iters left: 5 (31 enodes) 1550651439.131 * * [misc]simplify: iters left: 4 (49 enodes) 1550651439.137 * * [misc]simplify: iters left: 3 (51 enodes) 1550651439.145 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651439.145 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550651439.145 * * [misc]simplify: Extracting #2: cost 10 inf + 1 1550651439.145 * * [misc]simplify: Extracting #3: cost 15 inf + 1 1550651439.145 * * [misc]simplify: Extracting #4: cost 13 inf + 44 1550651439.145 * * [misc]simplify: Extracting #5: cost 4 inf + 1047 1550651439.146 * * [misc]simplify: Extracting #6: cost 0 inf + 1723 1550651439.146 * [exit]simplify: Simplified to (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) 1550651439.146 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) 1550651439.146 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1550651439.146 * [enter]simplify: Simplifying (* 1/2 (+ (exp (* -1 a)) (exp a))) 1550651439.146 * * [misc]simplify: iters left: 6 (8 enodes) 1550651439.149 * * [misc]simplify: iters left: 5 (36 enodes) 1550651439.155 * * [misc]simplify: iters left: 4 (51 enodes) 1550651439.162 * * [misc]simplify: iters left: 3 (59 enodes) 1550651439.175 * * [misc]simplify: iters left: 2 (61 enodes) 1550651439.189 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651439.189 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550651439.189 * * [misc]simplify: Extracting #2: cost 10 inf + 1 1550651439.189 * * [misc]simplify: Extracting #3: cost 17 inf + 1 1550651439.189 * * [misc]simplify: Extracting #4: cost 13 inf + 228 1550651439.189 * * [misc]simplify: Extracting #5: cost 1 inf + 1674 1550651439.190 * * [misc]simplify: Extracting #6: cost 0 inf + 1866 1550651439.191 * [exit]simplify: Simplified to (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) 1550651439.191 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))) (log1p a)))) 1550651439.191 * * * [misc]progress: adding candidates to table 1550651439.828 * * [misc]progress: iteration 3 / 4 1550651439.828 * * * [misc]progress: picking best candidate 1550651439.880 * * * * [misc]pick: Picked # 1550651439.880 * * * [misc]progress: localizing error 1550651439.898 * * * [misc]progress: generating rewritten candidates 1550651439.898 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 1550651439.898 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1550651439.898 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550651439.901 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1550651439.903 * * * [misc]progress: generating series expansions 1550651439.903 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 1550651439.903 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651439.903 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651439.903 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651439.903 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.903 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651439.903 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.904 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.904 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.904 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651439.904 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651439.904 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.904 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651439.904 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.904 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.904 * [misc]backup-simplify: Simplify 0 into 0 1550651439.905 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651439.905 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.905 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651439.905 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651439.905 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.905 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651439.905 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.905 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.905 * [misc]backup-simplify: Simplify 0 into 0 1550651439.905 * [misc]backup-simplify: Simplify 0 into 0 1550651439.906 * [misc]backup-simplify: Simplify 0 into 0 1550651439.906 * [misc]backup-simplify: Simplify 0 into 0 1550651439.906 * [misc]backup-simplify: Simplify 0 into 0 1550651439.906 * [misc]backup-simplify: Simplify 0 into 0 1550651439.906 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651439.906 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1550651439.906 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651439.906 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651439.906 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651439.906 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.906 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651439.906 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.906 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.906 * [misc]backup-simplify: Simplify 0 into 0 1550651439.907 * [misc]backup-simplify: Simplify 0 into 0 1550651439.907 * [misc]backup-simplify: Simplify 0 into 0 1550651439.907 * [misc]backup-simplify: Simplify 0 into 0 1550651439.907 * [misc]backup-simplify: Simplify 0 into 0 1550651439.907 * [misc]backup-simplify: Simplify 0 into 0 1550651439.907 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.907 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.907 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651439.907 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651439.907 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.907 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651439.907 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.908 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.908 * [misc]backup-simplify: Simplify 0 into 0 1550651439.908 * [misc]backup-simplify: Simplify 0 into 0 1550651439.908 * [misc]backup-simplify: Simplify 0 into 0 1550651439.908 * [misc]backup-simplify: Simplify 0 into 0 1550651439.908 * [misc]backup-simplify: Simplify 0 into 0 1550651439.908 * [misc]backup-simplify: Simplify 0 into 0 1550651439.908 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651439.908 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.908 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651439.908 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651439.908 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.909 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651439.909 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.909 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.909 * [misc]backup-simplify: Simplify 0 into 0 1550651439.909 * [misc]backup-simplify: Simplify 0 into 0 1550651439.909 * [misc]backup-simplify: Simplify 0 into 0 1550651439.909 * [misc]backup-simplify: Simplify 0 into 0 1550651439.909 * [misc]backup-simplify: Simplify 0 into 0 1550651439.909 * [misc]backup-simplify: Simplify 0 into 0 1550651439.909 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651439.909 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550651439.910 * [misc]backup-simplify: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.910 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0 1550651439.910 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550651439.910 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651439.910 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.910 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.910 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.910 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 1550651439.910 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651439.910 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651439.910 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.911 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.911 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.911 * [misc]backup-simplify: Simplify 0 into 0 1550651439.912 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.912 * [misc]backup-simplify: Simplify 0 into 0 1550651439.913 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.913 * [misc]backup-simplify: Simplify 0 into 0 1550651439.914 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.914 * [misc]backup-simplify: Simplify 0 into 0 1550651439.914 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.914 * [misc]backup-simplify: Simplify 0 into 0 1550651439.915 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 1550651439.915 * [misc]backup-simplify: Simplify 0 into 0 1550651439.915 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.915 * [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)))) 1550651439.916 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0 1550651439.916 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550651439.916 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651439.916 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.916 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550651439.916 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.916 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1550651439.916 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651439.916 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651439.917 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550651439.917 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.917 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1550651439.917 * [misc]backup-simplify: Simplify 0 into 0 1550651439.918 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.918 * [misc]backup-simplify: Simplify 0 into 0 1550651439.918 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.919 * [misc]backup-simplify: Simplify 0 into 0 1550651439.919 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.920 * [misc]backup-simplify: Simplify 0 into 0 1550651439.920 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.920 * [misc]backup-simplify: Simplify 0 into 0 1550651439.921 * [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 1550651439.921 * [misc]backup-simplify: Simplify 0 into 0 1550651439.922 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.922 * [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)))) 1550651439.922 * [misc]approximate: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0 1550651439.922 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550651439.922 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651439.922 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.922 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550651439.922 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.923 * [misc]taylor: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1550651439.923 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651439.923 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651439.923 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550651439.923 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.923 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1550651439.923 * [misc]backup-simplify: Simplify 0 into 0 1550651439.924 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.924 * [misc]backup-simplify: Simplify 0 into 0 1550651439.925 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.925 * [misc]backup-simplify: Simplify 0 into 0 1550651439.926 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.926 * [misc]backup-simplify: Simplify 0 into 0 1550651439.926 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1550651439.926 * [misc]backup-simplify: Simplify 0 into 0 1550651439.927 * [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 1550651439.927 * [misc]backup-simplify: Simplify 0 into 0 1550651439.928 * [misc]backup-simplify: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 1550651439.928 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1550651439.928 * [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))) 1550651439.928 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1550651439.928 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550651439.928 * [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))) 1550651439.928 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1550651439.928 * [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))) 1550651439.929 * [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))) 1550651439.929 * [misc]backup-simplify: Simplify 0 into 0 1550651439.929 * [misc]backup-simplify: Simplify 0 into 0 1550651439.929 * [misc]backup-simplify: Simplify 0 into 0 1550651439.929 * [misc]backup-simplify: Simplify 0 into 0 1550651439.929 * [misc]backup-simplify: Simplify 0 into 0 1550651439.929 * [misc]backup-simplify: Simplify 0 into 0 1550651439.929 * [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))) 1550651439.930 * [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)))) 1550651439.930 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1550651439.930 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550651439.930 * [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)))) 1550651439.930 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1550651439.930 * [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)))) 1550651439.931 * [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)))) 1550651439.931 * [misc]backup-simplify: Simplify 0 into 0 1550651439.931 * [misc]backup-simplify: Simplify 0 into 0 1550651439.931 * [misc]backup-simplify: Simplify 0 into 0 1550651439.931 * [misc]backup-simplify: Simplify 0 into 0 1550651439.931 * [misc]backup-simplify: Simplify 0 into 0 1550651439.931 * [misc]backup-simplify: Simplify 0 into 0 1550651439.931 * [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))) 1550651439.932 * [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)))) 1550651439.932 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1550651439.932 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550651439.932 * [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)))) 1550651439.932 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1550651439.932 * [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)))) 1550651439.932 * [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)))) 1550651439.932 * [misc]backup-simplify: Simplify 0 into 0 1550651439.932 * [misc]backup-simplify: Simplify 0 into 0 1550651439.932 * [misc]backup-simplify: Simplify 0 into 0 1550651439.932 * [misc]backup-simplify: Simplify 0 into 0 1550651439.932 * [misc]backup-simplify: Simplify 0 into 0 1550651439.933 * [misc]backup-simplify: Simplify 0 into 0 1550651439.933 * [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))) 1550651439.933 * * * [misc]progress: simplifying candidates 1550651439.933 * * * * [misc]progress: [ 1 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 2 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 3 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 4 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 5 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 6 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 7 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 8 / 56 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550651439.933 * * * * [misc]progress: [ 9 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 10 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 11 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 12 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 13 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 14 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 15 / 56 ] simplifiying candidate # 1550651439.933 * * * * [misc]progress: [ 16 / 56 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))> 1550651439.933 * * * * [misc]progress: [ 17 / 56 ] simplifiying candidate # 1550651439.934 * [enter]simplify: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550651439.934 * * [misc]simplify: iters left: 6 (9 enodes) 1550651439.935 * * [misc]simplify: iters left: 5 (35 enodes) 1550651439.941 * * [misc]simplify: iters left: 4 (50 enodes) 1550651439.948 * * [misc]simplify: iters left: 3 (54 enodes) 1550651439.956 * * [misc]simplify: iters left: 2 (56 enodes) 1550651439.966 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651439.966 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651439.967 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550651439.967 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550651439.967 * * [misc]simplify: Extracting #4: cost 11 inf + 0 1550651439.967 * * [misc]simplify: Extracting #5: cost 13 inf + 0 1550651439.967 * * [misc]simplify: Extracting #6: cost 16 inf + 0 1550651439.967 * * [misc]simplify: Extracting #7: cost 21 inf + 0 1550651439.967 * * [misc]simplify: Extracting #8: cost 22 inf + 2 1550651439.967 * * [misc]simplify: Extracting #9: cost 22 inf + 211 1550651439.967 * * [misc]simplify: Extracting #10: cost 11 inf + 1858 1550651439.968 * * [misc]simplify: Extracting #11: cost 2 inf + 4777 1550651439.968 * * [misc]simplify: Extracting #12: cost 0 inf + 5669 1550651439.969 * [exit]simplify: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 1550651439.969 * [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)))) 1550651439.969 * * * * [misc]progress: [ 18 / 56 ] simplifiying candidate # 1550651439.970 * [enter]simplify: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550651439.970 * * [misc]simplify: iters left: 6 (8 enodes) 1550651439.973 * * [misc]simplify: iters left: 5 (30 enodes) 1550651439.982 * * [misc]simplify: iters left: 4 (43 enodes) 1550651439.994 * * [misc]simplify: iters left: 3 (47 enodes) 1550651440.007 * * [misc]simplify: iters left: 2 (49 enodes) 1550651440.020 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.020 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.020 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550651440.020 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550651440.020 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550651440.020 * * [misc]simplify: Extracting #5: cost 12 inf + 0 1550651440.020 * * [misc]simplify: Extracting #6: cost 17 inf + 0 1550651440.020 * * [misc]simplify: Extracting #7: cost 18 inf + 2 1550651440.021 * * [misc]simplify: Extracting #8: cost 17 inf + 377 1550651440.021 * * [misc]simplify: Extracting #9: cost 10 inf + 1400 1550651440.022 * * [misc]simplify: Extracting #10: cost 0 inf + 3785 1550651440.023 * [exit]simplify: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1550651440.023 * [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)))) 1550651440.023 * * * * [misc]progress: [ 19 / 56 ] simplifiying candidate # 1550651440.023 * [enter]simplify: Simplifying (log 1) 1550651440.023 * * [misc]simplify: iters left: 1 (2 enodes) 1550651440.025 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.026 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550651440.026 * [exit]simplify: Simplified to 0 1550651440.026 * [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)))) 1550651440.026 * * * * [misc]progress: [ 20 / 56 ] simplifiying candidate # 1550651440.026 * * * * [misc]progress: [ 21 / 56 ] simplifiying candidate # 1550651440.026 * [enter]simplify: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a)))) 1550651440.026 * * [misc]simplify: iters left: 5 (6 enodes) 1550651440.029 * * [misc]simplify: iters left: 4 (24 enodes) 1550651440.036 * * [misc]simplify: iters left: 3 (37 enodes) 1550651440.047 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.059 * * [misc]simplify: iters left: 1 (43 enodes) 1550651440.071 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.071 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.071 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550651440.071 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550651440.071 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550651440.071 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550651440.071 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550651440.071 * * [misc]simplify: Extracting #7: cost 6 inf + 1410 1550651440.072 * * [misc]simplify: Extracting #8: cost 1 inf + 2180 1550651440.072 * * [misc]simplify: Extracting #9: cost 0 inf + 2401 1550651440.073 * [exit]simplify: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a)))) 1550651440.073 * [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)))) 1550651440.073 * * * * [misc]progress: [ 22 / 56 ] simplifiying candidate # 1550651440.074 * [enter]simplify: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a)))) 1550651440.074 * * [misc]simplify: iters left: 5 (6 enodes) 1550651440.076 * * [misc]simplify: iters left: 4 (24 enodes) 1550651440.084 * * [misc]simplify: iters left: 3 (37 enodes) 1550651440.089 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.095 * * [misc]simplify: iters left: 1 (43 enodes) 1550651440.103 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.103 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.103 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550651440.103 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550651440.103 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550651440.103 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550651440.103 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550651440.104 * * [misc]simplify: Extracting #7: cost 6 inf + 1490 1550651440.104 * * [misc]simplify: Extracting #8: cost 1 inf + 2260 1550651440.104 * * [misc]simplify: Extracting #9: cost 0 inf + 2481 1550651440.104 * [exit]simplify: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a)))) 1550651440.104 * [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)))) 1550651440.105 * * * * [misc]progress: [ 23 / 56 ] simplifiying candidate # 1550651440.105 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550651440.105 * * [misc]simplify: iters left: 5 (6 enodes) 1550651440.106 * * [misc]simplify: iters left: 4 (24 enodes) 1550651440.110 * * [misc]simplify: iters left: 3 (37 enodes) 1550651440.118 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.131 * * [misc]simplify: iters left: 1 (43 enodes) 1550651440.142 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.143 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.143 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550651440.143 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550651440.143 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550651440.143 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550651440.143 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550651440.143 * * [misc]simplify: Extracting #7: cost 6 inf + 1370 1550651440.144 * * [misc]simplify: Extracting #8: cost 1 inf + 2100 1550651440.144 * * [misc]simplify: Extracting #9: cost 0 inf + 2321 1550651440.145 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550651440.145 * [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)))) 1550651440.145 * * * * [misc]progress: [ 24 / 56 ] simplifiying candidate # 1550651440.146 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550651440.146 * * [misc]simplify: iters left: 4 (5 enodes) 1550651440.148 * * [misc]simplify: iters left: 3 (21 enodes) 1550651440.154 * * [misc]simplify: iters left: 2 (34 enodes) 1550651440.164 * * [misc]simplify: iters left: 1 (38 enodes) 1550651440.175 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.175 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.175 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.175 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.175 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651440.175 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550651440.175 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550651440.176 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550651440.176 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550651440.177 * [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)))) 1550651440.177 * * * * [misc]progress: [ 25 / 56 ] simplifiying candidate # 1550651440.177 * [enter]simplify: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550651440.177 * * [misc]simplify: iters left: 5 (6 enodes) 1550651440.180 * * [misc]simplify: iters left: 4 (24 enodes) 1550651440.187 * * [misc]simplify: iters left: 3 (37 enodes) 1550651440.198 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.209 * * [misc]simplify: iters left: 1 (43 enodes) 1550651440.220 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.220 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.220 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550651440.220 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550651440.220 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550651440.221 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550651440.221 * * [misc]simplify: Extracting #6: cost 13 inf + 377 1550651440.221 * * [misc]simplify: Extracting #7: cost 6 inf + 1370 1550651440.221 * * [misc]simplify: Extracting #8: cost 1 inf + 2100 1550651440.222 * * [misc]simplify: Extracting #9: cost 0 inf + 2321 1550651440.223 * [exit]simplify: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 1550651440.223 * [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)))) 1550651440.223 * * * * [misc]progress: [ 26 / 56 ] simplifiying candidate # 1550651440.223 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1550651440.223 * * [misc]simplify: iters left: 4 (5 enodes) 1550651440.225 * * [misc]simplify: iters left: 3 (21 enodes) 1550651440.232 * * [misc]simplify: iters left: 2 (34 enodes) 1550651440.242 * * [misc]simplify: iters left: 1 (38 enodes) 1550651440.252 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.252 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.252 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.252 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.252 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651440.252 * * [misc]simplify: Extracting #5: cost 9 inf + 599 1550651440.252 * * [misc]simplify: Extracting #6: cost 5 inf + 1029 1550651440.252 * * [misc]simplify: Extracting #7: cost 0 inf + 1829 1550651440.253 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550651440.253 * [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)))) 1550651440.253 * * * * [misc]progress: [ 27 / 56 ] simplifiying candidate # 1550651440.253 * * * * [misc]progress: [ 28 / 56 ] simplifiying candidate # 1550651440.253 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1550651440.253 * * [misc]simplify: iters left: 3 (4 enodes) 1550651440.254 * * [misc]simplify: iters left: 2 (18 enodes) 1550651440.257 * * [misc]simplify: iters left: 1 (31 enodes) 1550651440.262 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.262 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.262 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.262 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.262 * * [misc]simplify: Extracting #4: cost 7 inf + 599 1550651440.262 * * [misc]simplify: Extracting #5: cost 5 inf + 712 1550651440.262 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.262 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.262 * [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)))) 1550651440.263 * * * * [misc]progress: [ 29 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 30 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 31 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 32 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 33 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 34 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 35 / 56 ] simplifiying candidate #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550651440.263 * * * * [misc]progress: [ 36 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 37 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 38 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 39 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 40 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 41 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 42 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 43 / 56 ] simplifiying candidate # 1550651440.263 * * * * [misc]progress: [ 44 / 56 ] simplifiying candidate #real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> 1550651440.263 * * * * [misc]progress: [ 45 / 56 ] simplifiying candidate # 1550651440.263 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651440.263 * * [misc]simplify: iters left: 2 (5 enodes) 1550651440.265 * * [misc]simplify: iters left: 1 (21 enodes) 1550651440.268 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.268 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.268 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.268 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.268 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651440.269 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651440.269 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.269 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.269 * [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)))) 1550651440.269 * * * * [misc]progress: [ 46 / 56 ] simplifiying candidate # 1550651440.269 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651440.269 * * [misc]simplify: iters left: 2 (5 enodes) 1550651440.271 * * [misc]simplify: iters left: 1 (21 enodes) 1550651440.274 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.274 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.274 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.274 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.274 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651440.274 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651440.275 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.275 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.275 * [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)))) 1550651440.275 * * * * [misc]progress: [ 47 / 56 ] simplifiying candidate # 1550651440.275 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651440.275 * * [misc]simplify: iters left: 2 (5 enodes) 1550651440.277 * * [misc]simplify: iters left: 1 (21 enodes) 1550651440.280 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.280 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.280 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.281 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.281 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651440.281 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651440.281 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.281 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.281 * [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)))) 1550651440.281 * * * * [misc]progress: [ 48 / 56 ] simplifiying candidate # 1550651440.281 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651440.282 * * [misc]simplify: iters left: 2 (5 enodes) 1550651440.283 * * [misc]simplify: iters left: 1 (21 enodes) 1550651440.286 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.286 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.286 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.286 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.286 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651440.287 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651440.287 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.287 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.287 * [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)))) 1550651440.287 * * * * [misc]progress: [ 49 / 56 ] simplifiying candidate # 1550651440.287 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651440.287 * * [misc]simplify: iters left: 2 (5 enodes) 1550651440.289 * * [misc]simplify: iters left: 1 (21 enodes) 1550651440.293 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.293 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.293 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.293 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.293 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651440.293 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651440.293 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.294 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.294 * [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)))) 1550651440.294 * * * * [misc]progress: [ 50 / 56 ] simplifiying candidate # 1550651440.294 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651440.294 * * [misc]simplify: iters left: 2 (5 enodes) 1550651440.295 * * [misc]simplify: iters left: 1 (21 enodes) 1550651440.301 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.301 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651440.301 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651440.301 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651440.301 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651440.301 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651440.302 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651440.302 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651440.302 * [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)))) 1550651440.302 * * * * [misc]progress: [ 51 / 56 ] simplifiying candidate # 1550651440.303 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550651440.303 * * [misc]simplify: iters left: 3 (6 enodes) 1550651440.306 * * [misc]simplify: iters left: 2 (24 enodes) 1550651440.313 * * [misc]simplify: iters left: 1 (35 enodes) 1550651440.323 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.323 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.323 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.323 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.323 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651440.323 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550651440.324 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550651440.324 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550651440.324 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550651440.325 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550651440.325 * [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)))) 1550651440.325 * * * * [misc]progress: [ 52 / 56 ] simplifiying candidate # 1550651440.325 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550651440.325 * * [misc]simplify: iters left: 3 (6 enodes) 1550651440.327 * * [misc]simplify: iters left: 2 (24 enodes) 1550651440.330 * * [misc]simplify: iters left: 1 (35 enodes) 1550651440.336 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.336 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.336 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.336 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.336 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651440.336 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550651440.336 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550651440.336 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550651440.337 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550651440.337 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550651440.337 * [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)))) 1550651440.337 * * * * [misc]progress: [ 53 / 56 ] simplifiying candidate # 1550651440.337 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 1550651440.337 * * [misc]simplify: iters left: 3 (6 enodes) 1550651440.339 * * [misc]simplify: iters left: 2 (24 enodes) 1550651440.343 * * [misc]simplify: iters left: 1 (35 enodes) 1550651440.349 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.349 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.349 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.349 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.349 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550651440.349 * * [misc]simplify: Extracting #5: cost 13 inf + 170 1550651440.349 * * [misc]simplify: Extracting #6: cost 6 inf + 918 1550651440.350 * * [misc]simplify: Extracting #7: cost 1 inf + 1608 1550651440.350 * * [misc]simplify: Extracting #8: cost 0 inf + 1829 1550651440.350 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1550651440.350 * [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)))) 1550651440.350 * * * * [misc]progress: [ 54 / 56 ] simplifiying candidate # 1550651440.351 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651440.351 * * [misc]simplify: iters left: 4 (8 enodes) 1550651440.353 * * [misc]simplify: iters left: 3 (30 enodes) 1550651440.357 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.365 * * [misc]simplify: iters left: 1 (45 enodes) 1550651440.378 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.378 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.378 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.378 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.378 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651440.378 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651440.379 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651440.379 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651440.380 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651440.380 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651440.381 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651440.381 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651440.381 * * * * [misc]progress: [ 55 / 56 ] simplifiying candidate # 1550651440.381 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651440.381 * * [misc]simplify: iters left: 4 (8 enodes) 1550651440.383 * * [misc]simplify: iters left: 3 (30 enodes) 1550651440.388 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.394 * * [misc]simplify: iters left: 1 (45 enodes) 1550651440.401 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.401 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.401 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.401 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.401 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651440.401 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651440.401 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651440.401 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651440.402 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651440.402 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651440.402 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651440.402 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651440.403 * * * * [misc]progress: [ 56 / 56 ] simplifiying candidate # 1550651440.403 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1550651440.403 * * [misc]simplify: iters left: 4 (8 enodes) 1550651440.405 * * [misc]simplify: iters left: 3 (30 enodes) 1550651440.409 * * [misc]simplify: iters left: 2 (41 enodes) 1550651440.418 * * [misc]simplify: iters left: 1 (45 enodes) 1550651440.431 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651440.431 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550651440.431 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550651440.431 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550651440.431 * * [misc]simplify: Extracting #4: cost 14 inf + 1 1550651440.431 * * [misc]simplify: Extracting #5: cost 12 inf + 281 1550651440.432 * * [misc]simplify: Extracting #6: cost 7 inf + 2825 1550651440.432 * * [misc]simplify: Extracting #7: cost 5 inf + 2938 1550651440.433 * * [misc]simplify: Extracting #8: cost 2 inf + 3311 1550651440.433 * * [misc]simplify: Extracting #9: cost 0 inf + 3643 1550651440.434 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1550651440.434 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1550651440.434 * * * [misc]progress: adding candidates to table 1550651441.071 * * [misc]progress: iteration 4 / 4 1550651441.071 * * * [misc]progress: picking best candidate 1550651441.131 * * * * [misc]pick: Picked # 1550651441.132 * * * [misc]progress: localizing error 1550651441.163 * * * [misc]progress: generating rewritten candidates 1550651441.163 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1) 1550651441.164 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 1 1 1) 1550651441.164 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1 1) 1550651441.164 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1550651441.165 * * * [misc]progress: generating series expansions 1550651441.165 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1) 1550651441.165 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651441.165 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651441.165 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.166 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.166 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.166 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.166 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.166 * [misc]backup-simplify: Simplify 0 into 0 1550651441.166 * [misc]backup-simplify: Simplify 0 into 0 1550651441.166 * [misc]backup-simplify: Simplify 0 into 0 1550651441.166 * [misc]backup-simplify: Simplify 0 into 0 1550651441.166 * [misc]backup-simplify: Simplify 0 into 0 1550651441.166 * [misc]backup-simplify: Simplify 0 into 0 1550651441.166 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.166 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.166 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.166 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.167 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.167 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.167 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.167 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.167 * [misc]backup-simplify: Simplify 0 into 0 1550651441.167 * [misc]backup-simplify: Simplify 0 into 0 1550651441.167 * [misc]backup-simplify: Simplify 0 into 0 1550651441.167 * [misc]backup-simplify: Simplify 0 into 0 1550651441.167 * [misc]backup-simplify: Simplify 0 into 0 1550651441.167 * [misc]backup-simplify: Simplify 0 into 0 1550651441.167 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.168 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.168 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.168 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.168 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.168 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.168 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.168 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.168 * [misc]backup-simplify: Simplify 0 into 0 1550651441.168 * [misc]backup-simplify: Simplify 0 into 0 1550651441.168 * [misc]backup-simplify: Simplify 0 into 0 1550651441.168 * [misc]backup-simplify: Simplify 0 into 0 1550651441.169 * [misc]backup-simplify: Simplify 0 into 0 1550651441.169 * [misc]backup-simplify: Simplify 0 into 0 1550651441.169 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.169 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 1 1 1) 1550651441.169 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651441.169 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651441.169 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.169 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.169 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.169 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.169 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.169 * [misc]backup-simplify: Simplify 0 into 0 1550651441.169 * [misc]backup-simplify: Simplify 0 into 0 1550651441.169 * [misc]backup-simplify: Simplify 0 into 0 1550651441.170 * [misc]backup-simplify: Simplify 0 into 0 1550651441.170 * [misc]backup-simplify: Simplify 0 into 0 1550651441.170 * [misc]backup-simplify: Simplify 0 into 0 1550651441.170 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.170 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.170 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.170 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.170 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.170 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.170 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.170 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.170 * [misc]backup-simplify: Simplify 0 into 0 1550651441.170 * [misc]backup-simplify: Simplify 0 into 0 1550651441.171 * [misc]backup-simplify: Simplify 0 into 0 1550651441.171 * [misc]backup-simplify: Simplify 0 into 0 1550651441.171 * [misc]backup-simplify: Simplify 0 into 0 1550651441.171 * [misc]backup-simplify: Simplify 0 into 0 1550651441.171 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.171 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.171 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.171 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.171 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.171 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.171 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.172 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.172 * [misc]backup-simplify: Simplify 0 into 0 1550651441.172 * [misc]backup-simplify: Simplify 0 into 0 1550651441.172 * [misc]backup-simplify: Simplify 0 into 0 1550651441.172 * [misc]backup-simplify: Simplify 0 into 0 1550651441.172 * [misc]backup-simplify: Simplify 0 into 0 1550651441.172 * [misc]backup-simplify: Simplify 0 into 0 1550651441.172 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.172 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1 1 1) 1550651441.172 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651441.172 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651441.172 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.172 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.172 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.172 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.173 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.173 * [misc]backup-simplify: Simplify 0 into 0 1550651441.173 * [misc]backup-simplify: Simplify 0 into 0 1550651441.173 * [misc]backup-simplify: Simplify 0 into 0 1550651441.173 * [misc]backup-simplify: Simplify 0 into 0 1550651441.173 * [misc]backup-simplify: Simplify 0 into 0 1550651441.173 * [misc]backup-simplify: Simplify 0 into 0 1550651441.173 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.173 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.173 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.173 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.173 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.173 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.173 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.174 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.174 * [misc]backup-simplify: Simplify 0 into 0 1550651441.174 * [misc]backup-simplify: Simplify 0 into 0 1550651441.174 * [misc]backup-simplify: Simplify 0 into 0 1550651441.174 * [misc]backup-simplify: Simplify 0 into 0 1550651441.174 * [misc]backup-simplify: Simplify 0 into 0 1550651441.174 * [misc]backup-simplify: Simplify 0 into 0 1550651441.174 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.174 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.174 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.174 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.174 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.175 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.175 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.175 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.175 * [misc]backup-simplify: Simplify 0 into 0 1550651441.175 * [misc]backup-simplify: Simplify 0 into 0 1550651441.175 * [misc]backup-simplify: Simplify 0 into 0 1550651441.175 * [misc]backup-simplify: Simplify 0 into 0 1550651441.175 * [misc]backup-simplify: Simplify 0 into 0 1550651441.175 * [misc]backup-simplify: Simplify 0 into 0 1550651441.175 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.175 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1) 1550651441.176 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1550651441.176 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1550651441.176 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.176 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.176 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1550651441.176 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.176 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.176 * [misc]backup-simplify: Simplify 0 into 0 1550651441.176 * [misc]backup-simplify: Simplify 0 into 0 1550651441.176 * [misc]backup-simplify: Simplify 0 into 0 1550651441.176 * [misc]backup-simplify: Simplify 0 into 0 1550651441.176 * [misc]backup-simplify: Simplify 0 into 0 1550651441.176 * [misc]backup-simplify: Simplify 0 into 0 1550651441.177 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1550651441.177 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.177 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.177 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.177 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.177 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1550651441.177 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.177 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1550651441.177 * [misc]backup-simplify: Simplify 0 into 0 1550651441.177 * [misc]backup-simplify: Simplify 0 into 0 1550651441.177 * [misc]backup-simplify: Simplify 0 into 0 1550651441.177 * [misc]backup-simplify: Simplify 0 into 0 1550651441.178 * [misc]backup-simplify: Simplify 0 into 0 1550651441.178 * [misc]backup-simplify: Simplify 0 into 0 1550651441.178 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.178 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.178 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1550651441.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.178 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1550651441.178 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1550651441.179 * [misc]backup-simplify: Simplify 0 into 0 1550651441.179 * [misc]backup-simplify: Simplify 0 into 0 1550651441.179 * [misc]backup-simplify: Simplify 0 into 0 1550651441.179 * [misc]backup-simplify: Simplify 0 into 0 1550651441.179 * [misc]backup-simplify: Simplify 0 into 0 1550651441.179 * [misc]backup-simplify: Simplify 0 into 0 1550651441.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1550651441.179 * * * [misc]progress: simplifying candidates 1550651441.179 * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # 1550651441.179 * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # 1550651441.179 * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # 1550651441.179 * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # 1550651441.179 * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))))) (log1p a))))> 1550651441.180 * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550651441.180 * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # 1550651441.180 * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550651441.181 * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # 1550651441.181 * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> 1550651441.181 * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # 1550651441.182 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.182 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.185 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.191 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.191 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.191 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.191 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.191 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.192 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.192 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.192 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.192 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.193 * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # 1550651441.193 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.193 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.196 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.202 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.202 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.202 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.202 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.202 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.202 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.203 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.203 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.203 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.204 * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # 1550651441.204 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.204 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.206 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.213 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.213 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.213 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.213 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.213 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.213 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.214 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.214 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.214 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.215 * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # 1550651441.215 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.215 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.218 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.224 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.224 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.224 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.224 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.225 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.225 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.225 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.226 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.226 * [misc]simplify: Simplified (2 1 1 2 1 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.226 * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # 1550651441.226 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.226 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.229 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.235 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.236 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.236 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.236 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.236 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.236 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.236 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.237 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.237 * [misc]simplify: Simplified (2 1 1 2 1 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.237 * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # 1550651441.237 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.238 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.240 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.246 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.246 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.247 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.247 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.247 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.247 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.252 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.253 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.253 * [misc]simplify: Simplified (2 1 1 2 1 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.253 * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # 1550651441.253 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.253 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.256 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.263 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.263 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.263 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.263 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.263 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.263 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.264 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.264 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.264 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.265 * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # 1550651441.265 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.265 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.268 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.274 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.274 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.274 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.274 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.274 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.275 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.275 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.275 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.276 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.276 * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # 1550651441.276 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.276 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.279 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.286 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.286 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.286 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.286 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.286 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.286 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.287 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.287 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.287 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.287 * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # 1550651441.288 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.288 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.290 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.297 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.297 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.297 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.297 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.297 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.297 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.298 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.298 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.298 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.298 * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # 1550651441.299 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.299 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.301 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.308 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.308 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.308 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.308 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.309 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.309 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.309 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.310 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.310 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.310 * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # 1550651441.310 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1550651441.310 * * [misc]simplify: iters left: 2 (5 enodes) 1550651441.313 * * [misc]simplify: iters left: 1 (21 enodes) 1550651441.319 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550651441.319 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550651441.320 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550651441.320 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550651441.320 * * [misc]simplify: Extracting #4: cost 8 inf + 433 1550651441.320 * * [misc]simplify: Extracting #5: cost 4 inf + 823 1550651441.320 * * [misc]simplify: Extracting #6: cost 0 inf + 1417 1550651441.321 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1550651441.321 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1550651441.321 * * * [misc]progress: adding candidates to table 1550651442.091 * [misc]progress: [Phase 3 of 3] Extracting. 1550651442.091 * * [misc]regime: Finding splitpoints for: (# # # # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #) 1550651442.094 * * * [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)))) 1550651442.095 * * * * [misc]regimes: Trying to branch on a from (# # # # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #) 1550651442.214 * * * * [misc]regimes: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #) 1550651442.339 * * * * [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))))))> #) 1550651442.382 * * * * [misc]regimes: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> # # # # # #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #) 1550651442.521 * * * [misc]regime: Found split indices: #