0.717 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.516 * * * [progress]: [2/2] Setting up program. 0.522 * [progress]: [Phase 2 of 3] Improving. 0.526 * [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)))))))) 0.900 * * [simplify]: iteration 0 : 42 enodes (cost 22 ) 0.901 * * [simplify]: iteration 1 : 97 enodes (cost 22 ) 0.903 * * [simplify]: iteration 2 : 223 enodes (cost 22 ) 0.906 * * [simplify]: iteration 3 : 561 enodes (cost 22 ) 0.913 * * [simplify]: iteration 4 : 1215 enodes (cost 22 ) 0.928 * * [simplify]: iteration 5 : 2815 enodes (cost 22 ) 0.966 * * [simplify]: iteration 6 : 5002 enodes (cost 22 ) 0.967 * [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)))))))) 0.968 * * [progress]: iteration 1 / 4 0.968 * * * [progress]: picking best candidate 0.972 * * * * [pick]: Picked # 0.972 * * * [progress]: localizing error 0.990 * * * [progress]: generating rewritten candidates 0.990 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 0.997 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.007 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1.014 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 1) 1.025 * * * [progress]: generating series expansions 1.025 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 1.030 * [approximate]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in (f) around 0 1.031 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.031 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.031 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.031 * [taylor]: Taking taylor expansion of 0.25 in f 1.031 * [taylor]: Taking taylor expansion of (* f PI) in f 1.031 * [taylor]: Taking taylor expansion of f in f 1.031 * [taylor]: Taking taylor expansion of PI in f 1.031 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.031 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.031 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.031 * [taylor]: Taking taylor expansion of 0.25 in f 1.031 * [taylor]: Taking taylor expansion of (* f PI) in f 1.031 * [taylor]: Taking taylor expansion of f in f 1.031 * [taylor]: Taking taylor expansion of PI in f 1.031 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.031 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.031 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.031 * [taylor]: Taking taylor expansion of 0.25 in f 1.031 * [taylor]: Taking taylor expansion of (* f PI) in f 1.032 * [taylor]: Taking taylor expansion of f in f 1.032 * [taylor]: Taking taylor expansion of PI in f 1.032 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.032 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.032 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.032 * [taylor]: Taking taylor expansion of 0.25 in f 1.032 * [taylor]: Taking taylor expansion of (* f PI) in f 1.032 * [taylor]: Taking taylor expansion of f in f 1.032 * [taylor]: Taking taylor expansion of PI in f 1.040 * [approximate]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in (f) around 0 1.040 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.040 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.040 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.040 * [taylor]: Taking taylor expansion of 0.25 in f 1.040 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.040 * [taylor]: Taking taylor expansion of PI in f 1.040 * [taylor]: Taking taylor expansion of f in f 1.040 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.040 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.040 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.040 * [taylor]: Taking taylor expansion of 0.25 in f 1.040 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.040 * [taylor]: Taking taylor expansion of PI in f 1.040 * [taylor]: Taking taylor expansion of f in f 1.040 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.040 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.040 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.041 * [taylor]: Taking taylor expansion of 0.25 in f 1.041 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.041 * [taylor]: Taking taylor expansion of PI in f 1.041 * [taylor]: Taking taylor expansion of f in f 1.041 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.041 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.041 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.041 * [taylor]: Taking taylor expansion of 0.25 in f 1.041 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.041 * [taylor]: Taking taylor expansion of PI in f 1.041 * [taylor]: Taking taylor expansion of f in f 1.041 * [approximate]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in (f) around 0 1.041 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.041 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.042 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.042 * [taylor]: Taking taylor expansion of -0.25 in f 1.042 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.042 * [taylor]: Taking taylor expansion of PI in f 1.042 * [taylor]: Taking taylor expansion of f in f 1.042 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.042 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.042 * [taylor]: Taking taylor expansion of 0.25 in f 1.042 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.042 * [taylor]: Taking taylor expansion of PI in f 1.042 * [taylor]: Taking taylor expansion of f in f 1.042 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.042 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.042 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.042 * [taylor]: Taking taylor expansion of -0.25 in f 1.042 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.042 * [taylor]: Taking taylor expansion of PI in f 1.042 * [taylor]: Taking taylor expansion of f in f 1.042 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.042 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.042 * [taylor]: Taking taylor expansion of 0.25 in f 1.042 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.042 * [taylor]: Taking taylor expansion of PI in f 1.042 * [taylor]: Taking taylor expansion of f in f 1.043 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.043 * [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.043 * [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.043 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 1.043 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.043 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.043 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.043 * [taylor]: Taking taylor expansion of 0.25 in f 1.043 * [taylor]: Taking taylor expansion of (* f PI) in f 1.043 * [taylor]: Taking taylor expansion of f in f 1.043 * [taylor]: Taking taylor expansion of PI in f 1.043 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.043 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.043 * [taylor]: Taking taylor expansion of 0.25 in f 1.043 * [taylor]: Taking taylor expansion of (* f PI) in f 1.043 * [taylor]: Taking taylor expansion of f in f 1.043 * [taylor]: Taking taylor expansion of PI in f 1.043 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.043 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.043 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.043 * [taylor]: Taking taylor expansion of 0.25 in f 1.043 * [taylor]: Taking taylor expansion of (* f PI) in f 1.043 * [taylor]: Taking taylor expansion of f in f 1.043 * [taylor]: Taking taylor expansion of PI in f 1.043 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.043 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.043 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.043 * [taylor]: Taking taylor expansion of 0.25 in f 1.044 * [taylor]: Taking taylor expansion of (* f PI) in f 1.044 * [taylor]: Taking taylor expansion of f in f 1.044 * [taylor]: Taking taylor expansion of PI in f 1.044 * [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.044 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 1.044 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.044 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.044 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.044 * [taylor]: Taking taylor expansion of 0.25 in f 1.044 * [taylor]: Taking taylor expansion of (* f PI) in f 1.044 * [taylor]: Taking taylor expansion of f in f 1.044 * [taylor]: Taking taylor expansion of PI in f 1.044 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.044 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.044 * [taylor]: Taking taylor expansion of 0.25 in f 1.044 * [taylor]: Taking taylor expansion of (* f PI) in f 1.044 * [taylor]: Taking taylor expansion of f in f 1.044 * [taylor]: Taking taylor expansion of PI in f 1.044 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 1.044 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 1.044 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.044 * [taylor]: Taking taylor expansion of 0.25 in f 1.044 * [taylor]: Taking taylor expansion of (* f PI) in f 1.044 * [taylor]: Taking taylor expansion of f in f 1.044 * [taylor]: Taking taylor expansion of PI in f 1.045 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 1.045 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 1.045 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.045 * [taylor]: Taking taylor expansion of 0.25 in f 1.045 * [taylor]: Taking taylor expansion of (* f PI) in f 1.045 * [taylor]: Taking taylor expansion of f in f 1.045 * [taylor]: Taking taylor expansion of PI in f 1.062 * [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.062 * [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.062 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.062 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.062 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.062 * [taylor]: Taking taylor expansion of 0.25 in f 1.062 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.062 * [taylor]: Taking taylor expansion of PI in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.062 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.062 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.062 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.062 * [taylor]: Taking taylor expansion of 0.25 in f 1.062 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.062 * [taylor]: Taking taylor expansion of PI in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.062 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.062 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.062 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.062 * [taylor]: Taking taylor expansion of 0.25 in f 1.062 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.063 * [taylor]: Taking taylor expansion of PI in f 1.063 * [taylor]: Taking taylor expansion of f in f 1.063 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.063 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.063 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.063 * [taylor]: Taking taylor expansion of 0.25 in f 1.063 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.063 * [taylor]: Taking taylor expansion of PI in f 1.063 * [taylor]: Taking taylor expansion of f in f 1.063 * [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.063 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.063 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.063 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.063 * [taylor]: Taking taylor expansion of 0.25 in f 1.063 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.063 * [taylor]: Taking taylor expansion of PI in f 1.063 * [taylor]: Taking taylor expansion of f in f 1.063 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.063 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.063 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.063 * [taylor]: Taking taylor expansion of 0.25 in f 1.063 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.063 * [taylor]: Taking taylor expansion of PI in f 1.063 * [taylor]: Taking taylor expansion of f in f 1.064 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 1.064 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.064 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.064 * [taylor]: Taking taylor expansion of 0.25 in f 1.064 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.064 * [taylor]: Taking taylor expansion of PI in f 1.064 * [taylor]: Taking taylor expansion of f in f 1.064 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 1.064 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 1.064 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.064 * [taylor]: Taking taylor expansion of 0.25 in f 1.064 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.064 * [taylor]: Taking taylor expansion of PI in f 1.064 * [taylor]: Taking taylor expansion of f in f 1.069 * [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.069 * [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.069 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.069 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.069 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.069 * [taylor]: Taking taylor expansion of -0.25 in f 1.069 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.069 * [taylor]: Taking taylor expansion of PI in f 1.069 * [taylor]: Taking taylor expansion of f in f 1.069 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.069 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.069 * [taylor]: Taking taylor expansion of 0.25 in f 1.069 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.069 * [taylor]: Taking taylor expansion of PI in f 1.069 * [taylor]: Taking taylor expansion of f in f 1.070 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.070 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.070 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.070 * [taylor]: Taking taylor expansion of -0.25 in f 1.070 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.070 * [taylor]: Taking taylor expansion of PI in f 1.070 * [taylor]: Taking taylor expansion of f in f 1.070 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.070 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.070 * [taylor]: Taking taylor expansion of 0.25 in f 1.070 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.070 * [taylor]: Taking taylor expansion of PI in f 1.070 * [taylor]: Taking taylor expansion of f in f 1.070 * [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.070 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.070 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.070 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.070 * [taylor]: Taking taylor expansion of -0.25 in f 1.070 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.070 * [taylor]: Taking taylor expansion of PI in f 1.070 * [taylor]: Taking taylor expansion of f in f 1.070 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.070 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.070 * [taylor]: Taking taylor expansion of 0.25 in f 1.070 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.070 * [taylor]: Taking taylor expansion of PI in f 1.070 * [taylor]: Taking taylor expansion of f in f 1.071 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 1.071 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 1.071 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.071 * [taylor]: Taking taylor expansion of -0.25 in f 1.071 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.071 * [taylor]: Taking taylor expansion of PI in f 1.071 * [taylor]: Taking taylor expansion of f in f 1.071 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 1.071 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.071 * [taylor]: Taking taylor expansion of 0.25 in f 1.071 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.071 * [taylor]: Taking taylor expansion of PI in f 1.071 * [taylor]: Taking taylor expansion of f in f 1.075 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1.075 * [approximate]: Taking taylor expansion of (* 0.25 (* f PI)) in (f) around 0 1.075 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.075 * [taylor]: Taking taylor expansion of 0.25 in f 1.075 * [taylor]: Taking taylor expansion of (* f PI) in f 1.075 * [taylor]: Taking taylor expansion of f in f 1.075 * [taylor]: Taking taylor expansion of PI in f 1.075 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.075 * [taylor]: Taking taylor expansion of 0.25 in f 1.075 * [taylor]: Taking taylor expansion of (* f PI) in f 1.075 * [taylor]: Taking taylor expansion of f in f 1.075 * [taylor]: Taking taylor expansion of PI in f 1.076 * [approximate]: Taking taylor expansion of (* 0.25 (/ PI f)) in (f) around 0 1.076 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.076 * [taylor]: Taking taylor expansion of 0.25 in f 1.076 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.076 * [taylor]: Taking taylor expansion of PI in f 1.076 * [taylor]: Taking taylor expansion of f in f 1.076 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.076 * [taylor]: Taking taylor expansion of 0.25 in f 1.076 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.076 * [taylor]: Taking taylor expansion of PI in f 1.076 * [taylor]: Taking taylor expansion of f in f 1.077 * [approximate]: Taking taylor expansion of (* -0.25 (/ PI f)) in (f) around 0 1.077 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.077 * [taylor]: Taking taylor expansion of -0.25 in f 1.077 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.077 * [taylor]: Taking taylor expansion of PI in f 1.077 * [taylor]: Taking taylor expansion of f in f 1.077 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.077 * [taylor]: Taking taylor expansion of -0.25 in f 1.077 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.077 * [taylor]: Taking taylor expansion of PI in f 1.077 * [taylor]: Taking taylor expansion of f in f 1.078 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 1) 1.078 * [approximate]: Taking taylor expansion of (* 0.25 (* f PI)) in (f) around 0 1.078 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.078 * [taylor]: Taking taylor expansion of 0.25 in f 1.078 * [taylor]: Taking taylor expansion of (* f PI) in f 1.078 * [taylor]: Taking taylor expansion of f in f 1.078 * [taylor]: Taking taylor expansion of PI in f 1.078 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 1.078 * [taylor]: Taking taylor expansion of 0.25 in f 1.078 * [taylor]: Taking taylor expansion of (* f PI) in f 1.078 * [taylor]: Taking taylor expansion of f in f 1.078 * [taylor]: Taking taylor expansion of PI in f 1.079 * [approximate]: Taking taylor expansion of (* 0.25 (/ PI f)) in (f) around 0 1.079 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.079 * [taylor]: Taking taylor expansion of 0.25 in f 1.079 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.079 * [taylor]: Taking taylor expansion of PI in f 1.079 * [taylor]: Taking taylor expansion of f in f 1.079 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 1.079 * [taylor]: Taking taylor expansion of 0.25 in f 1.079 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.079 * [taylor]: Taking taylor expansion of PI in f 1.079 * [taylor]: Taking taylor expansion of f in f 1.080 * [approximate]: Taking taylor expansion of (* -0.25 (/ PI f)) in (f) around 0 1.080 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.080 * [taylor]: Taking taylor expansion of -0.25 in f 1.080 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.080 * [taylor]: Taking taylor expansion of PI in f 1.080 * [taylor]: Taking taylor expansion of f in f 1.080 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 1.080 * [taylor]: Taking taylor expansion of -0.25 in f 1.080 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.080 * [taylor]: Taking taylor expansion of PI in f 1.080 * [taylor]: Taking taylor expansion of f in f 1.081 * * * [progress]: simplifying candidates 1.084 * [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))))) (* (/ 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) (* (/ 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.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) 1.091 * * [simplify]: iteration 0 : 439 enodes (cost 1718 ) 1.098 * * [simplify]: iteration 1 : 1513 enodes (cost 1596 ) 1.124 * * [simplify]: iteration 2 : 5001 enodes (cost 1570 ) 1.132 * [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 (neg (/ PI 4.0))) (+ f f)) (+ (pow (exp (/ PI 4.0)) (* 2 f)) 1)) (/ -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)) (* (/ 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) (* f PI) (* (/ 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) (* f PI) (+ (* 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 f) PI)) (/ (+ (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.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) (* 0.25 (* f PI)) 1.133 * * * [progress]: adding candidates to table 1.540 * * [progress]: iteration 2 / 4 1.540 * * * [progress]: picking best candidate 1.548 * * * * [pick]: Picked # 1.548 * * * [progress]: localizing error 1.569 * * * [progress]: generating rewritten candidates 1.569 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2 2 2) 1.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.600 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.606 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 1.621 * * * [progress]: generating series expansions 1.621 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2 2 2) 1.621 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.621 * [approximate]: Taking taylor expansion of (* 4.0 (/ (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) in (f) around 0 1.621 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) in f 1.621 * [taylor]: Taking taylor expansion of 4.0 in f 1.621 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) in f 1.621 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) in f 1.621 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) in f 1.621 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) in f 1.621 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* f PI))) in f 1.621 * [taylor]: Taking taylor expansion of 4.0 in f 1.621 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 1.621 * [taylor]: Taking taylor expansion of (* f PI) in f 1.621 * [taylor]: Taking taylor expansion of f in f 1.622 * [taylor]: Taking taylor expansion of PI in f 1.622 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 1.622 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.622 * [taylor]: Taking taylor expansion of (* f PI) in f 1.622 * [taylor]: Taking taylor expansion of f in f 1.622 * [taylor]: Taking taylor expansion of PI in f 1.622 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) in f 1.622 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 1.622 * [taylor]: Taking taylor expansion of (* (pow f 3) (pow PI 3)) in f 1.622 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.622 * [taylor]: Taking taylor expansion of f in f 1.622 * [taylor]: Taking taylor expansion of (pow PI 3) in f 1.622 * [taylor]: Taking taylor expansion of PI in f 1.622 * [taylor]: Taking taylor expansion of PI in f 1.623 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) in f 1.623 * [taylor]: Taking taylor expansion of 4.0 in f 1.623 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) in f 1.623 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) in f 1.623 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) in f 1.623 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) in f 1.623 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* f PI))) in f 1.623 * [taylor]: Taking taylor expansion of 4.0 in f 1.623 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 1.623 * [taylor]: Taking taylor expansion of (* f PI) in f 1.623 * [taylor]: Taking taylor expansion of f in f 1.623 * [taylor]: Taking taylor expansion of PI in f 1.623 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 1.623 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.623 * [taylor]: Taking taylor expansion of (* f PI) in f 1.623 * [taylor]: Taking taylor expansion of f in f 1.623 * [taylor]: Taking taylor expansion of PI in f 1.623 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) in f 1.623 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 1.623 * [taylor]: Taking taylor expansion of (* (pow f 3) (pow PI 3)) in f 1.623 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.623 * [taylor]: Taking taylor expansion of f in f 1.623 * [taylor]: Taking taylor expansion of (pow PI 3) in f 1.623 * [taylor]: Taking taylor expansion of PI in f 1.623 * [taylor]: Taking taylor expansion of PI in f 1.630 * [approximate]: Taking taylor expansion of (* 4.0 (/ (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) PI)) in (f) around 0 1.630 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) PI)) in f 1.630 * [taylor]: Taking taylor expansion of 4.0 in f 1.630 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) PI) in f 1.630 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) in f 1.630 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3)))) in f 1.630 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 1.630 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 1.630 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.630 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.630 * [taylor]: Taking taylor expansion of PI in f 1.630 * [taylor]: Taking taylor expansion of f in f 1.630 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 1.630 * [taylor]: Taking taylor expansion of 4.0 in f 1.630 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.630 * [taylor]: Taking taylor expansion of f in f 1.630 * [taylor]: Taking taylor expansion of PI in f 1.630 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 1.630 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 1.630 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 1.631 * [taylor]: Taking taylor expansion of (pow PI 3) in f 1.631 * [taylor]: Taking taylor expansion of PI in f 1.631 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.631 * [taylor]: Taking taylor expansion of f in f 1.631 * [taylor]: Taking taylor expansion of PI in f 1.631 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) PI)) in f 1.631 * [taylor]: Taking taylor expansion of 4.0 in f 1.631 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) PI) in f 1.631 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) in f 1.631 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3)))) in f 1.631 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 1.631 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 1.631 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.631 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.631 * [taylor]: Taking taylor expansion of PI in f 1.632 * [taylor]: Taking taylor expansion of f in f 1.632 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 1.632 * [taylor]: Taking taylor expansion of 4.0 in f 1.632 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.632 * [taylor]: Taking taylor expansion of f in f 1.632 * [taylor]: Taking taylor expansion of PI in f 1.632 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 1.632 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 1.632 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 1.632 * [taylor]: Taking taylor expansion of (pow PI 3) in f 1.632 * [taylor]: Taking taylor expansion of PI in f 1.632 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.632 * [taylor]: Taking taylor expansion of f in f 1.632 * [taylor]: Taking taylor expansion of PI in f 1.640 * [approximate]: Taking taylor expansion of (* 4.0 (/ (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) PI)) in (f) around 0 1.640 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) PI)) in f 1.640 * [taylor]: Taking taylor expansion of 4.0 in f 1.640 * [taylor]: Taking taylor expansion of (/ (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) PI) in f 1.640 * [taylor]: Taking taylor expansion of (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) in f 1.640 * [taylor]: Taking taylor expansion of (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI)))) in f 1.640 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 1.641 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 1.641 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 1.641 * [taylor]: Taking taylor expansion of (pow PI 3) in f 1.641 * [taylor]: Taking taylor expansion of PI in f 1.641 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.641 * [taylor]: Taking taylor expansion of f in f 1.641 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 1.641 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 1.641 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.641 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.641 * [taylor]: Taking taylor expansion of PI in f 1.641 * [taylor]: Taking taylor expansion of f in f 1.641 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 1.641 * [taylor]: Taking taylor expansion of 4.0 in f 1.641 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.641 * [taylor]: Taking taylor expansion of f in f 1.641 * [taylor]: Taking taylor expansion of PI in f 1.641 * [taylor]: Taking taylor expansion of PI in f 1.641 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) PI)) in f 1.641 * [taylor]: Taking taylor expansion of 4.0 in f 1.641 * [taylor]: Taking taylor expansion of (/ (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) PI) in f 1.642 * [taylor]: Taking taylor expansion of (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) in f 1.642 * [taylor]: Taking taylor expansion of (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI)))) in f 1.642 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 1.642 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 1.642 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 1.642 * [taylor]: Taking taylor expansion of (pow PI 3) in f 1.642 * [taylor]: Taking taylor expansion of PI in f 1.642 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.642 * [taylor]: Taking taylor expansion of f in f 1.642 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 1.642 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 1.642 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.642 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.642 * [taylor]: Taking taylor expansion of PI in f 1.642 * [taylor]: Taking taylor expansion of f in f 1.642 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 1.642 * [taylor]: Taking taylor expansion of 4.0 in f 1.642 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.642 * [taylor]: Taking taylor expansion of f in f 1.642 * [taylor]: Taking taylor expansion of PI in f 1.642 * [taylor]: Taking taylor expansion of PI in f 1.649 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 1.649 * [approximate]: Taking taylor expansion of (/ 4.0 (* PI f)) in (f) around 0 1.649 * [taylor]: Taking taylor expansion of (/ 4.0 (* PI f)) in f 1.649 * [taylor]: Taking taylor expansion of 4.0 in f 1.649 * [taylor]: Taking taylor expansion of (* PI f) in f 1.649 * [taylor]: Taking taylor expansion of PI in f 1.649 * [taylor]: Taking taylor expansion of f in f 1.649 * [taylor]: Taking taylor expansion of (/ 4.0 (* PI f)) in f 1.649 * [taylor]: Taking taylor expansion of 4.0 in f 1.649 * [taylor]: Taking taylor expansion of (* PI f) in f 1.649 * [taylor]: Taking taylor expansion of PI in f 1.649 * [taylor]: Taking taylor expansion of f in f 1.650 * [approximate]: Taking taylor expansion of (* 4.0 (/ f PI)) in (f) around 0 1.651 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 1.651 * [taylor]: Taking taylor expansion of 4.0 in f 1.651 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.651 * [taylor]: Taking taylor expansion of f in f 1.651 * [taylor]: Taking taylor expansion of PI in f 1.651 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 1.651 * [taylor]: Taking taylor expansion of 4.0 in f 1.651 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.651 * [taylor]: Taking taylor expansion of f in f 1.651 * [taylor]: Taking taylor expansion of PI in f 1.652 * [approximate]: Taking taylor expansion of (* -4.0 (/ f PI)) in (f) around 0 1.652 * [taylor]: Taking taylor expansion of (* -4.0 (/ f PI)) in f 1.652 * [taylor]: Taking taylor expansion of -4.0 in f 1.652 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.652 * [taylor]: Taking taylor expansion of f in f 1.652 * [taylor]: Taking taylor expansion of PI in f 1.652 * [taylor]: Taking taylor expansion of (* -4.0 (/ f PI)) in f 1.652 * [taylor]: Taking taylor expansion of -4.0 in f 1.652 * [taylor]: Taking taylor expansion of (/ f PI) in f 1.652 * [taylor]: Taking taylor expansion of f in f 1.652 * [taylor]: Taking taylor expansion of PI in f 1.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 1.653 * [approximate]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in (f) around 0 1.653 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 1.653 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.653 * [taylor]: Taking taylor expansion of (* f PI) in f 1.653 * [taylor]: Taking taylor expansion of f in f 1.653 * [taylor]: Taking taylor expansion of PI in f 1.653 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 1.653 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.653 * [taylor]: Taking taylor expansion of (* f PI) in f 1.653 * [taylor]: Taking taylor expansion of f in f 1.653 * [taylor]: Taking taylor expansion of PI in f 1.654 * [approximate]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in (f) around 0 1.654 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 1.654 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.654 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.654 * [taylor]: Taking taylor expansion of PI in f 1.654 * [taylor]: Taking taylor expansion of f in f 1.654 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 1.654 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 1.654 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.654 * [taylor]: Taking taylor expansion of PI in f 1.654 * [taylor]: Taking taylor expansion of f in f 1.655 * [approximate]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in (f) around 0 1.655 * [taylor]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in f 1.655 * [taylor]: Taking taylor expansion of -0.08333333333333334 in f 1.655 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.655 * [taylor]: Taking taylor expansion of PI in f 1.655 * [taylor]: Taking taylor expansion of f in f 1.655 * [taylor]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in f 1.655 * [taylor]: Taking taylor expansion of -0.08333333333333334 in f 1.655 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.655 * [taylor]: Taking taylor expansion of PI in f 1.655 * [taylor]: Taking taylor expansion of f in f 1.656 * * * [progress]: simplifying candidates 1.659 * [simplify]: Simplifying using # : (* (log PI) 3) (* (log PI) 3) (* 1 3) (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* (cbrt (pow PI 3)) (cbrt (pow PI 3))) (cbrt (pow PI 3)) (* (* (pow PI 3) (pow PI 3)) (pow PI 3)) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI (/ 3 2)) (pow PI (/ 3 2)) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (+ (- (log 1.0) (- (log PI) (log 4.0))) (log (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (+ (- (log 1.0) (log (/ PI 4.0))) (log (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (+ (log (/ 1.0 (/ PI 4.0))) (log (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (log (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (exp (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (* (* 1.0 1.0) 1.0) (/ (* (* PI PI) PI) (* (* 4.0 4.0) 4.0))) (* (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (/ PI 4.0) (/ PI 4.0)) (/ PI 4.0))) (* (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (* (* (/ 1.0 (/ PI 4.0)) (/ 1.0 (/ PI 4.0))) (/ 1.0 (/ PI 4.0))) (* (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (cbrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (* (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (sqrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (sqrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (* (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))))) (* (/ 1.0 (/ PI 4.0)) (log (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log 1)) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log 1)) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (log (* (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ 1.0 (/ PI 4.0))) (* (log (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ 1.0 (/ PI 4.0))) (* (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ 1.0 (/ PI 4.0))) (* (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ 1.0 (/ PI 4.0))) (* (log 1) (/ 1.0 (/ PI 4.0))) (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (/ 1.0 (/ PI 4.0))) (* (log 1) (/ 1.0 (/ PI 4.0))) (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (/ 1.0 (/ PI 4.0))) (* (/ 1.0 (/ PI 4.0)) 1) (* (/ 1.0 (/ PI 4.0)) (* (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))))) (* (/ 1.0 (/ PI 4.0)) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) 1) (* (cbrt (/ 1.0 (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (sqrt (/ 1.0 (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (cbrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (sqrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (cbrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (sqrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ 1 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (cbrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (cbrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (sqrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ 1 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (cbrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (sqrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (cbrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (cbrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (cbrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (sqrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (sqrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (sqrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ 1 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* 4.0 (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* 1.0 (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (- (- (log 4.0) (log f)) (log PI)) (- (log (/ 4.0 f)) (log PI)) (log (/ (/ 4.0 f) PI)) (exp (/ (/ 4.0 f) PI)) (/ (/ (* (* 4.0 4.0) 4.0) (* (* f f) f)) (* (* PI PI) PI)) (/ (* (* (/ 4.0 f) (/ 4.0 f)) (/ 4.0 f)) (* (* PI PI) PI)) (* (cbrt (/ (/ 4.0 f) PI)) (cbrt (/ (/ 4.0 f) PI))) (cbrt (/ (/ 4.0 f) PI)) (* (* (/ (/ 4.0 f) PI) (/ (/ 4.0 f) PI)) (/ (/ 4.0 f) PI)) (sqrt (/ (/ 4.0 f) PI)) (sqrt (/ (/ 4.0 f) PI)) (neg (/ 4.0 f)) (neg PI) (/ (* (cbrt (/ 4.0 f)) (cbrt (/ 4.0 f))) (* (cbrt PI) (cbrt PI))) (/ (cbrt (/ 4.0 f)) (cbrt PI)) (/ (* (cbrt (/ 4.0 f)) (cbrt (/ 4.0 f))) (sqrt PI)) (/ (cbrt (/ 4.0 f)) (sqrt PI)) (/ (* (cbrt (/ 4.0 f)) (cbrt (/ 4.0 f))) 1) (/ (cbrt (/ 4.0 f)) PI) (/ (sqrt (/ 4.0 f)) (* (cbrt PI) (cbrt PI))) (/ (sqrt (/ 4.0 f)) (cbrt PI)) (/ (sqrt (/ 4.0 f)) (sqrt PI)) (/ (sqrt (/ 4.0 f)) (sqrt PI)) (/ (sqrt (/ 4.0 f)) 1) (/ (sqrt (/ 4.0 f)) PI) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt f) (cbrt f))) (* (cbrt PI) (cbrt PI))) (/ (/ (cbrt 4.0) (cbrt f)) (cbrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt f) (cbrt f))) (sqrt PI)) (/ (/ (cbrt 4.0) (cbrt f)) (sqrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt f) (cbrt f))) 1) (/ (/ (cbrt 4.0) (cbrt f)) PI) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt f)) (* (cbrt PI) (cbrt PI))) (/ (/ (cbrt 4.0) (sqrt f)) (cbrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt f)) (sqrt PI)) (/ (/ (cbrt 4.0) (sqrt f)) (sqrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt f)) 1) (/ (/ (cbrt 4.0) (sqrt f)) PI) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) 1) (* (cbrt PI) (cbrt PI))) (/ (/ (cbrt 4.0) f) (cbrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) 1) (sqrt PI)) (/ (/ (cbrt 4.0) f) (sqrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) 1) 1) (/ (/ (cbrt 4.0) f) PI) (/ (/ (sqrt 4.0) (* (cbrt f) (cbrt f))) (* (cbrt PI) (cbrt PI))) (/ (/ (sqrt 4.0) (cbrt f)) (cbrt PI)) (/ (/ (sqrt 4.0) (* (cbrt f) (cbrt f))) (sqrt PI)) (/ (/ (sqrt 4.0) (cbrt f)) (sqrt PI)) (/ (/ (sqrt 4.0) (* (cbrt f) (cbrt f))) 1) (/ (/ (sqrt 4.0) (cbrt f)) PI) (/ (/ (sqrt 4.0) (sqrt f)) (* (cbrt PI) (cbrt PI))) (/ (/ (sqrt 4.0) (sqrt f)) (cbrt PI)) (/ (/ (sqrt 4.0) (sqrt f)) (sqrt PI)) (/ (/ (sqrt 4.0) (sqrt f)) (sqrt PI)) (/ (/ (sqrt 4.0) (sqrt f)) 1) (/ (/ (sqrt 4.0) (sqrt f)) PI) (/ (/ (sqrt 4.0) 1) (* (cbrt PI) (cbrt PI))) (/ (/ (sqrt 4.0) f) (cbrt PI)) (/ (/ (sqrt 4.0) 1) (sqrt PI)) (/ (/ (sqrt 4.0) f) (sqrt PI)) (/ (/ (sqrt 4.0) 1) 1) (/ (/ (sqrt 4.0) f) PI) (/ (/ 1 (* (cbrt f) (cbrt f))) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 (cbrt f)) (cbrt PI)) (/ (/ 1 (* (cbrt f) (cbrt f))) (sqrt PI)) (/ (/ 4.0 (cbrt f)) (sqrt PI)) (/ (/ 1 (* (cbrt f) (cbrt f))) 1) (/ (/ 4.0 (cbrt f)) PI) (/ (/ 1 (sqrt f)) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 (sqrt f)) (cbrt PI)) (/ (/ 1 (sqrt f)) (sqrt PI)) (/ (/ 4.0 (sqrt f)) (sqrt PI)) (/ (/ 1 (sqrt f)) 1) (/ (/ 4.0 (sqrt f)) PI) (/ (/ 1 1) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 f) (cbrt PI)) (/ (/ 1 1) (sqrt PI)) (/ (/ 4.0 f) (sqrt PI)) (/ (/ 1 1) 1) (/ (/ 4.0 f) PI) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 f) (cbrt PI)) (/ 1 (sqrt PI)) (/ (/ 4.0 f) (sqrt PI)) (/ 1 1) (/ (/ 4.0 f) PI) (/ 4.0 (* (cbrt PI) (cbrt PI))) (/ (/ 1 f) (cbrt PI)) (/ 4.0 (sqrt PI)) (/ (/ 1 f) (sqrt PI)) (/ 4.0 1) (/ (/ 1 f) PI) (/ 1 PI) (/ PI (/ 4.0 f)) (/ (/ 4.0 f) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 f) (sqrt PI)) (/ (/ 4.0 f) 1) (/ PI (cbrt (/ 4.0 f))) (/ PI (sqrt (/ 4.0 f))) (/ PI (/ (cbrt 4.0) (cbrt f))) (/ PI (/ (cbrt 4.0) (sqrt f))) (/ PI (/ (cbrt 4.0) f)) (/ PI (/ (sqrt 4.0) (cbrt f))) (/ PI (/ (sqrt 4.0) (sqrt f))) (/ PI (/ (sqrt 4.0) f)) (/ PI (/ 4.0 (cbrt f))) (/ PI (/ 4.0 (sqrt f))) (/ PI (/ 4.0 f)) (/ PI (/ 4.0 f)) (/ PI (/ 1 f)) (* PI f) (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)) (+ (log 0.08333333333333334) (+ (log f) (log PI))) (+ (log 0.08333333333333334) (log (* f PI))) (log (* 0.08333333333333334 (* f PI))) (exp (* 0.08333333333333334 (* f PI))) (* (* (* 0.08333333333333334 0.08333333333333334) 0.08333333333333334) (* (* (* f f) f) (* (* PI PI) PI))) (* (* (* 0.08333333333333334 0.08333333333333334) 0.08333333333333334) (* (* (* f PI) (* f PI)) (* f PI))) (* (cbrt (* 0.08333333333333334 (* f PI))) (cbrt (* 0.08333333333333334 (* f PI)))) (cbrt (* 0.08333333333333334 (* f PI))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* 0.08333333333333334 (* f PI))) (sqrt (* 0.08333333333333334 (* f PI))) (sqrt (* 0.08333333333333334 (* f PI))) (* 0.08333333333333334 f) (* (cbrt 0.08333333333333334) (* f PI)) (* (sqrt 0.08333333333333334) (* f PI)) (* 0.08333333333333334 (* f PI)) (neg (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* 4.0 (/ (log (neg (* 0.0003472222222222224 (pow PI 3)))) PI)) (+ (* 959.9999999999997 (/ 1 (* (pow PI 3) (pow f 2)))) (+ (* 12.0 (/ (log (/ 1 f)) PI)) (+ (* 0.01388888888888889 (/ 1 (* (pow -0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (* 46079.99999999998 (/ 1 (* (pow PI 5) (pow f 4)))))))) (- (* 4.0 (/ (log (* 0.0003472222222222224 (pow PI 3))) PI)) (+ (* 0.01388888888888889 (/ 1 (* (pow 0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (+ (* 12.0 (/ (log (/ -1 f)) PI)) (+ (* 46079.99999999998 (/ 1 (* (pow PI 5) (pow f 4)))) (* 959.9999999999997 (/ 1 (* (pow PI 3) (pow f 2)))))))) (/ 4.0 (* f PI)) (/ 4.0 (* f PI)) (/ 4.0 (* f PI)) (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)) 1.671 * * [simplify]: iteration 0 : 1050 enodes (cost 2056 ) 1.690 * * [simplify]: iteration 1 : 5001 enodes (cost 1880 ) 1.701 * [simplify]: Simplified to: (log (pow PI 3)) (log (pow PI 3)) 3 (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) PI (* PI PI) PI (pow (sqrt PI) 3) (pow (sqrt PI) 3) 1 (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* PI PI) PI (pow (pow PI 3) 3) (* PI PI) PI (pow (sqrt PI) 3) (pow (sqrt PI) 3) 1 (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI 3/2) (pow PI 3/2) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (log (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (log (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (log (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (log (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (pow (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)) (/ 1.0 (/ PI 4.0))) (pow (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) 3) (pow (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) 3) (pow (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) 3) (* (cbrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))))) (cbrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (pow (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) 3) (sqrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (sqrt (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (sqrt (/ 1.0 (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (* (* 2 (log (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ 1.0 PI)) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (* 0 (/ 1.0 PI)) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* 0 (/ 1.0 PI)) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* (* 2 (log (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ 1.0 PI)) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (cbrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (/ 1.0 (/ PI 4.0)) (log (sqrt (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (* (* 0 (/ 1.0 PI)) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* 0 (/ 1.0 PI)) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ 1.0 (/ PI 4.0)) (* (/ 1.0 (/ PI 4.0)) (* (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))))) (* (/ 1.0 (/ PI 4.0)) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ 1.0 (/ PI 4.0)) (* (cbrt (/ 1.0 (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (sqrt (/ 1.0 (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (cbrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (sqrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (cbrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ (sqrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (cbrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt 1.0)) 4.0) (* (/ (sqrt 1.0) (cbrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (sqrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (cbrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (cbrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (cbrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (sqrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (sqrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ (sqrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (sqrt 1.0) (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt 1.0)) 4.0) (* (/ 1.0 (cbrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (sqrt (/ PI 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (cbrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (cbrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (cbrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (sqrt PI) (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (sqrt PI) (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ (sqrt PI) 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI (cbrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI (sqrt 4.0))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) 1.0) 4.0) (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) 4.0) (* 4.0 (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* 1.0 (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (log (/ (/ 4.0 f) PI)) (log (/ (/ 4.0 f) PI)) (log (/ (/ 4.0 f) PI)) (exp (/ (/ 4.0 f) PI)) (pow (/ 4.0 (* f PI)) 3) (pow (/ 4.0 (* f PI)) 3) (* (cbrt (/ (/ 4.0 f) PI)) (cbrt (/ (/ 4.0 f) PI))) (cbrt (/ (/ 4.0 f) PI)) (pow (/ 4.0 (* f PI)) 3) (sqrt (/ (/ 4.0 f) PI)) (sqrt (/ (/ 4.0 f) PI)) (neg (/ 4.0 f)) (neg PI) (/ (* (cbrt (/ 4.0 f)) (cbrt (/ 4.0 f))) (* (cbrt PI) (cbrt PI))) (/ (cbrt (/ 4.0 f)) (cbrt PI)) (/ (* (cbrt (/ 4.0 f)) (cbrt (/ 4.0 f))) (sqrt PI)) (/ (cbrt (/ 4.0 f)) (pow PI 1/2)) (* (cbrt (/ 4.0 f)) (cbrt (/ 4.0 f))) (/ (cbrt (/ 4.0 f)) PI) (/ (sqrt (/ 4.0 f)) (* (cbrt PI) (cbrt PI))) (/ (sqrt (/ 4.0 f)) (cbrt PI)) (/ (sqrt (/ 4.0 f)) (sqrt PI)) (/ (sqrt (/ 4.0 f)) (sqrt PI)) (sqrt (/ 4.0 f)) (/ (sqrt (/ 4.0 f)) PI) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt f) (cbrt f))) (* (cbrt PI) (cbrt PI))) (/ (/ (cbrt 4.0) (cbrt f)) (cbrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt f) (cbrt f))) (sqrt PI)) (/ (/ (cbrt 4.0) (cbrt f)) (sqrt PI)) (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt f) (cbrt f))) (/ (/ (cbrt 4.0) (cbrt f)) PI) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt f)) (* (cbrt PI) (cbrt PI))) (/ (/ (cbrt 4.0) (sqrt f)) (cbrt PI)) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt f)) (sqrt PI)) (/ (/ (cbrt 4.0) (sqrt f)) (sqrt PI)) (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt f)) (/ (/ (cbrt 4.0) (sqrt f)) PI) (/ (/ (* (cbrt 4.0) (cbrt 4.0)) (cbrt PI)) (cbrt PI)) (/ (/ (cbrt 4.0) f) (cbrt PI)) (/ (cbrt 4.0) (/ (sqrt PI) (cbrt 4.0))) (/ (/ (cbrt 4.0) f) (sqrt PI)) (* (cbrt 4.0) (cbrt 4.0)) (/ (/ (cbrt 4.0) f) PI) (/ (/ (sqrt 4.0) (* (cbrt f) (cbrt f))) (* (cbrt PI) (cbrt PI))) (/ (/ (sqrt 4.0) (cbrt f)) (cbrt PI)) (/ (/ (sqrt 4.0) (* (cbrt f) (cbrt f))) (sqrt PI)) (/ (/ (sqrt 4.0) (cbrt f)) (sqrt PI)) (/ (sqrt 4.0) (* (cbrt f) (cbrt f))) (/ (/ (sqrt 4.0) (cbrt f)) PI) (/ (/ (sqrt 4.0) (sqrt f)) (* (cbrt PI) (cbrt PI))) (/ (/ (sqrt 4.0) (sqrt f)) (cbrt PI)) (/ (/ (sqrt 4.0) (sqrt f)) (sqrt PI)) (/ (/ (sqrt 4.0) (sqrt f)) (sqrt PI)) (/ (sqrt 4.0) (sqrt f)) (/ (/ (sqrt 4.0) (sqrt f)) PI) (/ (/ (sqrt 4.0) (cbrt PI)) (cbrt PI)) (/ (/ (sqrt 4.0) f) (cbrt PI)) (/ (sqrt 4.0) (pow PI 1/2)) (/ (/ (sqrt 4.0) f) (sqrt PI)) (sqrt 4.0) (/ (/ (sqrt 4.0) f) PI) (/ (/ 1 (* (cbrt f) (cbrt f))) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 (cbrt f)) (cbrt PI)) (/ (/ 1 (* (cbrt f) (cbrt f))) (sqrt PI)) (/ (/ 4.0 (cbrt f)) (sqrt PI)) (/ 1 (* (cbrt f) (cbrt f))) (/ (/ 4.0 (cbrt f)) PI) (/ (/ 1 (sqrt f)) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 (sqrt f)) (cbrt PI)) (/ (/ 1 (sqrt f)) (sqrt PI)) (/ (/ 4.0 (sqrt f)) (sqrt PI)) (/ 1 (sqrt f)) (/ (/ 4.0 (sqrt f)) PI) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 f) (cbrt PI)) (/ 1 (sqrt PI)) (/ (/ 4.0 f) (sqrt PI)) 1 (/ 4.0 (* f PI)) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 f) (cbrt PI)) (/ 1 (sqrt PI)) (/ (/ 4.0 f) (sqrt PI)) 1 (/ 4.0 (* f PI)) (/ 4.0 (* (cbrt PI) (cbrt PI))) (/ (/ 1 f) (cbrt PI)) (/ 4.0 (sqrt PI)) (/ (/ 1 f) (sqrt PI)) 4.0 (/ (/ 1 f) PI) (/ 1 PI) (/ PI (/ 4.0 f)) (/ (/ 4.0 f) (* (cbrt PI) (cbrt PI))) (/ (/ 4.0 f) (sqrt PI)) (/ 4.0 f) (/ PI (cbrt (/ 4.0 f))) (/ PI (sqrt (/ 4.0 f))) (/ PI (/ (cbrt 4.0) (cbrt f))) (/ PI (/ (cbrt 4.0) (sqrt f))) (/ PI (/ (cbrt 4.0) f)) (/ PI (/ (sqrt 4.0) (cbrt f))) (/ PI (/ (sqrt 4.0) (sqrt f))) (/ PI (/ (sqrt 4.0) f)) (/ PI (/ 4.0 (cbrt f))) (/ PI (/ 4.0 (sqrt f))) (/ PI (/ 4.0 f)) (/ PI (/ 4.0 f)) (* f PI) (* f PI) (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)) (log (* 0.08333333333333334 (* f PI))) (log (* 0.08333333333333334 (* f PI))) (log (* 0.08333333333333334 (* f PI))) (exp (* 0.08333333333333334 (* f PI))) (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.08333333333333334 (* f PI)) 3) (* (cbrt (* 0.08333333333333334 (* f PI))) (cbrt (* 0.08333333333333334 (* f PI)))) (cbrt (* 0.08333333333333334 (* f PI))) (pow (* 0.08333333333333334 (* f PI)) 3) (sqrt (* 0.08333333333333334 (* f PI))) (sqrt (* 0.08333333333333334 (* f PI))) (* 0.08333333333333334 f) (* (cbrt 0.08333333333333334) (* f PI)) (* (sqrt 0.08333333333333334) (* f PI)) (* 0.08333333333333334 (* f PI)) (neg (* (/ 1.0 (/ PI 4.0)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* 4.0 (/ (log (neg (* 0.0003472222222222224 (pow PI 3)))) PI)) (+ (* 959.9999999999997 (/ 1 (* (pow PI 3) (pow f 2)))) (+ (* 12.0 (/ (log (/ 1 f)) PI)) (+ (* 0.01388888888888889 (/ 1 (* (pow -0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (* 46079.99999999998 (/ 1 (* (pow PI 5) (pow f 4)))))))) (- (* 4.0 (/ (log (* 0.0003472222222222224 (pow PI 3))) PI)) (+ (* 0.01388888888888889 (/ 1 (* (pow 0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (+ (* 12.0 (/ (log (/ -1 f)) PI)) (+ (* 46079.99999999998 (/ 1 (* (pow PI 5) (pow f 4)))) (* 959.9999999999997 (/ 1 (* (pow PI 3) (pow f 2)))))))) (/ 4.0 (* f PI)) (/ 4.0 (* f PI)) (/ 4.0 (* f PI)) (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)) 1.702 * * * [progress]: adding candidates to table 2.191 * * [progress]: iteration 3 / 4 2.191 * * * [progress]: picking best candidate 2.225 * * * * [pick]: Picked # 2.225 * * * [progress]: localizing error 2.255 * * * [progress]: generating rewritten candidates 2.255 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1) 2.258 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2 2) 2.260 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 2) 2.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.289 * * * [progress]: generating series expansions 2.289 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1) 2.289 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2 2) 2.289 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 2) 2.289 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.290 * [approximate]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI))))) in (f) around 0 2.290 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI))))) in f 2.290 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) in f 2.290 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* (pow f 2) PI)) in f 2.290 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 2.290 * [taylor]: Taking taylor expansion of (* (pow f 2) PI) in f 2.290 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.290 * [taylor]: Taking taylor expansion of f in f 2.290 * [taylor]: Taking taylor expansion of PI in f 2.290 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 4.0 PI)) PI)) in f 2.290 * [taylor]: Taking taylor expansion of 4.0 in f 2.290 * [taylor]: Taking taylor expansion of (/ (log (/ 4.0 PI)) PI) in f 2.290 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.290 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.290 * [taylor]: Taking taylor expansion of 4.0 in f 2.290 * [taylor]: Taking taylor expansion of PI in f 2.290 * [taylor]: Taking taylor expansion of PI in f 2.290 * [taylor]: Taking taylor expansion of (+ (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI)))) in f 2.290 * [taylor]: Taking taylor expansion of (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) in f 2.290 * [taylor]: Taking taylor expansion of 0.01388888888888889 in f 2.290 * [taylor]: Taking taylor expansion of (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2)) in f 2.290 * [taylor]: Taking taylor expansion of (* (pow PI 3) (pow f 4)) in f 2.290 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.290 * [taylor]: Taking taylor expansion of PI in f 2.290 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.290 * [taylor]: Taking taylor expansion of f in f 2.290 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.290 * [taylor]: Taking taylor expansion of 4.0 in f 2.291 * [taylor]: Taking taylor expansion of (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI))) in f 2.291 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) in f 2.291 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 2.291 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow PI 3)) in f 2.291 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.291 * [taylor]: Taking taylor expansion of f in f 2.291 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.291 * [taylor]: Taking taylor expansion of PI in f 2.291 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log f) PI)) in f 2.291 * [taylor]: Taking taylor expansion of 4.0 in f 2.291 * [taylor]: Taking taylor expansion of (/ (log f) PI) in f 2.291 * [taylor]: Taking taylor expansion of (log f) in f 2.291 * [taylor]: Taking taylor expansion of f in f 2.291 * [taylor]: Taking taylor expansion of PI in f 2.291 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI))))) in f 2.291 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) in f 2.291 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* (pow f 2) PI)) in f 2.291 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 2.291 * [taylor]: Taking taylor expansion of (* (pow f 2) PI) in f 2.291 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.291 * [taylor]: Taking taylor expansion of f in f 2.291 * [taylor]: Taking taylor expansion of PI in f 2.291 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 4.0 PI)) PI)) in f 2.291 * [taylor]: Taking taylor expansion of 4.0 in f 2.291 * [taylor]: Taking taylor expansion of (/ (log (/ 4.0 PI)) PI) in f 2.291 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.291 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.291 * [taylor]: Taking taylor expansion of 4.0 in f 2.292 * [taylor]: Taking taylor expansion of PI in f 2.292 * [taylor]: Taking taylor expansion of PI in f 2.292 * [taylor]: Taking taylor expansion of (+ (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI)))) in f 2.292 * [taylor]: Taking taylor expansion of (* 0.01388888888888889 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2))) in f 2.292 * [taylor]: Taking taylor expansion of 0.01388888888888889 in f 2.292 * [taylor]: Taking taylor expansion of (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2)) in f 2.292 * [taylor]: Taking taylor expansion of (* (pow PI 3) (pow f 4)) in f 2.292 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.292 * [taylor]: Taking taylor expansion of PI in f 2.292 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.292 * [taylor]: Taking taylor expansion of f in f 2.292 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.292 * [taylor]: Taking taylor expansion of 4.0 in f 2.292 * [taylor]: Taking taylor expansion of (+ (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI))) in f 2.292 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) in f 2.292 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 2.292 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow PI 3)) in f 2.292 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.292 * [taylor]: Taking taylor expansion of f in f 2.292 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.292 * [taylor]: Taking taylor expansion of PI in f 2.292 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log f) PI)) in f 2.292 * [taylor]: Taking taylor expansion of 4.0 in f 2.292 * [taylor]: Taking taylor expansion of (/ (log f) PI) in f 2.292 * [taylor]: Taking taylor expansion of (log f) in f 2.292 * [taylor]: Taking taylor expansion of f in f 2.292 * [taylor]: Taking taylor expansion of PI in f 2.299 * [approximate]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))))) in (f) around 0 2.299 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))))) in f 2.300 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) in f 2.300 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI (pow f 2))) in f 2.300 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 2.300 * [taylor]: Taking taylor expansion of (/ PI (pow f 2)) in f 2.300 * [taylor]: Taking taylor expansion of PI in f 2.300 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.300 * [taylor]: Taking taylor expansion of f in f 2.300 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 4.0 PI)) PI)) in f 2.300 * [taylor]: Taking taylor expansion of 4.0 in f 2.300 * [taylor]: Taking taylor expansion of (/ (log (/ 4.0 PI)) PI) in f 2.300 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.300 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.300 * [taylor]: Taking taylor expansion of 4.0 in f 2.300 * [taylor]: Taking taylor expansion of PI in f 2.300 * [taylor]: Taking taylor expansion of PI in f 2.300 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))))) in f 2.300 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 1 f)) PI)) in f 2.300 * [taylor]: Taking taylor expansion of 4.0 in f 2.300 * [taylor]: Taking taylor expansion of (/ (log (/ 1 f)) PI) in f 2.300 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.300 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.300 * [taylor]: Taking taylor expansion of f in f 2.300 * [taylor]: Taking taylor expansion of PI in f 2.300 * [taylor]: Taking taylor expansion of (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))) in f 2.300 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) in f 2.300 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 2.300 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 4)) in f 2.300 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.300 * [taylor]: Taking taylor expansion of PI in f 2.300 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.300 * [taylor]: Taking taylor expansion of f in f 2.301 * [taylor]: Taking taylor expansion of (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))) in f 2.301 * [taylor]: Taking taylor expansion of 0.01388888888888889 in f 2.301 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))) in f 2.301 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.301 * [taylor]: Taking taylor expansion of PI in f 2.301 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.301 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.301 * [taylor]: Taking taylor expansion of f in f 2.301 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.301 * [taylor]: Taking taylor expansion of 4.0 in f 2.301 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))))) in f 2.301 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) in f 2.301 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI (pow f 2))) in f 2.301 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 2.301 * [taylor]: Taking taylor expansion of (/ PI (pow f 2)) in f 2.301 * [taylor]: Taking taylor expansion of PI in f 2.301 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.301 * [taylor]: Taking taylor expansion of f in f 2.301 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 4.0 PI)) PI)) in f 2.301 * [taylor]: Taking taylor expansion of 4.0 in f 2.301 * [taylor]: Taking taylor expansion of (/ (log (/ 4.0 PI)) PI) in f 2.301 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.301 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.301 * [taylor]: Taking taylor expansion of 4.0 in f 2.301 * [taylor]: Taking taylor expansion of PI in f 2.301 * [taylor]: Taking taylor expansion of PI in f 2.301 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (log (/ 1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))))) in f 2.301 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 1 f)) PI)) in f 2.301 * [taylor]: Taking taylor expansion of 4.0 in f 2.301 * [taylor]: Taking taylor expansion of (/ (log (/ 1 f)) PI) in f 2.301 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.301 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.301 * [taylor]: Taking taylor expansion of f in f 2.301 * [taylor]: Taking taylor expansion of PI in f 2.302 * [taylor]: Taking taylor expansion of (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))) in f 2.302 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) in f 2.302 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 2.302 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 4)) in f 2.302 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.302 * [taylor]: Taking taylor expansion of PI in f 2.302 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.302 * [taylor]: Taking taylor expansion of f in f 2.302 * [taylor]: Taking taylor expansion of (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))) in f 2.302 * [taylor]: Taking taylor expansion of 0.01388888888888889 in f 2.302 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))) in f 2.302 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.302 * [taylor]: Taking taylor expansion of PI in f 2.302 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.302 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.302 * [taylor]: Taking taylor expansion of f in f 2.302 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.302 * [taylor]: Taking taylor expansion of 4.0 in f 2.308 * [approximate]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))))) in (f) around 0 2.308 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))))) in f 2.308 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) in f 2.308 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI (pow f 2))) in f 2.308 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 2.308 * [taylor]: Taking taylor expansion of (/ PI (pow f 2)) in f 2.310 * [taylor]: Taking taylor expansion of PI in f 2.310 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.310 * [taylor]: Taking taylor expansion of f in f 2.310 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 4.0 PI)) PI)) in f 2.310 * [taylor]: Taking taylor expansion of 4.0 in f 2.310 * [taylor]: Taking taylor expansion of (/ (log (/ 4.0 PI)) PI) in f 2.310 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.310 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.310 * [taylor]: Taking taylor expansion of 4.0 in f 2.310 * [taylor]: Taking taylor expansion of PI in f 2.310 * [taylor]: Taking taylor expansion of PI in f 2.310 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))))) in f 2.310 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ -1 f)) PI)) in f 2.311 * [taylor]: Taking taylor expansion of 4.0 in f 2.311 * [taylor]: Taking taylor expansion of (/ (log (/ -1 f)) PI) in f 2.311 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.311 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.311 * [taylor]: Taking taylor expansion of -1 in f 2.311 * [taylor]: Taking taylor expansion of f in f 2.311 * [taylor]: Taking taylor expansion of PI in f 2.311 * [taylor]: Taking taylor expansion of (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))) in f 2.311 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) in f 2.311 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 2.311 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 4)) in f 2.311 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.311 * [taylor]: Taking taylor expansion of PI in f 2.311 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.311 * [taylor]: Taking taylor expansion of f in f 2.311 * [taylor]: Taking taylor expansion of (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))) in f 2.311 * [taylor]: Taking taylor expansion of 0.01388888888888889 in f 2.311 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))) in f 2.311 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.311 * [taylor]: Taking taylor expansion of PI in f 2.311 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.311 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.311 * [taylor]: Taking taylor expansion of f in f 2.311 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.311 * [taylor]: Taking taylor expansion of 4.0 in f 2.311 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))))) in f 2.311 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI (pow f 2))) (* 4.0 (/ (log (/ 4.0 PI)) PI))) in f 2.311 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI (pow f 2))) in f 2.312 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 2.312 * [taylor]: Taking taylor expansion of (/ PI (pow f 2)) in f 2.312 * [taylor]: Taking taylor expansion of PI in f 2.312 * [taylor]: Taking taylor expansion of (pow f 2) in f 2.312 * [taylor]: Taking taylor expansion of f in f 2.312 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ 4.0 PI)) PI)) in f 2.312 * [taylor]: Taking taylor expansion of 4.0 in f 2.312 * [taylor]: Taking taylor expansion of (/ (log (/ 4.0 PI)) PI) in f 2.312 * [taylor]: Taking taylor expansion of (log (/ 4.0 PI)) in f 2.312 * [taylor]: Taking taylor expansion of (/ 4.0 PI) in f 2.312 * [taylor]: Taking taylor expansion of 4.0 in f 2.312 * [taylor]: Taking taylor expansion of PI in f 2.312 * [taylor]: Taking taylor expansion of PI in f 2.312 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (log (/ -1 f)) PI)) (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))))) in f 2.312 * [taylor]: Taking taylor expansion of (* 4.0 (/ (log (/ -1 f)) PI)) in f 2.312 * [taylor]: Taking taylor expansion of 4.0 in f 2.312 * [taylor]: Taking taylor expansion of (/ (log (/ -1 f)) PI) in f 2.312 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.312 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.312 * [taylor]: Taking taylor expansion of -1 in f 2.312 * [taylor]: Taking taylor expansion of f in f 2.312 * [taylor]: Taking taylor expansion of PI in f 2.312 * [taylor]: Taking taylor expansion of (+ (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))))) in f 2.312 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 4))) in f 2.312 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 2.312 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 4)) in f 2.312 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.312 * [taylor]: Taking taylor expansion of PI in f 2.312 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.312 * [taylor]: Taking taylor expansion of f in f 2.312 * [taylor]: Taking taylor expansion of (* 0.01388888888888889 (/ (pow PI 3) (* (pow f 4) (pow 4.0 2)))) in f 2.312 * [taylor]: Taking taylor expansion of 0.01388888888888889 in f 2.312 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (* (pow f 4) (pow 4.0 2))) in f 2.312 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.312 * [taylor]: Taking taylor expansion of PI in f 2.313 * [taylor]: Taking taylor expansion of (* (pow f 4) (pow 4.0 2)) in f 2.313 * [taylor]: Taking taylor expansion of (pow f 4) in f 2.313 * [taylor]: Taking taylor expansion of f in f 2.313 * [taylor]: Taking taylor expansion of (pow 4.0 2) in f 2.313 * [taylor]: Taking taylor expansion of 4.0 in f 2.318 * * * [progress]: simplifying candidates 2.320 * [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) 3) (* (log PI) 3) (* 1 3) (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* (cbrt (pow PI 3)) (cbrt (pow PI 3))) (cbrt (pow PI 3)) (* (* (pow PI 3) (pow PI 3)) (pow PI 3)) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI (/ 3 2)) (pow PI (/ 3 2)) (* (log PI) 3) (* (log PI) 3) (* 1 3) (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* (cbrt (pow PI 3)) (cbrt (pow PI 3))) (cbrt (pow PI 3)) (* (* (pow PI 3) (pow PI 3)) (pow PI 3)) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI (/ 3 2)) (pow PI (/ 3 2)) (/ (* (exp (* 4.0 (/ (log (/ 4.0 PI)) PI))) (exp (* 0.08333333333333334 (* (pow f 2) PI)))) (* (exp (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (* (exp (* 4.0 (/ (log f) PI))) (exp (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (/ (* (exp (* 4.0 (/ (log (/ 4.0 PI)) PI))) (exp (* 0.08333333333333334 (* (pow f 2) PI)))) (* (exp (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (exp (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (/ (* (exp (* 4.0 (/ (log (/ 4.0 PI)) PI))) (exp (* 0.08333333333333334 (* (pow f 2) PI)))) (exp (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (/ (exp (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (exp (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (* (exp (* 4.0 (/ (log f) PI))) (exp (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (/ (exp (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (exp (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (exp (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (/ (exp (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (exp (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (log (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (cbrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (cbrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (cbrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (* (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (sqrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (sqrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (- (* (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)) (* (pow 4.0 2) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (pow 4.0 2) (+ (pow (* 4.0 (/ (log f) PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) 3)))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (* (pow 4.0 2) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (- (* (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (pow 4.0 2) (- (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)) (+ (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (- (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (+ (pow (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) 3) (pow (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) 3)))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (+ (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (- (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (- (* (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (- (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (+ (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (- (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (pow 4.0 2) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (pow 4.0 2) (+ (pow (* 4.0 (/ (log f) PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) 3)))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (pow 4.0 2) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (- (* (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (pow 4.0 2) (- (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (+ (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (- (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (pow (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) 3) (pow (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) 3)))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (- (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (- (* (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (- (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (pow (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) 3) (pow (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) 3)) (+ (* (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (+ (* (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (neg (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (+ (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (+ (sqrt (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (sqrt (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (- (sqrt (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (sqrt (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (- (* 0.08333333333333334 (* (pow f 2) PI)) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (neg (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 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.331 * * [simplify]: iteration 0 : 782 enodes (cost 2052 ) 2.346 * * [simplify]: iteration 1 : 4209 enodes (cost 1953 ) 2.437 * * [simplify]: iteration 2 : 5001 enodes (cost 1953 ) 2.447 * [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 3)) (log (pow PI 3)) 3 (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) PI (* PI PI) PI (pow (sqrt PI) 3) (pow (sqrt PI) 3) 1 (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* PI PI) PI (pow (pow PI 3) 3) (* PI PI) PI (pow (sqrt PI) 3) (pow (sqrt PI) 3) 1 (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI 3/2) (pow PI 3/2) (log (pow PI 3)) (log (pow PI 3)) 3 (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) PI (* PI PI) PI (pow (sqrt PI) 3) (pow (sqrt PI) 3) 1 (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* PI PI) PI (pow (pow PI 3) 3) (* PI PI) PI (pow (sqrt PI) 3) (pow (sqrt PI) 3) 1 (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI 3/2) (pow PI 3/2) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (log (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (exp (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (cbrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (cbrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (cbrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (pow (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) 3) (sqrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (sqrt (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (+ (* (neg (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (pow 4.0 2) (+ (pow (* 4.0 (/ (log f) PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) 3))))) (* (* (+ (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (- (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI)))) (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI)))) (pow 4.0 2)) (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)))) (* (* (+ (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (- (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI)))) (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI)))) (pow 4.0 2)) (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (* (neg (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (pow 4.0 2) (- (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (* (neg (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (pow (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) 3) (pow (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) 3))) (* (+ (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (- (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)))) (* (+ (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (- (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (* (neg (- (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (* (+ (pow (* 4.0 (/ (log (/ 4.0 PI)) PI)) 3) (pow (* 0.08333333333333334 (* (pow f 2) PI)) 3)) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (* (* 0.08333333333333334 (* (pow f 2) PI)) (- (* 0.08333333333333334 (* (pow f 2) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI)))) (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))))) (+ (neg (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (+ (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (- (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (* (pow 4.0 2) (+ (pow (* 4.0 (/ (log f) PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) 3)))))) (* (* (+ (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (- (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI)))) (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI)))) (pow 4.0 2)) (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))))) (* (* (+ (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (- (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 4.0 (/ (log f) PI)))) (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI)))) (pow 4.0 2)) (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (- (* (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* (* 0.01388888888888889 (* (pow f 4) (pow PI 3))) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (* (pow 4.0 2) (- (* (* 4.0 (/ (log f) PI)) (* 4.0 (/ (log f) PI))) (* (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* (pow 4.0 2) (- (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (+ (neg (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (pow (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) 3) (pow (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) 3)))) (* (+ (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (- (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))))) (* (+ (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (- (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))))) (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (- (* (- (* (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 4.0 (/ (log (/ 4.0 PI)) PI))) (* (* 0.08333333333333334 (* (pow f 2) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (- (* (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (* (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))))) (* (- (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (- (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (pow (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) 3) (pow (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) 3)) (+ (* (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (* (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))))) (neg (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (* (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (* (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (+ (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (+ (sqrt (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (sqrt (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (- (sqrt (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI)))) (sqrt (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3))))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2)))) (- (* 0.08333333333333334 (* (pow f 2) PI)) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (neg (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (+ (* 4.0 (/ (log (/ 4.0 PI)) PI)) (* 0.08333333333333334 (* (pow f 2) PI))) (+ (* 0.01388888888888889 (/ (* (pow f 4) (pow PI 3)) (pow 4.0 2))) (+ (* 4.0 (/ (log f) PI)) (* 0.0003472222222222224 (* (pow f 4) (pow PI 3)))))) (- (- (+ (* 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.448 * * * [progress]: adding candidates to table 2.870 * * [progress]: iteration 4 / 4 2.870 * * * [progress]: picking best candidate 2.937 * * * * [pick]: Picked # 2.937 * * * [progress]: localizing error 2.978 * * * [progress]: generating rewritten candidates 2.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1) 2.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 2 1) 2.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 2) 2.987 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2 2) 2.993 * * * [progress]: generating series expansions 2.993 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1) 2.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 2 1) 2.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 2) 2.993 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2 2) 2.993 * * * [progress]: simplifying candidates 2.994 * [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) (sqrt 3)) (* (log PI) (sqrt 3)) (* 1 (sqrt 3)) (pow PI (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (pow PI (sqrt (* (cbrt 3) (cbrt 3)))) (pow PI (sqrt (sqrt 3))) (pow PI (sqrt 1)) (pow PI (sqrt (sqrt 3))) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) (sqrt 3)) (pow (cbrt PI) (sqrt 3)) (pow (sqrt PI) (sqrt 3)) (pow (sqrt PI) (sqrt 3)) (pow 1 (sqrt 3)) (pow PI (sqrt 3)) (log (pow PI (sqrt 3))) (exp (pow PI (sqrt 3))) (* (cbrt (pow PI (sqrt 3))) (cbrt (pow PI (sqrt 3)))) (cbrt (pow PI (sqrt 3))) (* (* (pow PI (sqrt 3)) (pow PI (sqrt 3))) (pow PI (sqrt 3))) (sqrt (pow PI (sqrt 3))) (sqrt (pow PI (sqrt 3))) (pow PI (/ (sqrt 3) 2)) (pow PI (/ (sqrt 3) 2)) (* (* (log PI) (sqrt 3)) (sqrt 3)) (* (* (log PI) (sqrt 3)) (sqrt 3)) (* (log (pow PI (sqrt 3))) (sqrt 3)) (* (log (pow PI (sqrt 3))) (sqrt 3)) (* (sqrt 3) (sqrt 3)) (pow (pow PI (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (pow (pow PI (sqrt 3)) (sqrt (* (cbrt 3) (cbrt 3)))) (pow (pow PI (sqrt 3)) (sqrt (sqrt 3))) (pow (pow PI (sqrt 3)) (sqrt 1)) (pow (pow PI (sqrt 3)) (sqrt (sqrt 3))) (pow (pow PI (sqrt 3)) 1) (pow (pow (* (cbrt PI) (cbrt PI)) (sqrt 3)) (sqrt 3)) (pow (pow (cbrt PI) (sqrt 3)) (sqrt 3)) (pow (pow (sqrt PI) (sqrt 3)) (sqrt 3)) (pow (pow (sqrt PI) (sqrt 3)) (sqrt 3)) (pow (pow 1 (sqrt 3)) (sqrt 3)) (pow (pow PI (sqrt 3)) (sqrt 3)) (pow (* (cbrt (pow PI (sqrt 3))) (cbrt (pow PI (sqrt 3)))) (sqrt 3)) (pow (cbrt (pow PI (sqrt 3))) (sqrt 3)) (pow (sqrt (pow PI (sqrt 3))) (sqrt 3)) (pow (sqrt (pow PI (sqrt 3))) (sqrt 3)) (pow 1 (sqrt 3)) (pow (pow PI (sqrt 3)) (sqrt 3)) (pow (pow PI (/ (sqrt 3) 2)) (sqrt 3)) (pow (pow PI (/ (sqrt 3) 2)) (sqrt 3)) (log (pow (pow PI (sqrt 3)) (sqrt 3))) (exp (pow (pow PI (sqrt 3)) (sqrt 3))) (* (cbrt (pow (pow PI (sqrt 3)) (sqrt 3))) (cbrt (pow (pow PI (sqrt 3)) (sqrt 3)))) (cbrt (pow (pow PI (sqrt 3)) (sqrt 3))) (* (* (pow (pow PI (sqrt 3)) (sqrt 3)) (pow (pow PI (sqrt 3)) (sqrt 3))) (pow (pow PI (sqrt 3)) (sqrt 3))) (sqrt (pow (pow PI (sqrt 3)) (sqrt 3))) (sqrt (pow (pow PI (sqrt 3)) (sqrt 3))) (pow (pow PI (sqrt 3)) (/ (sqrt 3) 2)) (pow (pow PI (sqrt 3)) (/ (sqrt 3) 2)) (* (log PI) 3) (* (log PI) 3) (* 1 3) (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) (pow PI 1) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (log (pow PI 3)) (exp (pow PI 3)) (* (cbrt (pow PI 3)) (cbrt (pow PI 3))) (cbrt (pow PI 3)) (* (* (pow PI 3) (pow PI 3)) (pow PI 3)) (pow (* (cbrt PI) (cbrt PI)) 3) (pow (cbrt PI) 3) (pow (sqrt PI) 3) (pow (sqrt PI) 3) (pow 1 3) (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI (/ 3 2)) (pow PI (/ 3 2)) (pow PI (sqrt 3)) (pow PI (sqrt 3)) (pow PI (sqrt 3)) (pow PI (sqrt 3)) 2.999 * * [simplify]: iteration 0 : 280 enodes (cost 400 ) 3.004 * * [simplify]: iteration 1 : 1047 enodes (cost 378 ) 3.023 * * [simplify]: iteration 2 : 5001 enodes (cost 370 ) 3.026 * [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)) (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 (sqrt 3))) (log (pow PI (sqrt 3))) (sqrt 3) (pow PI (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (pow PI (sqrt (* (cbrt 3) (cbrt 3)))) (pow PI (sqrt (sqrt 3))) PI (pow PI (sqrt (sqrt 3))) PI (pow (* (cbrt PI) (cbrt PI)) (sqrt 3)) (pow (cbrt PI) (sqrt 3)) (pow (sqrt PI) (sqrt 3)) (pow (sqrt PI) (sqrt 3)) 1 (pow PI (sqrt 3)) (log (pow PI (sqrt 3))) (exp (pow PI (sqrt 3))) (* (cbrt (pow PI (sqrt 3))) (cbrt (pow PI (sqrt 3)))) (cbrt (pow PI (sqrt 3))) (pow (pow PI (sqrt 3)) 3) (pow (pow PI (sqrt 3)) 1/2) (pow (pow PI (sqrt 3)) 1/2) (pow PI (/ (sqrt 3) 2)) (pow PI (/ (sqrt 3) 2)) (* (log PI) 3) (* (log PI) 3) (* (log PI) 3) (* (log PI) 3) 3 (pow (pow PI (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (pow (pow PI (sqrt 3)) (sqrt (* (cbrt 3) (cbrt 3)))) (pow (pow PI (sqrt 3)) (sqrt (sqrt 3))) (pow PI (sqrt 3)) (pow (pow PI (sqrt 3)) (sqrt (sqrt 3))) (pow PI (sqrt 3)) (pow (pow (* (cbrt PI) (cbrt PI)) (sqrt 3)) (sqrt 3)) (pow (pow (cbrt PI) (sqrt 3)) (sqrt 3)) (pow (pow (sqrt PI) (sqrt 3)) (sqrt 3)) (pow (pow (sqrt PI) (sqrt 3)) (sqrt 3)) 1 (pow (pow PI (sqrt 3)) (sqrt 3)) (pow (* (cbrt (pow PI (sqrt 3))) (cbrt (pow PI (sqrt 3)))) (sqrt 3)) (pow (cbrt (pow PI (sqrt 3))) (sqrt 3)) (pow (sqrt (pow PI (sqrt 3))) (sqrt 3)) (pow (sqrt (pow PI (sqrt 3))) (sqrt 3)) 1 (pow (pow PI (sqrt 3)) (sqrt 3)) (pow (pow PI (/ (sqrt 3) 2)) (sqrt 3)) (pow (pow PI (/ (sqrt 3) 2)) (sqrt 3)) (* (log PI) 3) (exp (pow (pow PI (sqrt 3)) (sqrt 3))) (* (cbrt (pow (pow PI (sqrt 3)) (sqrt 3))) (cbrt (pow (pow PI (sqrt 3)) (sqrt 3)))) (cbrt (pow (pow PI (sqrt 3)) (sqrt 3))) (pow (pow (pow PI (sqrt 3)) (sqrt 3)) 3) (sqrt (pow (pow PI (sqrt 3)) (sqrt 3))) (sqrt (pow (pow PI (sqrt 3)) (sqrt 3))) (pow (pow PI (sqrt 3)) (/ (sqrt 3) 2)) (pow (pow PI (sqrt 3)) (/ (sqrt 3) 2)) (* (log PI) 3) (* (log PI) 3) 3 (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) PI (* PI PI) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (* PI PI) (* (log PI) 3) (exp (pow PI 3)) (* PI PI) PI (pow (pow PI 3) 3) (* PI PI) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (* PI PI) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI 3/2) (pow PI 3/2) (pow PI (sqrt 3)) (pow PI (sqrt 3)) (pow PI (sqrt 3)) (pow PI (sqrt 3)) 3.027 * * * [progress]: adding candidates to table 3.338 * [progress]: [Phase 3 of 3] Extracting. 3.338 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 3.356 * * * [regime-changes]: Trying 1 branch expressions: (f) 3.356 * * * * [regimes]: Trying to branch on f from (# # # # # # # # #) 3.452 * * * [regime]: Found split indices: #