0.741 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.399 * * * [progress]: [2/2] Setting up program. 1.404 * [progress]: [Phase 2 of 3] Improving. 1.407 * [simplify]: Simplifying using # : (neg (* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) 1.784 * * [simplify]: iteration 0 : 42 enodes (cost 22 ) 1.786 * * [simplify]: iteration 1 : 97 enodes (cost 22 ) 1.788 * * [simplify]: iteration 2 : 223 enodes (cost 22 ) 1.791 * * [simplify]: iteration 3 : 561 enodes (cost 22 ) 1.798 * * [simplify]: iteration 4 : 1215 enodes (cost 22 ) 1.813 * * [simplify]: iteration 5 : 2815 enodes (cost 22 ) 1.852 * * [simplify]: iteration 6 : 5002 enodes (cost 22 ) 1.854 * [simplify]: Simplified to: (neg (* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) 1.855 * * [progress]: iteration 1 / 4 1.855 * * * [progress]: picking best candidate 1.859 * * * * [pick]: Picked # 1.859 * * * [progress]: localizing error 1.876 * * * [progress]: generating rewritten candidates 1.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 1.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.893 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1.913 * * * [progress]: generating series expansions 1.914 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 1.918 * [approximate]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in (f) around 0 1.919 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.919 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.919 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.919 * [taylor]: Taking taylor expansion of 0.25 in f 1.919 * [taylor]: Taking taylor expansion of (* f PI) in f 1.919 * [taylor]: Taking taylor expansion of f in f 1.919 * [taylor]: Taking taylor expansion of PI in f 1.919 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.919 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.919 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.919 * [taylor]: Taking taylor expansion of 0.25 in f 1.919 * [taylor]: Taking taylor expansion of (* f PI) in f 1.919 * [taylor]: Taking taylor expansion of f in f 1.919 * [taylor]: Taking taylor expansion of PI in f 1.920 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.920 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.920 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.920 * [taylor]: Taking taylor expansion of 0.25 in f 1.920 * [taylor]: Taking taylor expansion of (* f PI) in f 1.920 * [taylor]: Taking taylor expansion of f in f 1.920 * [taylor]: Taking taylor expansion of PI in f 1.920 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.920 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.920 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.920 * [taylor]: Taking taylor expansion of 0.25 in f 1.920 * [taylor]: Taking taylor expansion of (* f PI) in f 1.920 * [taylor]: Taking taylor expansion of f in f 1.920 * [taylor]: Taking taylor expansion of PI in f 1.928 * [approximate]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in (f) around 0 1.928 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.928 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.928 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.928 * [taylor]: Taking taylor expansion of 0.25 in f 1.928 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.928 * [taylor]: Taking taylor expansion of PI in f 1.928 * [taylor]: Taking taylor expansion of f in f 1.928 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.928 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.928 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.928 * [taylor]: Taking taylor expansion of 0.25 in f 1.928 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.929 * [taylor]: Taking taylor expansion of PI in f 1.929 * [taylor]: Taking taylor expansion of f in f 1.929 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.929 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.929 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.929 * [taylor]: Taking taylor expansion of 0.25 in f 1.929 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.929 * [taylor]: Taking taylor expansion of PI in f 1.929 * [taylor]: Taking taylor expansion of f in f 1.929 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.929 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.929 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.929 * [taylor]: Taking taylor expansion of 0.25 in f 1.929 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.929 * [taylor]: Taking taylor expansion of PI in f 1.929 * [taylor]: Taking taylor expansion of f in f 1.930 * [approximate]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in (f) around 0 1.930 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.930 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.930 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.930 * [taylor]: Taking taylor expansion of -0.25 in f 1.930 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.930 * [taylor]: Taking taylor expansion of PI in f 1.930 * [taylor]: Taking taylor expansion of f in f 1.930 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.930 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.930 * [taylor]: Taking taylor expansion of 0.25 in f 1.930 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.930 * [taylor]: Taking taylor expansion of PI in f 1.930 * [taylor]: Taking taylor expansion of f in f 1.930 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.930 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.930 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.930 * [taylor]: Taking taylor expansion of -0.25 in f 1.930 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.930 * [taylor]: Taking taylor expansion of PI in f 1.930 * [taylor]: Taking taylor expansion of f in f 1.930 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.930 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.930 * [taylor]: Taking taylor expansion of 0.25 in f 1.930 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.930 * [taylor]: Taking taylor expansion of PI in f 1.930 * [taylor]: Taking taylor expansion of f in f 1.931 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.931 * [approximate]: Taking taylor expansion of (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI)))))) in (f) around 0 1.931 * [taylor]: Taking taylor expansion of (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI)))))) in f 1.931 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 1.931 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.931 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.931 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.931 * [taylor]: Taking taylor expansion of 0.25 in f 1.931 * [taylor]: Taking taylor expansion of (* f PI) in f 1.931 * [taylor]: Taking taylor expansion of f in f 1.931 * [taylor]: Taking taylor expansion of PI in f 1.931 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.931 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.931 * [taylor]: Taking taylor expansion of 0.25 in f 1.931 * [taylor]: Taking taylor expansion of (* f PI) in f 1.931 * [taylor]: Taking taylor expansion of f in f 1.931 * [taylor]: Taking taylor expansion of PI in f 1.931 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.931 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.932 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.932 * [taylor]: Taking taylor expansion of 0.25 in f 1.932 * [taylor]: Taking taylor expansion of (* f PI) in f 1.932 * [taylor]: Taking taylor expansion of f in f 1.932 * [taylor]: Taking taylor expansion of PI in f 1.932 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.932 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.932 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.932 * [taylor]: Taking taylor expansion of 0.25 in f 1.932 * [taylor]: Taking taylor expansion of (* f PI) in f 1.932 * [taylor]: Taking taylor expansion of f in f 1.932 * [taylor]: Taking taylor expansion of PI in f 1.932 * [taylor]: Taking taylor expansion of (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI)))))) in f 1.932 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 1.932 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.932 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.932 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.932 * [taylor]: Taking taylor expansion of 0.25 in f 1.932 * [taylor]: Taking taylor expansion of (* f PI) in f 1.932 * [taylor]: Taking taylor expansion of f in f 1.932 * [taylor]: Taking taylor expansion of PI in f 1.932 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.932 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.932 * [taylor]: Taking taylor expansion of 0.25 in f 1.932 * [taylor]: Taking taylor expansion of (* f PI) in f 1.932 * [taylor]: Taking taylor expansion of f in f 1.932 * [taylor]: Taking taylor expansion of PI in f 1.933 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.933 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.933 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.933 * [taylor]: Taking taylor expansion of 0.25 in f 1.933 * [taylor]: Taking taylor expansion of (* f PI) in f 1.933 * [taylor]: Taking taylor expansion of f in f 1.933 * [taylor]: Taking taylor expansion of PI in f 1.933 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.933 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.933 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.933 * [taylor]: Taking taylor expansion of 0.25 in f 1.933 * [taylor]: Taking taylor expansion of (* f PI) in f 1.933 * [taylor]: Taking taylor expansion of f in f 1.933 * [taylor]: Taking taylor expansion of PI in f 1.950 * [approximate]: Taking taylor expansion of (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f)))))) in (f) around 0 1.950 * [taylor]: Taking taylor expansion of (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f)))))) in f 1.950 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.950 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.951 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.951 * [taylor]: Taking taylor expansion of 0.25 in f 1.951 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.951 * [taylor]: Taking taylor expansion of PI in f 1.951 * [taylor]: Taking taylor expansion of f in f 1.951 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.951 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.951 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.951 * [taylor]: Taking taylor expansion of 0.25 in f 1.951 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.951 * [taylor]: Taking taylor expansion of PI in f 1.951 * [taylor]: Taking taylor expansion of f in f 1.951 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.951 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.951 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.951 * [taylor]: Taking taylor expansion of 0.25 in f 1.951 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.951 * [taylor]: Taking taylor expansion of PI in f 1.951 * [taylor]: Taking taylor expansion of f in f 1.951 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.951 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.951 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.951 * [taylor]: Taking taylor expansion of 0.25 in f 1.951 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.951 * [taylor]: Taking taylor expansion of PI in f 1.951 * [taylor]: Taking taylor expansion of f in f 1.952 * [taylor]: Taking taylor expansion of (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f)))))) in f 1.952 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.952 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.952 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.952 * [taylor]: Taking taylor expansion of 0.25 in f 1.952 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.952 * [taylor]: Taking taylor expansion of PI in f 1.952 * [taylor]: Taking taylor expansion of f in f 1.952 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.952 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.952 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.952 * [taylor]: Taking taylor expansion of 0.25 in f 1.952 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.952 * [taylor]: Taking taylor expansion of PI in f 1.952 * [taylor]: Taking taylor expansion of f in f 1.952 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.952 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.952 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.952 * [taylor]: Taking taylor expansion of 0.25 in f 1.952 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.952 * [taylor]: Taking taylor expansion of PI in f 1.952 * [taylor]: Taking taylor expansion of f in f 1.952 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.952 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.952 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.952 * [taylor]: Taking taylor expansion of 0.25 in f 1.952 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.952 * [taylor]: Taking taylor expansion of PI in f 1.952 * [taylor]: Taking taylor expansion of f in f 1.957 * [approximate]: Taking taylor expansion of (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f))))) in (f) around 0 1.957 * [taylor]: Taking taylor expansion of (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f))))) in f 1.957 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.957 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.957 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.957 * [taylor]: Taking taylor expansion of -0.25 in f 1.957 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.957 * [taylor]: Taking taylor expansion of PI in f 1.957 * [taylor]: Taking taylor expansion of f in f 1.957 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.957 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.957 * [taylor]: Taking taylor expansion of 0.25 in f 1.957 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.957 * [taylor]: Taking taylor expansion of PI in f 1.957 * [taylor]: Taking taylor expansion of f in f 1.958 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.958 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.958 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.958 * [taylor]: Taking taylor expansion of -0.25 in f 1.958 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.958 * [taylor]: Taking taylor expansion of PI in f 1.958 * [taylor]: Taking taylor expansion of f in f 1.958 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.958 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.958 * [taylor]: Taking taylor expansion of 0.25 in f 1.958 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.958 * [taylor]: Taking taylor expansion of PI in f 1.958 * [taylor]: Taking taylor expansion of f in f 1.958 * [taylor]: Taking taylor expansion of (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f))))) in f 1.958 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.958 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.958 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.958 * [taylor]: Taking taylor expansion of -0.25 in f 1.958 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.958 * [taylor]: Taking taylor expansion of PI in f 1.958 * [taylor]: Taking taylor expansion of f in f 1.958 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.958 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.958 * [taylor]: Taking taylor expansion of 0.25 in f 1.958 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.958 * [taylor]: Taking taylor expansion of PI in f 1.958 * [taylor]: Taking taylor expansion of f in f 1.958 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.959 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.959 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.959 * [taylor]: Taking taylor expansion of -0.25 in f 1.959 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.959 * [taylor]: Taking taylor expansion of PI in f 1.959 * [taylor]: Taking taylor expansion of f in f 1.959 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.959 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.959 * [taylor]: Taking taylor expansion of 0.25 in f 1.959 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.959 * [taylor]: Taking taylor expansion of PI in f 1.959 * [taylor]: Taking taylor expansion of f in f 1.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.963 * [approximate]: Taking taylor expansion of (log (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))))) in (f) around 0 1.963 * [taylor]: Taking taylor expansion of (log (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))))) in f 1.963 * [taylor]: Taking taylor expansion of (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI)))))) in f 1.963 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 1.963 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.963 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.963 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.963 * [taylor]: Taking taylor expansion of 0.25 in f 1.963 * [taylor]: Taking taylor expansion of (* f PI) in f 1.963 * [taylor]: Taking taylor expansion of f in f 1.963 * [taylor]: Taking taylor expansion of PI in f 1.963 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.963 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.963 * [taylor]: Taking taylor expansion of 0.25 in f 1.963 * [taylor]: Taking taylor expansion of (* f PI) in f 1.963 * [taylor]: Taking taylor expansion of f in f 1.963 * [taylor]: Taking taylor expansion of PI in f 1.963 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.963 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.963 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.963 * [taylor]: Taking taylor expansion of 0.25 in f 1.963 * [taylor]: Taking taylor expansion of (* f PI) in f 1.963 * [taylor]: Taking taylor expansion of f in f 1.963 * [taylor]: Taking taylor expansion of PI in f 1.963 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.963 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.963 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.963 * [taylor]: Taking taylor expansion of 0.25 in f 1.963 * [taylor]: Taking taylor expansion of (* f PI) in f 1.963 * [taylor]: Taking taylor expansion of f in f 1.963 * [taylor]: Taking taylor expansion of PI in f 1.964 * [taylor]: Taking taylor expansion of (log (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))))) in f 1.964 * [taylor]: Taking taylor expansion of (/ (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI)))))) in f 1.964 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 1.964 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.964 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.964 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.964 * [taylor]: Taking taylor expansion of 0.25 in f 1.964 * [taylor]: Taking taylor expansion of (* f PI) in f 1.964 * [taylor]: Taking taylor expansion of f in f 1.964 * [taylor]: Taking taylor expansion of PI in f 1.964 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.964 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.964 * [taylor]: Taking taylor expansion of 0.25 in f 1.964 * [taylor]: Taking taylor expansion of (* f PI) in f 1.964 * [taylor]: Taking taylor expansion of f in f 1.964 * [taylor]: Taking taylor expansion of PI in f 1.964 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.964 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.964 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.964 * [taylor]: Taking taylor expansion of 0.25 in f 1.964 * [taylor]: Taking taylor expansion of (* f PI) in f 1.965 * [taylor]: Taking taylor expansion of f in f 1.965 * [taylor]: Taking taylor expansion of PI in f 1.965 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.965 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.965 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.965 * [taylor]: Taking taylor expansion of 0.25 in f 1.965 * [taylor]: Taking taylor expansion of (* f PI) in f 1.965 * [taylor]: Taking taylor expansion of f in f 1.965 * [taylor]: Taking taylor expansion of PI in f 1.976 * [approximate]: Taking taylor expansion of (log (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))))) in (f) around 0 1.976 * [taylor]: Taking taylor expansion of (log (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))))) in f 1.976 * [taylor]: Taking taylor expansion of (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f)))))) in f 1.976 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.976 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.977 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.977 * [taylor]: Taking taylor expansion of 0.25 in f 1.977 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.977 * [taylor]: Taking taylor expansion of PI in f 1.977 * [taylor]: Taking taylor expansion of f in f 1.977 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.977 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.977 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.977 * [taylor]: Taking taylor expansion of 0.25 in f 1.977 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.977 * [taylor]: Taking taylor expansion of PI in f 1.977 * [taylor]: Taking taylor expansion of f in f 1.977 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.977 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.977 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.977 * [taylor]: Taking taylor expansion of 0.25 in f 1.977 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.977 * [taylor]: Taking taylor expansion of PI in f 1.977 * [taylor]: Taking taylor expansion of f in f 1.977 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.977 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.977 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.977 * [taylor]: Taking taylor expansion of 0.25 in f 1.977 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.977 * [taylor]: Taking taylor expansion of PI in f 1.977 * [taylor]: Taking taylor expansion of f in f 1.978 * [taylor]: Taking taylor expansion of (log (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))))) in f 1.978 * [taylor]: Taking taylor expansion of (/ (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f)))))) in f 1.978 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.978 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.978 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.978 * [taylor]: Taking taylor expansion of 0.25 in f 1.978 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.978 * [taylor]: Taking taylor expansion of PI in f 1.978 * [taylor]: Taking taylor expansion of f in f 1.978 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.978 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.978 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.978 * [taylor]: Taking taylor expansion of 0.25 in f 1.978 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.978 * [taylor]: Taking taylor expansion of PI in f 1.978 * [taylor]: Taking taylor expansion of f in f 1.978 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.978 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.978 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.978 * [taylor]: Taking taylor expansion of 0.25 in f 1.978 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.978 * [taylor]: Taking taylor expansion of PI in f 1.978 * [taylor]: Taking taylor expansion of f in f 1.978 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.978 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.978 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.978 * [taylor]: Taking taylor expansion of 0.25 in f 1.978 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.978 * [taylor]: Taking taylor expansion of PI in f 1.978 * [taylor]: Taking taylor expansion of f in f 1.991 * [approximate]: Taking taylor expansion of (log (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))))) in (f) around 0 1.992 * [taylor]: Taking taylor expansion of (log (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))))) in f 1.992 * [taylor]: Taking taylor expansion of (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f))))) in f 1.992 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.992 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.992 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.992 * [taylor]: Taking taylor expansion of -0.25 in f 1.992 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.992 * [taylor]: Taking taylor expansion of PI in f 1.992 * [taylor]: Taking taylor expansion of f in f 1.992 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.992 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.992 * [taylor]: Taking taylor expansion of 0.25 in f 1.992 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.992 * [taylor]: Taking taylor expansion of PI in f 1.992 * [taylor]: Taking taylor expansion of f in f 1.992 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.992 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.992 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.992 * [taylor]: Taking taylor expansion of -0.25 in f 1.992 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.992 * [taylor]: Taking taylor expansion of PI in f 1.992 * [taylor]: Taking taylor expansion of f in f 1.992 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.992 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.992 * [taylor]: Taking taylor expansion of 0.25 in f 1.992 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.992 * [taylor]: Taking taylor expansion of PI in f 1.992 * [taylor]: Taking taylor expansion of f in f 1.993 * [taylor]: Taking taylor expansion of (log (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))))) in f 1.993 * [taylor]: Taking taylor expansion of (/ (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f))))) in f 1.993 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.993 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.993 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.993 * [taylor]: Taking taylor expansion of -0.25 in f 1.993 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.993 * [taylor]: Taking taylor expansion of PI in f 1.993 * [taylor]: Taking taylor expansion of f in f 1.993 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.993 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.993 * [taylor]: Taking taylor expansion of 0.25 in f 1.993 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.993 * [taylor]: Taking taylor expansion of PI in f 1.993 * [taylor]: Taking taylor expansion of f in f 1.993 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.993 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.993 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.993 * [taylor]: Taking taylor expansion of -0.25 in f 1.993 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.993 * [taylor]: Taking taylor expansion of PI in f 1.993 * [taylor]: Taking taylor expansion of f in f 1.993 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.993 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.993 * [taylor]: Taking taylor expansion of 0.25 in f 1.993 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.993 * [taylor]: Taking taylor expansion of PI in f 1.993 * [taylor]: Taking taylor expansion of f in f 2.005 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 2.005 * [approximate]: Taking taylor expansion of (* 0.25 (* f PI)) in (f) around 0 2.005 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 2.005 * [taylor]: Taking taylor expansion of 0.25 in f 2.005 * [taylor]: Taking taylor expansion of (* f PI) in f 2.005 * [taylor]: Taking taylor expansion of f in f 2.005 * [taylor]: Taking taylor expansion of PI in f 2.005 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 2.005 * [taylor]: Taking taylor expansion of 0.25 in f 2.005 * [taylor]: Taking taylor expansion of (* f PI) in f 2.005 * [taylor]: Taking taylor expansion of f in f 2.005 * [taylor]: Taking taylor expansion of PI in f 2.006 * [approximate]: Taking taylor expansion of (* 0.25 (/ PI f)) in (f) around 0 2.006 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 2.006 * [taylor]: Taking taylor expansion of 0.25 in f 2.006 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.006 * [taylor]: Taking taylor expansion of PI in f 2.006 * [taylor]: Taking taylor expansion of f in f 2.006 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 2.006 * [taylor]: Taking taylor expansion of 0.25 in f 2.006 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.006 * [taylor]: Taking taylor expansion of PI in f 2.006 * [taylor]: Taking taylor expansion of f in f 2.007 * [approximate]: Taking taylor expansion of (* -0.25 (/ PI f)) in (f) around 0 2.007 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 2.007 * [taylor]: Taking taylor expansion of -0.25 in f 2.007 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.007 * [taylor]: Taking taylor expansion of PI in f 2.007 * [taylor]: Taking taylor expansion of f in f 2.007 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 2.007 * [taylor]: Taking taylor expansion of -0.25 in f 2.007 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.007 * [taylor]: Taking taylor expansion of PI in f 2.007 * [taylor]: Taking taylor expansion of f in f 2.008 * * * [progress]: simplifying candidates 2.011 * [simplify]: Simplifying using # : (/ (exp (exp (* (/ PI 4.0) f))) (exp (exp (neg (* (/ PI 4.0) f))))) (log (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (exp (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (* (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (pow (exp (* (/ PI 4.0) f)) 3) (pow (exp (neg (* (/ PI 4.0) f))) 3)) (+ (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (+ (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f)))) (* (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (neg (exp (neg (* (/ PI 4.0) f)))) (- (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f))))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (neg (exp (neg (* (/ PI 4.0) f)))) (- (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (exp (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (* (* (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (* (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (* (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (* (* (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (neg (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (neg (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 1) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 1) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) 1) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) 1) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ 1 1) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ 1 1) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ 1 1) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ 1 1) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) 1) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) 1) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (pow (exp (* (/ PI 4.0) f)) 3) (pow (exp (neg (* (/ PI 4.0) f))) 3))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f)))))) (* (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (- (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f)))) (* (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (* (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 1)) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 1)) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) 1)) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) 1)) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 1)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 1)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 1)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 1)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log 1) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (/ 1 (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (pow (exp (* (/ PI 4.0) f)) 3) (pow (exp (neg (* (/ PI 4.0) f))) 3)))) (log (+ (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (+ (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f)))) (* (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f))))))) (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (exp (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* (cbrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (cbrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (cbrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* (* (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (sqrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (sqrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* (/ PI 4.0) f) (+ (- (log PI) (log 4.0)) (log f)) (+ (log (/ PI 4.0)) (log f)) (log (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f)) (* (/ (* (* PI PI) PI) (* (* 4.0 4.0) 4.0)) (* (* f f) f)) (* (* (* (/ PI 4.0) (/ PI 4.0)) (/ PI 4.0)) (* (* f f) f)) (* (cbrt (* (/ PI 4.0) f)) (cbrt (* (/ PI 4.0) f))) (cbrt (* (/ PI 4.0) f)) (* (* (* (/ PI 4.0) f) (* (/ PI 4.0) f)) (* (/ PI 4.0) f)) (sqrt (* (/ PI 4.0) f)) (sqrt (* (/ PI 4.0) f)) (* (sqrt (/ PI 4.0)) (sqrt f)) (* (sqrt (/ PI 4.0)) (sqrt f)) (* (/ (sqrt PI) (sqrt 4.0)) (sqrt f)) (* (/ (sqrt PI) (sqrt 4.0)) (sqrt f)) (* (/ PI 4.0) (* (cbrt f) (cbrt f))) (* (/ PI 4.0) (sqrt f)) (* (/ PI 4.0) 1) (* (cbrt (/ PI 4.0)) f) (* (sqrt (/ PI 4.0)) f) (* (/ (cbrt PI) (cbrt 4.0)) f) (* (/ (cbrt PI) (sqrt 4.0)) f) (* (/ (cbrt PI) 4.0) f) (* (/ (sqrt PI) (cbrt 4.0)) f) (* (/ (sqrt PI) (sqrt 4.0)) f) (* (/ (sqrt PI) 4.0) f) (* (/ PI (cbrt 4.0)) f) (* (/ PI (sqrt 4.0)) f) (* (/ PI 4.0) f) (* (/ PI 4.0) f) (* (/ 1 4.0) f) (* PI f) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (+ (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5))) (* 0.5 (* f PI)))) (- (exp (* 0.25 (* PI f))) (exp (neg (* 0.25 (* PI f))))) (- (exp (* 0.25 (* PI f))) (exp (* -0.25 (* PI f)))) (- (+ (* 4.0 (/ 1 (* PI f))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (+ (exp (neg (* 0.25 (* PI f)))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (neg (* 0.25 (* PI f)))))) (/ (+ (exp (* -0.25 (* PI f))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (* -0.25 (* PI f))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (log (/ (+ (exp (neg (* 0.25 (* PI f)))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (neg (* 0.25 (* PI f))))))) (log (/ (+ (exp (* -0.25 (* PI f))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (* -0.25 (* PI f)))))) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) 2.021 * * [simplify]: iteration 0 : 588 enodes (cost 2798 ) 2.030 * * [simplify]: iteration 1 : 2099 enodes (cost 2627 ) 2.066 * * [simplify]: iteration 2 : 5001 enodes (cost 2552 ) 2.080 * [simplify]: Simplified to: (exp (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (exp (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (pow (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) 3) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (pow (exp (* (/ PI 4.0) f)) 3) (pow (exp (neg (* (/ PI 4.0) f))) 3)) (+ (+ (pow (exp (/ PI 4.0)) (* 2 f)) 1) (exp (+ (neg (* (/ PI 4.0) f)) (neg (* (/ PI 4.0) f))))) (/ -1 (exp (* (/ PI 4.0) f))) (- (/ (pow (exp (/ PI 4.0)) (* 2 f)) 1) (/ (pow (exp (neg (/ PI 4.0))) (+ f f)) 1)) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (/ -1 (exp (* (/ PI 4.0) f))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (exp (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (pow (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) 3) (* (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (pow (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) 3) (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (neg (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (neg (* (/ PI 4.0) f))) (exp (* (/ PI 4.0) f))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 1 (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) 1 (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 1 (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) 1 (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ 1 (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f)))))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (pow (exp (* (/ PI 4.0) f)) 3) (pow (exp (neg (* (/ PI 4.0) f))) 3))) (/ 1 (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (+ (* (exp (neg (* (/ PI 4.0) f))) (- (exp (neg (* (/ PI 4.0) f))) (exp (* (/ PI 4.0) f)))) (exp (+ (* (/ PI 4.0) f) (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (+ (+ -1 (* (/ -1 (exp (* (/ PI 4.0) f))) (/ -1 (exp (* (/ PI 4.0) f))))) (+ (pow (exp (/ PI 4.0)) (* 2 f)) -1)) (* 2 (log (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (cbrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (sqrt (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* 2 (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* 2 (log (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (* (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (* 2 (log (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (cbrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (sqrt (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) 0 (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) 0 (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (* (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (cbrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (sqrt (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) 0 (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ 1 (+ (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (sqrt (exp (* (/ PI 4.0) f))) (sqrt (exp (neg (* (/ PI 4.0) f))))))) 0 (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 0 (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (/ 1 (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (pow (exp (* (/ PI 4.0) f)) 3) (pow (exp (neg (* (/ PI 4.0) f))) 3)))) (log (+ (* (exp (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f))) (+ (* (exp (neg (* (/ PI 4.0) f))) (exp (neg (* (/ PI 4.0) f)))) (* (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (log (/ 1 (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) (log (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))) (* (cbrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (cbrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))))) (cbrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (pow (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))))) 3) (sqrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (sqrt (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (neg (* (/ PI 4.0) f))))))) (* (/ PI 4.0) f) (log (* (/ PI 4.0) f)) (log (* (/ PI 4.0) f)) (log (* (/ PI 4.0) f)) (exp (* (/ PI 4.0) f)) (pow (* (/ PI 4.0) f) 3) (pow (* (/ PI 4.0) f) 3) (* (cbrt (* (/ PI 4.0) f)) (cbrt (* (/ PI 4.0) f))) (cbrt (* (/ PI 4.0) f)) (pow (* (/ PI 4.0) f) 3) (sqrt (* (/ PI 4.0) f)) (sqrt (* (/ PI 4.0) f)) (* (sqrt (/ PI 4.0)) (sqrt f)) (* (sqrt (/ PI 4.0)) (sqrt f)) (* (/ (sqrt PI) (sqrt 4.0)) (sqrt f)) (* (/ (sqrt PI) (sqrt 4.0)) (sqrt f)) (* (/ PI 4.0) (* (cbrt f) (cbrt f))) (* (/ PI 4.0) (sqrt f)) (/ PI 4.0) (* (cbrt (/ PI 4.0)) f) (* (sqrt (/ PI 4.0)) f) (* (/ (cbrt PI) (cbrt 4.0)) f) (* (/ (cbrt PI) (sqrt 4.0)) f) (* (/ (cbrt PI) 4.0) f) (* (/ (sqrt PI) (cbrt 4.0)) f) (* (/ (sqrt PI) (sqrt 4.0)) f) (* (/ (sqrt PI) 4.0) f) (* (/ PI (cbrt 4.0)) f) (* (/ PI (sqrt 4.0)) f) (* (/ PI 4.0) f) (* (/ PI 4.0) f) (/ f 4.0) (* PI f) (+ (* 0.005208333333333333 (* (pow f 3) (pow PI 3))) (+ (* 1.6276041666666666e-05 (* (pow f 5) (pow PI 5))) (* 0.5 (* f PI)))) (- (exp (* 0.25 (* PI f))) (exp (neg (* 0.25 (* PI f))))) (- (exp (* 0.25 (* PI f))) (exp (* -0.25 (* PI f)))) (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 (* PI f))) (/ (+ (exp (neg (* 0.25 (* PI f)))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (neg (* 0.25 (* PI f)))))) (/ (+ (exp (* -0.25 (* PI f))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (* -0.25 (* PI f))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (log (/ (+ (exp (neg (* 0.25 (* PI f)))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (neg (* 0.25 (* PI f))))))) (log (/ (+ (exp (* -0.25 (* PI f))) (exp (* 0.25 (* PI f)))) (- (exp (* 0.25 (* PI f))) (exp (* -0.25 (* PI f)))))) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) 2.082 * * * [progress]: adding candidates to table 2.526 * * [progress]: iteration 2 / 4 2.526 * * * [progress]: picking best candidate 2.541 * * * * [pick]: Picked # 2.542 * * * [progress]: localizing error 2.575 * * * [progress]: generating rewritten candidates 2.575 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 2.577 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2 2 1) 2.580 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 2 1 1) 2.582 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.620 * * * [progress]: generating series expansions 2.620 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 2.620 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2 2 1) 2.620 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 2 1 1) 2.620 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.621 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) PI)) in (f) around 0 2.621 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) PI)) in f 2.621 * [taylor]: Taking taylor expansion of 4.0 in f 2.621 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) PI) in f 2.621 * [taylor]: Taking taylor expansion of (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) in f 2.621 * [taylor]: Taking taylor expansion of (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) in f 2.621 * [taylor]: Taking taylor expansion of (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) in f 2.621 * [taylor]: Taking taylor expansion of 0.020833333333333336 in f 2.621 * [taylor]: Taking taylor expansion of (* (pow f 2) (pow PI 2)) in f 2.621 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.622 * [taylor]: Taking taylor expansion of f in f 2.622 * [taylor]: Taking taylor expansion of (pow PI 2) in f 2.622 * [taylor]: Taking taylor expansion of PI in f 2.622 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.622 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.622 * [taylor]: Taking taylor expansion of 4.0 in f 2.622 * [taylor]: Taking taylor expansion of PI in f 2.622 * [taylor]: Taking taylor expansion of (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) in f 2.622 * [taylor]: Taking taylor expansion of (log f) in f 2.622 * [taylor]: Taking taylor expansion of f in f 2.622 * [taylor]: Taking taylor expansion of (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) in f 2.622 * [taylor]: Taking taylor expansion of (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) in f 2.622 * [taylor]: Taking taylor expansion of 0.0034722222222222225 in f 2.622 * [taylor]: Taking taylor expansion of (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2)) in f 2.622 * [taylor]: Taking taylor expansion of (* (pow PI 4) (pow f 4)) in f 2.622 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.622 * [taylor]: Taking taylor expansion of PI in f 2.622 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.622 * [taylor]: Taking taylor expansion of f in f 2.622 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.622 * [taylor]: Taking taylor expansion of 4.0 in f 2.623 * [taylor]: Taking taylor expansion of (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))) in f 2.623 * [taylor]: Taking taylor expansion of 8.68055555555556e-05 in f 2.623 * [taylor]: Taking taylor expansion of (* (pow PI 4) (pow f 4)) in f 2.623 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.623 * [taylor]: Taking taylor expansion of PI in f 2.623 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.623 * [taylor]: Taking taylor expansion of f in f 2.623 * [taylor]: Taking taylor expansion of PI in f 2.623 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) PI)) in f 2.623 * [taylor]: Taking taylor expansion of 4.0 in f 2.623 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) PI) in f 2.623 * [taylor]: Taking taylor expansion of (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) in f 2.623 * [taylor]: Taking taylor expansion of (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) in f 2.623 * [taylor]: Taking taylor expansion of (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) in f 2.623 * [taylor]: Taking taylor expansion of 0.020833333333333336 in f 2.623 * [taylor]: Taking taylor expansion of (* (pow f 2) (pow PI 2)) in f 2.623 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.623 * [taylor]: Taking taylor expansion of f in f 2.623 * [taylor]: Taking taylor expansion of (pow PI 2) in f 2.623 * [taylor]: Taking taylor expansion of PI in f 2.623 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.623 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.623 * [taylor]: Taking taylor expansion of 4.0 in f 2.623 * [taylor]: Taking taylor expansion of PI in f 2.623 * [taylor]: Taking taylor expansion of (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) in f 2.624 * [taylor]: Taking taylor expansion of (log f) in f 2.624 * [taylor]: Taking taylor expansion of f in f 2.624 * [taylor]: Taking taylor expansion of (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) in f 2.624 * [taylor]: Taking taylor expansion of (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) in f 2.624 * [taylor]: Taking taylor expansion of 0.0034722222222222225 in f 2.624 * [taylor]: Taking taylor expansion of (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2)) in f 2.624 * [taylor]: Taking taylor expansion of (* (pow PI 4) (pow f 4)) in f 2.624 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.624 * [taylor]: Taking taylor expansion of PI in f 2.624 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.624 * [taylor]: Taking taylor expansion of f in f 2.624 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.624 * [taylor]: Taking taylor expansion of 4.0 in f 2.624 * [taylor]: Taking taylor expansion of (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))) in f 2.624 * [taylor]: Taking taylor expansion of 8.68055555555556e-05 in f 2.624 * [taylor]: Taking taylor expansion of (* (pow PI 4) (pow f 4)) in f 2.624 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.624 * [taylor]: Taking taylor expansion of PI in f 2.624 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.624 * [taylor]: Taking taylor expansion of f in f 2.624 * [taylor]: Taking taylor expansion of PI in f 2.631 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI)) in (f) around 0 2.631 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI)) in f 2.631 * [taylor]: Taking taylor expansion of 4.0 in f 2.631 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI) in f 2.631 * [taylor]: Taking taylor expansion of (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) in f 2.631 * [taylor]: Taking taylor expansion of (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) in f 2.631 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.631 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.631 * [taylor]: Taking taylor expansion of 4.0 in f 2.631 * [taylor]: Taking taylor expansion of PI in f 2.631 * [taylor]: Taking taylor expansion of (* 0.020833333333333336 (/ (pow PI 2) (pow f 2))) in f 2.631 * [taylor]: Taking taylor expansion of 0.020833333333333336 in f 2.631 * [taylor]: Taking taylor expansion of (/ (pow PI 2) (pow f 2)) in f 2.631 * [taylor]: Taking taylor expansion of (pow PI 2) in f 2.631 * [taylor]: Taking taylor expansion of PI in f 2.631 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.631 * [taylor]: Taking taylor expansion of f in f 2.631 * [taylor]: Taking taylor expansion of (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))))) in f 2.631 * [taylor]: Taking taylor expansion of (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) in f 2.631 * [taylor]: Taking taylor expansion of 8.68055555555556e-05 in f 2.631 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (pow f 4)) in f 2.631 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.631 * [taylor]: Taking taylor expansion of PI in f 2.631 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.631 * [taylor]: Taking taylor expansion of f in f 2.631 * [taylor]: Taking taylor expansion of (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))) in f 2.631 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.631 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.631 * [taylor]: Taking taylor expansion of f in f 2.632 * [taylor]: Taking taylor expansion of (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))) in f 2.632 * [taylor]: Taking taylor expansion of 0.0034722222222222225 in f 2.632 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))) in f 2.632 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.632 * [taylor]: Taking taylor expansion of PI in f 2.632 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.632 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.632 * [taylor]: Taking taylor expansion of f in f 2.632 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.632 * [taylor]: Taking taylor expansion of 4.0 in f 2.632 * [taylor]: Taking taylor expansion of PI in f 2.633 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI)) in f 2.633 * [taylor]: Taking taylor expansion of 4.0 in f 2.633 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI) in f 2.633 * [taylor]: Taking taylor expansion of (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) in f 2.633 * [taylor]: Taking taylor expansion of (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) in f 2.633 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.633 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.633 * [taylor]: Taking taylor expansion of 4.0 in f 2.633 * [taylor]: Taking taylor expansion of PI in f 2.633 * [taylor]: Taking taylor expansion of (* 0.020833333333333336 (/ (pow PI 2) (pow f 2))) in f 2.633 * [taylor]: Taking taylor expansion of 0.020833333333333336 in f 2.633 * [taylor]: Taking taylor expansion of (/ (pow PI 2) (pow f 2)) in f 2.633 * [taylor]: Taking taylor expansion of (pow PI 2) in f 2.633 * [taylor]: Taking taylor expansion of PI in f 2.633 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.633 * [taylor]: Taking taylor expansion of f in f 2.633 * [taylor]: Taking taylor expansion of (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))))) in f 2.633 * [taylor]: Taking taylor expansion of (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) in f 2.633 * [taylor]: Taking taylor expansion of 8.68055555555556e-05 in f 2.633 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (pow f 4)) in f 2.633 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.633 * [taylor]: Taking taylor expansion of PI in f 2.633 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.633 * [taylor]: Taking taylor expansion of f in f 2.633 * [taylor]: Taking taylor expansion of (+ (log (/ 1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))) in f 2.633 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.633 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.633 * [taylor]: Taking taylor expansion of f in f 2.633 * [taylor]: Taking taylor expansion of (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))) in f 2.633 * [taylor]: Taking taylor expansion of 0.0034722222222222225 in f 2.633 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))) in f 2.633 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.633 * [taylor]: Taking taylor expansion of PI in f 2.633 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.634 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.634 * [taylor]: Taking taylor expansion of f in f 2.634 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.634 * [taylor]: Taking taylor expansion of 4.0 in f 2.634 * [taylor]: Taking taylor expansion of PI in f 2.645 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI)) in (f) around 0 2.646 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI)) in f 2.646 * [taylor]: Taking taylor expansion of 4.0 in f 2.646 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI) in f 2.646 * [taylor]: Taking taylor expansion of (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) in f 2.646 * [taylor]: Taking taylor expansion of (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) in f 2.646 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.646 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.646 * [taylor]: Taking taylor expansion of 4.0 in f 2.646 * [taylor]: Taking taylor expansion of PI in f 2.646 * [taylor]: Taking taylor expansion of (* 0.020833333333333336 (/ (pow PI 2) (pow f 2))) in f 2.646 * [taylor]: Taking taylor expansion of 0.020833333333333336 in f 2.646 * [taylor]: Taking taylor expansion of (/ (pow PI 2) (pow f 2)) in f 2.646 * [taylor]: Taking taylor expansion of (pow PI 2) in f 2.646 * [taylor]: Taking taylor expansion of PI in f 2.646 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.646 * [taylor]: Taking taylor expansion of f in f 2.646 * [taylor]: Taking taylor expansion of (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))))) in f 2.646 * [taylor]: Taking taylor expansion of (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) in f 2.646 * [taylor]: Taking taylor expansion of 8.68055555555556e-05 in f 2.646 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (pow f 4)) in f 2.646 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.646 * [taylor]: Taking taylor expansion of PI in f 2.646 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.646 * [taylor]: Taking taylor expansion of f in f 2.646 * [taylor]: Taking taylor expansion of (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))) in f 2.646 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.646 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.646 * [taylor]: Taking taylor expansion of -1 in f 2.646 * [taylor]: Taking taylor expansion of f in f 2.646 * [taylor]: Taking taylor expansion of (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))) in f 2.646 * [taylor]: Taking taylor expansion of 0.0034722222222222225 in f 2.646 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))) in f 2.647 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.647 * [taylor]: Taking taylor expansion of PI in f 2.647 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.647 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.647 * [taylor]: Taking taylor expansion of f in f 2.647 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.647 * [taylor]: Taking taylor expansion of 4.0 in f 2.647 * [taylor]: Taking taylor expansion of PI in f 2.647 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI)) in f 2.647 * [taylor]: Taking taylor expansion of 4.0 in f 2.647 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) PI) in f 2.647 * [taylor]: Taking taylor expansion of (- (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))))) in f 2.647 * [taylor]: Taking taylor expansion of (+ (log (/ 4.0 PI)) (* 0.020833333333333336 (/ (pow PI 2) (pow f 2)))) in f 2.647 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.647 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.647 * [taylor]: Taking taylor expansion of 4.0 in f 2.647 * [taylor]: Taking taylor expansion of PI in f 2.648 * [taylor]: Taking taylor expansion of (* 0.020833333333333336 (/ (pow PI 2) (pow f 2))) in f 2.648 * [taylor]: Taking taylor expansion of 0.020833333333333336 in f 2.648 * [taylor]: Taking taylor expansion of (/ (pow PI 2) (pow f 2)) in f 2.648 * [taylor]: Taking taylor expansion of (pow PI 2) in f 2.648 * [taylor]: Taking taylor expansion of PI in f 2.648 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.648 * [taylor]: Taking taylor expansion of f in f 2.648 * [taylor]: Taking taylor expansion of (+ (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))))) in f 2.648 * [taylor]: Taking taylor expansion of (* 8.68055555555556e-05 (/ (pow PI 4) (pow f 4))) in f 2.648 * [taylor]: Taking taylor expansion of 8.68055555555556e-05 in f 2.648 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (pow f 4)) in f 2.648 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.648 * [taylor]: Taking taylor expansion of PI in f 2.648 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.648 * [taylor]: Taking taylor expansion of f in f 2.648 * [taylor]: Taking taylor expansion of (+ (log (/ -1 f)) (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))))) in f 2.648 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.648 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.648 * [taylor]: Taking taylor expansion of -1 in f 2.648 * [taylor]: Taking taylor expansion of f in f 2.648 * [taylor]: Taking taylor expansion of (* 0.0034722222222222225 (/ (pow PI 4) (* (pow f 4) (pow 4.0 2)))) in f 2.648 * [taylor]: Taking taylor expansion of 0.0034722222222222225 in f 2.648 * [taylor]: Taking taylor expansion of (/ (pow PI 4) (* (pow f 4) (pow 4.0 2))) in f 2.648 * [taylor]: Taking taylor expansion of (pow PI 4) in f 2.648 * [taylor]: Taking taylor expansion of PI in f 2.648 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.648 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.648 * [taylor]: Taking taylor expansion of f in f 2.648 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.648 * [taylor]: Taking taylor expansion of 4.0 in f 2.648 * [taylor]: Taking taylor expansion of PI in f 2.655 * * * [progress]: simplifying candidates 2.658 * [simplify]: Simplifying using # : (log (* (cbrt (/ 4.0 PI)) (cbrt (/ 4.0 PI)))) (log (cbrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt PI) (cbrt PI)))) (log (/ (cbrt 4.0) (cbrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt PI))) (log (/ (cbrt 4.0) (sqrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) 1)) (log (/ (cbrt 4.0) PI)) (log (/ (sqrt 4.0) (* (cbrt PI) (cbrt PI)))) (log (/ (sqrt 4.0) (cbrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) 1)) (log (/ (sqrt 4.0) PI)) (log (/ 1 (* (cbrt PI) (cbrt PI)))) (log (/ 4.0 (cbrt PI))) (log (/ 1 (sqrt PI))) (log (/ 4.0 (sqrt PI))) (log (/ 1 1)) (log (/ 4.0 PI)) (log 1) (log (/ 4.0 PI)) (log 4.0) (log (/ 1 PI)) (log 4.0) (log PI) (log (/ 4.0 PI)) (log (log (/ 4.0 PI))) (exp (log (/ 4.0 PI))) (* (cbrt (log (/ 4.0 PI))) (cbrt (log (/ 4.0 PI)))) (cbrt (log (/ 4.0 PI))) (* (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (* (log PI) 4) (* (log PI) 4) (* 1 4) (pow PI (* (cbrt 4) (cbrt 4))) (pow PI (sqrt 4)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 4) (pow (cbrt PI) 4) (pow (sqrt PI) 4) (pow (sqrt PI) 4) (pow 1 4) (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (* (* (pow PI 4) (pow PI 4)) (pow PI 4)) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI (/ 4 2)) (pow PI (/ 4 2)) (* (log PI) 4) (* (log PI) 4) (* 1 4) (pow PI (* (cbrt 4) (cbrt 4))) (pow PI (sqrt 4)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 4) (pow (cbrt PI) 4) (pow (sqrt PI) 4) (pow (sqrt PI) 4) (pow 1 4) (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (* (* (pow PI 4) (pow PI 4)) (pow PI 4)) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI (/ 4 2)) (pow PI (/ 4 2)) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (+ (- (log 1.0) (- (log PI) (log 4.0))) (log (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (+ (- (log 1.0) (log (/ PI 4.0))) (log (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (+ (log (/ 1.0 (/ PI 4.0))) (log (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (log (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (exp (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (* (* 1.0 1.0) 1.0) (/ (* (* PI PI) PI) (* (* 4.0 4.0) 4.0))) (* (* (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (/ PI 4.0) (/ PI 4.0)) (/ PI 4.0))) (* (* (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (* (* (/ 1.0 (/ PI 4.0)) (/ 1.0 (/ PI 4.0))) (/ 1.0 (/ PI 4.0))) (* (* (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (cbrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (* (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (sqrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (sqrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* 1.0 (- (* (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)) (+ (* (log f) (log f)) (- (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (* (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (+ (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (- (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3))))) (* (/ PI 4.0) (* (+ (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (- (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (+ (* (log f) (log f)) (- (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (* (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* 1.0 (- (* (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (+ (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (- (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ PI 4.0) (* (+ (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (- (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* 1.0 (- (* (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))) (+ (* (log f) (log f)) (- (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (* (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3))))) (* (/ PI 4.0) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* (log f) (log f)) (- (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (* (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* 1.0 (- (* (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ PI 4.0) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* 1.0 (- (pow (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) 3) (pow (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) 3))) (* (/ PI 4.0) (+ (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (+ (* (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* 1.0 (- (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ PI 4.0) (+ (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ 1.0 (/ PI 4.0)) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (/ 1.0 (/ PI 4.0)) (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (/ 1.0 (/ PI 4.0)) (- (log (/ 4.0 PI)) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (/ 1.0 (/ PI 4.0)) (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (/ 1.0 (/ PI 4.0))) (* (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (/ 1.0 (/ PI 4.0))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (/ 1.0 (/ PI 4.0))) (* (- (log (/ 4.0 PI)) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (/ 1.0 (/ PI 4.0))) (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (/ 1.0 (/ PI 4.0))) (* (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (/ 1.0 (/ PI 4.0))) (* (/ 1.0 (/ PI 4.0)) (* (cbrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (cbrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ 1.0 (/ PI 4.0)) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ 1.0 (/ PI 4.0)) 1) (* (/ 1.0 (/ PI 4.0)) (+ (sqrt (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (sqrt (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ 1.0 (/ PI 4.0)) 1) (* (/ 1.0 (/ PI 4.0)) 1) (* (/ 1.0 (/ PI 4.0)) 1) (* (cbrt (/ 1.0 (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (cbrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (sqrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (cbrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (sqrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ 1 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (cbrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (cbrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ 1 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (cbrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (sqrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (cbrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (cbrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (cbrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (sqrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (sqrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (sqrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ 1 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* 4.0 (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (* (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)) (+ (* (log f) (log f)) (- (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (* (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (+ (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (- (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3))))) (* (/ 1.0 (/ PI 4.0)) (- (* (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (+ (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (- (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ 1.0 (/ PI 4.0)) (- (* (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))) (+ (* (log f) (log f)) (- (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (* (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3))))) (* (/ 1.0 (/ PI 4.0)) (- (* (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ 1.0 (/ PI 4.0)) (- (pow (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) 3) (pow (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) 3))) (* (/ 1.0 (/ PI 4.0)) (- (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* 1.0 (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 4.0 (/ (log 1) PI)) (+ (* 4.0 (/ (log f) PI)) (* 0.001215277777777778 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (+ (* 0.001215277777777778 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log 1) PI)))) (- (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (+ (* 4.0 (/ (log -1) PI)) (* 0.001215277777777778 (* (pow f 4) (pow PI 3))))) 2.674 * * [simplify]: iteration 0 : 999 enodes (cost 3478 ) 2.693 * * [simplify]: iteration 1 : 5001 enodes (cost 3218 ) 2.708 * [simplify]: Simplified to: (* 2 (log (cbrt (/ 4.0 PI)))) (log (cbrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt PI) (cbrt PI)))) (log (/ (cbrt 4.0) (cbrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt PI))) (log (/ (cbrt 4.0) (sqrt PI))) (log (* (cbrt 4.0) (cbrt 4.0))) (log (/ (cbrt 4.0) PI)) (log (/ (sqrt 4.0) (* (cbrt PI) (cbrt PI)))) (log (/ (sqrt 4.0) (cbrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (sqrt 4.0)) (log (/ (sqrt 4.0) PI)) (log (/ 1 (* (cbrt PI) (cbrt PI)))) (log (/ 4.0 (cbrt PI))) (log (/ 1 (sqrt PI))) (log (/ 4.0 (sqrt PI))) 0 (log (/ 4.0 PI)) 0 (log (/ 4.0 PI)) (log 4.0) (log (/ 1 PI)) (log 4.0) (log PI) (log (/ 4.0 PI)) (log (log (/ 4.0 PI))) (/ 4.0 PI) (* (cbrt (log (/ 4.0 PI))) (cbrt (log (/ 4.0 PI)))) (cbrt (log (/ 4.0 PI))) (pow (log (/ 4.0 PI)) 3) (sqrt (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (log (pow PI 4)) (log (pow PI 4)) 4 (pow PI (* (cbrt 4) (cbrt 4))) (pow PI (sqrt 4)) PI (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4) (pow PI 2) (pow PI 2) 1 (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (pow (pow PI 4) 3) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI 2) (pow PI 2) (log (pow PI 4)) (log (pow PI 4)) 4 (pow PI (* (cbrt 4) (cbrt 4))) (pow PI (sqrt 4)) PI (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4) (pow PI 2) (pow PI 2) 1 (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (pow (pow PI 4) 3) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI 2) (pow PI 2) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (log (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (log (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (log (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (log (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (exp (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (pow (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) 3) (pow (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) 3) (pow (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) 3) (* (cbrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (pow (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) 3) (sqrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (sqrt (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (+ (* 1.0 (* (+ (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (- (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (log f))) (* (log f) (log f))) (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)))) (* 1.0 (* (neg (+ (* (log (/ 4.0 PI)) (- (log (/ 4.0 PI)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3))))) (* (* (+ (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (- (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (log f))) (* (log f) (log f))) (+ (* (log (/ 4.0 PI)) (- (log (/ 4.0 PI)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))))) (/ PI 4.0)) (+ (* 1.0 (* (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* 1.0 (* (neg (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (+ (* (log (/ 4.0 PI)) (- (log (/ 4.0 PI)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))))))) (* (* (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (* (log (/ 4.0 PI)) (- (log (/ 4.0 PI)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))))) (/ PI 4.0)) (+ (* 1.0 (* (+ (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (- (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (log f))) (* (log f) (log f))) (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))))) (* 1.0 (neg (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3)))))) (* (* (+ (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (- (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (log f))) (* (log f) (log f))) (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (/ PI 4.0)) (* 1.0 (- (* (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ PI 4.0) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* 1.0 (- (pow (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) 3) (pow (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) 3))) (* (+ (* (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))))) (/ PI 4.0)) (* 1.0 (- (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ PI 4.0) (+ (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* (/ 1.0 (/ PI 4.0)) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (/ 1.0 (/ PI 4.0)) (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (/ 1.0 (/ PI 4.0)) (- (log (/ 4.0 PI)) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (/ 1.0 (/ PI 4.0)) (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (/ 1.0 (/ PI 4.0)) (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (/ 1.0 (/ PI 4.0)) (- (log (/ 4.0 PI)) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (/ 1.0 (/ PI 4.0)) (neg (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (* (cbrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (cbrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ 1.0 (/ PI 4.0)) (sqrt (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (/ 1.0 (/ PI 4.0)) (* (/ 1.0 (/ PI 4.0)) (+ (sqrt (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (sqrt (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (/ 1.0 (/ PI 4.0)) (/ 1.0 (/ PI 4.0)) (/ 1.0 (/ PI 4.0)) (* (cbrt (/ 1.0 (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (cbrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (sqrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (cbrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ (sqrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (cbrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (* (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (cbrt 1.0)) 4.0) (* (/ (sqrt 1.0) (cbrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (cbrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ (sqrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (sqrt 1.0) (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (* (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (sqrt 1.0)) 4.0) (* (/ 1.0 (cbrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (sqrt (/ PI 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (cbrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (cbrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (cbrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (sqrt PI) (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (sqrt PI) (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ (sqrt PI) 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI (cbrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI (sqrt 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (* (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) 1.0) 4.0) (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) PI) 4.0) (* 4.0 (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* (/ (+ (* 1.0 (* (+ (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (- (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (log f))) (* (log f) (log f))) (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)))) (* 1.0 (* (neg (+ (* (log (/ 4.0 PI)) (- (log (/ 4.0 PI)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3))))) PI) 4.0) (* (/ (+ (* 1.0 (* (+ (pow (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) 3) (pow (log (/ 4.0 PI)) 3)) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (* 1.0 (* (neg (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (+ (* (log (/ 4.0 PI)) (- (log (/ 4.0 PI)) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))))))) PI) 4.0) (* (/ (+ (* 1.0 (* (+ (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (- (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (log f))) (* (log f) (log f))) (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))))) (* 1.0 (neg (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (pow (log f) 3) (pow (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) 3)))))) PI) 4.0) (* (/ 1.0 (/ PI 4.0)) (- (* (- (* (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2)))) (* (log (/ 4.0 PI)) (log (/ 4.0 PI)))) (- (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (* (- (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (- (* (log f) (log f)) (* (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))))) (* (/ 1.0 (/ PI 4.0)) (- (pow (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) 3) (pow (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) 3))) (* (/ 1.0 (/ PI 4.0)) (- (* (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI)))) (* (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (* 1.0 (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (pow PI 4) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))) (- (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* 4.0 (+ (/ (log 1) PI) (/ (log f) PI)))) (* 0.001215277777777778 (* (pow f 4) (pow PI 3)))) (- (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (+ (* 0.001215277777777778 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log 1) PI)))) (- (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (+ (* 4.0 (/ (log -1) PI)) (* 0.001215277777777778 (* (pow f 4) (pow PI 3))))) 2.709 * * * [progress]: adding candidates to table 3.543 * * [progress]: iteration 3 / 4 3.543 * * * [progress]: picking best candidate 3.652 * * * * [pick]: Picked # 3.653 * * * [progress]: localizing error 3.697 * * * [progress]: generating rewritten candidates 3.697 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 3.700 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 2 1 1 1) 3.704 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2 2 1) 3.706 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2 1 1 2) 3.711 * * * [progress]: generating series expansions 3.712 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 3.712 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 2 1 1 1) 3.712 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2 2 1) 3.712 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2 1 1 2) 3.712 * * * [progress]: simplifying candidates 3.713 * [simplify]: Simplifying using # : (log (* (cbrt (/ 4.0 PI)) (cbrt (/ 4.0 PI)))) (log (cbrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt PI) (cbrt PI)))) (log (/ (cbrt 4.0) (cbrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt PI))) (log (/ (cbrt 4.0) (sqrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) 1)) (log (/ (cbrt 4.0) PI)) (log (/ (sqrt 4.0) (* (cbrt PI) (cbrt PI)))) (log (/ (sqrt 4.0) (cbrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) 1)) (log (/ (sqrt 4.0) PI)) (log (/ 1 (* (cbrt PI) (cbrt PI)))) (log (/ 4.0 (cbrt PI))) (log (/ 1 (sqrt PI))) (log (/ 4.0 (sqrt PI))) (log (/ 1 1)) (log (/ 4.0 PI)) (log 1) (log (/ 4.0 PI)) (log 4.0) (log (/ 1 PI)) (log 4.0) (log PI) (log (/ 4.0 PI)) (log (log (/ 4.0 PI))) (exp (log (/ 4.0 PI))) (* (cbrt (log (/ 4.0 PI))) (cbrt (log (/ 4.0 PI)))) (cbrt (log (/ 4.0 PI))) (* (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (* (* (log (cbrt PI)) 2) 4) (* (* (log (cbrt PI)) 2) 4) (* (log (pow (cbrt PI) 2)) 4) (* (log (pow (cbrt PI) 2)) 4) (* 2 4) (pow (pow (cbrt PI) 2) (* (cbrt 4) (cbrt 4))) (pow (pow (cbrt PI) 2) (sqrt 4)) (pow (pow (cbrt PI) 2) 1) (pow (pow (cbrt (* (cbrt PI) (cbrt PI))) 2) 4) (pow (pow (cbrt (cbrt PI)) 2) 4) (pow (pow (cbrt (sqrt PI)) 2) 4) (pow (pow (cbrt (sqrt PI)) 2) 4) (pow (pow (cbrt 1) 2) 4) (pow (pow (cbrt PI) 2) 4) (pow (pow (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) 2) 4) (pow (pow (cbrt (cbrt PI)) 2) 4) (pow (pow (sqrt (cbrt PI)) 2) 4) (pow (pow (sqrt (cbrt PI)) 2) 4) (pow (pow 1 2) 4) (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4) (pow (cbrt PI) 4) (pow (* (cbrt (pow (cbrt PI) 2)) (cbrt (pow (cbrt PI) 2))) 4) (pow (cbrt (pow (cbrt PI) 2)) 4) (pow (sqrt (pow (cbrt PI) 2)) 4) (pow (sqrt (pow (cbrt PI) 2)) 4) (pow 1 4) (pow (pow (cbrt PI) 2) 4) (pow (pow (cbrt PI) (/ 2 2)) 4) (pow (pow (cbrt PI) (/ 2 2)) 4) (log (pow (pow (cbrt PI) 2) 4)) (exp (pow (pow (cbrt PI) 2) 4)) (* (cbrt (pow (pow (cbrt PI) 2) 4)) (cbrt (pow (pow (cbrt PI) 2) 4))) (cbrt (pow (pow (cbrt PI) 2) 4)) (* (* (pow (pow (cbrt PI) 2) 4) (pow (pow (cbrt PI) 2) 4)) (pow (pow (cbrt PI) 2) 4)) (sqrt (pow (pow (cbrt PI) 2) 4)) (sqrt (pow (pow (cbrt PI) 2) 4)) (pow (pow (cbrt PI) 2) (/ 4 2)) (pow (pow (cbrt PI) 2) (/ 4 2)) (* (log PI) 4) (* (log PI) 4) (* 1 4) (pow PI (* (cbrt 4) (cbrt 4))) (pow PI (sqrt 4)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 4) (pow (cbrt PI) 4) (pow (sqrt PI) 4) (pow (sqrt PI) 4) (pow 1 4) (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (* (* (pow PI 4) (pow PI 4)) (pow PI 4)) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI (/ 4 2)) (pow PI (/ 4 2)) (* (log (cbrt PI)) 4) (* (log (cbrt PI)) 4) (* 1/3 4) (* 1 4) (pow (cbrt PI) (* (cbrt 4) (cbrt 4))) (pow (cbrt PI) (sqrt 4)) (pow (cbrt PI) 1) (pow (cbrt (* (cbrt PI) (cbrt PI))) 4) (pow (cbrt (cbrt PI)) 4) (pow (cbrt (sqrt PI)) 4) (pow (cbrt (sqrt PI)) 4) (pow (cbrt 1) 4) (pow (cbrt PI) 4) (pow (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) 4) (pow (cbrt (cbrt PI)) 4) (pow (sqrt (cbrt PI)) 4) (pow (sqrt (cbrt PI)) 4) (pow 1 4) (pow (cbrt PI) 4) (log (pow (cbrt PI) 4)) (exp (pow (cbrt PI) 4)) (* (cbrt (pow (cbrt PI) 4)) (cbrt (pow (cbrt PI) 4))) (cbrt (pow (cbrt PI) 4)) (* (* (pow (cbrt PI) 4) (pow (cbrt PI) 4)) (pow (cbrt PI) 4)) (sqrt (pow (cbrt PI) 4)) (sqrt (pow (cbrt PI) 4)) (pow (cbrt PI) (/ 4 2)) (pow (cbrt PI) (/ 4 2)) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (pow (pow (cbrt PI) 2) 4) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) 3.718 * * [simplify]: iteration 0 : 381 enodes (cost 494 ) 3.724 * * [simplify]: iteration 1 : 1334 enodes (cost 454 ) 3.747 * * [simplify]: iteration 2 : 5001 enodes (cost 424 ) 3.750 * [simplify]: Simplified to: (* 2 (log (cbrt (/ 4.0 PI)))) (log (cbrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (* 2 (log (/ (cbrt 4.0) (cbrt PI)))) (log (/ (cbrt 4.0) (cbrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt PI))) (log (/ (cbrt 4.0) (sqrt PI))) (* 2 (log (cbrt 4.0))) (log (/ (cbrt 4.0) PI)) (log (/ (sqrt 4.0) (* (cbrt PI) (cbrt PI)))) (log (/ (sqrt 4.0) (cbrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (sqrt 4.0)) (log (/ (sqrt 4.0) PI)) (* -2 (log (cbrt PI))) (log (/ 4.0 (cbrt PI))) (log (/ 1 (sqrt PI))) (log (/ 4.0 (sqrt PI))) 0 (log (/ 4.0 PI)) 0 (log (/ 4.0 PI)) (log 4.0) (log (/ 1 PI)) (log 4.0) (log PI) (log (/ 4.0 PI)) (log (log (/ 4.0 PI))) (/ 4.0 PI) (* (cbrt (log (/ 4.0 PI))) (cbrt (log (/ 4.0 PI)))) (cbrt (log (/ 4.0 PI))) (pow (log (/ 4.0 PI)) 3) (sqrt (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (* (log (cbrt PI)) 8) (* (log (cbrt PI)) 8) (* (log (cbrt PI)) 8) (* (log (cbrt PI)) 8) 8 (pow (pow (cbrt PI) 2) (* (cbrt 4) (cbrt 4))) (pow (cbrt PI) 4) (pow (cbrt PI) 2) (pow (cbrt (pow (cbrt PI) 2)) 8) (pow (cbrt (cbrt PI)) 8) (pow (cbrt (sqrt PI)) 8) (pow (cbrt (sqrt PI)) 8) 1 (pow (cbrt PI) 8) (pow (cbrt (cbrt PI)) 16) (pow (cbrt (cbrt PI)) 8) (pow (cbrt PI) 4) (pow (cbrt PI) 4) 1 (pow (cbrt PI) 8) (pow (cbrt PI) 4) (pow (cbrt PI) 4) (pow (cbrt (pow (cbrt PI) 2)) 8) (pow (cbrt (pow (cbrt PI) 2)) 4) (pow (cbrt PI) 4) (pow (cbrt PI) 4) 1 (pow (cbrt PI) 8) (pow (cbrt PI) 4) (pow (cbrt PI) 4) (* (log (cbrt PI)) 8) (exp (pow (pow (cbrt PI) 2) 4)) (* (cbrt (pow (pow (cbrt PI) 2) 4)) (cbrt (pow (pow (cbrt PI) 2) 4))) (cbrt (pow (pow (cbrt PI) 2) 4)) (pow (pow (cbrt PI) 8) 3) (fabs (pow (cbrt PI) 4)) (fabs (pow (cbrt PI) 4)) (pow (cbrt PI) 4) (pow (cbrt PI) 4) (log (pow PI 4)) (log (pow PI 4)) 4 (pow PI (* (cbrt 4) (cbrt 4))) (pow PI 2) PI (pow (cbrt PI) 8) (pow (cbrt PI) 4) (pow PI 2) (pow PI 2) 1 (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (pow (pow PI 4) 3) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI 2) (pow PI 2) (log (pow (cbrt PI) 4)) (log (pow (cbrt PI) 4)) 4/3 4 (pow (cbrt PI) (* (cbrt 4) (cbrt 4))) (pow (cbrt PI) 2) (cbrt PI) (pow (cbrt (pow (cbrt PI) 2)) 4) (pow (cbrt (cbrt PI)) 4) (pow (cbrt (sqrt PI)) 4) (pow (cbrt (sqrt PI)) 4) 1 (pow (cbrt PI) 4) (pow (cbrt (cbrt PI)) 8) (pow (cbrt (cbrt PI)) 4) (pow (cbrt PI) 2) (pow (cbrt PI) 2) 1 (pow (cbrt PI) 4) (log (pow (cbrt PI) 4)) (exp (pow (cbrt PI) 4)) (* (cbrt (pow (cbrt PI) 4)) (cbrt (pow (cbrt PI) 4))) (cbrt (pow (cbrt PI) 4)) (pow (pow (cbrt PI) 4) 3) (sqrt (pow (cbrt PI) 4)) (sqrt (pow (cbrt PI) 4)) (pow (cbrt PI) 2) (pow (cbrt PI) 2) (* (* (- (log (/ 4.0 PI)) (- (+ (+ (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))) (log f)) (/ (* 0.0034722222222222225 (pow (pow (cbrt PI) 4) 3)) (/ (pow 4.0 2) (pow f 4)))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (neg (/ 1.0 PI))) 4.0) (* (* (- (log (/ 4.0 PI)) (- (+ (+ (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))) (log f)) (/ (* 0.0034722222222222225 (pow (pow (cbrt PI) 4) 3)) (/ (pow 4.0 2) (pow f 4)))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (neg (/ 1.0 PI))) 4.0) (* (* (- (log (/ 4.0 PI)) (- (+ (+ (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))) (log f)) (/ (* 0.0034722222222222225 (pow (pow (cbrt PI) 4) 3)) (/ (pow 4.0 2) (pow f 4)))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (neg (/ 1.0 PI))) 4.0) (* (* (- (log (/ 4.0 PI)) (- (+ (+ (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4))) (log f)) (/ (* 0.0034722222222222225 (pow (pow (cbrt PI) 4) 3)) (/ (pow 4.0 2) (pow f 4)))) (* 0.020833333333333336 (* (pow f 2) (pow PI 2))))) (neg (/ 1.0 PI))) 4.0) 3.751 * * * [progress]: adding candidates to table 4.065 * * [progress]: iteration 4 / 4 4.065 * * * [progress]: picking best candidate 4.174 * * * * [pick]: Picked # 4.174 * * * [progress]: localizing error 4.220 * * * [progress]: generating rewritten candidates 4.220 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 4.222 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2 2 1) 4.224 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 2 1 1 2) 4.227 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 2 1 1 1 2 1 1) 4.230 * * * [progress]: generating series expansions 4.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 4.231 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2 2 1) 4.231 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 2 1 1 2) 4.231 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 2 1 1 1 2 1 1) 4.231 * * * [progress]: simplifying candidates 4.232 * [simplify]: Simplifying using # : (log (* (cbrt (/ 4.0 PI)) (cbrt (/ 4.0 PI)))) (log (cbrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt PI) (cbrt PI)))) (log (/ (cbrt 4.0) (cbrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt PI))) (log (/ (cbrt 4.0) (sqrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) 1)) (log (/ (cbrt 4.0) PI)) (log (/ (sqrt 4.0) (* (cbrt PI) (cbrt PI)))) (log (/ (sqrt 4.0) (cbrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) 1)) (log (/ (sqrt 4.0) PI)) (log (/ 1 (* (cbrt PI) (cbrt PI)))) (log (/ 4.0 (cbrt PI))) (log (/ 1 (sqrt PI))) (log (/ 4.0 (sqrt PI))) (log (/ 1 1)) (log (/ 4.0 PI)) (log 1) (log (/ 4.0 PI)) (log 4.0) (log (/ 1 PI)) (log 4.0) (log PI) (log (/ 4.0 PI)) (log (log (/ 4.0 PI))) (exp (log (/ 4.0 PI))) (* (cbrt (log (/ 4.0 PI))) (cbrt (log (/ 4.0 PI)))) (cbrt (log (/ 4.0 PI))) (* (* (log (/ 4.0 PI)) (log (/ 4.0 PI))) (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (* (log PI) 4) (* (log PI) 4) (* 1 4) (pow PI (* (cbrt 4) (cbrt 4))) (pow PI (sqrt 4)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 4) (pow (cbrt PI) 4) (pow (sqrt PI) 4) (pow (sqrt PI) 4) (pow 1 4) (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (* (* (pow PI 4) (pow PI 4)) (pow PI 4)) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI (/ 4 2)) (pow PI (/ 4 2)) (* (log (cbrt PI)) 4) (* (log (cbrt PI)) 4) (* 1/3 4) (* 1 4) (pow (cbrt PI) (* (cbrt 4) (cbrt 4))) (pow (cbrt PI) (sqrt 4)) (pow (cbrt PI) 1) (pow (cbrt (* (cbrt PI) (cbrt PI))) 4) (pow (cbrt (cbrt PI)) 4) (pow (cbrt (sqrt PI)) 4) (pow (cbrt (sqrt PI)) 4) (pow (cbrt 1) 4) (pow (cbrt PI) 4) (pow (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) 4) (pow (cbrt (cbrt PI)) 4) (pow (sqrt (cbrt PI)) 4) (pow (sqrt (cbrt PI)) 4) (pow 1 4) (pow (cbrt PI) 4) (log (pow (cbrt PI) 4)) (exp (pow (cbrt PI) 4)) (* (cbrt (pow (cbrt PI) 4)) (cbrt (pow (cbrt PI) 4))) (cbrt (pow (cbrt PI) 4)) (* (* (pow (cbrt PI) 4) (pow (cbrt PI) 4)) (pow (cbrt PI) 4)) (sqrt (pow (cbrt PI) 4)) (sqrt (pow (cbrt PI) 4)) (pow (cbrt PI) (/ 4 2)) (pow (cbrt PI) (/ 4 2)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (* (pow (cbrt (sqrt PI)) 8) (pow (cbrt (sqrt PI)) 8)) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (* (pow (cbrt (sqrt PI)) 8) (pow (cbrt (sqrt PI)) 8)) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (* (pow (cbrt (sqrt PI)) 8) (pow (cbrt (sqrt PI)) 8)) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) (neg (* (/ 1.0 (/ PI 4.0)) (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (+ (log f) (+ (* 0.0034722222222222225 (/ (* (* (* (pow (cbrt (sqrt PI)) 8) (pow (cbrt (sqrt PI)) 8)) (pow (cbrt PI) 4)) (pow f 4)) (pow 4.0 2))) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))))))) 4.236 * * [simplify]: iteration 0 : 299 enodes (cost 407 ) 4.241 * * [simplify]: iteration 1 : 1121 enodes (cost 383 ) 4.263 * * [simplify]: iteration 2 : 5001 enodes (cost 356 ) 4.266 * [simplify]: Simplified to: (* 2 (log (cbrt (/ 4.0 PI)))) (log (cbrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (log (sqrt (/ 4.0 PI))) (* 2 (log (/ (cbrt 4.0) (cbrt PI)))) (log (/ (cbrt 4.0) (cbrt PI))) (log (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt PI))) (log (/ (cbrt 4.0) (sqrt PI))) (* 2 (log (cbrt 4.0))) (log (/ (cbrt 4.0) PI)) (log (/ (sqrt 4.0) (* (cbrt PI) (cbrt PI)))) (log (/ (sqrt 4.0) (cbrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (/ (sqrt 4.0) (sqrt PI))) (log (sqrt 4.0)) (log (/ (sqrt 4.0) PI)) (* -2 (log (cbrt PI))) (log (/ 4.0 (cbrt PI))) (log (/ 1 (sqrt PI))) (log (/ 4.0 (sqrt PI))) 0 (log (/ 4.0 PI)) 0 (log (/ 4.0 PI)) (log 4.0) (log (/ 1 PI)) (log 4.0) (log PI) (log (/ 4.0 PI)) (log (log (/ 4.0 PI))) (/ 4.0 PI) (* (cbrt (log (/ 4.0 PI))) (cbrt (log (/ 4.0 PI)))) (cbrt (log (/ 4.0 PI))) (pow (log (/ 4.0 PI)) 3) (sqrt (log (/ 4.0 PI))) (sqrt (log (/ 4.0 PI))) (log (pow PI 4)) (log (pow PI 4)) 4 (pow PI (* (cbrt 4) (cbrt 4))) (pow PI 2) PI (pow (cbrt PI) 8) (pow (cbrt PI) 4) (pow PI 2) (pow PI 2) 1 (pow PI 4) (log (pow PI 4)) (exp (pow PI 4)) (* (cbrt (pow PI 4)) (cbrt (pow PI 4))) (cbrt (pow PI 4)) (pow (pow PI 4) 3) (sqrt (pow PI 4)) (sqrt (pow PI 4)) (pow PI 2) (pow PI 2) (log (pow (cbrt PI) 4)) (log (pow (cbrt PI) 4)) 4/3 4 (pow (cbrt PI) (* (cbrt 4) (cbrt 4))) (pow (cbrt PI) 2) (cbrt PI) (pow (cbrt (* (cbrt PI) (cbrt PI))) 4) (pow (cbrt (cbrt PI)) 4) (pow (cbrt (sqrt PI)) 4) (pow (cbrt (sqrt PI)) 4) 1 (pow (cbrt PI) 4) (pow (cbrt (cbrt PI)) 8) (pow (cbrt (cbrt PI)) 4) (pow (cbrt PI) 2) (pow (cbrt PI) 2) 1 (pow (cbrt PI) 4) (log (pow (cbrt PI) 4)) (exp (pow (cbrt PI) 4)) (* (cbrt (pow (cbrt PI) 4)) (cbrt (pow (cbrt PI) 4))) (cbrt (pow (cbrt PI) 4)) (pow (pow (cbrt PI) 4) 3) (sqrt (pow (cbrt PI) 4)) (sqrt (pow (cbrt PI) 4)) (pow (cbrt PI) 2) (pow (cbrt PI) 2) (log (pow PI 1/2)) (exp (sqrt PI)) (pow (cbrt (sqrt PI)) 2) (cbrt (sqrt PI)) (pow PI 3/2) (fabs (cbrt PI)) (pow (cbrt PI) 1/2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (pow PI 1/2) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (neg (* (- (- (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (log f)) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (/ (* 0.0034722222222222225 (* (pow (cbrt (sqrt PI)) 16) (* (pow (cbrt PI) 4) (pow f 4)))) (pow 4.0 2))) (/ 1.0 PI))) 4.0) (* (neg (* (- (- (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (log f)) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (/ (* 0.0034722222222222225 (* (pow (cbrt (sqrt PI)) 16) (* (pow (cbrt PI) 4) (pow f 4)))) (pow 4.0 2))) (/ 1.0 PI))) 4.0) (* (neg (* (- (- (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (log f)) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (/ (* 0.0034722222222222225 (* (pow (cbrt (sqrt PI)) 16) (* (pow (cbrt PI) 4) (pow f 4)))) (pow 4.0 2))) (/ 1.0 PI))) 4.0) (* (neg (* (- (- (- (+ (* 0.020833333333333336 (* (pow f 2) (pow PI 2))) (log (/ 4.0 PI))) (log f)) (* 8.68055555555556e-05 (* (pow PI 4) (pow f 4)))) (/ (* 0.0034722222222222225 (* (pow (cbrt (sqrt PI)) 16) (* (pow (cbrt PI) 4) (pow f 4)))) (pow 4.0 2))) (/ 1.0 PI))) 4.0) 4.266 * * * [progress]: adding candidates to table 4.548 * [progress]: [Phase 3 of 3] Extracting. 4.548 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 4.575 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ PI 4.0) f) f) 4.575 * * * * [regimes]: Trying to branch on (* (/ PI 4.0) f) from (# # # # # # # # # # # #) 4.709 * * * * [regimes]: Trying to branch on (* (/ PI 4.0) f) from (# #) 4.738 * * * * [regimes]: Trying to branch on f from (# # # # # # # # # # # #) 4.870 * * * [regime]: Found split indices: #