0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.838 * * * [progress]: [2/2] Setting up program. 0.845 * [progress]: [Phase 2 of 3] Improving. 0.846 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.847 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 0.848 * * [simplify]: iters left: 2 (5 enodes) 0.856 * * [simplify]: iters left: 1 (21 enodes) 0.864 * * [simplify]: Extracting #0: cost 1 inf + 0 0.864 * * [simplify]: Extracting #1: cost 4 inf + 0 0.864 * * [simplify]: Extracting #2: cost 10 inf + 0 0.865 * * [simplify]: Extracting #3: cost 10 inf + 3 0.865 * * [simplify]: Extracting #4: cost 9 inf + 368 0.865 * * [simplify]: Extracting #5: cost 5 inf + 809 0.865 * * [simplify]: Extracting #6: cost 0 inf + 1620 0.866 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 0.866 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 0.872 * * [progress]: iteration 1 / 4 0.872 * * * [progress]: picking best candidate 0.875 * * * * [pick]: Picked # 0.875 * * * [progress]: localizing error 0.889 * * * [progress]: generating rewritten candidates 0.889 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.890 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.893 * * * [progress]: generating series expansions 0.894 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.896 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.896 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.896 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.898 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.898 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.898 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.898 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.898 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.898 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.898 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.898 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.899 * [taylor]: Taking taylor expansion of 0 in a 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [taylor]: Taking taylor expansion of 0 in a 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [taylor]: Taking taylor expansion of 0 in a 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.901 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.902 * [taylor]: Taking taylor expansion of 0 in a 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [taylor]: Taking taylor expansion of 0 in a 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [taylor]: Taking taylor expansion of 0 in a 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.903 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.903 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.903 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.903 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.904 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.904 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.904 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.904 * [taylor]: Taking taylor expansion of 0 in a 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [taylor]: Taking taylor expansion of 0 in a 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [taylor]: Taking taylor expansion of 0 in a 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.905 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.905 * [backup-simplify]: Simplify (cosh c) into (cosh c) 0.905 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 0.905 * [taylor]: Taking taylor expansion of (cosh c) in c 0.905 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 0.905 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 0.905 * [taylor]: Taking taylor expansion of (exp c) in c 0.905 * [taylor]: Taking taylor expansion of c in c 0.905 * [backup-simplify]: Simplify 0 into 0 0.905 * [backup-simplify]: Simplify 1 into 1 0.905 * [backup-simplify]: Simplify (exp 0) into 1 0.905 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.905 * [taylor]: Taking taylor expansion of (- c) in c 0.905 * [taylor]: Taking taylor expansion of c in c 0.905 * [backup-simplify]: Simplify 0 into 0 0.905 * [backup-simplify]: Simplify 1 into 1 0.906 * [backup-simplify]: Simplify (- 0) into 0 0.906 * [backup-simplify]: Simplify (- 1) into -1 0.906 * [backup-simplify]: Simplify (exp 0) into 1 0.907 * [taylor]: Taking taylor expansion of 2 in c 0.907 * [backup-simplify]: Simplify 2 into 2 0.908 * [backup-simplify]: Simplify (+ 1 1) into 2 0.908 * [backup-simplify]: Simplify (/ 2 2) into 1 0.908 * [taylor]: Taking taylor expansion of (cosh c) in c 0.909 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 0.909 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 0.909 * [taylor]: Taking taylor expansion of (exp c) in c 0.909 * [taylor]: Taking taylor expansion of c in c 0.909 * [backup-simplify]: Simplify 0 into 0 0.909 * [backup-simplify]: Simplify 1 into 1 0.909 * [backup-simplify]: Simplify (exp 0) into 1 0.909 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.909 * [taylor]: Taking taylor expansion of (- c) in c 0.909 * [taylor]: Taking taylor expansion of c in c 0.909 * [backup-simplify]: Simplify 0 into 0 0.909 * [backup-simplify]: Simplify 1 into 1 0.909 * [backup-simplify]: Simplify (- 0) into 0 0.910 * [backup-simplify]: Simplify (- 1) into -1 0.910 * [backup-simplify]: Simplify (exp 0) into 1 0.910 * [taylor]: Taking taylor expansion of 2 in c 0.910 * [backup-simplify]: Simplify 2 into 2 0.910 * [backup-simplify]: Simplify (+ 1 1) into 2 0.910 * [backup-simplify]: Simplify (/ 2 2) into 1 0.910 * [backup-simplify]: Simplify 1 into 1 0.912 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.913 * [backup-simplify]: Simplify (- 1) into -1 0.914 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.914 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.915 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.915 * [backup-simplify]: Simplify 0 into 0 0.917 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.917 * [backup-simplify]: Simplify (- 1) into -1 0.918 * [backup-simplify]: Simplify (- 0) into 0 0.919 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.920 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 0.941 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 0.941 * [backup-simplify]: Simplify 1/2 into 1/2 0.944 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.945 * [backup-simplify]: Simplify (- 1) into -1 0.945 * [backup-simplify]: Simplify (- 1) into -1 0.946 * [backup-simplify]: Simplify (- 0) into 0 0.946 * [backup-simplify]: Simplify (- 0) into 0 0.949 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.949 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 0.951 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 0.951 * [backup-simplify]: Simplify 0 into 0 0.956 * [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 0.956 * [backup-simplify]: Simplify (- 1) into -1 0.957 * [backup-simplify]: Simplify (- 1) into -1 0.957 * [backup-simplify]: Simplify (- 0) into 0 0.958 * [backup-simplify]: Simplify (- 1) into -1 0.958 * [backup-simplify]: Simplify (- 0) into 0 0.958 * [backup-simplify]: Simplify (- 0) into 0 0.959 * [backup-simplify]: Simplify (- 0) into 0 0.963 * [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 0.964 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 0.965 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 0.965 * [backup-simplify]: Simplify 1/24 into 1/24 0.967 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 0.967 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 0.967 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 0.967 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 0.967 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.968 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.968 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.968 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.968 * [taylor]: Taking taylor expansion of c in c 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 1 into 1 0.968 * [backup-simplify]: Simplify (/ 1 1) into 1 0.968 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.968 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.968 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.968 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.968 * [taylor]: Taking taylor expansion of c in c 0.968 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 1 into 1 0.969 * [backup-simplify]: Simplify (/ 1 1) into 1 0.969 * [backup-simplify]: Simplify (- 1) into -1 0.970 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.970 * [taylor]: Taking taylor expansion of 2 in c 0.970 * [backup-simplify]: Simplify 2 into 2 0.970 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 0.970 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 0.970 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 0.970 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.970 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.970 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.970 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.970 * [taylor]: Taking taylor expansion of c in c 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 1 into 1 0.971 * [backup-simplify]: Simplify (/ 1 1) into 1 0.971 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.971 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.971 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.971 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.971 * [taylor]: Taking taylor expansion of c in c 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 1 into 1 0.971 * [backup-simplify]: Simplify (/ 1 1) into 1 0.972 * [backup-simplify]: Simplify (- 1) into -1 0.972 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.972 * [taylor]: Taking taylor expansion of 2 in c 0.972 * [backup-simplify]: Simplify 2 into 2 0.972 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 0.972 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 0.972 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 0.973 * [backup-simplify]: Simplify (+ 0 0) into 0 0.974 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.974 * [backup-simplify]: Simplify 0 into 0 0.974 * [backup-simplify]: Simplify (+ 0 0) into 0 0.976 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.976 * [backup-simplify]: Simplify 0 into 0 0.976 * [backup-simplify]: Simplify (+ 0 0) into 0 0.979 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.979 * [backup-simplify]: Simplify 0 into 0 0.979 * [backup-simplify]: Simplify (+ 0 0) into 0 0.982 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.982 * [backup-simplify]: Simplify 0 into 0 0.982 * [backup-simplify]: Simplify (+ 0 0) into 0 0.985 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.985 * [backup-simplify]: Simplify 0 into 0 0.986 * [backup-simplify]: Simplify (+ 0 0) into 0 0.989 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.989 * [backup-simplify]: Simplify 0 into 0 0.989 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c)))) 0.990 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 0.990 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 0.990 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 0.990 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.990 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.990 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.990 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.990 * [taylor]: Taking taylor expansion of -1 in c 0.990 * [backup-simplify]: Simplify -1 into -1 0.990 * [taylor]: Taking taylor expansion of c in c 0.990 * [backup-simplify]: Simplify 0 into 0 0.990 * [backup-simplify]: Simplify 1 into 1 0.990 * [backup-simplify]: Simplify (/ -1 1) into -1 0.990 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.991 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.991 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.991 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.991 * [taylor]: Taking taylor expansion of -1 in c 0.991 * [backup-simplify]: Simplify -1 into -1 0.991 * [taylor]: Taking taylor expansion of c in c 0.991 * [backup-simplify]: Simplify 0 into 0 0.991 * [backup-simplify]: Simplify 1 into 1 0.991 * [backup-simplify]: Simplify (/ -1 1) into -1 0.992 * [backup-simplify]: Simplify (- -1) into 1 0.992 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.992 * [taylor]: Taking taylor expansion of 2 in c 0.992 * [backup-simplify]: Simplify 2 into 2 0.992 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 0.992 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 0.992 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 0.992 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.992 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.992 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.992 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.992 * [taylor]: Taking taylor expansion of -1 in c 0.993 * [backup-simplify]: Simplify -1 into -1 0.993 * [taylor]: Taking taylor expansion of c in c 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 1 into 1 0.993 * [backup-simplify]: Simplify (/ -1 1) into -1 0.993 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.993 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.993 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.993 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.993 * [taylor]: Taking taylor expansion of -1 in c 0.993 * [backup-simplify]: Simplify -1 into -1 0.993 * [taylor]: Taking taylor expansion of c in c 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 1 into 1 0.994 * [backup-simplify]: Simplify (/ -1 1) into -1 0.994 * [backup-simplify]: Simplify (- -1) into 1 0.994 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.994 * [taylor]: Taking taylor expansion of 2 in c 0.994 * [backup-simplify]: Simplify 2 into 2 0.994 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 0.994 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 0.995 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 0.995 * [backup-simplify]: Simplify (+ 0 0) into 0 0.996 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.996 * [backup-simplify]: Simplify 0 into 0 0.997 * [backup-simplify]: Simplify (+ 0 0) into 0 0.998 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.998 * [backup-simplify]: Simplify 0 into 0 0.998 * [backup-simplify]: Simplify (+ 0 0) into 0 1.000 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.000 * [backup-simplify]: Simplify 0 into 0 1.001 * [backup-simplify]: Simplify (+ 0 0) into 0 1.003 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.003 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify (+ 0 0) into 0 1.005 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.006 * [backup-simplify]: Simplify 0 into 0 1.006 * [backup-simplify]: Simplify (+ 0 0) into 0 1.008 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.008 * [backup-simplify]: Simplify 0 into 0 1.008 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 1.009 * * * [progress]: simplifying candidates 1.009 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))> 1.009 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 1.009 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 1.010 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 1.010 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #real (real->posit16 (cosh c))) (log1p a)))> 1.010 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 1.010 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.010 * * [simplify]: iters left: 2 (5 enodes) 1.011 * * [simplify]: iters left: 1 (21 enodes) 1.015 * * [simplify]: Extracting #0: cost 1 inf + 0 1.015 * * [simplify]: Extracting #1: cost 4 inf + 0 1.015 * * [simplify]: Extracting #2: cost 10 inf + 0 1.016 * * [simplify]: Extracting #3: cost 10 inf + 3 1.016 * * [simplify]: Extracting #4: cost 9 inf + 368 1.016 * * [simplify]: Extracting #5: cost 5 inf + 809 1.016 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.016 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.016 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.016 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 1.016 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.016 * * [simplify]: iters left: 2 (5 enodes) 1.017 * * [simplify]: iters left: 1 (21 enodes) 1.021 * * [simplify]: Extracting #0: cost 1 inf + 0 1.021 * * [simplify]: Extracting #1: cost 4 inf + 0 1.021 * * [simplify]: Extracting #2: cost 10 inf + 0 1.021 * * [simplify]: Extracting #3: cost 10 inf + 3 1.021 * * [simplify]: Extracting #4: cost 9 inf + 368 1.021 * * [simplify]: Extracting #5: cost 5 inf + 809 1.021 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.022 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.022 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.022 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 1.022 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.022 * * [simplify]: iters left: 2 (5 enodes) 1.023 * * [simplify]: iters left: 1 (21 enodes) 1.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1.026 * * [simplify]: Extracting #1: cost 4 inf + 0 1.026 * * [simplify]: Extracting #2: cost 10 inf + 0 1.027 * * [simplify]: Extracting #3: cost 10 inf + 3 1.027 * * [simplify]: Extracting #4: cost 9 inf + 368 1.027 * * [simplify]: Extracting #5: cost 5 inf + 809 1.027 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.027 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.027 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 1.027 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 1.027 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 1.027 * * [simplify]: iters left: 6 (12 enodes) 1.033 * * [simplify]: iters left: 5 (53 enodes) 1.042 * * [simplify]: iters left: 4 (73 enodes) 1.066 * * [simplify]: iters left: 3 (97 enodes) 1.077 * * [simplify]: Extracting #0: cost 1 inf + 0 1.077 * * [simplify]: Extracting #1: cost 14 inf + 0 1.077 * * [simplify]: Extracting #2: cost 18 inf + 126 1.078 * * [simplify]: Extracting #3: cost 4 inf + 1478 1.078 * * [simplify]: Extracting #4: cost 0 inf + 1958 1.079 * [simplify]: Simplified to (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) 1.079 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) (log1p a))) 1.079 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 1.079 * [simplify]: Simplifying (* 1/2 (+ (exp c) (exp (- c)))) 1.079 * * [simplify]: iters left: 6 (7 enodes) 1.081 * * [simplify]: iters left: 5 (31 enodes) 1.088 * * [simplify]: iters left: 4 (51 enodes) 1.094 * * [simplify]: iters left: 3 (55 enodes) 1.101 * * [simplify]: Extracting #0: cost 1 inf + 0 1.101 * * [simplify]: Extracting #1: cost 8 inf + 0 1.101 * * [simplify]: Extracting #2: cost 15 inf + 1 1.101 * * [simplify]: Extracting #3: cost 13 inf + 44 1.101 * * [simplify]: Extracting #4: cost 4 inf + 1047 1.102 * * [simplify]: Extracting #5: cost 0 inf + 1673 1.102 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 1.102 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))) 1.102 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 1.102 * [simplify]: Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c))) 1.102 * * [simplify]: iters left: 6 (8 enodes) 1.105 * * [simplify]: iters left: 5 (36 enodes) 1.112 * * [simplify]: iters left: 4 (57 enodes) 1.125 * * [simplify]: iters left: 3 (83 enodes) 1.138 * * [simplify]: iters left: 2 (127 enodes) 1.173 * * [simplify]: iters left: 1 (241 enodes) 1.246 * * [simplify]: Extracting #0: cost 1 inf + 0 1.247 * * [simplify]: Extracting #1: cost 8 inf + 0 1.247 * * [simplify]: Extracting #2: cost 55 inf + 1 1.248 * * [simplify]: Extracting #3: cost 128 inf + 1134 1.250 * * [simplify]: Extracting #4: cost 124 inf + 3616 1.253 * * [simplify]: Extracting #5: cost 92 inf + 9710 1.263 * * [simplify]: Extracting #6: cost 16 inf + 55085 1.277 * * [simplify]: Extracting #7: cost 0 inf + 63912 1.290 * * [simplify]: Extracting #8: cost 0 inf + 63709 1.298 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 1.298 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))) 1.298 * * * [progress]: adding candidates to table 1.561 * * [progress]: iteration 2 / 4 1.561 * * * [progress]: picking best candidate 1.602 * * * * [pick]: Picked # 1.602 * * * [progress]: localizing error 1.618 * * * [progress]: generating rewritten candidates 1.618 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.618 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.619 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.622 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.627 * * * [progress]: generating series expansions 1.627 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.627 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.627 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.627 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.628 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.628 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.628 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.628 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.628 * [taylor]: Taking taylor expansion of 0 in a 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [taylor]: Taking taylor expansion of 0 in a 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [taylor]: Taking taylor expansion of 0 in a 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 0 into 0 1.629 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.629 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.629 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.629 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.630 * [taylor]: Taking taylor expansion of 0 in a 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [taylor]: Taking taylor expansion of 0 in a 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [taylor]: Taking taylor expansion of 0 in a 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.630 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.630 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.630 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.630 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.631 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.631 * [taylor]: Taking taylor expansion of 0 in a 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [taylor]: Taking taylor expansion of 0 in a 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify 0 into 0 1.631 * [taylor]: Taking taylor expansion of 0 in a 1.632 * [backup-simplify]: Simplify 0 into 0 1.632 * [backup-simplify]: Simplify 0 into 0 1.632 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.632 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.632 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.632 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.632 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.632 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.632 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.632 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.632 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.632 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.632 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.632 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.632 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.633 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.633 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.633 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.633 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.633 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.633 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.633 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.635 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.635 * [taylor]: Taking taylor expansion of 0 in a 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.636 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.639 * [taylor]: Taking taylor expansion of 0 in a 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.641 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.641 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 1.644 * [taylor]: Taking taylor expansion of 0 in a 1.644 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.644 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.644 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.644 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.644 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.644 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.644 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.644 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.645 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.645 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.645 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.645 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.645 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.645 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.646 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.646 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.646 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.647 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.647 * [taylor]: Taking taylor expansion of 0 in a 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 0 into 0 1.648 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.648 * [backup-simplify]: Simplify 0 into 0 1.650 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.650 * [taylor]: Taking taylor expansion of 0 in a 1.650 * [backup-simplify]: Simplify 0 into 0 1.650 * [backup-simplify]: Simplify 0 into 0 1.650 * [backup-simplify]: Simplify 0 into 0 1.652 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.652 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 1.655 * [taylor]: Taking taylor expansion of 0 in a 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.655 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.655 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.655 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.655 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.655 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.655 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.656 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.656 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.656 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.656 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.656 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.656 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.656 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.657 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.658 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.658 * [taylor]: Taking taylor expansion of 0 in a 1.658 * [backup-simplify]: Simplify 0 into 0 1.658 * [backup-simplify]: Simplify 0 into 0 1.659 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.659 * [backup-simplify]: Simplify 0 into 0 1.660 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.660 * [taylor]: Taking taylor expansion of 0 in a 1.660 * [backup-simplify]: Simplify 0 into 0 1.660 * [backup-simplify]: Simplify 0 into 0 1.660 * [backup-simplify]: Simplify 0 into 0 1.662 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.662 * [backup-simplify]: Simplify 0 into 0 1.665 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 1.665 * [taylor]: Taking taylor expansion of 0 in a 1.665 * [backup-simplify]: Simplify 0 into 0 1.665 * [backup-simplify]: Simplify 0 into 0 1.666 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.666 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.666 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.666 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.666 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.666 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.666 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.666 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.666 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.666 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.666 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.666 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.666 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.667 * [taylor]: Taking taylor expansion of 0 in a 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [taylor]: Taking taylor expansion of 0 in a 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [taylor]: Taking taylor expansion of 0 in a 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.667 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.667 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.667 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.667 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.668 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.668 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.668 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.668 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.668 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.668 * [taylor]: Taking taylor expansion of 0 in a 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [taylor]: Taking taylor expansion of 0 in a 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 0 into 0 1.669 * [taylor]: Taking taylor expansion of 0 in a 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.669 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.669 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.669 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.669 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.669 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.670 * [taylor]: Taking taylor expansion of 0 in a 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [taylor]: Taking taylor expansion of 0 in a 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [taylor]: Taking taylor expansion of 0 in a 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.670 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.670 * [backup-simplify]: Simplify (cosh c) into (cosh c) 1.670 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 1.671 * [taylor]: Taking taylor expansion of (cosh c) in c 1.671 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 1.671 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 1.671 * [taylor]: Taking taylor expansion of (exp c) in c 1.671 * [taylor]: Taking taylor expansion of c in c 1.671 * [backup-simplify]: Simplify 0 into 0 1.671 * [backup-simplify]: Simplify 1 into 1 1.671 * [backup-simplify]: Simplify (exp 0) into 1 1.671 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.671 * [taylor]: Taking taylor expansion of (- c) in c 1.671 * [taylor]: Taking taylor expansion of c in c 1.671 * [backup-simplify]: Simplify 0 into 0 1.671 * [backup-simplify]: Simplify 1 into 1 1.671 * [backup-simplify]: Simplify (- 0) into 0 1.672 * [backup-simplify]: Simplify (- 1) into -1 1.672 * [backup-simplify]: Simplify (exp 0) into 1 1.672 * [taylor]: Taking taylor expansion of 2 in c 1.672 * [backup-simplify]: Simplify 2 into 2 1.672 * [backup-simplify]: Simplify (+ 1 1) into 2 1.673 * [backup-simplify]: Simplify (/ 2 2) into 1 1.673 * [taylor]: Taking taylor expansion of (cosh c) in c 1.673 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 1.673 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 1.673 * [taylor]: Taking taylor expansion of (exp c) in c 1.673 * [taylor]: Taking taylor expansion of c in c 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 1 into 1 1.673 * [backup-simplify]: Simplify (exp 0) into 1 1.673 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.673 * [taylor]: Taking taylor expansion of (- c) in c 1.673 * [taylor]: Taking taylor expansion of c in c 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 1 into 1 1.673 * [backup-simplify]: Simplify (- 0) into 0 1.674 * [backup-simplify]: Simplify (- 1) into -1 1.674 * [backup-simplify]: Simplify (exp 0) into 1 1.674 * [taylor]: Taking taylor expansion of 2 in c 1.674 * [backup-simplify]: Simplify 2 into 2 1.674 * [backup-simplify]: Simplify (+ 1 1) into 2 1.675 * [backup-simplify]: Simplify (/ 2 2) into 1 1.675 * [backup-simplify]: Simplify 1 into 1 1.676 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.676 * [backup-simplify]: Simplify (- 1) into -1 1.677 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.678 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.678 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.680 * [backup-simplify]: Simplify (- 1) into -1 1.681 * [backup-simplify]: Simplify (- 0) into 0 1.682 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.683 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 1.684 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 1.684 * [backup-simplify]: Simplify 1/2 into 1/2 1.686 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.687 * [backup-simplify]: Simplify (- 1) into -1 1.687 * [backup-simplify]: Simplify (- 1) into -1 1.687 * [backup-simplify]: Simplify (- 0) into 0 1.688 * [backup-simplify]: Simplify (- 0) into 0 1.690 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.691 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 1.692 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 1.692 * [backup-simplify]: Simplify 0 into 0 1.696 * [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 1.697 * [backup-simplify]: Simplify (- 1) into -1 1.697 * [backup-simplify]: Simplify (- 1) into -1 1.697 * [backup-simplify]: Simplify (- 0) into 0 1.698 * [backup-simplify]: Simplify (- 1) into -1 1.698 * [backup-simplify]: Simplify (- 0) into 0 1.698 * [backup-simplify]: Simplify (- 0) into 0 1.699 * [backup-simplify]: Simplify (- 0) into 0 1.703 * [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 1.703 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 1.705 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 1.705 * [backup-simplify]: Simplify 1/24 into 1/24 1.705 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 1.706 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 1.706 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 1.706 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 1.706 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.706 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.706 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.706 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.706 * [taylor]: Taking taylor expansion of c in c 1.706 * [backup-simplify]: Simplify 0 into 0 1.706 * [backup-simplify]: Simplify 1 into 1 1.707 * [backup-simplify]: Simplify (/ 1 1) into 1 1.707 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.707 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.707 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.707 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.707 * [taylor]: Taking taylor expansion of c in c 1.707 * [backup-simplify]: Simplify 0 into 0 1.707 * [backup-simplify]: Simplify 1 into 1 1.707 * [backup-simplify]: Simplify (/ 1 1) into 1 1.708 * [backup-simplify]: Simplify (- 1) into -1 1.708 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.708 * [taylor]: Taking taylor expansion of 2 in c 1.708 * [backup-simplify]: Simplify 2 into 2 1.708 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 1.708 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.708 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 1.708 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.708 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.708 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.708 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.708 * [taylor]: Taking taylor expansion of c in c 1.708 * [backup-simplify]: Simplify 0 into 0 1.708 * [backup-simplify]: Simplify 1 into 1 1.709 * [backup-simplify]: Simplify (/ 1 1) into 1 1.709 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.709 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.709 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.709 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.709 * [taylor]: Taking taylor expansion of c in c 1.709 * [backup-simplify]: Simplify 0 into 0 1.709 * [backup-simplify]: Simplify 1 into 1 1.709 * [backup-simplify]: Simplify (/ 1 1) into 1 1.710 * [backup-simplify]: Simplify (- 1) into -1 1.710 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.710 * [taylor]: Taking taylor expansion of 2 in c 1.710 * [backup-simplify]: Simplify 2 into 2 1.710 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 1.710 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.711 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) 1.711 * [backup-simplify]: Simplify (+ 0 0) into 0 1.712 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.712 * [backup-simplify]: Simplify 0 into 0 1.713 * [backup-simplify]: Simplify (+ 0 0) into 0 1.714 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.714 * [backup-simplify]: Simplify 0 into 0 1.714 * [backup-simplify]: Simplify (+ 0 0) into 0 1.716 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.717 * [backup-simplify]: Simplify 0 into 0 1.717 * [backup-simplify]: Simplify (+ 0 0) into 0 1.719 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.720 * [backup-simplify]: Simplify 0 into 0 1.720 * [backup-simplify]: Simplify (+ 0 0) into 0 1.723 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.723 * [backup-simplify]: Simplify 0 into 0 1.723 * [backup-simplify]: Simplify (+ 0 0) into 0 1.727 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.727 * [backup-simplify]: Simplify 0 into 0 1.727 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c)))) 1.728 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 1.728 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 1.728 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 1.728 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.728 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.728 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.728 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.728 * [taylor]: Taking taylor expansion of -1 in c 1.728 * [backup-simplify]: Simplify -1 into -1 1.728 * [taylor]: Taking taylor expansion of c in c 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify 1 into 1 1.728 * [backup-simplify]: Simplify (/ -1 1) into -1 1.729 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.729 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.729 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.729 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.729 * [taylor]: Taking taylor expansion of -1 in c 1.729 * [backup-simplify]: Simplify -1 into -1 1.729 * [taylor]: Taking taylor expansion of c in c 1.729 * [backup-simplify]: Simplify 0 into 0 1.729 * [backup-simplify]: Simplify 1 into 1 1.729 * [backup-simplify]: Simplify (/ -1 1) into -1 1.730 * [backup-simplify]: Simplify (- -1) into 1 1.730 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.730 * [taylor]: Taking taylor expansion of 2 in c 1.730 * [backup-simplify]: Simplify 2 into 2 1.730 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 1.730 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.730 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 1.730 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.730 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.730 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.730 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.730 * [taylor]: Taking taylor expansion of -1 in c 1.730 * [backup-simplify]: Simplify -1 into -1 1.730 * [taylor]: Taking taylor expansion of c in c 1.730 * [backup-simplify]: Simplify 0 into 0 1.730 * [backup-simplify]: Simplify 1 into 1 1.731 * [backup-simplify]: Simplify (/ -1 1) into -1 1.731 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.731 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.731 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.731 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.731 * [taylor]: Taking taylor expansion of -1 in c 1.731 * [backup-simplify]: Simplify -1 into -1 1.731 * [taylor]: Taking taylor expansion of c in c 1.731 * [backup-simplify]: Simplify 0 into 0 1.731 * [backup-simplify]: Simplify 1 into 1 1.732 * [backup-simplify]: Simplify (/ -1 1) into -1 1.732 * [backup-simplify]: Simplify (- -1) into 1 1.732 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.732 * [taylor]: Taking taylor expansion of 2 in c 1.732 * [backup-simplify]: Simplify 2 into 2 1.732 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c))) 1.732 * [backup-simplify]: Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.733 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) 1.733 * [backup-simplify]: Simplify (+ 0 0) into 0 1.734 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.734 * [backup-simplify]: Simplify 0 into 0 1.734 * [backup-simplify]: Simplify (+ 0 0) into 0 1.736 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.736 * [backup-simplify]: Simplify 0 into 0 1.736 * [backup-simplify]: Simplify (+ 0 0) into 0 1.738 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.738 * [backup-simplify]: Simplify 0 into 0 1.739 * [backup-simplify]: Simplify (+ 0 0) into 0 1.741 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.741 * [backup-simplify]: Simplify 0 into 0 1.742 * [backup-simplify]: Simplify (+ 0 0) into 0 1.745 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.745 * [backup-simplify]: Simplify 0 into 0 1.745 * [backup-simplify]: Simplify (+ 0 0) into 0 1.749 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.749 * [backup-simplify]: Simplify 0 into 0 1.749 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 1.749 * * * [progress]: simplifying candidates 1.749 * * * * [progress]: [ 1 / 66 ] simplifiying candidate # 1.749 * * * * [progress]: [ 2 / 66 ] simplifiying candidate # 1.749 * * * * [progress]: [ 3 / 66 ] simplifiying candidate # 1.749 * * * * [progress]: [ 4 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 5 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 6 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 7 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 8 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 9 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 10 / 66 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))> 1.750 * * * * [progress]: [ 11 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 12 / 66 ] simplifiying candidate # 1.750 * * * * [progress]: [ 13 / 66 ] simplifiying candidate # 1.750 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 1.750 * * [simplify]: iters left: 6 (8 enodes) 1.754 * * [simplify]: iters left: 5 (32 enodes) 1.760 * * [simplify]: iters left: 4 (47 enodes) 1.766 * * [simplify]: iters left: 3 (51 enodes) 1.777 * * [simplify]: iters left: 2 (53 enodes) 1.784 * * [simplify]: Extracting #0: cost 1 inf + 0 1.784 * * [simplify]: Extracting #1: cost 4 inf + 0 1.784 * * [simplify]: Extracting #2: cost 7 inf + 0 1.784 * * [simplify]: Extracting #3: cost 9 inf + 0 1.784 * * [simplify]: Extracting #4: cost 12 inf + 0 1.784 * * [simplify]: Extracting #5: cost 18 inf + 0 1.784 * * [simplify]: Extracting #6: cost 16 inf + 185 1.784 * * [simplify]: Extracting #7: cost 18 inf + 312 1.785 * * [simplify]: Extracting #8: cost 12 inf + 1292 1.785 * * [simplify]: Extracting #9: cost 1 inf + 4069 1.785 * * [simplify]: Extracting #10: cost 0 inf + 4436 1.786 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 1.786 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))) 1.786 * * * * [progress]: [ 14 / 66 ] simplifiying candidate # 1.786 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 1.786 * * [simplify]: iters left: 4 (7 enodes) 1.787 * * [simplify]: iters left: 3 (27 enodes) 1.791 * * [simplify]: iters left: 2 (40 enodes) 1.797 * * [simplify]: iters left: 1 (44 enodes) 1.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1.803 * * [simplify]: Extracting #1: cost 3 inf + 0 1.803 * * [simplify]: Extracting #2: cost 5 inf + 0 1.803 * * [simplify]: Extracting #3: cost 8 inf + 0 1.803 * * [simplify]: Extracting #4: cost 14 inf + 0 1.804 * * [simplify]: Extracting #5: cost 13 inf + 94 1.804 * * [simplify]: Extracting #6: cost 13 inf + 368 1.804 * * [simplify]: Extracting #7: cost 7 inf + 1177 1.804 * * [simplify]: Extracting #8: cost 0 inf + 2788 1.804 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 1.804 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))) 1.804 * * * * [progress]: [ 15 / 66 ] simplifiying candidate # 1.805 * [simplify]: Simplifying (log 1) 1.805 * * [simplify]: iters left: 1 (2 enodes) 1.806 * * [simplify]: Extracting #0: cost 1 inf + 0 1.806 * * [simplify]: Extracting #1: cost 0 inf + 1 1.806 * [simplify]: Simplified to 0 1.806 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a)))))) 1.806 * * * * [progress]: [ 16 / 66 ] simplifiying candidate # 1.806 * * * * [progress]: [ 17 / 66 ] simplifiying candidate # 1.806 * * * * [progress]: [ 18 / 66 ] simplifiying candidate # 1.806 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 1.807 * * [simplify]: iters left: 2 (5 enodes) 1.808 * * [simplify]: iters left: 1 (21 enodes) 1.811 * * [simplify]: Extracting #0: cost 1 inf + 0 1.811 * * [simplify]: Extracting #1: cost 4 inf + 0 1.811 * * [simplify]: Extracting #2: cost 10 inf + 0 1.811 * * [simplify]: Extracting #3: cost 10 inf + 3 1.811 * * [simplify]: Extracting #4: cost 9 inf + 368 1.811 * * [simplify]: Extracting #5: cost 5 inf + 809 1.811 * * [simplify]: Extracting #6: cost 0 inf + 1620 1.812 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 1.812 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 1.812 * * * * [progress]: [ 19 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 20 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 21 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 22 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 23 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 24 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 25 / 66 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> 1.812 * * * * [progress]: [ 26 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 27 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 28 / 66 ] simplifiying candidate # 1.812 * * * * [progress]: [ 29 / 66 ] simplifiying candidate # 1.812 * [simplify]: Simplifying (exp 1) 1.812 * * [simplify]: iters left: 1 (2 enodes) 1.813 * * [simplify]: Extracting #0: cost 1 inf + 0 1.813 * * [simplify]: Extracting #1: cost 0 inf + 1 1.813 * [simplify]: Simplified to E 1.813 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 1.813 * * * * [progress]: [ 30 / 66 ] simplifiying candidate # 1.814 * [simplify]: Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.814 * * [simplify]: iters left: 6 (9 enodes) 1.815 * * [simplify]: iters left: 5 (35 enodes) 1.821 * * [simplify]: iters left: 4 (53 enodes) 1.837 * * [simplify]: iters left: 3 (66 enodes) 1.857 * * [simplify]: iters left: 2 (92 enodes) 1.889 * * [simplify]: iters left: 1 (144 enodes) 1.935 * * [simplify]: Extracting #0: cost 1 inf + 0 1.935 * * [simplify]: Extracting #1: cost 15 inf + 0 1.935 * * [simplify]: Extracting #2: cost 53 inf + 1 1.935 * * [simplify]: Extracting #3: cost 71 inf + 4 1.935 * * [simplify]: Extracting #4: cost 75 inf + 5 1.936 * * [simplify]: Extracting #5: cost 80 inf + 5 1.936 * * [simplify]: Extracting #6: cost 78 inf + 245 1.936 * * [simplify]: Extracting #7: cost 69 inf + 4045 1.938 * * [simplify]: Extracting #8: cost 35 inf + 19243 1.942 * * [simplify]: Extracting #9: cost 4 inf + 43907 1.947 * * [simplify]: Extracting #10: cost 0 inf + 46719 1.952 * [simplify]: Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.952 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))) 1.953 * * * * [progress]: [ 31 / 66 ] simplifiying candidate # 1.953 * [simplify]: Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a))))) 1.953 * * [simplify]: iters left: 5 (8 enodes) 1.954 * * [simplify]: iters left: 4 (30 enodes) 1.962 * * [simplify]: iters left: 3 (43 enodes) 1.975 * * [simplify]: iters left: 2 (47 enodes) 1.988 * * [simplify]: iters left: 1 (49 enodes) 2.002 * * [simplify]: Extracting #0: cost 1 inf + 0 2.002 * * [simplify]: Extracting #1: cost 3 inf + 0 2.002 * * [simplify]: Extracting #2: cost 5 inf + 0 2.002 * * [simplify]: Extracting #3: cost 7 inf + 0 2.002 * * [simplify]: Extracting #4: cost 10 inf + 0 2.002 * * [simplify]: Extracting #5: cost 16 inf + 0 2.002 * * [simplify]: Extracting #6: cost 15 inf + 94 2.002 * * [simplify]: Extracting #7: cost 16 inf + 312 2.003 * * [simplify]: Extracting #8: cost 9 inf + 1489 2.003 * * [simplify]: Extracting #9: cost 0 inf + 3642 2.004 * [simplify]: Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a))))) 2.004 * [simplify]: Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a)))))) 2.004 * * * * [progress]: [ 32 / 66 ] simplifiying candidate # 2.004 * [simplify]: Simplifying (exp 1) 2.004 * * [simplify]: iters left: 1 (2 enodes) 2.005 * * [simplify]: Extracting #0: cost 1 inf + 0 2.005 * * [simplify]: Extracting #1: cost 0 inf + 1 2.005 * [simplify]: Simplified to E 2.005 * [simplify]: Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a))))) 2.005 * * * * [progress]: [ 33 / 66 ] simplifiying candidate # 2.006 * [simplify]: Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) 2.006 * * [simplify]: iters left: 6 (9 enodes) 2.009 * * [simplify]: iters left: 5 (33 enodes) 2.014 * * [simplify]: iters left: 4 (50 enodes) 2.021 * * [simplify]: iters left: 3 (54 enodes) 2.028 * * [simplify]: iters left: 2 (56 enodes) 2.036 * * [simplify]: Extracting #0: cost 1 inf + 0 2.036 * * [simplify]: Extracting #1: cost 4 inf + 0 2.036 * * [simplify]: Extracting #2: cost 8 inf + 0 2.036 * * [simplify]: Extracting #3: cost 12 inf + 0 2.036 * * [simplify]: Extracting #4: cost 18 inf + 0 2.036 * * [simplify]: Extracting #5: cost 17 inf + 94 2.036 * * [simplify]: Extracting #6: cost 18 inf + 312 2.036 * * [simplify]: Extracting #7: cost 9 inf + 1659 2.036 * * [simplify]: Extracting #8: cost 3 inf + 3255 2.037 * * [simplify]: Extracting #9: cost 1 inf + 4029 2.037 * * [simplify]: Extracting #10: cost 0 inf + 4436 2.038 * [simplify]: Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) 2.038 * [simplify]: Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a))))))) 2.038 * * * * [progress]: [ 34 / 66 ] simplifiying candidate # 2.038 * [simplify]: Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a))))) 2.038 * * [simplify]: iters left: 5 (8 enodes) 2.040 * * [simplify]: iters left: 4 (28 enodes) 2.046 * * [simplify]: iters left: 3 (41 enodes) 2.052 * * [simplify]: iters left: 2 (45 enodes) 2.058 * * [simplify]: iters left: 1 (47 enodes) 2.064 * * [simplify]: Extracting #0: cost 1 inf + 0 2.065 * * [simplify]: Extracting #1: cost 4 inf + 0 2.065 * * [simplify]: Extracting #2: cost 8 inf + 0 2.065 * * [simplify]: Extracting #3: cost 14 inf + 0 2.065 * * [simplify]: Extracting #4: cost 13 inf + 94 2.065 * * [simplify]: Extracting #5: cost 14 inf + 312 2.065 * * [simplify]: Extracting #6: cost 7 inf + 1429 2.065 * * [simplify]: Extracting #7: cost 1 inf + 2567 2.065 * * [simplify]: Extracting #8: cost 0 inf + 2788 2.066 * [simplify]: Simplified to (sqrt (fmod (cosh c) (log1p a))) 2.066 * [simplify]: Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a))))))) 2.066 * * * * [progress]: [ 35 / 66 ] simplifiying candidate # 2.066 * [simplify]: Simplifying (exp (log 1)) 2.066 * * [simplify]: iters left: 2 (3 enodes) 2.068 * * [simplify]: iters left: 1 (9 enodes) 2.069 * * [simplify]: Extracting #0: cost 1 inf + 0 2.069 * * [simplify]: Extracting #1: cost 0 inf + 1 2.069 * [simplify]: Simplified to 1 2.069 * [simplify]: Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a)))))) 2.069 * * * * [progress]: [ 36 / 66 ] simplifiying candidate # 2.069 * [simplify]: Simplifying (cosh c) 2.069 * * [simplify]: iters left: 1 (2 enodes) 2.070 * * [simplify]: Extracting #0: cost 1 inf + 0 2.070 * * [simplify]: Extracting #1: cost 5 inf + 0 2.070 * * [simplify]: Extracting #2: cost 5 inf + 2 2.070 * * [simplify]: Extracting #3: cost 3 inf + 185 2.070 * * [simplify]: Extracting #4: cost 0 inf + 558 2.070 * [simplify]: Simplified to (cosh c) 2.070 * [simplify]: Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a))) 2.070 * * * * [progress]: [ 37 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 38 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 39 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 40 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 41 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 42 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 43 / 66 ] simplifiying candidate #real (real->posit16 (exp (log (fmod (cosh c) (log1p a)))))))> 2.070 * * * * [progress]: [ 44 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 45 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 46 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 47 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 48 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 49 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 50 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 51 / 66 ] simplifiying candidate # 2.070 * * * * [progress]: [ 52 / 66 ] simplifiying candidate # 2.071 * * * * [progress]: [ 53 / 66 ] simplifiying candidate # 2.071 * * * * [progress]: [ 54 / 66 ] simplifiying candidate #real (real->posit16 (cosh c))) (log1p a)))))> 2.071 * * * * [progress]: [ 55 / 66 ] simplifiying candidate # 2.071 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.071 * * [simplify]: iters left: 2 (5 enodes) 2.072 * * [simplify]: iters left: 1 (21 enodes) 2.075 * * [simplify]: Extracting #0: cost 1 inf + 0 2.075 * * [simplify]: Extracting #1: cost 4 inf + 0 2.075 * * [simplify]: Extracting #2: cost 10 inf + 0 2.075 * * [simplify]: Extracting #3: cost 10 inf + 3 2.075 * * [simplify]: Extracting #4: cost 9 inf + 368 2.075 * * [simplify]: Extracting #5: cost 5 inf + 809 2.075 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.076 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.076 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.076 * * * * [progress]: [ 56 / 66 ] simplifiying candidate # 2.076 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.076 * * [simplify]: iters left: 2 (5 enodes) 2.078 * * [simplify]: iters left: 1 (21 enodes) 2.085 * * [simplify]: Extracting #0: cost 1 inf + 0 2.085 * * [simplify]: Extracting #1: cost 4 inf + 0 2.085 * * [simplify]: Extracting #2: cost 10 inf + 0 2.086 * * [simplify]: Extracting #3: cost 10 inf + 3 2.086 * * [simplify]: Extracting #4: cost 9 inf + 368 2.086 * * [simplify]: Extracting #5: cost 5 inf + 809 2.086 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.087 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.087 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.087 * * * * [progress]: [ 57 / 66 ] simplifiying candidate # 2.087 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.087 * * [simplify]: iters left: 2 (5 enodes) 2.089 * * [simplify]: iters left: 1 (21 enodes) 2.098 * * [simplify]: Extracting #0: cost 1 inf + 0 2.098 * * [simplify]: Extracting #1: cost 4 inf + 0 2.098 * * [simplify]: Extracting #2: cost 10 inf + 0 2.098 * * [simplify]: Extracting #3: cost 10 inf + 3 2.098 * * [simplify]: Extracting #4: cost 9 inf + 368 2.098 * * [simplify]: Extracting #5: cost 5 inf + 809 2.099 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.099 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.099 * [simplify]: Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.099 * * * * [progress]: [ 58 / 66 ] simplifiying candidate # 2.100 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 2.100 * * [simplify]: iters left: 3 (6 enodes) 2.102 * * [simplify]: iters left: 2 (24 enodes) 2.110 * * [simplify]: iters left: 1 (37 enodes) 2.121 * * [simplify]: Extracting #0: cost 1 inf + 0 2.121 * * [simplify]: Extracting #1: cost 3 inf + 0 2.121 * * [simplify]: Extracting #2: cost 6 inf + 0 2.121 * * [simplify]: Extracting #3: cost 12 inf + 0 2.121 * * [simplify]: Extracting #4: cost 12 inf + 3 2.122 * * [simplify]: Extracting #5: cost 13 inf + 221 2.122 * * [simplify]: Extracting #6: cost 6 inf + 1202 2.122 * * [simplify]: Extracting #7: cost 1 inf + 1973 2.123 * * [simplify]: Extracting #8: cost 0 inf + 2194 2.123 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 2.123 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.123 * * * * [progress]: [ 59 / 66 ] simplifiying candidate # 2.124 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 2.124 * * [simplify]: iters left: 3 (6 enodes) 2.126 * * [simplify]: iters left: 2 (24 enodes) 2.133 * * [simplify]: iters left: 1 (37 enodes) 2.139 * * [simplify]: Extracting #0: cost 1 inf + 0 2.139 * * [simplify]: Extracting #1: cost 3 inf + 0 2.139 * * [simplify]: Extracting #2: cost 6 inf + 0 2.139 * * [simplify]: Extracting #3: cost 12 inf + 0 2.139 * * [simplify]: Extracting #4: cost 12 inf + 3 2.139 * * [simplify]: Extracting #5: cost 13 inf + 221 2.139 * * [simplify]: Extracting #6: cost 6 inf + 1202 2.139 * * [simplify]: Extracting #7: cost 1 inf + 1973 2.139 * * [simplify]: Extracting #8: cost 0 inf + 2194 2.140 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 2.140 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.140 * * * * [progress]: [ 60 / 66 ] simplifiying candidate # 2.140 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 2.140 * * [simplify]: iters left: 3 (6 enodes) 2.141 * * [simplify]: iters left: 2 (24 enodes) 2.145 * * [simplify]: iters left: 1 (37 enodes) 2.150 * * [simplify]: Extracting #0: cost 1 inf + 0 2.151 * * [simplify]: Extracting #1: cost 3 inf + 0 2.151 * * [simplify]: Extracting #2: cost 6 inf + 0 2.151 * * [simplify]: Extracting #3: cost 12 inf + 0 2.151 * * [simplify]: Extracting #4: cost 12 inf + 3 2.151 * * [simplify]: Extracting #5: cost 13 inf + 221 2.151 * * [simplify]: Extracting #6: cost 6 inf + 1202 2.151 * * [simplify]: Extracting #7: cost 1 inf + 1973 2.151 * * [simplify]: Extracting #8: cost 0 inf + 2194 2.152 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 2.152 * [simplify]: Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a))))) 2.152 * * * * [progress]: [ 61 / 66 ] simplifiying candidate # 2.152 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.152 * * [simplify]: iters left: 2 (5 enodes) 2.153 * * [simplify]: iters left: 1 (21 enodes) 2.157 * * [simplify]: Extracting #0: cost 1 inf + 0 2.157 * * [simplify]: Extracting #1: cost 4 inf + 0 2.157 * * [simplify]: Extracting #2: cost 10 inf + 0 2.157 * * [simplify]: Extracting #3: cost 10 inf + 3 2.157 * * [simplify]: Extracting #4: cost 9 inf + 368 2.157 * * [simplify]: Extracting #5: cost 5 inf + 809 2.158 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.158 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.158 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.158 * * * * [progress]: [ 62 / 66 ] simplifiying candidate # 2.159 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.159 * * [simplify]: iters left: 2 (5 enodes) 2.161 * * [simplify]: iters left: 1 (21 enodes) 2.168 * * [simplify]: Extracting #0: cost 1 inf + 0 2.168 * * [simplify]: Extracting #1: cost 4 inf + 0 2.168 * * [simplify]: Extracting #2: cost 10 inf + 0 2.168 * * [simplify]: Extracting #3: cost 10 inf + 3 2.168 * * [simplify]: Extracting #4: cost 9 inf + 368 2.168 * * [simplify]: Extracting #5: cost 5 inf + 809 2.169 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.169 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.169 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.169 * * * * [progress]: [ 63 / 66 ] simplifiying candidate # 2.169 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 2.169 * * [simplify]: iters left: 2 (5 enodes) 2.171 * * [simplify]: iters left: 1 (21 enodes) 2.175 * * [simplify]: Extracting #0: cost 1 inf + 0 2.175 * * [simplify]: Extracting #1: cost 4 inf + 0 2.175 * * [simplify]: Extracting #2: cost 10 inf + 0 2.175 * * [simplify]: Extracting #3: cost 10 inf + 3 2.175 * * [simplify]: Extracting #4: cost 9 inf + 368 2.175 * * [simplify]: Extracting #5: cost 5 inf + 809 2.175 * * [simplify]: Extracting #6: cost 0 inf + 1620 2.176 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 2.176 * [simplify]: Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a))) 2.176 * * * * [progress]: [ 64 / 66 ] simplifiying candidate # 2.176 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) 2.176 * * [simplify]: iters left: 6 (12 enodes) 2.181 * * [simplify]: iters left: 5 (53 enodes) 2.190 * * [simplify]: iters left: 4 (73 enodes) 2.204 * * [simplify]: iters left: 3 (97 enodes) 2.226 * * [simplify]: Extracting #0: cost 1 inf + 0 2.226 * * [simplify]: Extracting #1: cost 14 inf + 0 2.227 * * [simplify]: Extracting #2: cost 18 inf + 126 2.227 * * [simplify]: Extracting #3: cost 4 inf + 1478 2.228 * * [simplify]: Extracting #4: cost 0 inf + 1958 2.230 * [simplify]: Simplified to (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) 2.230 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma (* (* c c) (* c c)) 1/24 (fma (* c c) 1/2 1)) (log1p a))))) 2.230 * * * * [progress]: [ 65 / 66 ] simplifiying candidate # 2.230 * [simplify]: Simplifying (* 1/2 (+ (exp c) (exp (- c)))) 2.230 * * [simplify]: iters left: 6 (7 enodes) 2.234 * * [simplify]: iters left: 5 (31 enodes) 2.246 * * [simplify]: iters left: 4 (51 enodes) 2.259 * * [simplify]: iters left: 3 (55 enodes) 2.272 * * [simplify]: Extracting #0: cost 1 inf + 0 2.272 * * [simplify]: Extracting #1: cost 8 inf + 0 2.272 * * [simplify]: Extracting #2: cost 15 inf + 1 2.272 * * [simplify]: Extracting #3: cost 13 inf + 44 2.273 * * [simplify]: Extracting #4: cost 4 inf + 1047 2.273 * * [simplify]: Extracting #5: cost 0 inf + 1673 2.274 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 2.274 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))))) 2.274 * * * * [progress]: [ 66 / 66 ] simplifiying candidate # 2.274 * [simplify]: Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c))) 2.274 * * [simplify]: iters left: 6 (8 enodes) 2.279 * * [simplify]: iters left: 5 (36 enodes) 2.292 * * [simplify]: iters left: 4 (57 enodes) 2.310 * * [simplify]: iters left: 3 (83 enodes) 2.336 * * [simplify]: iters left: 2 (127 enodes) 2.385 * * [simplify]: iters left: 1 (241 enodes) 2.461 * * [simplify]: Extracting #0: cost 1 inf + 0 2.461 * * [simplify]: Extracting #1: cost 8 inf + 0 2.461 * * [simplify]: Extracting #2: cost 55 inf + 1 2.462 * * [simplify]: Extracting #3: cost 128 inf + 1134 2.464 * * [simplify]: Extracting #4: cost 124 inf + 3616 2.467 * * [simplify]: Extracting #5: cost 92 inf + 9710 2.473 * * [simplify]: Extracting #6: cost 16 inf + 55085 2.479 * * [simplify]: Extracting #7: cost 0 inf + 63912 2.486 * * [simplify]: Extracting #8: cost 0 inf + 63709 2.492 * [simplify]: Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c))) 2.493 * [simplify]: Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))))) 2.493 * * * [progress]: adding candidates to table 3.285 * * [progress]: iteration 3 / 4 3.285 * * * [progress]: picking best candidate 3.380 * * * * [pick]: Picked # 3.380 * * * [progress]: localizing error 3.430 * * * [progress]: generating rewritten candidates 3.430 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 3.431 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 3.431 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 3.432 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 3.435 * * * [progress]: generating series expansions 3.435 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 3.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.435 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.435 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.435 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.436 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.436 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.436 * [taylor]: Taking taylor expansion of 0 in a 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [taylor]: Taking taylor expansion of 0 in a 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [taylor]: Taking taylor expansion of 0 in a 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.436 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.436 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.437 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.437 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.437 * [taylor]: Taking taylor expansion of 0 in a 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [taylor]: Taking taylor expansion of 0 in a 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [taylor]: Taking taylor expansion of 0 in a 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.438 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.438 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.438 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.438 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.439 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.439 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.439 * [taylor]: Taking taylor expansion of 0 in a 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [taylor]: Taking taylor expansion of 0 in a 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [taylor]: Taking taylor expansion of 0 in a 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.439 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 3.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.440 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.440 * [taylor]: Taking taylor expansion of 0 in a 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [taylor]: Taking taylor expansion of 0 in a 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify 0 into 0 3.441 * [taylor]: Taking taylor expansion of 0 in a 3.441 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.441 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.442 * [taylor]: Taking taylor expansion of 0 in a 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [taylor]: Taking taylor expansion of 0 in a 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [taylor]: Taking taylor expansion of 0 in a 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.442 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.443 * [taylor]: Taking taylor expansion of 0 in a 3.443 * [backup-simplify]: Simplify 0 into 0 3.443 * [backup-simplify]: Simplify 0 into 0 3.443 * [backup-simplify]: Simplify 0 into 0 3.443 * [taylor]: Taking taylor expansion of 0 in a 3.443 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [taylor]: Taking taylor expansion of 0 in a 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.444 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 3.444 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.444 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.444 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.444 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.444 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.444 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.445 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.445 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.445 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.445 * [taylor]: Taking taylor expansion of 0 in a 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [taylor]: Taking taylor expansion of 0 in a 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [taylor]: Taking taylor expansion of 0 in a 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.445 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.445 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.445 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.447 * [taylor]: Taking taylor expansion of 0 in a 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [taylor]: Taking taylor expansion of 0 in a 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [taylor]: Taking taylor expansion of 0 in a 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.447 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.447 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.447 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.448 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.448 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.448 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.448 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.448 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.448 * [taylor]: Taking taylor expansion of 0 in a 3.448 * [backup-simplify]: Simplify 0 into 0 3.448 * [backup-simplify]: Simplify 0 into 0 3.448 * [backup-simplify]: Simplify 0 into 0 3.448 * [taylor]: Taking taylor expansion of 0 in a 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [taylor]: Taking taylor expansion of 0 in a 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.449 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 3.449 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.449 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 3.449 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.449 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.449 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.449 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.449 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.449 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.450 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.450 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.450 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.450 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.450 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.450 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.450 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.450 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.451 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.451 * [taylor]: Taking taylor expansion of 0 in a 3.451 * [backup-simplify]: Simplify 0 into 0 3.451 * [backup-simplify]: Simplify 0 into 0 3.452 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.452 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.454 * [taylor]: Taking taylor expansion of 0 in a 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify 0 into 0 3.456 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.456 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 3.459 * [taylor]: Taking taylor expansion of 0 in a 3.459 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.459 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.460 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.460 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.460 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.461 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.462 * [taylor]: Taking taylor expansion of 0 in a 3.462 * [backup-simplify]: Simplify 0 into 0 3.462 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.463 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.465 * [taylor]: Taking taylor expansion of 0 in a 3.465 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify 0 into 0 3.467 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.467 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 3.470 * [taylor]: Taking taylor expansion of 0 in a 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 3.471 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.471 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.471 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.471 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.471 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.471 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.471 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.472 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.472 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.472 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.472 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.472 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.472 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.472 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.472 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.473 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.473 * [taylor]: Taking taylor expansion of 0 in a 3.473 * [backup-simplify]: Simplify 0 into 0 3.473 * [backup-simplify]: Simplify 0 into 0 3.474 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.474 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.477 * [taylor]: Taking taylor expansion of 0 in a 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 0 into 0 3.486 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.487 * [backup-simplify]: Simplify 0 into 0 3.490 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 3.490 * [taylor]: Taking taylor expansion of 0 in a 3.490 * [backup-simplify]: Simplify 0 into 0 3.490 * [backup-simplify]: Simplify 0 into 0 3.490 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 3.490 * * * [progress]: simplifying candidates 3.490 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 3.490 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 3.490 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 3.490 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 3.490 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 3.490 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))))> 3.491 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> 3.491 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 3.491 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 23 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> 3.492 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 3.492 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 3.492 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 3.493 * * [simplify]: iters left: 6 (8 enodes) 3.496 * * [simplify]: iters left: 5 (32 enodes) 3.506 * * [simplify]: iters left: 4 (47 enodes) 3.520 * * [simplify]: iters left: 3 (51 enodes) 3.535 * * [simplify]: iters left: 2 (53 enodes) 3.550 * * [simplify]: Extracting #0: cost 1 inf + 0 3.550 * * [simplify]: Extracting #1: cost 4 inf + 0 3.550 * * [simplify]: Extracting #2: cost 7 inf + 0 3.551 * * [simplify]: Extracting #3: cost 9 inf + 0 3.551 * * [simplify]: Extracting #4: cost 12 inf + 0 3.551 * * [simplify]: Extracting #5: cost 18 inf + 0 3.551 * * [simplify]: Extracting #6: cost 16 inf + 185 3.551 * * [simplify]: Extracting #7: cost 18 inf + 312 3.551 * * [simplify]: Extracting #8: cost 12 inf + 1292 3.552 * * [simplify]: Extracting #9: cost 1 inf + 4069 3.553 * * [simplify]: Extracting #10: cost 0 inf + 4436 3.554 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 3.554 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))) 3.554 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 3.554 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 3.554 * * [simplify]: iters left: 4 (7 enodes) 3.557 * * [simplify]: iters left: 3 (27 enodes) 3.566 * * [simplify]: iters left: 2 (40 enodes) 3.578 * * [simplify]: iters left: 1 (44 enodes) 3.591 * * [simplify]: Extracting #0: cost 1 inf + 0 3.591 * * [simplify]: Extracting #1: cost 3 inf + 0 3.591 * * [simplify]: Extracting #2: cost 5 inf + 0 3.591 * * [simplify]: Extracting #3: cost 8 inf + 0 3.592 * * [simplify]: Extracting #4: cost 14 inf + 0 3.592 * * [simplify]: Extracting #5: cost 13 inf + 94 3.592 * * [simplify]: Extracting #6: cost 13 inf + 368 3.592 * * [simplify]: Extracting #7: cost 7 inf + 1177 3.593 * * [simplify]: Extracting #8: cost 0 inf + 2788 3.593 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 3.593 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))))) 3.594 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 3.594 * [simplify]: Simplifying (log 1) 3.594 * * [simplify]: iters left: 1 (2 enodes) 3.596 * * [simplify]: Extracting #0: cost 1 inf + 0 3.596 * * [simplify]: Extracting #1: cost 0 inf + 1 3.596 * [simplify]: Simplified to 0 3.597 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a)))))))) 3.597 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 3.597 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 3.597 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 3.597 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.597 * * [simplify]: iters left: 2 (5 enodes) 3.599 * * [simplify]: iters left: 1 (21 enodes) 3.606 * * [simplify]: Extracting #0: cost 1 inf + 0 3.606 * * [simplify]: Extracting #1: cost 4 inf + 0 3.607 * * [simplify]: Extracting #2: cost 10 inf + 0 3.607 * * [simplify]: Extracting #3: cost 10 inf + 3 3.607 * * [simplify]: Extracting #4: cost 9 inf + 368 3.607 * * [simplify]: Extracting #5: cost 5 inf + 809 3.608 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.608 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.608 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.608 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 3.608 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 3.608 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 3.609 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 3.609 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 3.609 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 3.609 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> 3.609 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 3.609 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.609 * * [simplify]: iters left: 2 (5 enodes) 3.612 * * [simplify]: iters left: 1 (21 enodes) 3.619 * * [simplify]: Extracting #0: cost 1 inf + 0 3.619 * * [simplify]: Extracting #1: cost 4 inf + 0 3.619 * * [simplify]: Extracting #2: cost 10 inf + 0 3.619 * * [simplify]: Extracting #3: cost 10 inf + 3 3.619 * * [simplify]: Extracting #4: cost 9 inf + 368 3.619 * * [simplify]: Extracting #5: cost 5 inf + 809 3.620 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.620 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.620 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.620 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 3.621 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.621 * * [simplify]: iters left: 2 (5 enodes) 3.623 * * [simplify]: iters left: 1 (21 enodes) 3.630 * * [simplify]: Extracting #0: cost 1 inf + 0 3.630 * * [simplify]: Extracting #1: cost 4 inf + 0 3.630 * * [simplify]: Extracting #2: cost 10 inf + 0 3.630 * * [simplify]: Extracting #3: cost 10 inf + 3 3.630 * * [simplify]: Extracting #4: cost 9 inf + 368 3.631 * * [simplify]: Extracting #5: cost 5 inf + 809 3.631 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.631 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.632 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.632 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 3.632 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.632 * * [simplify]: iters left: 2 (5 enodes) 3.634 * * [simplify]: iters left: 1 (21 enodes) 3.642 * * [simplify]: Extracting #0: cost 1 inf + 0 3.642 * * [simplify]: Extracting #1: cost 4 inf + 0 3.642 * * [simplify]: Extracting #2: cost 10 inf + 0 3.642 * * [simplify]: Extracting #3: cost 10 inf + 3 3.642 * * [simplify]: Extracting #4: cost 9 inf + 368 3.642 * * [simplify]: Extracting #5: cost 5 inf + 809 3.642 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.643 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.643 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.643 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 3.643 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.643 * * [simplify]: iters left: 2 (5 enodes) 3.648 * * [simplify]: iters left: 1 (21 enodes) 3.655 * * [simplify]: Extracting #0: cost 1 inf + 0 3.655 * * [simplify]: Extracting #1: cost 4 inf + 0 3.655 * * [simplify]: Extracting #2: cost 10 inf + 0 3.655 * * [simplify]: Extracting #3: cost 10 inf + 3 3.655 * * [simplify]: Extracting #4: cost 9 inf + 368 3.656 * * [simplify]: Extracting #5: cost 5 inf + 809 3.656 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.656 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.657 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.657 * * * * [progress]: [ 50 / 57 ] simplifiying candidate # 3.657 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.657 * * [simplify]: iters left: 2 (5 enodes) 3.659 * * [simplify]: iters left: 1 (21 enodes) 3.666 * * [simplify]: Extracting #0: cost 1 inf + 0 3.666 * * [simplify]: Extracting #1: cost 4 inf + 0 3.666 * * [simplify]: Extracting #2: cost 10 inf + 0 3.666 * * [simplify]: Extracting #3: cost 10 inf + 3 3.667 * * [simplify]: Extracting #4: cost 9 inf + 368 3.667 * * [simplify]: Extracting #5: cost 5 inf + 809 3.667 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.668 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.668 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.668 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 3.668 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.668 * * [simplify]: iters left: 2 (5 enodes) 3.670 * * [simplify]: iters left: 1 (21 enodes) 3.677 * * [simplify]: Extracting #0: cost 1 inf + 0 3.677 * * [simplify]: Extracting #1: cost 4 inf + 0 3.677 * * [simplify]: Extracting #2: cost 10 inf + 0 3.677 * * [simplify]: Extracting #3: cost 10 inf + 3 3.678 * * [simplify]: Extracting #4: cost 9 inf + 368 3.678 * * [simplify]: Extracting #5: cost 5 inf + 809 3.678 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.679 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.679 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.679 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 3.679 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.679 * * [simplify]: iters left: 2 (5 enodes) 3.681 * * [simplify]: iters left: 1 (21 enodes) 3.688 * * [simplify]: Extracting #0: cost 1 inf + 0 3.688 * * [simplify]: Extracting #1: cost 4 inf + 0 3.688 * * [simplify]: Extracting #2: cost 10 inf + 0 3.688 * * [simplify]: Extracting #3: cost 10 inf + 3 3.689 * * [simplify]: Extracting #4: cost 9 inf + 368 3.689 * * [simplify]: Extracting #5: cost 5 inf + 809 3.689 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.690 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.690 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.690 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 3.690 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.690 * * [simplify]: iters left: 2 (5 enodes) 3.692 * * [simplify]: iters left: 1 (21 enodes) 3.699 * * [simplify]: Extracting #0: cost 1 inf + 0 3.699 * * [simplify]: Extracting #1: cost 4 inf + 0 3.699 * * [simplify]: Extracting #2: cost 10 inf + 0 3.699 * * [simplify]: Extracting #3: cost 10 inf + 3 3.699 * * [simplify]: Extracting #4: cost 9 inf + 368 3.700 * * [simplify]: Extracting #5: cost 5 inf + 809 3.700 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.701 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.701 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.701 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 3.701 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 3.701 * * [simplify]: iters left: 2 (5 enodes) 3.703 * * [simplify]: iters left: 1 (21 enodes) 3.710 * * [simplify]: Extracting #0: cost 1 inf + 0 3.710 * * [simplify]: Extracting #1: cost 4 inf + 0 3.710 * * [simplify]: Extracting #2: cost 10 inf + 0 3.710 * * [simplify]: Extracting #3: cost 10 inf + 3 3.710 * * [simplify]: Extracting #4: cost 9 inf + 368 3.711 * * [simplify]: Extracting #5: cost 5 inf + 809 3.711 * * [simplify]: Extracting #6: cost 0 inf + 1620 3.711 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 3.711 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.711 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 3.712 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.712 * * [simplify]: iters left: 3 (6 enodes) 3.714 * * [simplify]: iters left: 2 (24 enodes) 3.722 * * [simplify]: iters left: 1 (37 enodes) 3.733 * * [simplify]: Extracting #0: cost 1 inf + 0 3.733 * * [simplify]: Extracting #1: cost 3 inf + 0 3.733 * * [simplify]: Extracting #2: cost 6 inf + 0 3.733 * * [simplify]: Extracting #3: cost 12 inf + 0 3.733 * * [simplify]: Extracting #4: cost 12 inf + 3 3.733 * * [simplify]: Extracting #5: cost 13 inf + 221 3.733 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.733 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.734 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.734 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.734 * [simplify]: Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.734 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 3.734 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.734 * * [simplify]: iters left: 3 (6 enodes) 3.735 * * [simplify]: iters left: 2 (24 enodes) 3.739 * * [simplify]: iters left: 1 (37 enodes) 3.744 * * [simplify]: Extracting #0: cost 1 inf + 0 3.744 * * [simplify]: Extracting #1: cost 3 inf + 0 3.744 * * [simplify]: Extracting #2: cost 6 inf + 0 3.744 * * [simplify]: Extracting #3: cost 12 inf + 0 3.745 * * [simplify]: Extracting #4: cost 12 inf + 3 3.745 * * [simplify]: Extracting #5: cost 13 inf + 221 3.745 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.745 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.745 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.745 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.745 * [simplify]: Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.746 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 3.746 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 3.746 * * [simplify]: iters left: 3 (6 enodes) 3.747 * * [simplify]: iters left: 2 (24 enodes) 3.751 * * [simplify]: iters left: 1 (37 enodes) 3.756 * * [simplify]: Extracting #0: cost 1 inf + 0 3.756 * * [simplify]: Extracting #1: cost 3 inf + 0 3.756 * * [simplify]: Extracting #2: cost 6 inf + 0 3.756 * * [simplify]: Extracting #3: cost 12 inf + 0 3.756 * * [simplify]: Extracting #4: cost 12 inf + 3 3.756 * * [simplify]: Extracting #5: cost 13 inf + 221 3.756 * * [simplify]: Extracting #6: cost 6 inf + 1202 3.757 * * [simplify]: Extracting #7: cost 1 inf + 1973 3.757 * * [simplify]: Extracting #8: cost 0 inf + 2194 3.757 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 3.757 * [simplify]: Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 3.757 * * * [progress]: adding candidates to table 4.679 * * [progress]: iteration 4 / 4 4.679 * * * [progress]: picking best candidate 4.845 * * * * [pick]: Picked # 4.845 * * * [progress]: localizing error 4.877 * * * [progress]: generating rewritten candidates 4.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 4.877 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 4.877 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 4.878 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 4.879 * * * [progress]: generating series expansions 4.879 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 4.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.879 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.880 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.880 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.880 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.880 * [taylor]: Taking taylor expansion of 0 in a 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [taylor]: Taking taylor expansion of 0 in a 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [taylor]: Taking taylor expansion of 0 in a 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.880 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.880 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.880 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.881 * [taylor]: Taking taylor expansion of 0 in a 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [taylor]: Taking taylor expansion of 0 in a 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [taylor]: Taking taylor expansion of 0 in a 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.881 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.881 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.881 * [taylor]: Taking taylor expansion of 0 in a 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [taylor]: Taking taylor expansion of 0 in a 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [taylor]: Taking taylor expansion of 0 in a 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.882 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 4.882 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.882 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.882 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.882 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.882 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.882 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.882 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.882 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.882 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.882 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.882 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.882 * [taylor]: Taking taylor expansion of 0 in a 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [taylor]: Taking taylor expansion of 0 in a 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [taylor]: Taking taylor expansion of 0 in a 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.883 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.883 * [taylor]: Taking taylor expansion of 0 in a 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [taylor]: Taking taylor expansion of 0 in a 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [taylor]: Taking taylor expansion of 0 in a 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.884 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.884 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.885 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.885 * [taylor]: Taking taylor expansion of 0 in a 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [taylor]: Taking taylor expansion of 0 in a 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [taylor]: Taking taylor expansion of 0 in a 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.885 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 4.885 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.885 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.885 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.886 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.886 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.886 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.886 * [taylor]: Taking taylor expansion of 0 in a 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [taylor]: Taking taylor expansion of 0 in a 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [taylor]: Taking taylor expansion of 0 in a 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.887 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.887 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.887 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.887 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.887 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.887 * [taylor]: Taking taylor expansion of 0 in a 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [taylor]: Taking taylor expansion of 0 in a 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [taylor]: Taking taylor expansion of 0 in a 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.888 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.888 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.888 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.888 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.888 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.889 * [taylor]: Taking taylor expansion of 0 in a 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [taylor]: Taking taylor expansion of 0 in a 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [taylor]: Taking taylor expansion of 0 in a 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 0 into 0 4.890 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.890 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 4.890 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.890 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 4.890 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 4.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.890 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.890 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 4.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.890 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.890 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 4.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.891 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.891 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.891 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 4.891 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.891 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.891 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.891 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.892 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 4.892 * [taylor]: Taking taylor expansion of 0 in a 4.892 * [backup-simplify]: Simplify 0 into 0 4.892 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 4.893 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 4.895 * [taylor]: Taking taylor expansion of 0 in a 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 0 into 0 4.897 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 4.897 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 4.900 * [taylor]: Taking taylor expansion of 0 in a 4.900 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 4.900 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4.900 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 4.900 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 4.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.900 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4.900 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 4.900 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.900 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.901 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4.901 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 4.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.901 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4.901 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 4.901 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.901 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.901 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4.901 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 4.902 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 4.902 * [taylor]: Taking taylor expansion of 0 in a 4.902 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 4.902 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 4.909 * [taylor]: Taking taylor expansion of 0 in a 4.909 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify 0 into 0 4.911 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 4.911 * [backup-simplify]: Simplify 0 into 0 4.913 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 4.913 * [taylor]: Taking taylor expansion of 0 in a 4.913 * [backup-simplify]: Simplify 0 into 0 4.913 * [backup-simplify]: Simplify 0 into 0 4.913 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 4.913 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4.913 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 4.913 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 4.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.913 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.913 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4.913 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 4.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.914 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4.914 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 4.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.914 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4.914 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 4.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.914 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.914 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4.914 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 4.915 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 4.915 * [taylor]: Taking taylor expansion of 0 in a 4.915 * [backup-simplify]: Simplify 0 into 0 4.915 * [backup-simplify]: Simplify 0 into 0 4.916 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 4.916 * [backup-simplify]: Simplify 0 into 0 4.917 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 4.917 * [taylor]: Taking taylor expansion of 0 in a 4.917 * [backup-simplify]: Simplify 0 into 0 4.917 * [backup-simplify]: Simplify 0 into 0 4.917 * [backup-simplify]: Simplify 0 into 0 4.918 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 4.918 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 4.920 * [taylor]: Taking taylor expansion of 0 in a 4.920 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 4.920 * * * [progress]: simplifying candidates 4.920 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))))))> 4.920 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 4.920 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 13 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> 4.921 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 23 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #real (real->posit16 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> 4.921 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 4.921 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 4.921 * [simplify]: Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) 4.922 * * [simplify]: iters left: 6 (8 enodes) 4.923 * * [simplify]: iters left: 5 (32 enodes) 4.928 * * [simplify]: iters left: 4 (47 enodes) 4.941 * * [simplify]: iters left: 3 (51 enodes) 4.949 * * [simplify]: iters left: 2 (53 enodes) 4.956 * * [simplify]: Extracting #0: cost 1 inf + 0 4.957 * * [simplify]: Extracting #1: cost 4 inf + 0 4.957 * * [simplify]: Extracting #2: cost 7 inf + 0 4.957 * * [simplify]: Extracting #3: cost 9 inf + 0 4.957 * * [simplify]: Extracting #4: cost 12 inf + 0 4.957 * * [simplify]: Extracting #5: cost 18 inf + 0 4.957 * * [simplify]: Extracting #6: cost 16 inf + 185 4.957 * * [simplify]: Extracting #7: cost 18 inf + 312 4.957 * * [simplify]: Extracting #8: cost 12 inf + 1292 4.957 * * [simplify]: Extracting #9: cost 1 inf + 4069 4.958 * * [simplify]: Extracting #10: cost 0 inf + 4436 4.958 * [simplify]: Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) 4.958 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a))))))))) 4.958 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 4.958 * [simplify]: Simplifying (log (sqrt (fmod (cosh c) (log1p a)))) 4.959 * * [simplify]: iters left: 4 (7 enodes) 4.960 * * [simplify]: iters left: 3 (27 enodes) 4.964 * * [simplify]: iters left: 2 (40 enodes) 4.971 * * [simplify]: iters left: 1 (44 enodes) 4.983 * * [simplify]: Extracting #0: cost 1 inf + 0 4.983 * * [simplify]: Extracting #1: cost 3 inf + 0 4.984 * * [simplify]: Extracting #2: cost 5 inf + 0 4.984 * * [simplify]: Extracting #3: cost 8 inf + 0 4.984 * * [simplify]: Extracting #4: cost 14 inf + 0 4.984 * * [simplify]: Extracting #5: cost 13 inf + 94 4.984 * * [simplify]: Extracting #6: cost 13 inf + 368 4.984 * * [simplify]: Extracting #7: cost 7 inf + 1177 4.984 * * [simplify]: Extracting #8: cost 0 inf + 2788 4.985 * [simplify]: Simplified to (log (sqrt (fmod (cosh c) (log1p a)))) 4.985 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))))) 4.985 * * * * [progress]: [ 35 / 57 ] simplifiying candidate # 4.985 * [simplify]: Simplifying (log 1) 4.985 * * [simplify]: iters left: 1 (2 enodes) 4.986 * * [simplify]: Extracting #0: cost 1 inf + 0 4.986 * * [simplify]: Extracting #1: cost 0 inf + 1 4.986 * [simplify]: Simplified to 0 4.986 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a)))))))) 4.986 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 4.986 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 4.986 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 4.986 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.986 * * [simplify]: iters left: 2 (5 enodes) 4.987 * * [simplify]: iters left: 1 (21 enodes) 4.991 * * [simplify]: Extracting #0: cost 1 inf + 0 4.991 * * [simplify]: Extracting #1: cost 4 inf + 0 4.991 * * [simplify]: Extracting #2: cost 10 inf + 0 4.991 * * [simplify]: Extracting #3: cost 10 inf + 3 4.991 * * [simplify]: Extracting #4: cost 9 inf + 368 4.991 * * [simplify]: Extracting #5: cost 5 inf + 809 4.991 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.991 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.992 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 4.992 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 4.992 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 4.992 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 4.992 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 4.992 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 4.992 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 4.992 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> 4.992 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 4.992 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.992 * * [simplify]: iters left: 2 (5 enodes) 4.993 * * [simplify]: iters left: 1 (21 enodes) 4.997 * * [simplify]: Extracting #0: cost 1 inf + 0 4.997 * * [simplify]: Extracting #1: cost 4 inf + 0 4.997 * * [simplify]: Extracting #2: cost 10 inf + 0 4.997 * * [simplify]: Extracting #3: cost 10 inf + 3 4.997 * * [simplify]: Extracting #4: cost 9 inf + 368 4.997 * * [simplify]: Extracting #5: cost 5 inf + 809 4.998 * * [simplify]: Extracting #6: cost 0 inf + 1620 4.998 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 4.998 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 4.998 * * * * [progress]: [ 47 / 57 ] simplifiying candidate # 4.998 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 4.998 * * [simplify]: iters left: 2 (5 enodes) 4.999 * * [simplify]: iters left: 1 (21 enodes) 5.002 * * [simplify]: Extracting #0: cost 1 inf + 0 5.002 * * [simplify]: Extracting #1: cost 4 inf + 0 5.002 * * [simplify]: Extracting #2: cost 10 inf + 0 5.002 * * [simplify]: Extracting #3: cost 10 inf + 3 5.003 * * [simplify]: Extracting #4: cost 9 inf + 368 5.003 * * [simplify]: Extracting #5: cost 5 inf + 809 5.003 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.005 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.005 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.005 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 5.005 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.005 * * [simplify]: iters left: 2 (5 enodes) 5.006 * * [simplify]: iters left: 1 (21 enodes) 5.009 * * [simplify]: Extracting #0: cost 1 inf + 0 5.009 * * [simplify]: Extracting #1: cost 4 inf + 0 5.009 * * [simplify]: Extracting #2: cost 10 inf + 0 5.009 * * [simplify]: Extracting #3: cost 10 inf + 3 5.010 * * [simplify]: Extracting #4: cost 9 inf + 368 5.010 * * [simplify]: Extracting #5: cost 5 inf + 809 5.010 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.010 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.010 * [simplify]: Simplified (2 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.010 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 5.010 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.010 * * [simplify]: iters left: 2 (5 enodes) 5.011 * * [simplify]: iters left: 1 (21 enodes) 5.018 * * [simplify]: Extracting #0: cost 1 inf + 0 5.018 * * [simplify]: Extracting #1: cost 4 inf + 0 5.018 * * [simplify]: Extracting #2: cost 10 inf + 0 5.018 * * [simplify]: Extracting #3: cost 10 inf + 3 5.018 * * [simplify]: Extracting #4: cost 9 inf + 368 5.018 * * [simplify]: Extracting #5: cost 5 inf + 809 5.019 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.019 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.019 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.019 * * * * [progress]: [ 50 / 57 ] simplifiying candidate # 5.019 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.020 * * [simplify]: iters left: 2 (5 enodes) 5.021 * * [simplify]: iters left: 1 (21 enodes) 5.028 * * [simplify]: Extracting #0: cost 1 inf + 0 5.028 * * [simplify]: Extracting #1: cost 4 inf + 0 5.028 * * [simplify]: Extracting #2: cost 10 inf + 0 5.028 * * [simplify]: Extracting #3: cost 10 inf + 3 5.029 * * [simplify]: Extracting #4: cost 9 inf + 368 5.029 * * [simplify]: Extracting #5: cost 5 inf + 809 5.029 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.030 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.030 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.030 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 5.030 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.030 * * [simplify]: iters left: 2 (5 enodes) 5.032 * * [simplify]: iters left: 1 (21 enodes) 5.035 * * [simplify]: Extracting #0: cost 1 inf + 0 5.035 * * [simplify]: Extracting #1: cost 4 inf + 0 5.035 * * [simplify]: Extracting #2: cost 10 inf + 0 5.035 * * [simplify]: Extracting #3: cost 10 inf + 3 5.036 * * [simplify]: Extracting #4: cost 9 inf + 368 5.036 * * [simplify]: Extracting #5: cost 5 inf + 809 5.036 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.036 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.036 * [simplify]: Simplified (2 1 1 2 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.036 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 5.036 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.036 * * [simplify]: iters left: 2 (5 enodes) 5.037 * * [simplify]: iters left: 1 (21 enodes) 5.041 * * [simplify]: Extracting #0: cost 1 inf + 0 5.041 * * [simplify]: Extracting #1: cost 4 inf + 0 5.041 * * [simplify]: Extracting #2: cost 10 inf + 0 5.041 * * [simplify]: Extracting #3: cost 10 inf + 3 5.041 * * [simplify]: Extracting #4: cost 9 inf + 368 5.041 * * [simplify]: Extracting #5: cost 5 inf + 809 5.041 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.041 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.041 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.041 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 5.041 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.042 * * [simplify]: iters left: 2 (5 enodes) 5.042 * * [simplify]: iters left: 1 (21 enodes) 5.046 * * [simplify]: Extracting #0: cost 1 inf + 0 5.046 * * [simplify]: Extracting #1: cost 4 inf + 0 5.046 * * [simplify]: Extracting #2: cost 10 inf + 0 5.046 * * [simplify]: Extracting #3: cost 10 inf + 3 5.046 * * [simplify]: Extracting #4: cost 9 inf + 368 5.046 * * [simplify]: Extracting #5: cost 5 inf + 809 5.047 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.047 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.047 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.047 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 5.047 * [simplify]: Simplifying (fmod (cosh c) (log1p a)) 5.047 * * [simplify]: iters left: 2 (5 enodes) 5.048 * * [simplify]: iters left: 1 (21 enodes) 5.051 * * [simplify]: Extracting #0: cost 1 inf + 0 5.051 * * [simplify]: Extracting #1: cost 4 inf + 0 5.051 * * [simplify]: Extracting #2: cost 10 inf + 0 5.052 * * [simplify]: Extracting #3: cost 10 inf + 3 5.052 * * [simplify]: Extracting #4: cost 9 inf + 368 5.052 * * [simplify]: Extracting #5: cost 5 inf + 809 5.052 * * [simplify]: Extracting #6: cost 0 inf + 1620 5.052 * [simplify]: Simplified to (fmod (cosh c) (log1p a)) 5.052 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.052 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 5.052 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.052 * * [simplify]: iters left: 3 (6 enodes) 5.054 * * [simplify]: iters left: 2 (24 enodes) 5.057 * * [simplify]: iters left: 1 (37 enodes) 5.065 * * [simplify]: Extracting #0: cost 1 inf + 0 5.065 * * [simplify]: Extracting #1: cost 3 inf + 0 5.065 * * [simplify]: Extracting #2: cost 6 inf + 0 5.065 * * [simplify]: Extracting #3: cost 12 inf + 0 5.065 * * [simplify]: Extracting #4: cost 12 inf + 3 5.065 * * [simplify]: Extracting #5: cost 13 inf + 221 5.065 * * [simplify]: Extracting #6: cost 6 inf + 1202 5.066 * * [simplify]: Extracting #7: cost 1 inf + 1973 5.066 * * [simplify]: Extracting #8: cost 0 inf + 2194 5.067 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 5.067 * [simplify]: Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.067 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 5.067 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.067 * * [simplify]: iters left: 3 (6 enodes) 5.069 * * [simplify]: iters left: 2 (24 enodes) 5.077 * * [simplify]: iters left: 1 (37 enodes) 5.087 * * [simplify]: Extracting #0: cost 1 inf + 0 5.087 * * [simplify]: Extracting #1: cost 3 inf + 0 5.087 * * [simplify]: Extracting #2: cost 6 inf + 0 5.087 * * [simplify]: Extracting #3: cost 12 inf + 0 5.087 * * [simplify]: Extracting #4: cost 12 inf + 3 5.087 * * [simplify]: Extracting #5: cost 13 inf + 221 5.087 * * [simplify]: Extracting #6: cost 6 inf + 1202 5.088 * * [simplify]: Extracting #7: cost 1 inf + 1973 5.088 * * [simplify]: Extracting #8: cost 0 inf + 2194 5.089 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 5.089 * [simplify]: Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.089 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 5.089 * [simplify]: Simplifying (log (fmod (cosh c) (log1p a))) 5.089 * * [simplify]: iters left: 3 (6 enodes) 5.091 * * [simplify]: iters left: 2 (24 enodes) 5.097 * * [simplify]: iters left: 1 (37 enodes) 5.103 * * [simplify]: Extracting #0: cost 1 inf + 0 5.103 * * [simplify]: Extracting #1: cost 3 inf + 0 5.103 * * [simplify]: Extracting #2: cost 6 inf + 0 5.103 * * [simplify]: Extracting #3: cost 12 inf + 0 5.103 * * [simplify]: Extracting #4: cost 12 inf + 3 5.103 * * [simplify]: Extracting #5: cost 13 inf + 221 5.103 * * [simplify]: Extracting #6: cost 6 inf + 1202 5.103 * * [simplify]: Extracting #7: cost 1 inf + 1973 5.104 * * [simplify]: Extracting #8: cost 0 inf + 2194 5.104 * [simplify]: Simplified to (log (fmod (cosh c) (log1p a))) 5.104 * [simplify]: Simplified (2 1 2 1) to (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))) 5.104 * * * [progress]: adding candidates to table 5.946 * [progress]: [Phase 3 of 3] Extracting. 5.946 * * [regime]: Finding splitpoints for: (# # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> # # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # #) 5.950 * * * [regime-changes]: Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a))) 5.951 * * * * [regimes]: Trying to branch on a from (# # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> # # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # #) 6.135 * * * * [regimes]: Trying to branch on (log1p a) from (# # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> # # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # #) 6.270 * * * * [regimes]: Trying to branch on c from (# # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> # # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # #) 6.386 * * * * [regimes]: Trying to branch on (cosh c) from (# # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> # # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # #) 6.513 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))))> # # # # # # # # # #real (real->posit16 (cosh c))) (log1p a)))))> #real (real->posit16 (log (fmod (cosh c) (log1p a)))))))> # # # # #) 6.652 * * * [regime]: Found split indices: #