0.749 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 3.856 * * * [progress]: [2/2] Setting up program. 3.862 * [progress]: [Phase 2 of 3] Improving. 3.864 * [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)))))))) 4.225 * * [simplify]: iteration 0 : 42 enodes (cost 22 ) 4.227 * * [simplify]: iteration 1 : 97 enodes (cost 22 ) 4.228 * * [simplify]: iteration 2 : 223 enodes (cost 22 ) 4.231 * * [simplify]: iteration 3 : 561 enodes (cost 22 ) 4.239 * * [simplify]: iteration 4 : 1215 enodes (cost 22 ) 4.253 * * [simplify]: iteration 5 : 2815 enodes (cost 22 ) 4.292 * * [simplify]: iteration 6 : 5002 enodes (cost 22 ) 4.293 * [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)))))))) 4.294 * * [progress]: iteration 1 / 4 4.294 * * * [progress]: picking best candidate 4.298 * * * * [pick]: Picked # 4.298 * * * [progress]: localizing error 4.315 * * * [progress]: generating rewritten candidates 4.315 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 4.331 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 4.341 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 4.347 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 1) 4.359 * * * [progress]: generating series expansions 4.359 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 4.364 * [approximate]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in (f) around 0 4.365 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 4.365 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 4.365 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.365 * [taylor]: Taking taylor expansion of 0.25 in f 4.365 * [taylor]: Taking taylor expansion of (* f PI) in f 4.365 * [taylor]: Taking taylor expansion of f in f 4.365 * [taylor]: Taking taylor expansion of PI in f 4.365 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 4.365 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 4.365 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.365 * [taylor]: Taking taylor expansion of 0.25 in f 4.365 * [taylor]: Taking taylor expansion of (* f PI) in f 4.365 * [taylor]: Taking taylor expansion of f in f 4.365 * [taylor]: Taking taylor expansion of PI in f 4.365 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 4.366 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 4.366 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.366 * [taylor]: Taking taylor expansion of 0.25 in f 4.366 * [taylor]: Taking taylor expansion of (* f PI) in f 4.366 * [taylor]: Taking taylor expansion of f in f 4.366 * [taylor]: Taking taylor expansion of PI in f 4.366 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 4.366 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 4.366 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.366 * [taylor]: Taking taylor expansion of 0.25 in f 4.366 * [taylor]: Taking taylor expansion of (* f PI) in f 4.366 * [taylor]: Taking taylor expansion of f in f 4.366 * [taylor]: Taking taylor expansion of PI in f 4.374 * [approximate]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in (f) around 0 4.374 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 4.374 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.374 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.374 * [taylor]: Taking taylor expansion of 0.25 in f 4.374 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.374 * [taylor]: Taking taylor expansion of PI in f 4.374 * [taylor]: Taking taylor expansion of f in f 4.374 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 4.374 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 4.374 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.374 * [taylor]: Taking taylor expansion of 0.25 in f 4.374 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.375 * [taylor]: Taking taylor expansion of PI in f 4.375 * [taylor]: Taking taylor expansion of f in f 4.375 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 4.375 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.375 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.375 * [taylor]: Taking taylor expansion of 0.25 in f 4.375 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.375 * [taylor]: Taking taylor expansion of PI in f 4.375 * [taylor]: Taking taylor expansion of f in f 4.375 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 4.375 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 4.375 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.375 * [taylor]: Taking taylor expansion of 0.25 in f 4.375 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.375 * [taylor]: Taking taylor expansion of PI in f 4.375 * [taylor]: Taking taylor expansion of f in f 4.376 * [approximate]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in (f) around 0 4.376 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 4.376 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 4.376 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.376 * [taylor]: Taking taylor expansion of -0.25 in f 4.376 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.376 * [taylor]: Taking taylor expansion of PI in f 4.376 * [taylor]: Taking taylor expansion of f in f 4.376 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.376 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.376 * [taylor]: Taking taylor expansion of 0.25 in f 4.376 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.376 * [taylor]: Taking taylor expansion of PI in f 4.376 * [taylor]: Taking taylor expansion of f in f 4.376 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 4.376 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 4.376 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.376 * [taylor]: Taking taylor expansion of -0.25 in f 4.376 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.376 * [taylor]: Taking taylor expansion of PI in f 4.376 * [taylor]: Taking taylor expansion of f in f 4.376 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.376 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.376 * [taylor]: Taking taylor expansion of 0.25 in f 4.376 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.376 * [taylor]: Taking taylor expansion of PI in f 4.376 * [taylor]: Taking taylor expansion of f in f 4.377 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 4.377 * [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 4.377 * [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 4.377 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 4.377 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 4.377 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 4.377 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.377 * [taylor]: Taking taylor expansion of 0.25 in f 4.377 * [taylor]: Taking taylor expansion of (* f PI) in f 4.377 * [taylor]: Taking taylor expansion of f in f 4.377 * [taylor]: Taking taylor expansion of PI in f 4.377 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 4.377 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.377 * [taylor]: Taking taylor expansion of 0.25 in f 4.377 * [taylor]: Taking taylor expansion of (* f PI) in f 4.377 * [taylor]: Taking taylor expansion of f in f 4.377 * [taylor]: Taking taylor expansion of PI in f 4.377 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 4.377 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 4.377 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.378 * [taylor]: Taking taylor expansion of 0.25 in f 4.378 * [taylor]: Taking taylor expansion of (* f PI) in f 4.378 * [taylor]: Taking taylor expansion of f in f 4.378 * [taylor]: Taking taylor expansion of PI in f 4.378 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 4.378 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 4.378 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.378 * [taylor]: Taking taylor expansion of 0.25 in f 4.378 * [taylor]: Taking taylor expansion of (* f PI) in f 4.378 * [taylor]: Taking taylor expansion of f in f 4.378 * [taylor]: Taking taylor expansion of PI in f 4.378 * [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 4.378 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 0.25 (* f PI)))) (exp (* 0.25 (* f PI)))) in f 4.378 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 4.378 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 4.378 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.378 * [taylor]: Taking taylor expansion of 0.25 in f 4.378 * [taylor]: Taking taylor expansion of (* f PI) in f 4.378 * [taylor]: Taking taylor expansion of f in f 4.378 * [taylor]: Taking taylor expansion of PI in f 4.378 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 4.378 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.378 * [taylor]: Taking taylor expansion of 0.25 in f 4.378 * [taylor]: Taking taylor expansion of (* f PI) in f 4.378 * [taylor]: Taking taylor expansion of f in f 4.378 * [taylor]: Taking taylor expansion of PI in f 4.379 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (* f PI))) (exp (neg (* 0.25 (* f PI))))) in f 4.379 * [taylor]: Taking taylor expansion of (exp (* 0.25 (* f PI))) in f 4.379 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.379 * [taylor]: Taking taylor expansion of 0.25 in f 4.379 * [taylor]: Taking taylor expansion of (* f PI) in f 4.379 * [taylor]: Taking taylor expansion of f in f 4.379 * [taylor]: Taking taylor expansion of PI in f 4.379 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (* f PI)))) in f 4.379 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* f PI))) in f 4.379 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.379 * [taylor]: Taking taylor expansion of 0.25 in f 4.379 * [taylor]: Taking taylor expansion of (* f PI) in f 4.379 * [taylor]: Taking taylor expansion of f in f 4.379 * [taylor]: Taking taylor expansion of PI in f 4.388 * [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 4.388 * [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 4.388 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 4.388 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.388 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.388 * [taylor]: Taking taylor expansion of 0.25 in f 4.388 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.388 * [taylor]: Taking taylor expansion of PI in f 4.388 * [taylor]: Taking taylor expansion of f in f 4.388 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 4.388 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 4.388 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.388 * [taylor]: Taking taylor expansion of 0.25 in f 4.388 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.388 * [taylor]: Taking taylor expansion of PI in f 4.388 * [taylor]: Taking taylor expansion of f in f 4.389 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 4.389 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.389 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.389 * [taylor]: Taking taylor expansion of 0.25 in f 4.389 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.389 * [taylor]: Taking taylor expansion of PI in f 4.389 * [taylor]: Taking taylor expansion of f in f 4.389 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 4.389 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 4.389 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.389 * [taylor]: Taking taylor expansion of 0.25 in f 4.389 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.389 * [taylor]: Taking taylor expansion of PI in f 4.389 * [taylor]: Taking taylor expansion of f in f 4.389 * [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 4.389 * [taylor]: Taking taylor expansion of (+ (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 4.389 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.389 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.389 * [taylor]: Taking taylor expansion of 0.25 in f 4.389 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.389 * [taylor]: Taking taylor expansion of PI in f 4.389 * [taylor]: Taking taylor expansion of f in f 4.390 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 4.390 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 4.390 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.390 * [taylor]: Taking taylor expansion of 0.25 in f 4.390 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.390 * [taylor]: Taking taylor expansion of PI in f 4.390 * [taylor]: Taking taylor expansion of f in f 4.390 * [taylor]: Taking taylor expansion of (- (exp (* 0.25 (/ PI f))) (exp (neg (* 0.25 (/ PI f))))) in f 4.390 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.390 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.390 * [taylor]: Taking taylor expansion of 0.25 in f 4.390 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.390 * [taylor]: Taking taylor expansion of PI in f 4.390 * [taylor]: Taking taylor expansion of f in f 4.390 * [taylor]: Taking taylor expansion of (exp (neg (* 0.25 (/ PI f)))) in f 4.390 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ PI f))) in f 4.390 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.390 * [taylor]: Taking taylor expansion of 0.25 in f 4.390 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.390 * [taylor]: Taking taylor expansion of PI in f 4.390 * [taylor]: Taking taylor expansion of f in f 4.395 * [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 4.395 * [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 4.395 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 4.395 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 4.395 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.395 * [taylor]: Taking taylor expansion of -0.25 in f 4.395 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.395 * [taylor]: Taking taylor expansion of PI in f 4.395 * [taylor]: Taking taylor expansion of f in f 4.395 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.395 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.395 * [taylor]: Taking taylor expansion of 0.25 in f 4.395 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.395 * [taylor]: Taking taylor expansion of PI in f 4.395 * [taylor]: Taking taylor expansion of f in f 4.395 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 4.395 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 4.396 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.396 * [taylor]: Taking taylor expansion of -0.25 in f 4.396 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.396 * [taylor]: Taking taylor expansion of PI in f 4.396 * [taylor]: Taking taylor expansion of f in f 4.396 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.396 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.396 * [taylor]: Taking taylor expansion of 0.25 in f 4.396 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.396 * [taylor]: Taking taylor expansion of PI in f 4.396 * [taylor]: Taking taylor expansion of f in f 4.396 * [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 4.396 * [taylor]: Taking taylor expansion of (+ (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 4.396 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 4.396 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.396 * [taylor]: Taking taylor expansion of -0.25 in f 4.396 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.396 * [taylor]: Taking taylor expansion of PI in f 4.396 * [taylor]: Taking taylor expansion of f in f 4.396 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.396 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.396 * [taylor]: Taking taylor expansion of 0.25 in f 4.396 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.396 * [taylor]: Taking taylor expansion of PI in f 4.396 * [taylor]: Taking taylor expansion of f in f 4.396 * [taylor]: Taking taylor expansion of (- (exp (* -0.25 (/ PI f))) (exp (* 0.25 (/ PI f)))) in f 4.396 * [taylor]: Taking taylor expansion of (exp (* -0.25 (/ PI f))) in f 4.396 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.397 * [taylor]: Taking taylor expansion of -0.25 in f 4.397 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.397 * [taylor]: Taking taylor expansion of PI in f 4.397 * [taylor]: Taking taylor expansion of f in f 4.397 * [taylor]: Taking taylor expansion of (exp (* 0.25 (/ PI f))) in f 4.397 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.397 * [taylor]: Taking taylor expansion of 0.25 in f 4.397 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.397 * [taylor]: Taking taylor expansion of PI in f 4.397 * [taylor]: Taking taylor expansion of f in f 4.401 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 4.401 * [approximate]: Taking taylor expansion of (* 0.25 (* f PI)) in (f) around 0 4.401 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.401 * [taylor]: Taking taylor expansion of 0.25 in f 4.401 * [taylor]: Taking taylor expansion of (* f PI) in f 4.401 * [taylor]: Taking taylor expansion of f in f 4.401 * [taylor]: Taking taylor expansion of PI in f 4.401 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.401 * [taylor]: Taking taylor expansion of 0.25 in f 4.401 * [taylor]: Taking taylor expansion of (* f PI) in f 4.401 * [taylor]: Taking taylor expansion of f in f 4.401 * [taylor]: Taking taylor expansion of PI in f 4.402 * [approximate]: Taking taylor expansion of (* 0.25 (/ PI f)) in (f) around 0 4.402 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.402 * [taylor]: Taking taylor expansion of 0.25 in f 4.402 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.402 * [taylor]: Taking taylor expansion of PI in f 4.402 * [taylor]: Taking taylor expansion of f in f 4.402 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.402 * [taylor]: Taking taylor expansion of 0.25 in f 4.402 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.402 * [taylor]: Taking taylor expansion of PI in f 4.402 * [taylor]: Taking taylor expansion of f in f 4.403 * [approximate]: Taking taylor expansion of (* -0.25 (/ PI f)) in (f) around 0 4.403 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.403 * [taylor]: Taking taylor expansion of -0.25 in f 4.403 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.403 * [taylor]: Taking taylor expansion of PI in f 4.403 * [taylor]: Taking taylor expansion of f in f 4.403 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.403 * [taylor]: Taking taylor expansion of -0.25 in f 4.403 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.403 * [taylor]: Taking taylor expansion of PI in f 4.403 * [taylor]: Taking taylor expansion of f in f 4.404 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 1) 4.404 * [approximate]: Taking taylor expansion of (* 0.25 (* f PI)) in (f) around 0 4.404 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.404 * [taylor]: Taking taylor expansion of 0.25 in f 4.404 * [taylor]: Taking taylor expansion of (* f PI) in f 4.404 * [taylor]: Taking taylor expansion of f in f 4.404 * [taylor]: Taking taylor expansion of PI in f 4.404 * [taylor]: Taking taylor expansion of (* 0.25 (* f PI)) in f 4.404 * [taylor]: Taking taylor expansion of 0.25 in f 4.404 * [taylor]: Taking taylor expansion of (* f PI) in f 4.404 * [taylor]: Taking taylor expansion of f in f 4.404 * [taylor]: Taking taylor expansion of PI in f 4.405 * [approximate]: Taking taylor expansion of (* 0.25 (/ PI f)) in (f) around 0 4.405 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.405 * [taylor]: Taking taylor expansion of 0.25 in f 4.405 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.405 * [taylor]: Taking taylor expansion of PI in f 4.405 * [taylor]: Taking taylor expansion of f in f 4.405 * [taylor]: Taking taylor expansion of (* 0.25 (/ PI f)) in f 4.405 * [taylor]: Taking taylor expansion of 0.25 in f 4.405 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.405 * [taylor]: Taking taylor expansion of PI in f 4.405 * [taylor]: Taking taylor expansion of f in f 4.406 * [approximate]: Taking taylor expansion of (* -0.25 (/ PI f)) in (f) around 0 4.406 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.406 * [taylor]: Taking taylor expansion of -0.25 in f 4.406 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.406 * [taylor]: Taking taylor expansion of PI in f 4.406 * [taylor]: Taking taylor expansion of f in f 4.406 * [taylor]: Taking taylor expansion of (* -0.25 (/ PI f)) in f 4.406 * [taylor]: Taking taylor expansion of -0.25 in f 4.406 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.406 * [taylor]: Taking taylor expansion of PI in f 4.406 * [taylor]: Taking taylor expansion of f in f 4.407 * * * [progress]: simplifying candidates 4.409 * [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)) 4.416 * * [simplify]: iteration 0 : 439 enodes (cost 1718 ) 4.423 * * [simplify]: iteration 1 : 1513 enodes (cost 1596 ) 4.448 * * [simplify]: iteration 2 : 5001 enodes (cost 1570 ) 4.460 * [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)) 4.461 * * * [progress]: adding candidates to table 4.855 * * [progress]: iteration 2 / 4 4.855 * * * [progress]: picking best candidate 4.864 * * * * [pick]: Picked # 4.864 * * * [progress]: localizing error 4.886 * * * [progress]: generating rewritten candidates 4.886 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2 2 2) 4.889 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 4.916 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 4.922 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 4.935 * * * [progress]: generating series expansions 4.936 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2 2 2) 4.936 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 4.936 * [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 4.936 * [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 4.936 * [taylor]: Taking taylor expansion of 4.0 in f 4.936 * [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 4.936 * [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 4.936 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) in f 4.936 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) in f 4.936 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* f PI))) in f 4.936 * [taylor]: Taking taylor expansion of 4.0 in f 4.936 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 4.936 * [taylor]: Taking taylor expansion of (* f PI) in f 4.936 * [taylor]: Taking taylor expansion of f in f 4.936 * [taylor]: Taking taylor expansion of PI in f 4.937 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 4.937 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.937 * [taylor]: Taking taylor expansion of (* f PI) in f 4.937 * [taylor]: Taking taylor expansion of f in f 4.937 * [taylor]: Taking taylor expansion of PI in f 4.937 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) in f 4.937 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 4.937 * [taylor]: Taking taylor expansion of (* (pow f 3) (pow PI 3)) in f 4.937 * [taylor]: Taking taylor expansion of (pow f 3) in f 4.937 * [taylor]: Taking taylor expansion of f in f 4.937 * [taylor]: Taking taylor expansion of (pow PI 3) in f 4.937 * [taylor]: Taking taylor expansion of PI in f 4.937 * [taylor]: Taking taylor expansion of PI in f 4.937 * [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 4.937 * [taylor]: Taking taylor expansion of 4.0 in f 4.937 * [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 4.937 * [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 4.938 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) in f 4.938 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) in f 4.938 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* f PI))) in f 4.938 * [taylor]: Taking taylor expansion of 4.0 in f 4.938 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 4.938 * [taylor]: Taking taylor expansion of (* f PI) in f 4.938 * [taylor]: Taking taylor expansion of f in f 4.938 * [taylor]: Taking taylor expansion of PI in f 4.938 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 4.938 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.938 * [taylor]: Taking taylor expansion of (* f PI) in f 4.938 * [taylor]: Taking taylor expansion of f in f 4.938 * [taylor]: Taking taylor expansion of PI in f 4.938 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) in f 4.938 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 4.938 * [taylor]: Taking taylor expansion of (* (pow f 3) (pow PI 3)) in f 4.938 * [taylor]: Taking taylor expansion of (pow f 3) in f 4.938 * [taylor]: Taking taylor expansion of f in f 4.938 * [taylor]: Taking taylor expansion of (pow PI 3) in f 4.938 * [taylor]: Taking taylor expansion of PI in f 4.938 * [taylor]: Taking taylor expansion of PI in f 4.945 * [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 4.945 * [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 4.945 * [taylor]: Taking taylor expansion of 4.0 in f 4.945 * [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 4.945 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) in f 4.945 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3)))) in f 4.945 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 4.945 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 4.945 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.945 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.945 * [taylor]: Taking taylor expansion of PI in f 4.945 * [taylor]: Taking taylor expansion of f in f 4.945 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 4.945 * [taylor]: Taking taylor expansion of 4.0 in f 4.945 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.945 * [taylor]: Taking taylor expansion of f in f 4.945 * [taylor]: Taking taylor expansion of PI in f 4.945 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 4.945 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 4.945 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 4.945 * [taylor]: Taking taylor expansion of (pow PI 3) in f 4.945 * [taylor]: Taking taylor expansion of PI in f 4.945 * [taylor]: Taking taylor expansion of (pow f 3) in f 4.945 * [taylor]: Taking taylor expansion of f in f 4.946 * [taylor]: Taking taylor expansion of PI in f 4.946 * [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 4.946 * [taylor]: Taking taylor expansion of 4.0 in f 4.946 * [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 4.946 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) in f 4.946 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3)))) in f 4.946 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 4.946 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 4.946 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.946 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.946 * [taylor]: Taking taylor expansion of PI in f 4.946 * [taylor]: Taking taylor expansion of f in f 4.946 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 4.946 * [taylor]: Taking taylor expansion of 4.0 in f 4.946 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.946 * [taylor]: Taking taylor expansion of f in f 4.946 * [taylor]: Taking taylor expansion of PI in f 4.946 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 4.946 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 4.946 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 4.946 * [taylor]: Taking taylor expansion of (pow PI 3) in f 4.946 * [taylor]: Taking taylor expansion of PI in f 4.946 * [taylor]: Taking taylor expansion of (pow f 3) in f 4.946 * [taylor]: Taking taylor expansion of f in f 4.947 * [taylor]: Taking taylor expansion of PI in f 4.959 * [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 4.959 * [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 4.959 * [taylor]: Taking taylor expansion of 4.0 in f 4.959 * [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 4.959 * [taylor]: Taking taylor expansion of (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) in f 4.959 * [taylor]: Taking taylor expansion of (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI)))) in f 4.959 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 4.959 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 4.959 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 4.959 * [taylor]: Taking taylor expansion of (pow PI 3) in f 4.959 * [taylor]: Taking taylor expansion of PI in f 4.959 * [taylor]: Taking taylor expansion of (pow f 3) in f 4.959 * [taylor]: Taking taylor expansion of f in f 4.959 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 4.959 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 4.959 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.959 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.959 * [taylor]: Taking taylor expansion of PI in f 4.959 * [taylor]: Taking taylor expansion of f in f 4.959 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 4.959 * [taylor]: Taking taylor expansion of 4.0 in f 4.959 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.959 * [taylor]: Taking taylor expansion of f in f 4.959 * [taylor]: Taking taylor expansion of PI in f 4.959 * [taylor]: Taking taylor expansion of PI in f 4.960 * [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 4.960 * [taylor]: Taking taylor expansion of 4.0 in f 4.960 * [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 4.960 * [taylor]: Taking taylor expansion of (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) in f 4.960 * [taylor]: Taking taylor expansion of (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI)))) in f 4.960 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 4.960 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 4.960 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 4.960 * [taylor]: Taking taylor expansion of (pow PI 3) in f 4.960 * [taylor]: Taking taylor expansion of PI in f 4.960 * [taylor]: Taking taylor expansion of (pow f 3) in f 4.960 * [taylor]: Taking taylor expansion of f in f 4.960 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 4.960 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 4.960 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.960 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.960 * [taylor]: Taking taylor expansion of PI in f 4.960 * [taylor]: Taking taylor expansion of f in f 4.960 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 4.960 * [taylor]: Taking taylor expansion of 4.0 in f 4.960 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.960 * [taylor]: Taking taylor expansion of f in f 4.960 * [taylor]: Taking taylor expansion of PI in f 4.961 * [taylor]: Taking taylor expansion of PI in f 4.967 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 4.968 * [approximate]: Taking taylor expansion of (/ 4.0 (* PI f)) in (f) around 0 4.968 * [taylor]: Taking taylor expansion of (/ 4.0 (* PI f)) in f 4.968 * [taylor]: Taking taylor expansion of 4.0 in f 4.968 * [taylor]: Taking taylor expansion of (* PI f) in f 4.968 * [taylor]: Taking taylor expansion of PI in f 4.968 * [taylor]: Taking taylor expansion of f in f 4.968 * [taylor]: Taking taylor expansion of (/ 4.0 (* PI f)) in f 4.968 * [taylor]: Taking taylor expansion of 4.0 in f 4.968 * [taylor]: Taking taylor expansion of (* PI f) in f 4.968 * [taylor]: Taking taylor expansion of PI in f 4.968 * [taylor]: Taking taylor expansion of f in f 4.969 * [approximate]: Taking taylor expansion of (* 4.0 (/ f PI)) in (f) around 0 4.969 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 4.969 * [taylor]: Taking taylor expansion of 4.0 in f 4.969 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.969 * [taylor]: Taking taylor expansion of f in f 4.969 * [taylor]: Taking taylor expansion of PI in f 4.969 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 4.969 * [taylor]: Taking taylor expansion of 4.0 in f 4.969 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.969 * [taylor]: Taking taylor expansion of f in f 4.969 * [taylor]: Taking taylor expansion of PI in f 4.970 * [approximate]: Taking taylor expansion of (* -4.0 (/ f PI)) in (f) around 0 4.970 * [taylor]: Taking taylor expansion of (* -4.0 (/ f PI)) in f 4.970 * [taylor]: Taking taylor expansion of -4.0 in f 4.970 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.970 * [taylor]: Taking taylor expansion of f in f 4.970 * [taylor]: Taking taylor expansion of PI in f 4.970 * [taylor]: Taking taylor expansion of (* -4.0 (/ f PI)) in f 4.970 * [taylor]: Taking taylor expansion of -4.0 in f 4.970 * [taylor]: Taking taylor expansion of (/ f PI) in f 4.970 * [taylor]: Taking taylor expansion of f in f 4.970 * [taylor]: Taking taylor expansion of PI in f 4.971 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 4.971 * [approximate]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in (f) around 0 4.971 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 4.971 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.971 * [taylor]: Taking taylor expansion of (* f PI) in f 4.971 * [taylor]: Taking taylor expansion of f in f 4.971 * [taylor]: Taking taylor expansion of PI in f 4.971 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 4.971 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.971 * [taylor]: Taking taylor expansion of (* f PI) in f 4.971 * [taylor]: Taking taylor expansion of f in f 4.971 * [taylor]: Taking taylor expansion of PI in f 4.972 * [approximate]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in (f) around 0 4.972 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 4.972 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.972 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.972 * [taylor]: Taking taylor expansion of PI in f 4.972 * [taylor]: Taking taylor expansion of f in f 4.972 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 4.972 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 4.972 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.972 * [taylor]: Taking taylor expansion of PI in f 4.972 * [taylor]: Taking taylor expansion of f in f 4.973 * [approximate]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in (f) around 0 4.973 * [taylor]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in f 4.973 * [taylor]: Taking taylor expansion of -0.08333333333333334 in f 4.973 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.973 * [taylor]: Taking taylor expansion of PI in f 4.973 * [taylor]: Taking taylor expansion of f in f 4.973 * [taylor]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in f 4.973 * [taylor]: Taking taylor expansion of -0.08333333333333334 in f 4.973 * [taylor]: Taking taylor expansion of (/ PI f) in f 4.973 * [taylor]: Taking taylor expansion of PI in f 4.973 * [taylor]: Taking taylor expansion of f in f 4.974 * * * [progress]: simplifying candidates 4.977 * [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)) 4.989 * * [simplify]: iteration 0 : 1050 enodes (cost 2058 ) 5.008 * * [simplify]: iteration 1 : 5001 enodes (cost 1880 ) 5.018 * [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)) 5.020 * * * [progress]: adding candidates to table 5.504 * * [progress]: iteration 3 / 4 5.504 * * * [progress]: picking best candidate 5.537 * * * * [pick]: Picked # 5.537 * * * [progress]: localizing error 5.559 * * * [progress]: generating rewritten candidates 5.559 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1 2 2 2) 5.561 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 5.580 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 2) 5.586 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 5.597 * * * [progress]: generating series expansions 5.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1 2 2 2) 5.597 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 5.597 * [approximate]: 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) around 0 5.597 * [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 5.597 * [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 5.597 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) in f 5.597 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) in f 5.597 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* f PI))) in f 5.597 * [taylor]: Taking taylor expansion of 4.0 in f 5.597 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 5.597 * [taylor]: Taking taylor expansion of (* f PI) in f 5.597 * [taylor]: Taking taylor expansion of f in f 5.597 * [taylor]: Taking taylor expansion of PI in f 5.597 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 5.597 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.597 * [taylor]: Taking taylor expansion of (* f PI) in f 5.597 * [taylor]: Taking taylor expansion of f in f 5.597 * [taylor]: Taking taylor expansion of PI in f 5.597 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) in f 5.597 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 5.598 * [taylor]: Taking taylor expansion of (* (pow f 3) (pow PI 3)) in f 5.598 * [taylor]: Taking taylor expansion of (pow f 3) in f 5.598 * [taylor]: Taking taylor expansion of f in f 5.598 * [taylor]: Taking taylor expansion of (pow PI 3) in f 5.598 * [taylor]: Taking taylor expansion of PI in f 5.598 * [taylor]: Taking taylor expansion of PI in f 5.598 * [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 5.598 * [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 5.598 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) in f 5.598 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* f PI))) (* 0.08333333333333334 (* f PI))) in f 5.598 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* f PI))) in f 5.598 * [taylor]: Taking taylor expansion of 4.0 in f 5.598 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 5.598 * [taylor]: Taking taylor expansion of (* f PI) in f 5.598 * [taylor]: Taking taylor expansion of f in f 5.598 * [taylor]: Taking taylor expansion of PI in f 5.598 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 5.598 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.598 * [taylor]: Taking taylor expansion of (* f PI) in f 5.598 * [taylor]: Taking taylor expansion of f in f 5.598 * [taylor]: Taking taylor expansion of PI in f 5.598 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) in f 5.598 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 5.598 * [taylor]: Taking taylor expansion of (* (pow f 3) (pow PI 3)) in f 5.598 * [taylor]: Taking taylor expansion of (pow f 3) in f 5.598 * [taylor]: Taking taylor expansion of f in f 5.598 * [taylor]: Taking taylor expansion of (pow PI 3) in f 5.598 * [taylor]: Taking taylor expansion of PI in f 5.598 * [taylor]: Taking taylor expansion of PI in f 5.603 * [approximate]: Taking taylor expansion of (/ (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) PI) in (f) around 0 5.603 * [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 5.603 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) in f 5.603 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3)))) in f 5.603 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 5.603 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 5.603 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.603 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.603 * [taylor]: Taking taylor expansion of PI in f 5.603 * [taylor]: Taking taylor expansion of f in f 5.603 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 5.603 * [taylor]: Taking taylor expansion of 4.0 in f 5.604 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.604 * [taylor]: Taking taylor expansion of f in f 5.604 * [taylor]: Taking taylor expansion of PI in f 5.604 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 5.604 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 5.604 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 5.604 * [taylor]: Taking taylor expansion of (pow PI 3) in f 5.604 * [taylor]: Taking taylor expansion of PI in f 5.604 * [taylor]: Taking taylor expansion of (pow f 3) in f 5.604 * [taylor]: Taking taylor expansion of f in f 5.604 * [taylor]: Taking taylor expansion of PI in f 5.604 * [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 5.604 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))))) in f 5.604 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3)))) in f 5.605 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 5.605 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 5.605 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.605 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.605 * [taylor]: Taking taylor expansion of PI in f 5.605 * [taylor]: Taking taylor expansion of f in f 5.605 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 5.605 * [taylor]: Taking taylor expansion of 4.0 in f 5.605 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.605 * [taylor]: Taking taylor expansion of f in f 5.605 * [taylor]: Taking taylor expansion of PI in f 5.605 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 5.605 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 5.605 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 5.605 * [taylor]: Taking taylor expansion of (pow PI 3) in f 5.605 * [taylor]: Taking taylor expansion of PI in f 5.605 * [taylor]: Taking taylor expansion of (pow f 3) in f 5.605 * [taylor]: Taking taylor expansion of f in f 5.605 * [taylor]: Taking taylor expansion of PI in f 5.612 * [approximate]: Taking taylor expansion of (/ (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) PI) in (f) around 0 5.612 * [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 5.612 * [taylor]: Taking taylor expansion of (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) in f 5.612 * [taylor]: Taking taylor expansion of (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI)))) in f 5.612 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 5.612 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 5.612 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 5.612 * [taylor]: Taking taylor expansion of (pow PI 3) in f 5.612 * [taylor]: Taking taylor expansion of PI in f 5.612 * [taylor]: Taking taylor expansion of (pow f 3) in f 5.612 * [taylor]: Taking taylor expansion of f in f 5.612 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 5.612 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 5.612 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.612 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.612 * [taylor]: Taking taylor expansion of PI in f 5.612 * [taylor]: Taking taylor expansion of f in f 5.612 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 5.612 * [taylor]: Taking taylor expansion of 4.0 in f 5.612 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.612 * [taylor]: Taking taylor expansion of f in f 5.612 * [taylor]: Taking taylor expansion of PI in f 5.612 * [taylor]: Taking taylor expansion of PI in f 5.613 * [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 5.613 * [taylor]: Taking taylor expansion of (log (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))))) in f 5.613 * [taylor]: Taking taylor expansion of (- (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI)))) in f 5.613 * [taylor]: Taking taylor expansion of (* 0.0003472222222222224 (/ (pow PI 3) (pow f 3))) in f 5.613 * [taylor]: Taking taylor expansion of 0.0003472222222222224 in f 5.613 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 5.613 * [taylor]: Taking taylor expansion of (pow PI 3) in f 5.613 * [taylor]: Taking taylor expansion of PI in f 5.613 * [taylor]: Taking taylor expansion of (pow f 3) in f 5.613 * [taylor]: Taking taylor expansion of f in f 5.613 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333334 (/ PI f)) (* 4.0 (/ f PI))) in f 5.613 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 5.613 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.613 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.613 * [taylor]: Taking taylor expansion of PI in f 5.613 * [taylor]: Taking taylor expansion of f in f 5.613 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 5.613 * [taylor]: Taking taylor expansion of 4.0 in f 5.613 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.613 * [taylor]: Taking taylor expansion of f in f 5.613 * [taylor]: Taking taylor expansion of PI in f 5.613 * [taylor]: Taking taylor expansion of PI in f 5.619 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 2) 5.619 * [approximate]: Taking taylor expansion of (/ 4.0 (* PI f)) in (f) around 0 5.619 * [taylor]: Taking taylor expansion of (/ 4.0 (* PI f)) in f 5.619 * [taylor]: Taking taylor expansion of 4.0 in f 5.619 * [taylor]: Taking taylor expansion of (* PI f) in f 5.619 * [taylor]: Taking taylor expansion of PI in f 5.619 * [taylor]: Taking taylor expansion of f in f 5.619 * [taylor]: Taking taylor expansion of (/ 4.0 (* PI f)) in f 5.620 * [taylor]: Taking taylor expansion of 4.0 in f 5.620 * [taylor]: Taking taylor expansion of (* PI f) in f 5.620 * [taylor]: Taking taylor expansion of PI in f 5.620 * [taylor]: Taking taylor expansion of f in f 5.621 * [approximate]: Taking taylor expansion of (* 4.0 (/ f PI)) in (f) around 0 5.621 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 5.621 * [taylor]: Taking taylor expansion of 4.0 in f 5.621 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.621 * [taylor]: Taking taylor expansion of f in f 5.621 * [taylor]: Taking taylor expansion of PI in f 5.621 * [taylor]: Taking taylor expansion of (* 4.0 (/ f PI)) in f 5.621 * [taylor]: Taking taylor expansion of 4.0 in f 5.621 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.621 * [taylor]: Taking taylor expansion of f in f 5.621 * [taylor]: Taking taylor expansion of PI in f 5.622 * [approximate]: Taking taylor expansion of (* -4.0 (/ f PI)) in (f) around 0 5.622 * [taylor]: Taking taylor expansion of (* -4.0 (/ f PI)) in f 5.622 * [taylor]: Taking taylor expansion of -4.0 in f 5.622 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.622 * [taylor]: Taking taylor expansion of f in f 5.622 * [taylor]: Taking taylor expansion of PI in f 5.622 * [taylor]: Taking taylor expansion of (* -4.0 (/ f PI)) in f 5.622 * [taylor]: Taking taylor expansion of -4.0 in f 5.622 * [taylor]: Taking taylor expansion of (/ f PI) in f 5.622 * [taylor]: Taking taylor expansion of f in f 5.622 * [taylor]: Taking taylor expansion of PI in f 5.623 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1) 5.623 * [approximate]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in (f) around 0 5.623 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 5.623 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.623 * [taylor]: Taking taylor expansion of (* f PI) in f 5.623 * [taylor]: Taking taylor expansion of f in f 5.623 * [taylor]: Taking taylor expansion of PI in f 5.623 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (* f PI)) in f 5.623 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.623 * [taylor]: Taking taylor expansion of (* f PI) in f 5.623 * [taylor]: Taking taylor expansion of f in f 5.623 * [taylor]: Taking taylor expansion of PI in f 5.624 * [approximate]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in (f) around 0 5.624 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 5.624 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.624 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.624 * [taylor]: Taking taylor expansion of PI in f 5.624 * [taylor]: Taking taylor expansion of f in f 5.624 * [taylor]: Taking taylor expansion of (* 0.08333333333333334 (/ PI f)) in f 5.624 * [taylor]: Taking taylor expansion of 0.08333333333333334 in f 5.624 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.624 * [taylor]: Taking taylor expansion of PI in f 5.624 * [taylor]: Taking taylor expansion of f in f 5.625 * [approximate]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in (f) around 0 5.625 * [taylor]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in f 5.625 * [taylor]: Taking taylor expansion of -0.08333333333333334 in f 5.625 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.625 * [taylor]: Taking taylor expansion of PI in f 5.625 * [taylor]: Taking taylor expansion of f in f 5.625 * [taylor]: Taking taylor expansion of (* -0.08333333333333334 (/ PI f)) in f 5.625 * [taylor]: Taking taylor expansion of -0.08333333333333334 in f 5.625 * [taylor]: Taking taylor expansion of (/ PI f) in f 5.625 * [taylor]: Taking taylor expansion of PI in f 5.625 * [taylor]: Taking taylor expansion of f in f 5.626 * * * [progress]: simplifying candidates 5.631 * [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)) (- (log (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (log PI)) (log (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (exp (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) 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)))) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (* PI PI) PI)) (* (cbrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (cbrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI))) (cbrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (* (* (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (sqrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (sqrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (neg (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (neg PI) (/ (log (+ (* (- (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) PI) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (+ (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) (/ 4.0 f)))) PI) (/ (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (+ (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI)) PI) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) (/ (log (+ (pow (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3) (pow (/ (/ 4.0 f) PI) 3))) PI) (/ (log (+ (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (- (* (/ (/ 4.0 f) PI) (/ (/ 4.0 f) PI)) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) PI) (/ (log (- (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (/ (/ 4.0 f) PI) (/ (/ 4.0 f) PI)))) PI) (/ (log (- (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt PI)) (/ 1 (sqrt PI)) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt PI)) (/ 1 1) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ (* (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))))) (* (cbrt PI) (cbrt PI))) (/ (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (cbrt PI)) (/ (* (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))))) (sqrt PI)) (/ (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (sqrt PI)) (/ (* (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) (/ (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) PI) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (cbrt PI) (cbrt PI))) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (cbrt PI)) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (sqrt PI)) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (sqrt PI)) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) 1) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) PI) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt PI)) (/ 1 (sqrt PI)) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt PI)) (/ 1 1) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ 1 PI) (/ 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 PI) (cbrt PI))) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt PI)) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) 1) (/ PI (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ PI (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ PI (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ PI (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 (* (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) PI)) (/ (log (/ 4.0 PI)) PI)) (+ (/ (log f) PI) (+ (* 8.68055555555556e-05 (* (pow PI 3) (pow f 4))) (* 0.0034722222222222225 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2)))))) (- (/ (log (neg (* 0.0003472222222222224 (pow PI 3)))) PI) (+ (* 239.99999999999991 (/ 1 (* (pow PI 3) (pow f 2)))) (+ (* 3 (/ (log (/ 1 f)) PI)) (+ (* 0.0034722222222222225 (/ 1 (* (pow -0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (* 11519.999999999995 (/ 1 (* (pow PI 5) (pow f 4)))))))) (- (/ (log (* 0.0003472222222222224 (pow PI 3))) PI) (+ (* 0.0034722222222222225 (/ 1 (* (pow 0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (+ (* 3 (/ (log (/ -1 f)) PI)) (+ (* 11519.999999999995 (/ 1 (* (pow PI 5) (pow f 4)))) (* 239.99999999999991 (/ 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)) 5.641 * * [simplify]: iteration 0 : 847 enodes (cost 1414 ) 5.657 * * [simplify]: iteration 1 : 4734 enodes (cost 1346 ) 5.752 * * [simplify]: iteration 2 : 5002 enodes (cost 1346 ) 5.759 * [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) (log (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (log (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (exp (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (pow (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) 3) (* (cbrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (cbrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI))) (cbrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (pow (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) 3) (sqrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (sqrt (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI)) (neg (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (neg PI) (/ (log (+ (* (- (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) PI) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (+ (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) (/ 4.0 f)))) PI) (/ (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (+ (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI)) PI) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) (/ (log (+ (pow (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3) (pow (/ (/ 4.0 f) PI) 3))) PI) (/ (log (+ (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (- (* (/ (/ 4.0 f) PI) (/ (/ 4.0 f) PI)) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) PI) (/ (log (- (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (/ (/ 4.0 f) PI) (/ (/ 4.0 f) PI)))) PI) (/ (log (- (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt PI)) (/ 1 (sqrt PI)) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt PI)) 1 (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ (* (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))))) (* (cbrt PI) (cbrt PI))) (/ (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (cbrt PI)) (/ (* (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))))) (sqrt PI)) (/ (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (pow PI 1/2)) (* (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))))) (/ (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) PI) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (* (cbrt PI) (cbrt PI))) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (cbrt PI)) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (sqrt PI)) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (sqrt PI)) (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) PI) (/ 1 (* (cbrt PI) (cbrt PI))) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (cbrt PI)) (/ 1 (sqrt PI)) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt PI)) 1 (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) (/ 1 PI) (/ 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 PI) (cbrt PI))) (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (sqrt PI)) (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) (/ PI (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI)))) (/ PI (cbrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ PI (sqrt (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))))) (/ PI (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 (* (/ (log (+ (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ (/ 4.0 f) PI))) PI) 4.0))) (- (+ (* 0.020833333333333336 (* (pow f 2) PI)) (/ (log (/ 4.0 PI)) PI)) (+ (/ (log f) PI) (+ (* 8.68055555555556e-05 (* (pow PI 3) (pow f 4))) (* 0.0034722222222222225 (/ (* (pow PI 3) (pow f 4)) (pow 4.0 2)))))) (- (/ (log (neg (* 0.0003472222222222224 (pow PI 3)))) PI) (+ (* 239.99999999999991 (/ 1 (* (pow PI 3) (pow f 2)))) (+ (* 3 (/ (log (/ 1 f)) PI)) (+ (* 0.0034722222222222225 (/ 1 (* (pow -0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (* 11519.999999999995 (/ 1 (* (pow PI 5) (pow f 4)))))))) (- (/ (log (* 0.0003472222222222224 (pow PI 3))) PI) (+ (* 0.0034722222222222225 (/ 1 (* (pow 0.0003472222222222224 2) (* (pow PI 5) (pow f 4))))) (+ (* 3 (/ (log (/ -1 f)) PI)) (+ (* 11519.999999999995 (/ 1 (* (pow PI 5) (pow f 4)))) (* 239.99999999999991 (/ 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)) 5.760 * * * [progress]: adding candidates to table 6.124 * * [progress]: iteration 4 / 4 6.124 * * * [progress]: picking best candidate 6.159 * * * * [pick]: Picked # 6.159 * * * [progress]: localizing error 6.196 * * * [progress]: generating rewritten candidates 6.196 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 6.212 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1 1 2 2 2) 6.214 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 2 1 2 2 2) 6.217 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1 1 2 2 2 2) 6.222 * * * [progress]: generating series expansions 6.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 6.223 * [approximate]: Taking taylor expansion of (log (- (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7))))) in (f) around 0 6.223 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7))))) in f 6.223 * [taylor]: Taking taylor expansion of (- (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7)))) in f 6.223 * [taylor]: Taking taylor expansion of (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) in f 6.223 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 PI) in f 6.223 * [taylor]: Taking taylor expansion of 0.33333333333333337 in f 6.223 * [taylor]: Taking taylor expansion of PI in f 6.223 * [taylor]: Taking taylor expansion of (* 0.008333333333333335 (* (pow f 2) (pow PI 3))) in f 6.223 * [taylor]: Taking taylor expansion of 0.008333333333333335 in f 6.223 * [taylor]: Taking taylor expansion of (* (pow f 2) (pow PI 3)) in f 6.223 * [taylor]: Taking taylor expansion of (pow f 2) in f 6.223 * [taylor]: Taking taylor expansion of f in f 6.223 * [taylor]: Taking taylor expansion of (pow PI 3) in f 6.223 * [taylor]: Taking taylor expansion of PI in f 6.223 * [taylor]: Taking taylor expansion of (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7))) in f 6.223 * [taylor]: Taking taylor expansion of 1.205632716049384e-07 in f 6.223 * [taylor]: Taking taylor expansion of (* (pow f 6) (pow PI 7)) in f 6.223 * [taylor]: Taking taylor expansion of (pow f 6) in f 6.223 * [taylor]: Taking taylor expansion of f in f 6.223 * [taylor]: Taking taylor expansion of (pow PI 7) in f 6.224 * [taylor]: Taking taylor expansion of PI in f 6.224 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7))))) in f 6.224 * [taylor]: Taking taylor expansion of (- (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7)))) in f 6.224 * [taylor]: Taking taylor expansion of (+ (* 0.33333333333333337 PI) (* 0.008333333333333335 (* (pow f 2) (pow PI 3)))) in f 6.224 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 PI) in f 6.224 * [taylor]: Taking taylor expansion of 0.33333333333333337 in f 6.224 * [taylor]: Taking taylor expansion of PI in f 6.224 * [taylor]: Taking taylor expansion of (* 0.008333333333333335 (* (pow f 2) (pow PI 3))) in f 6.224 * [taylor]: Taking taylor expansion of 0.008333333333333335 in f 6.224 * [taylor]: Taking taylor expansion of (* (pow f 2) (pow PI 3)) in f 6.224 * [taylor]: Taking taylor expansion of (pow f 2) in f 6.224 * [taylor]: Taking taylor expansion of f in f 6.224 * [taylor]: Taking taylor expansion of (pow PI 3) in f 6.224 * [taylor]: Taking taylor expansion of PI in f 6.224 * [taylor]: Taking taylor expansion of (* 1.205632716049384e-07 (* (pow f 6) (pow PI 7))) in f 6.224 * [taylor]: Taking taylor expansion of 1.205632716049384e-07 in f 6.224 * [taylor]: Taking taylor expansion of (* (pow f 6) (pow PI 7)) in f 6.224 * [taylor]: Taking taylor expansion of (pow f 6) in f 6.224 * [taylor]: Taking taylor expansion of f in f 6.224 * [taylor]: Taking taylor expansion of (pow PI 7) in f 6.224 * [taylor]: Taking taylor expansion of PI in f 6.228 * [approximate]: Taking taylor expansion of (log (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))))) in (f) around 0 6.228 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))))) in f 6.228 * [taylor]: Taking taylor expansion of (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6)))) in f 6.228 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) in f 6.228 * [taylor]: Taking taylor expansion of (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) in f 6.228 * [taylor]: Taking taylor expansion of 0.008333333333333335 in f 6.229 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 2)) in f 6.229 * [taylor]: Taking taylor expansion of (pow PI 3) in f 6.229 * [taylor]: Taking taylor expansion of PI in f 6.229 * [taylor]: Taking taylor expansion of (pow f 2) in f 6.229 * [taylor]: Taking taylor expansion of f in f 6.229 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 PI) in f 6.229 * [taylor]: Taking taylor expansion of 0.33333333333333337 in f 6.229 * [taylor]: Taking taylor expansion of PI in f 6.229 * [taylor]: Taking taylor expansion of (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))) in f 6.229 * [taylor]: Taking taylor expansion of 1.205632716049384e-07 in f 6.229 * [taylor]: Taking taylor expansion of (/ (pow PI 7) (pow f 6)) in f 6.229 * [taylor]: Taking taylor expansion of (pow PI 7) in f 6.229 * [taylor]: Taking taylor expansion of PI in f 6.229 * [taylor]: Taking taylor expansion of (pow f 6) in f 6.229 * [taylor]: Taking taylor expansion of f in f 6.229 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))))) in f 6.229 * [taylor]: Taking taylor expansion of (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6)))) in f 6.229 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) in f 6.230 * [taylor]: Taking taylor expansion of (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) in f 6.230 * [taylor]: Taking taylor expansion of 0.008333333333333335 in f 6.230 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 2)) in f 6.230 * [taylor]: Taking taylor expansion of (pow PI 3) in f 6.230 * [taylor]: Taking taylor expansion of PI in f 6.230 * [taylor]: Taking taylor expansion of (pow f 2) in f 6.230 * [taylor]: Taking taylor expansion of f in f 6.230 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 PI) in f 6.230 * [taylor]: Taking taylor expansion of 0.33333333333333337 in f 6.230 * [taylor]: Taking taylor expansion of PI in f 6.230 * [taylor]: Taking taylor expansion of (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))) in f 6.230 * [taylor]: Taking taylor expansion of 1.205632716049384e-07 in f 6.230 * [taylor]: Taking taylor expansion of (/ (pow PI 7) (pow f 6)) in f 6.230 * [taylor]: Taking taylor expansion of (pow PI 7) in f 6.230 * [taylor]: Taking taylor expansion of PI in f 6.230 * [taylor]: Taking taylor expansion of (pow f 6) in f 6.230 * [taylor]: Taking taylor expansion of f in f 6.242 * [approximate]: Taking taylor expansion of (log (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))))) in (f) around 0 6.242 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))))) in f 6.242 * [taylor]: Taking taylor expansion of (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6)))) in f 6.242 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) in f 6.242 * [taylor]: Taking taylor expansion of (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) in f 6.242 * [taylor]: Taking taylor expansion of 0.008333333333333335 in f 6.242 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 2)) in f 6.242 * [taylor]: Taking taylor expansion of (pow PI 3) in f 6.242 * [taylor]: Taking taylor expansion of PI in f 6.242 * [taylor]: Taking taylor expansion of (pow f 2) in f 6.242 * [taylor]: Taking taylor expansion of f in f 6.242 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 PI) in f 6.242 * [taylor]: Taking taylor expansion of 0.33333333333333337 in f 6.242 * [taylor]: Taking taylor expansion of PI in f 6.242 * [taylor]: Taking taylor expansion of (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))) in f 6.242 * [taylor]: Taking taylor expansion of 1.205632716049384e-07 in f 6.242 * [taylor]: Taking taylor expansion of (/ (pow PI 7) (pow f 6)) in f 6.242 * [taylor]: Taking taylor expansion of (pow PI 7) in f 6.242 * [taylor]: Taking taylor expansion of PI in f 6.242 * [taylor]: Taking taylor expansion of (pow f 6) in f 6.242 * [taylor]: Taking taylor expansion of f in f 6.243 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))))) in f 6.243 * [taylor]: Taking taylor expansion of (- (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6)))) in f 6.243 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) (* 0.33333333333333337 PI)) in f 6.243 * [taylor]: Taking taylor expansion of (* 0.008333333333333335 (/ (pow PI 3) (pow f 2))) in f 6.243 * [taylor]: Taking taylor expansion of 0.008333333333333335 in f 6.243 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 2)) in f 6.243 * [taylor]: Taking taylor expansion of (pow PI 3) in f 6.243 * [taylor]: Taking taylor expansion of PI in f 6.243 * [taylor]: Taking taylor expansion of (pow f 2) in f 6.243 * [taylor]: Taking taylor expansion of f in f 6.243 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 PI) in f 6.243 * [taylor]: Taking taylor expansion of 0.33333333333333337 in f 6.243 * [taylor]: Taking taylor expansion of PI in f 6.243 * [taylor]: Taking taylor expansion of (* 1.205632716049384e-07 (/ (pow PI 7) (pow f 6))) in f 6.243 * [taylor]: Taking taylor expansion of 1.205632716049384e-07 in f 6.243 * [taylor]: Taking taylor expansion of (/ (pow PI 7) (pow f 6)) in f 6.243 * [taylor]: Taking taylor expansion of (pow PI 7) in f 6.243 * [taylor]: Taking taylor expansion of PI in f 6.243 * [taylor]: Taking taylor expansion of (pow f 6) in f 6.243 * [taylor]: Taking taylor expansion of f in f 6.258 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1 1 2 2 2) 6.258 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 2 1 2 2 2) 6.258 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1 1 2 2 2 2) 6.258 * * * [progress]: simplifying candidates 6.260 * [simplify]: Simplifying using # : (log (* (cbrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (cbrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))))) (log (cbrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (sqrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (sqrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log 1) (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f)) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) 4.0)))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f)) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) 4.0)))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) f) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 4.0)))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) f)) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) (/ 4.0 f))))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (/ 4.0 f))))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f)) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) 4.0)))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f))) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f)) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) 4.0)))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f))) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) f) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 4.0)))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) f)) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) (/ 4.0 f))))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))))) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (/ 4.0 f))))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) (log (+ (pow (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) 3) (pow (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)) 3))) (log (+ (* (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) (- (* (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))) (* (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))))) (log (- (* (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) (* (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (- (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (exp (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (* (cbrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (cbrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))))) (cbrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (* (* (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (sqrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (sqrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (* (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)) (* (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)) (- (+ (* 0.025 (* (pow f 2) (pow PI 2))) (log (* 0.33333333333333337 PI))) (* 3.4722222222222236e-05 (/ (* (pow PI 4) (pow f 4)) (pow 0.33333333333333337 2)))) (- (log (neg (* 1.205632716049384e-07 (pow PI 7)))) (+ (* 69119.99999999993 (/ 1 (* (pow PI 4) (pow f 4)))) (+ (* 6 (log (/ 1 f))) (* 2764799.999999997 (/ 1 (* (pow PI 6) (pow f 6))))))) (- (log (neg (* 1.205632716049384e-07 (pow PI 7)))) (+ (* 69119.99999999993 (/ 1 (* (pow PI 4) (pow f 4)))) (+ (* 6 (log (/ -1 f))) (* 2764799.999999997 (/ 1 (* (pow PI 6) (pow f 6))))))) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) 6.272 * * [simplify]: iteration 0 : 604 enodes (cost 2248 ) 6.285 * * [simplify]: iteration 1 : 3189 enodes (cost 2162 ) 6.379 * * [simplify]: iteration 2 : 5002 enodes (cost 2054 ) 6.388 * [simplify]: Simplified to: (* 2 (log (cbrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))))) (log (cbrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (sqrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (sqrt (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) 0 (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f)) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) 4.0)))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f)) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) 4.0)))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) f) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 4.0)))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) f)) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) (/ 4.0 f))))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))))) (log (+ (* (* (- (pow (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) 3) (pow (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 3)) PI) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (/ 4.0 f))))) (log (* (+ (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (+ (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f)) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) 4.0)))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) f))) (+ (log (+ (* (* (neg 0.0003472222222222224) (pow (* f PI) 3)) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) (pow (* 0.08333333333333334 (* f PI)) 4))) (log (+ 4.0 (* PI (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f))))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) f))) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) f) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) 4.0)))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) f)) (log (+ (* (* (- (* (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI)))) (* (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) PI) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))))) (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (* (+ (pow (* 0.08333333333333334 (* f PI)) 3) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) (/ 4.0 f))))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (- (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (* (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))))) (+ (log (+ (* (* (neg 0.0003472222222222224) (pow (* f PI) 3)) (pow (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) 3)) (pow (* 0.08333333333333334 (* f PI)) 4))) (log (+ (/ 4.0 f) (* PI (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))))) (log (* (+ (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) (- (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))))) (log (+ (pow (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) 3) (pow (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)) 3))) (log (+ (* (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) (- (* (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))) (* (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))))) (log (- (* (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI)) (* (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (- (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) (log (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))) (* (cbrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (cbrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))))) (cbrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (pow (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f)))) 3) (sqrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (sqrt (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 0.08333333333333334 (* f PI)) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3)))) (/ 4.0 f))))) (log (pow PI 3)) (log (pow PI 3)) 3 (pow PI (* (cbrt 3) (cbrt 3))) (pow PI (sqrt 3)) PI (pow PI 2) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (pow PI 2) (log (pow PI 3)) (exp (pow PI 3)) (pow PI 2) PI (pow (pow PI 3) 3) (pow PI 2) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (pow PI 2) (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 (pow PI 2) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (pow PI 2) (log (pow PI 3)) (exp (pow PI 3)) (pow PI 2) PI (pow (pow PI 3) 3) (pow PI 2) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (pow PI 2) (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 (pow PI 2) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (pow PI 2) (log (pow PI 3)) (exp (pow PI 3)) (pow PI 2) PI (pow (pow PI 3) 3) (pow PI 2) PI (pow PI 3/2) (pow PI 3/2) 1 (pow PI 3) (pow PI 2) (sqrt (pow PI 3)) (sqrt (pow PI 3)) (pow PI 3/2) (pow PI 3/2) (- (+ (* 0.025 (* (pow f 2) (pow PI 2))) (log (* 0.33333333333333337 PI))) (* 3.4722222222222236e-05 (/ (* (pow PI 4) (pow f 4)) (pow 0.33333333333333337 2)))) (- (log (neg (* 1.205632716049384e-07 (pow PI 7)))) (+ (* 69119.99999999993 (/ 1 (* (pow PI 4) (pow f 4)))) (+ (* 6 (log (/ 1 f))) (* 2764799.999999997 (/ 1 (* (pow PI 6) (pow f 6))))))) (- (log (neg (* 1.205632716049384e-07 (pow PI 7)))) (+ (* 69119.99999999993 (/ 1 (* (pow PI 4) (pow f 4)))) (+ (* 6 (log (/ -1 f))) (* 2764799.999999997 (/ 1 (* (pow PI 6) (pow f 6))))))) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) (/ (log (+ (* (- (* (* 0.08333333333333334 (* f PI)) (* 0.08333333333333334 (* f PI))) (* (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))) (* 0.0003472222222222224 (* (pow f 3) (pow PI 3))))) PI) (* (+ (* 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)))) PI)) PI) 6.390 * * * [progress]: adding candidates to table 6.927 * [progress]: [Phase 3 of 3] Extracting. 6.927 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 6.938 * * * [regime-changes]: Trying 1 branch expressions: (f) 6.938 * * * * [regimes]: Trying to branch on f from (# # # # # # # # #) 7.012 * * * [regime]: Found split indices: #