0.966 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.200 * * * [progress]: [2/2] Setting up program. 1.204 * [progress]: [Phase 2 of 3] Improving. 1.207 * [simplify]: Simplifying using # : (neg.f64 (*.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))))) 1.696 * * [simplify]: iteration 0 : 4933 enodes (cost 32 ) 1.696 * * [simplify]: iteration 1 : 4933 enodes (cost 32 ) 1.697 * [simplify]: Simplified to: (*.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 -4 PI.f64)) 1.705 * * [progress]: iteration 1 / 4 1.705 * * * [progress]: picking best candidate 1.708 * * * * [pick]: Picked # 1.708 * * * [progress]: localizing error 1.727 * * * [progress]: generating rewritten candidates 1.727 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.751 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 1.758 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 1.783 * * * [progress]: generating series expansions 1.783 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.789 * [approximate]: Taking taylor expansion of (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI))) in (f) around 0 1.790 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI))) in f 1.790 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* f PI))) in f 1.790 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.790 * [taylor]: Taking taylor expansion of 1/4 in f 1.790 * [taylor]: Taking taylor expansion of (* f PI) in f 1.790 * [taylor]: Taking taylor expansion of f in f 1.790 * [taylor]: Taking taylor expansion of PI in f 1.791 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* f PI)) in f 1.791 * [taylor]: Taking taylor expansion of (exp (* (* f PI) (log (exp -1/4)))) in f 1.791 * [taylor]: Taking taylor expansion of (* (* f PI) (log (exp -1/4))) in f 1.791 * [taylor]: Taking taylor expansion of (* f PI) in f 1.791 * [taylor]: Taking taylor expansion of f in f 1.791 * [taylor]: Taking taylor expansion of PI in f 1.791 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.791 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.791 * [taylor]: Taking taylor expansion of -1/4 in f 1.792 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI))) in f 1.792 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* f PI))) in f 1.792 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.792 * [taylor]: Taking taylor expansion of 1/4 in f 1.792 * [taylor]: Taking taylor expansion of (* f PI) in f 1.792 * [taylor]: Taking taylor expansion of f in f 1.792 * [taylor]: Taking taylor expansion of PI in f 1.792 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* f PI)) in f 1.792 * [taylor]: Taking taylor expansion of (exp (* (* f PI) (log (exp -1/4)))) in f 1.793 * [taylor]: Taking taylor expansion of (* (* f PI) (log (exp -1/4))) in f 1.793 * [taylor]: Taking taylor expansion of (* f PI) in f 1.793 * [taylor]: Taking taylor expansion of f in f 1.793 * [taylor]: Taking taylor expansion of PI in f 1.793 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.793 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.793 * [taylor]: Taking taylor expansion of -1/4 in f 1.803 * [approximate]: Taking taylor expansion of (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f))) in (f) around 0 1.803 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f))) in f 1.803 * [taylor]: Taking taylor expansion of (exp (* 1/4 (/ PI f))) in f 1.803 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.803 * [taylor]: Taking taylor expansion of 1/4 in f 1.803 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.803 * [taylor]: Taking taylor expansion of PI in f 1.803 * [taylor]: Taking taylor expansion of f in f 1.804 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (/ PI f)) in f 1.804 * [taylor]: Taking taylor expansion of (exp (* (/ PI f) (log (exp -1/4)))) in f 1.804 * [taylor]: Taking taylor expansion of (* (/ PI f) (log (exp -1/4))) in f 1.804 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.804 * [taylor]: Taking taylor expansion of PI in f 1.804 * [taylor]: Taking taylor expansion of f in f 1.804 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.804 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.804 * [taylor]: Taking taylor expansion of -1/4 in f 1.804 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f))) in f 1.804 * [taylor]: Taking taylor expansion of (exp (* 1/4 (/ PI f))) in f 1.804 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.804 * [taylor]: Taking taylor expansion of 1/4 in f 1.804 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.804 * [taylor]: Taking taylor expansion of PI in f 1.804 * [taylor]: Taking taylor expansion of f in f 1.804 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (/ PI f)) in f 1.804 * [taylor]: Taking taylor expansion of (exp (* (/ PI f) (log (exp -1/4)))) in f 1.804 * [taylor]: Taking taylor expansion of (* (/ PI f) (log (exp -1/4))) in f 1.804 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.804 * [taylor]: Taking taylor expansion of PI in f 1.804 * [taylor]: Taking taylor expansion of f in f 1.804 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.804 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.804 * [taylor]: Taking taylor expansion of -1/4 in f 1.805 * [approximate]: Taking taylor expansion of (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f)))) in (f) around 0 1.805 * [taylor]: Taking taylor expansion of (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f)))) in f 1.805 * [taylor]: Taking taylor expansion of (exp (* -1/4 (/ PI f))) in f 1.805 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.805 * [taylor]: Taking taylor expansion of -1/4 in f 1.805 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.806 * [taylor]: Taking taylor expansion of PI in f 1.806 * [taylor]: Taking taylor expansion of f in f 1.806 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* -1 (/ PI f))) in f 1.806 * [taylor]: Taking taylor expansion of (exp (* (* -1 (/ PI f)) (log (exp -1/4)))) in f 1.806 * [taylor]: Taking taylor expansion of (* (* -1 (/ PI f)) (log (exp -1/4))) in f 1.806 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 1.806 * [taylor]: Taking taylor expansion of -1 in f 1.806 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.806 * [taylor]: Taking taylor expansion of PI in f 1.806 * [taylor]: Taking taylor expansion of f in f 1.806 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.806 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.806 * [taylor]: Taking taylor expansion of -1/4 in f 1.806 * [taylor]: Taking taylor expansion of (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f)))) in f 1.806 * [taylor]: Taking taylor expansion of (exp (* -1/4 (/ PI f))) in f 1.806 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.806 * [taylor]: Taking taylor expansion of -1/4 in f 1.806 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.806 * [taylor]: Taking taylor expansion of PI in f 1.806 * [taylor]: Taking taylor expansion of f in f 1.806 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* -1 (/ PI f))) in f 1.806 * [taylor]: Taking taylor expansion of (exp (* (* -1 (/ PI f)) (log (exp -1/4)))) in f 1.806 * [taylor]: Taking taylor expansion of (* (* -1 (/ PI f)) (log (exp -1/4))) in f 1.806 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 1.806 * [taylor]: Taking taylor expansion of -1 in f 1.806 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.807 * [taylor]: Taking taylor expansion of PI in f 1.807 * [taylor]: Taking taylor expansion of f in f 1.807 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.807 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.807 * [taylor]: Taking taylor expansion of -1/4 in f 1.807 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.808 * [approximate]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (* f PI)) (exp (* 1/4 (* f PI)))) (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI)))) in (f) around 0 1.808 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (* f PI)) (exp (* 1/4 (* f PI)))) (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI)))) in f 1.808 * [taylor]: Taking taylor expansion of (+ (pow (exp -1/4) (* f PI)) (exp (* 1/4 (* f PI)))) in f 1.808 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* f PI)) in f 1.808 * [taylor]: Taking taylor expansion of (exp (* (* f PI) (log (exp -1/4)))) in f 1.808 * [taylor]: Taking taylor expansion of (* (* f PI) (log (exp -1/4))) in f 1.808 * [taylor]: Taking taylor expansion of (* f PI) in f 1.808 * [taylor]: Taking taylor expansion of f in f 1.808 * [taylor]: Taking taylor expansion of PI in f 1.808 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.808 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.808 * [taylor]: Taking taylor expansion of -1/4 in f 1.808 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* f PI))) in f 1.808 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.808 * [taylor]: Taking taylor expansion of 1/4 in f 1.808 * [taylor]: Taking taylor expansion of (* f PI) in f 1.808 * [taylor]: Taking taylor expansion of f in f 1.808 * [taylor]: Taking taylor expansion of PI in f 1.808 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI))) in f 1.809 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* f PI))) in f 1.809 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.809 * [taylor]: Taking taylor expansion of 1/4 in f 1.809 * [taylor]: Taking taylor expansion of (* f PI) in f 1.809 * [taylor]: Taking taylor expansion of f in f 1.809 * [taylor]: Taking taylor expansion of PI in f 1.809 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* f PI)) in f 1.809 * [taylor]: Taking taylor expansion of (exp (* (* f PI) (log (exp -1/4)))) in f 1.809 * [taylor]: Taking taylor expansion of (* (* f PI) (log (exp -1/4))) in f 1.809 * [taylor]: Taking taylor expansion of (* f PI) in f 1.809 * [taylor]: Taking taylor expansion of f in f 1.809 * [taylor]: Taking taylor expansion of PI in f 1.809 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.809 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.809 * [taylor]: Taking taylor expansion of -1/4 in f 1.809 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (* f PI)) (exp (* 1/4 (* f PI)))) (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI)))) in f 1.809 * [taylor]: Taking taylor expansion of (+ (pow (exp -1/4) (* f PI)) (exp (* 1/4 (* f PI)))) in f 1.809 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* f PI)) in f 1.810 * [taylor]: Taking taylor expansion of (exp (* (* f PI) (log (exp -1/4)))) in f 1.810 * [taylor]: Taking taylor expansion of (* (* f PI) (log (exp -1/4))) in f 1.810 * [taylor]: Taking taylor expansion of (* f PI) in f 1.810 * [taylor]: Taking taylor expansion of f in f 1.810 * [taylor]: Taking taylor expansion of PI in f 1.810 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.810 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.810 * [taylor]: Taking taylor expansion of -1/4 in f 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* f PI))) in f 1.810 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.810 * [taylor]: Taking taylor expansion of 1/4 in f 1.810 * [taylor]: Taking taylor expansion of (* f PI) in f 1.810 * [taylor]: Taking taylor expansion of f in f 1.810 * [taylor]: Taking taylor expansion of PI in f 1.810 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (* f PI))) (pow (exp -1/4) (* f PI))) in f 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* f PI))) in f 1.810 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.810 * [taylor]: Taking taylor expansion of 1/4 in f 1.810 * [taylor]: Taking taylor expansion of (* f PI) in f 1.810 * [taylor]: Taking taylor expansion of f in f 1.810 * [taylor]: Taking taylor expansion of PI in f 1.810 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* f PI)) in f 1.810 * [taylor]: Taking taylor expansion of (exp (* (* f PI) (log (exp -1/4)))) in f 1.810 * [taylor]: Taking taylor expansion of (* (* f PI) (log (exp -1/4))) in f 1.810 * [taylor]: Taking taylor expansion of (* f PI) in f 1.810 * [taylor]: Taking taylor expansion of f in f 1.810 * [taylor]: Taking taylor expansion of PI in f 1.810 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.810 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.810 * [taylor]: Taking taylor expansion of -1/4 in f 1.824 * [approximate]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (/ PI f)) (exp (* 1/4 (/ PI f)))) (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f)))) in (f) around 0 1.824 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (/ PI f)) (exp (* 1/4 (/ PI f)))) (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f)))) in f 1.824 * [taylor]: Taking taylor expansion of (+ (pow (exp -1/4) (/ PI f)) (exp (* 1/4 (/ PI f)))) in f 1.824 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (/ PI f)) in f 1.824 * [taylor]: Taking taylor expansion of (exp (* (/ PI f) (log (exp -1/4)))) in f 1.824 * [taylor]: Taking taylor expansion of (* (/ PI f) (log (exp -1/4))) in f 1.824 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.824 * [taylor]: Taking taylor expansion of PI in f 1.824 * [taylor]: Taking taylor expansion of f in f 1.824 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.824 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.824 * [taylor]: Taking taylor expansion of -1/4 in f 1.824 * [taylor]: Taking taylor expansion of (exp (* 1/4 (/ PI f))) in f 1.824 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.824 * [taylor]: Taking taylor expansion of 1/4 in f 1.824 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.824 * [taylor]: Taking taylor expansion of PI in f 1.824 * [taylor]: Taking taylor expansion of f in f 1.824 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f))) in f 1.824 * [taylor]: Taking taylor expansion of (exp (* 1/4 (/ PI f))) in f 1.824 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.824 * [taylor]: Taking taylor expansion of 1/4 in f 1.824 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.824 * [taylor]: Taking taylor expansion of PI in f 1.824 * [taylor]: Taking taylor expansion of f in f 1.824 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (/ PI f)) in f 1.825 * [taylor]: Taking taylor expansion of (exp (* (/ PI f) (log (exp -1/4)))) in f 1.825 * [taylor]: Taking taylor expansion of (* (/ PI f) (log (exp -1/4))) in f 1.825 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.825 * [taylor]: Taking taylor expansion of PI in f 1.825 * [taylor]: Taking taylor expansion of f in f 1.825 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.825 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.825 * [taylor]: Taking taylor expansion of -1/4 in f 1.825 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (/ PI f)) (exp (* 1/4 (/ PI f)))) (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f)))) in f 1.825 * [taylor]: Taking taylor expansion of (+ (pow (exp -1/4) (/ PI f)) (exp (* 1/4 (/ PI f)))) in f 1.825 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (/ PI f)) in f 1.825 * [taylor]: Taking taylor expansion of (exp (* (/ PI f) (log (exp -1/4)))) in f 1.825 * [taylor]: Taking taylor expansion of (* (/ PI f) (log (exp -1/4))) in f 1.825 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.825 * [taylor]: Taking taylor expansion of PI in f 1.825 * [taylor]: Taking taylor expansion of f in f 1.825 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.825 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.825 * [taylor]: Taking taylor expansion of -1/4 in f 1.826 * [taylor]: Taking taylor expansion of (exp (* 1/4 (/ PI f))) in f 1.826 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.826 * [taylor]: Taking taylor expansion of 1/4 in f 1.826 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.826 * [taylor]: Taking taylor expansion of PI in f 1.826 * [taylor]: Taking taylor expansion of f in f 1.826 * [taylor]: Taking taylor expansion of (- (exp (* 1/4 (/ PI f))) (pow (exp -1/4) (/ PI f))) in f 1.826 * [taylor]: Taking taylor expansion of (exp (* 1/4 (/ PI f))) in f 1.826 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.826 * [taylor]: Taking taylor expansion of 1/4 in f 1.826 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.826 * [taylor]: Taking taylor expansion of PI in f 1.826 * [taylor]: Taking taylor expansion of f in f 1.826 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (/ PI f)) in f 1.826 * [taylor]: Taking taylor expansion of (exp (* (/ PI f) (log (exp -1/4)))) in f 1.826 * [taylor]: Taking taylor expansion of (* (/ PI f) (log (exp -1/4))) in f 1.826 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.826 * [taylor]: Taking taylor expansion of PI in f 1.826 * [taylor]: Taking taylor expansion of f in f 1.826 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.826 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.826 * [taylor]: Taking taylor expansion of -1/4 in f 1.831 * [approximate]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (* -1 (/ PI f))) (exp (* -1/4 (/ PI f)))) (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f))))) in (f) around 0 1.831 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (* -1 (/ PI f))) (exp (* -1/4 (/ PI f)))) (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f))))) in f 1.831 * [taylor]: Taking taylor expansion of (+ (pow (exp -1/4) (* -1 (/ PI f))) (exp (* -1/4 (/ PI f)))) in f 1.831 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* -1 (/ PI f))) in f 1.831 * [taylor]: Taking taylor expansion of (exp (* (* -1 (/ PI f)) (log (exp -1/4)))) in f 1.831 * [taylor]: Taking taylor expansion of (* (* -1 (/ PI f)) (log (exp -1/4))) in f 1.831 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 1.831 * [taylor]: Taking taylor expansion of -1 in f 1.831 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.831 * [taylor]: Taking taylor expansion of PI in f 1.831 * [taylor]: Taking taylor expansion of f in f 1.831 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.831 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.831 * [taylor]: Taking taylor expansion of -1/4 in f 1.832 * [taylor]: Taking taylor expansion of (exp (* -1/4 (/ PI f))) in f 1.832 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.832 * [taylor]: Taking taylor expansion of -1/4 in f 1.832 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.832 * [taylor]: Taking taylor expansion of PI in f 1.832 * [taylor]: Taking taylor expansion of f in f 1.832 * [taylor]: Taking taylor expansion of (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f)))) in f 1.832 * [taylor]: Taking taylor expansion of (exp (* -1/4 (/ PI f))) in f 1.832 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.832 * [taylor]: Taking taylor expansion of -1/4 in f 1.832 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.832 * [taylor]: Taking taylor expansion of PI in f 1.832 * [taylor]: Taking taylor expansion of f in f 1.832 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* -1 (/ PI f))) in f 1.832 * [taylor]: Taking taylor expansion of (exp (* (* -1 (/ PI f)) (log (exp -1/4)))) in f 1.832 * [taylor]: Taking taylor expansion of (* (* -1 (/ PI f)) (log (exp -1/4))) in f 1.832 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 1.832 * [taylor]: Taking taylor expansion of -1 in f 1.832 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.832 * [taylor]: Taking taylor expansion of PI in f 1.832 * [taylor]: Taking taylor expansion of f in f 1.832 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.832 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.832 * [taylor]: Taking taylor expansion of -1/4 in f 1.833 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp -1/4) (* -1 (/ PI f))) (exp (* -1/4 (/ PI f)))) (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f))))) in f 1.833 * [taylor]: Taking taylor expansion of (+ (pow (exp -1/4) (* -1 (/ PI f))) (exp (* -1/4 (/ PI f)))) in f 1.833 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* -1 (/ PI f))) in f 1.833 * [taylor]: Taking taylor expansion of (exp (* (* -1 (/ PI f)) (log (exp -1/4)))) in f 1.833 * [taylor]: Taking taylor expansion of (* (* -1 (/ PI f)) (log (exp -1/4))) in f 1.833 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 1.833 * [taylor]: Taking taylor expansion of -1 in f 1.833 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.833 * [taylor]: Taking taylor expansion of PI in f 1.833 * [taylor]: Taking taylor expansion of f in f 1.833 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.833 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.833 * [taylor]: Taking taylor expansion of -1/4 in f 1.834 * [taylor]: Taking taylor expansion of (exp (* -1/4 (/ PI f))) in f 1.834 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.834 * [taylor]: Taking taylor expansion of -1/4 in f 1.834 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.834 * [taylor]: Taking taylor expansion of PI in f 1.834 * [taylor]: Taking taylor expansion of f in f 1.834 * [taylor]: Taking taylor expansion of (- (exp (* -1/4 (/ PI f))) (pow (exp -1/4) (* -1 (/ PI f)))) in f 1.834 * [taylor]: Taking taylor expansion of (exp (* -1/4 (/ PI f))) in f 1.834 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.834 * [taylor]: Taking taylor expansion of -1/4 in f 1.834 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.834 * [taylor]: Taking taylor expansion of PI in f 1.834 * [taylor]: Taking taylor expansion of f in f 1.834 * [taylor]: Taking taylor expansion of (pow (exp -1/4) (* -1 (/ PI f))) in f 1.834 * [taylor]: Taking taylor expansion of (exp (* (* -1 (/ PI f)) (log (exp -1/4)))) in f 1.834 * [taylor]: Taking taylor expansion of (* (* -1 (/ PI f)) (log (exp -1/4))) in f 1.834 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 1.834 * [taylor]: Taking taylor expansion of -1 in f 1.834 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.834 * [taylor]: Taking taylor expansion of PI in f 1.834 * [taylor]: Taking taylor expansion of f in f 1.834 * [taylor]: Taking taylor expansion of (log (exp -1/4)) in f 1.834 * [taylor]: Taking taylor expansion of (exp -1/4) in f 1.834 * [taylor]: Taking taylor expansion of -1/4 in f 1.839 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 1.839 * [approximate]: Taking taylor expansion of (* 1/4 (* f PI)) in (f) around 0 1.839 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.839 * [taylor]: Taking taylor expansion of 1/4 in f 1.839 * [taylor]: Taking taylor expansion of (* f PI) in f 1.839 * [taylor]: Taking taylor expansion of f in f 1.839 * [taylor]: Taking taylor expansion of PI in f 1.839 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.839 * [taylor]: Taking taylor expansion of 1/4 in f 1.839 * [taylor]: Taking taylor expansion of (* f PI) in f 1.839 * [taylor]: Taking taylor expansion of f in f 1.839 * [taylor]: Taking taylor expansion of PI in f 1.840 * [approximate]: Taking taylor expansion of (* 1/4 (/ PI f)) in (f) around 0 1.840 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.840 * [taylor]: Taking taylor expansion of 1/4 in f 1.840 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.840 * [taylor]: Taking taylor expansion of PI in f 1.840 * [taylor]: Taking taylor expansion of f in f 1.840 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.840 * [taylor]: Taking taylor expansion of 1/4 in f 1.840 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.840 * [taylor]: Taking taylor expansion of PI in f 1.840 * [taylor]: Taking taylor expansion of f in f 1.841 * [approximate]: Taking taylor expansion of (* -1/4 (/ PI f)) in (f) around 0 1.841 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.841 * [taylor]: Taking taylor expansion of -1/4 in f 1.841 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.841 * [taylor]: Taking taylor expansion of PI in f 1.841 * [taylor]: Taking taylor expansion of f in f 1.842 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.842 * [taylor]: Taking taylor expansion of -1/4 in f 1.842 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.842 * [taylor]: Taking taylor expansion of PI in f 1.842 * [taylor]: Taking taylor expansion of f in f 1.842 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 1.843 * [approximate]: Taking taylor expansion of (* 1/4 (* f PI)) in (f) around 0 1.843 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.843 * [taylor]: Taking taylor expansion of 1/4 in f 1.843 * [taylor]: Taking taylor expansion of (* f PI) in f 1.843 * [taylor]: Taking taylor expansion of f in f 1.843 * [taylor]: Taking taylor expansion of PI in f 1.843 * [taylor]: Taking taylor expansion of (* 1/4 (* f PI)) in f 1.843 * [taylor]: Taking taylor expansion of 1/4 in f 1.843 * [taylor]: Taking taylor expansion of (* f PI) in f 1.843 * [taylor]: Taking taylor expansion of f in f 1.843 * [taylor]: Taking taylor expansion of PI in f 1.844 * [approximate]: Taking taylor expansion of (* 1/4 (/ PI f)) in (f) around 0 1.844 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.844 * [taylor]: Taking taylor expansion of 1/4 in f 1.844 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.844 * [taylor]: Taking taylor expansion of PI in f 1.844 * [taylor]: Taking taylor expansion of f in f 1.844 * [taylor]: Taking taylor expansion of (* 1/4 (/ PI f)) in f 1.844 * [taylor]: Taking taylor expansion of 1/4 in f 1.844 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.844 * [taylor]: Taking taylor expansion of PI in f 1.844 * [taylor]: Taking taylor expansion of f in f 1.845 * [approximate]: Taking taylor expansion of (* -1/4 (/ PI f)) in (f) around 0 1.845 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.845 * [taylor]: Taking taylor expansion of -1/4 in f 1.845 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.845 * [taylor]: Taking taylor expansion of PI in f 1.845 * [taylor]: Taking taylor expansion of f in f 1.845 * [taylor]: Taking taylor expansion of (* -1/4 (/ PI f)) in f 1.845 * [taylor]: Taking taylor expansion of -1/4 in f 1.845 * [taylor]: Taking taylor expansion of (/ PI f) in f 1.845 * [taylor]: Taking taylor expansion of PI in f 1.845 * [taylor]: Taking taylor expansion of f in f 1.846 * * * [progress]: simplifying candidates 1.848 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (exp.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (log.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (exp.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (*.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (pow.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) 3) (pow.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) 3)) (+.f64 (*.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (+.f64 (*.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (*.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (neg.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (*.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (*.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (log.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (log.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (exp.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (*.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (*.f64 (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (*.f64 (*.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (neg.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (neg.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) 1) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) 1) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) 1) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) 1) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 1) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 1 1) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 1) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 1 1) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) 1) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) 1) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (pow.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) 3) (pow.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) 3))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (*.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (*.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (*.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (*.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (-.f64 (*.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (*.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (*.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (/.f64 PI.f64 4) f) (+.f64 (-.f64 (log.f64 PI.f64) (log.f64 4)) (log.f64 f)) (+.f64 (log.f64 (/.f64 PI.f64 4)) (log.f64 f)) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (/.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 4 4) 4)) (*.f64 (*.f64 f f) f)) (*.f64 (*.f64 (*.f64 (/.f64 PI.f64 4) (/.f64 PI.f64 4)) (/.f64 PI.f64 4)) (*.f64 (*.f64 f f) f)) (*.f64 (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (*.f64 (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 4)) (sqrt.f64 f)) (*.f64 (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 4)) (sqrt.f64 f)) (*.f64 (/.f64 PI.f64 4) (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 (/.f64 PI.f64 4) (sqrt.f64 f)) (*.f64 (/.f64 PI.f64 4) 1) (*.f64 (cbrt.f64 (/.f64 PI.f64 4)) f) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) f) (*.f64 (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 4)) f) (*.f64 (/.f64 (cbrt.f64 PI.f64) (sqrt.f64 4)) f) (*.f64 (/.f64 (cbrt.f64 PI.f64) 4) f) (*.f64 (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 4)) f) (*.f64 (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 4)) f) (*.f64 (/.f64 (sqrt.f64 PI.f64) 4) f) (*.f64 (/.f64 PI.f64 (cbrt.f64 4)) f) (*.f64 (/.f64 PI.f64 (sqrt.f64 4)) f) (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 1 4) f) (*.f64 PI.f64 f) (*.f64 (/.f64 PI.f64 4) f) (+.f64 (-.f64 (log.f64 PI.f64) (log.f64 4)) (log.f64 f)) (+.f64 (log.f64 (/.f64 PI.f64 4)) (log.f64 f)) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (/.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 4 4) 4)) (*.f64 (*.f64 f f) f)) (*.f64 (*.f64 (*.f64 (/.f64 PI.f64 4) (/.f64 PI.f64 4)) (/.f64 PI.f64 4)) (*.f64 (*.f64 f f) f)) (*.f64 (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (*.f64 (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 4)) (sqrt.f64 f)) (*.f64 (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 4)) (sqrt.f64 f)) (*.f64 (/.f64 PI.f64 4) (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 (/.f64 PI.f64 4) (sqrt.f64 f)) (*.f64 (/.f64 PI.f64 4) 1) (*.f64 (cbrt.f64 (/.f64 PI.f64 4)) f) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) f) (*.f64 (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 4)) f) (*.f64 (/.f64 (cbrt.f64 PI.f64) (sqrt.f64 4)) f) (*.f64 (/.f64 (cbrt.f64 PI.f64) 4) f) (*.f64 (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 4)) f) (*.f64 (/.f64 (sqrt.f64 PI.f64) (sqrt.f64 4)) f) (*.f64 (/.f64 (sqrt.f64 PI.f64) 4) f) (*.f64 (/.f64 PI.f64 (cbrt.f64 4)) f) (*.f64 (/.f64 PI.f64 (sqrt.f64 4)) f) (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 1 4) f) (*.f64 PI.f64 f) (+.f64 (*.f64 1/192 (*.f64 (pow.f64 f 3) (pow.f64 PI.f64 3))) (+.f64 (*.f64 1/61440 (*.f64 (pow.f64 f 5) (pow.f64 PI.f64 5))) (*.f64 1/2 (*.f64 f PI.f64)))) (-.f64 (exp.f64 (*.f64 1/4 (*.f64 PI.f64 f))) (exp.f64 (*.f64 -1/4 (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 1/4 (*.f64 PI.f64 f))) (exp.f64 (*.f64 -1/4 (*.f64 PI.f64 f)))) (-.f64 (+.f64 (*.f64 4 (/.f64 1 (*.f64 PI.f64 f))) (*.f64 1/12 (*.f64 f PI.f64))) (*.f64 1/2880 (*.f64 (pow.f64 f 3) (pow.f64 PI.f64 3)))) (/.f64 (+.f64 (exp.f64 (*.f64 -1/4 (*.f64 PI.f64 f))) (exp.f64 (*.f64 1/4 (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 1/4 (*.f64 PI.f64 f))) (exp.f64 (*.f64 -1/4 (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 1/4 (*.f64 PI.f64 f))) (exp.f64 (*.f64 -1/4 (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 1/4 (*.f64 PI.f64 f))) (exp.f64 (*.f64 -1/4 (*.f64 PI.f64 f))))) (*.f64 1/4 (*.f64 f PI.f64)) (*.f64 1/4 (*.f64 f PI.f64)) (*.f64 1/4 (*.f64 f PI.f64)) (*.f64 1/4 (*.f64 f PI.f64)) (*.f64 1/4 (*.f64 f PI.f64)) (*.f64 1/4 (*.f64 f PI.f64)) 1.888 * * [simplify]: iteration 0 : 5052 enodes (cost 3119 ) 1.898 * [simplify]: Simplified to: (exp.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (log.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (exp.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (pow.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) 3) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (pow.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) 3) (pow.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) 3)) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 f) PI.f64)) (+.f64 (pow.f64 (pow.f64 (exp.f64 f) PI.f64) -1/2) (pow.f64 (exp.f64 f) (+.f64 (/.f64 PI.f64 4) (*.f64 PI.f64 -1/4))))) (neg.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 f) PI.f64)) (pow.f64 (pow.f64 (exp.f64 f) PI.f64) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (exp.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (pow.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) 3) (*.f64 (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (pow.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) 3) (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (-.f64 (neg.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (-.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) 1 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) 1 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) 1 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) 1 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 1 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (cbrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (sqrt.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (exp.f64 -1/4) (/.f64 (*.f64 PI.f64 f) 2)))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (pow.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) 3) (pow.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) 3))) (/.f64 1 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 f) PI.f64)) (-.f64 (pow.f64 (pow.f64 (exp.f64 f) PI.f64) -1/2) (pow.f64 (exp.f64 f) (+.f64 (/.f64 PI.f64 4) (*.f64 PI.f64 -1/4)))))) (*.f64 (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 (/.f64 PI.f64 4) f) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 3) (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 3) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (sqrt.f64 f) (/.f64 (sqrt.f64 PI.f64) 2)) (*.f64 (sqrt.f64 f) (/.f64 (sqrt.f64 PI.f64) 2)) (*.f64 (/.f64 PI.f64 4) (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 (/.f64 PI.f64 4) (sqrt.f64 f)) (/.f64 PI.f64 4) (*.f64 f (cbrt.f64 (/.f64 PI.f64 4))) (*.f64 f (sqrt.f64 (/.f64 PI.f64 4))) (*.f64 f (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 4))) (*.f64 f (/.f64 (cbrt.f64 PI.f64) 2)) (*.f64 f (/.f64 (cbrt.f64 PI.f64) 4)) (*.f64 f (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 4))) (*.f64 f (/.f64 (sqrt.f64 PI.f64) 2)) (*.f64 f (/.f64 (sqrt.f64 PI.f64) 4)) (*.f64 f (/.f64 PI.f64 (cbrt.f64 4))) (/.f64 (*.f64 PI.f64 f) 2) (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 PI.f64 4) f) (*.f64 f 1/4) (*.f64 PI.f64 f) (*.f64 (/.f64 PI.f64 4) f) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (log.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 3) (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f))) (cbrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 3) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (*.f64 (/.f64 PI.f64 4) f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (sqrt.f64 (/.f64 PI.f64 4)) (sqrt.f64 f)) (*.f64 (sqrt.f64 f) (/.f64 (sqrt.f64 PI.f64) 2)) (*.f64 (sqrt.f64 f) (/.f64 (sqrt.f64 PI.f64) 2)) (*.f64 (/.f64 PI.f64 4) (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 (/.f64 PI.f64 4) (sqrt.f64 f)) (/.f64 PI.f64 4) (*.f64 f (cbrt.f64 (/.f64 PI.f64 4))) (*.f64 f (sqrt.f64 (/.f64 PI.f64 4))) (*.f64 f (/.f64 (cbrt.f64 PI.f64) (cbrt.f64 4))) (*.f64 f (/.f64 (cbrt.f64 PI.f64) 2)) (*.f64 f (/.f64 (cbrt.f64 PI.f64) 4)) (*.f64 f (/.f64 (sqrt.f64 PI.f64) (cbrt.f64 4))) (*.f64 f (/.f64 (sqrt.f64 PI.f64) 2)) (*.f64 f (/.f64 (sqrt.f64 PI.f64) 4)) (*.f64 f (/.f64 PI.f64 (cbrt.f64 4))) (/.f64 (*.f64 PI.f64 f) 2) (*.f64 (/.f64 PI.f64 4) f) (*.f64 (/.f64 PI.f64 4) f) (*.f64 f 1/4) (*.f64 PI.f64 f) (+.f64 (*.f64 1/192 (pow.f64 (*.f64 PI.f64 f) 3)) (+.f64 (*.f64 1/61440 (*.f64 (pow.f64 f 5) (pow.f64 PI.f64 5))) (*.f64 (*.f64 PI.f64 f) 1/2))) (-.f64 (exp.f64 (*.f64 PI.f64 (*.f64 f 1/4))) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 PI.f64 (*.f64 f 1/4))) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)) (/.f64 (+.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (exp.f64 (*.f64 PI.f64 (*.f64 f 1/4)))) (-.f64 (exp.f64 (*.f64 PI.f64 (*.f64 f 1/4))) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)) (exp.f64 (*.f64 PI.f64 (*.f64 f 1/4)))) (-.f64 (exp.f64 (*.f64 PI.f64 (*.f64 f 1/4))) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))) (*.f64 PI.f64 (*.f64 f 1/4)) (*.f64 PI.f64 (*.f64 f 1/4)) (*.f64 PI.f64 (*.f64 f 1/4)) (*.f64 PI.f64 (*.f64 f 1/4)) (*.f64 PI.f64 (*.f64 f 1/4)) (*.f64 PI.f64 (*.f64 f 1/4)) 1.904 * * * [progress]: adding candidates to table 2.148 * * [progress]: iteration 2 / 4 2.148 * * * [progress]: picking best candidate 2.153 * * * * [pick]: Picked # 2.153 * * * [progress]: localizing error 2.167 * * * [progress]: generating rewritten candidates 2.167 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 2.178 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 2.184 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 2.189 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 2.196 * * * [progress]: generating series expansions 2.196 * * * * [progress]: [ 1 / 4 ] generating series at (2) 2.196 * [approximate]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI)) in (f) around 0 2.196 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI)) in f 2.196 * [taylor]: Taking taylor expansion of -4 in f 2.196 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI) in f 2.196 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) in f 2.196 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3)))) in f 2.196 * [taylor]: Taking taylor expansion of (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) in f 2.196 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.196 * [taylor]: Taking taylor expansion of 1/12 in f 2.196 * [taylor]: Taking taylor expansion of (* PI f) in f 2.196 * [taylor]: Taking taylor expansion of PI in f 2.196 * [taylor]: Taking taylor expansion of f in f 2.196 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* f PI))) in f 2.196 * [taylor]: Taking taylor expansion of 4 in f 2.196 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 2.196 * [taylor]: Taking taylor expansion of (* f PI) in f 2.196 * [taylor]: Taking taylor expansion of f in f 2.197 * [taylor]: Taking taylor expansion of PI in f 2.197 * [taylor]: Taking taylor expansion of (* 1/2880 (* (pow PI 3) (pow f 3))) in f 2.197 * [taylor]: Taking taylor expansion of 1/2880 in f 2.197 * [taylor]: Taking taylor expansion of (* (pow PI 3) (pow f 3)) in f 2.197 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.197 * [taylor]: Taking taylor expansion of PI in f 2.197 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.197 * [taylor]: Taking taylor expansion of f in f 2.197 * [taylor]: Taking taylor expansion of PI in f 2.198 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI)) in f 2.198 * [taylor]: Taking taylor expansion of -4 in f 2.198 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI) in f 2.198 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) in f 2.198 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3)))) in f 2.198 * [taylor]: Taking taylor expansion of (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) in f 2.198 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.198 * [taylor]: Taking taylor expansion of 1/12 in f 2.198 * [taylor]: Taking taylor expansion of (* PI f) in f 2.198 * [taylor]: Taking taylor expansion of PI in f 2.198 * [taylor]: Taking taylor expansion of f in f 2.198 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* f PI))) in f 2.198 * [taylor]: Taking taylor expansion of 4 in f 2.198 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 2.198 * [taylor]: Taking taylor expansion of (* f PI) in f 2.198 * [taylor]: Taking taylor expansion of f in f 2.198 * [taylor]: Taking taylor expansion of PI in f 2.198 * [taylor]: Taking taylor expansion of (* 1/2880 (* (pow PI 3) (pow f 3))) in f 2.198 * [taylor]: Taking taylor expansion of 1/2880 in f 2.198 * [taylor]: Taking taylor expansion of (* (pow PI 3) (pow f 3)) in f 2.198 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.198 * [taylor]: Taking taylor expansion of PI in f 2.198 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.198 * [taylor]: Taking taylor expansion of f in f 2.198 * [taylor]: Taking taylor expansion of PI in f 2.204 * [approximate]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI)) in (f) around 0 2.204 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI)) in f 2.204 * [taylor]: Taking taylor expansion of -4 in f 2.204 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI) in f 2.204 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) in f 2.204 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3)))) in f 2.204 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.204 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.204 * [taylor]: Taking taylor expansion of 1/12 in f 2.204 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.204 * [taylor]: Taking taylor expansion of PI in f 2.204 * [taylor]: Taking taylor expansion of f in f 2.204 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.204 * [taylor]: Taking taylor expansion of 4 in f 2.204 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.204 * [taylor]: Taking taylor expansion of f in f 2.204 * [taylor]: Taking taylor expansion of PI in f 2.204 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.204 * [taylor]: Taking taylor expansion of 1/2880 in f 2.204 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.204 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.204 * [taylor]: Taking taylor expansion of PI in f 2.204 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.204 * [taylor]: Taking taylor expansion of f in f 2.205 * [taylor]: Taking taylor expansion of PI in f 2.205 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI)) in f 2.205 * [taylor]: Taking taylor expansion of -4 in f 2.205 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI) in f 2.205 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) in f 2.205 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3)))) in f 2.205 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.205 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.205 * [taylor]: Taking taylor expansion of 1/12 in f 2.205 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.206 * [taylor]: Taking taylor expansion of PI in f 2.206 * [taylor]: Taking taylor expansion of f in f 2.206 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.206 * [taylor]: Taking taylor expansion of 4 in f 2.206 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.206 * [taylor]: Taking taylor expansion of f in f 2.206 * [taylor]: Taking taylor expansion of PI in f 2.206 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.206 * [taylor]: Taking taylor expansion of 1/2880 in f 2.206 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.206 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.206 * [taylor]: Taking taylor expansion of PI in f 2.206 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.206 * [taylor]: Taking taylor expansion of f in f 2.206 * [taylor]: Taking taylor expansion of PI in f 2.219 * [approximate]: Taking taylor expansion of (* -4 (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI)) in (f) around 0 2.219 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI)) in f 2.219 * [taylor]: Taking taylor expansion of -4 in f 2.219 * [taylor]: Taking taylor expansion of (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI) in f 2.219 * [taylor]: Taking taylor expansion of (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) in f 2.219 * [taylor]: Taking taylor expansion of (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI)))) in f 2.219 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.219 * [taylor]: Taking taylor expansion of 1/2880 in f 2.219 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.219 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.219 * [taylor]: Taking taylor expansion of PI in f 2.219 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.219 * [taylor]: Taking taylor expansion of f in f 2.219 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.219 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.219 * [taylor]: Taking taylor expansion of 1/12 in f 2.219 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.219 * [taylor]: Taking taylor expansion of PI in f 2.219 * [taylor]: Taking taylor expansion of f in f 2.219 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.219 * [taylor]: Taking taylor expansion of 4 in f 2.219 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.219 * [taylor]: Taking taylor expansion of f in f 2.219 * [taylor]: Taking taylor expansion of PI in f 2.220 * [taylor]: Taking taylor expansion of PI in f 2.220 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI)) in f 2.220 * [taylor]: Taking taylor expansion of -4 in f 2.220 * [taylor]: Taking taylor expansion of (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI) in f 2.220 * [taylor]: Taking taylor expansion of (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) in f 2.220 * [taylor]: Taking taylor expansion of (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI)))) in f 2.220 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.220 * [taylor]: Taking taylor expansion of 1/2880 in f 2.220 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.220 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.220 * [taylor]: Taking taylor expansion of PI in f 2.220 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.220 * [taylor]: Taking taylor expansion of f in f 2.220 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.220 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.220 * [taylor]: Taking taylor expansion of 1/12 in f 2.220 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.220 * [taylor]: Taking taylor expansion of PI in f 2.220 * [taylor]: Taking taylor expansion of f in f 2.220 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.220 * [taylor]: Taking taylor expansion of 4 in f 2.220 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.220 * [taylor]: Taking taylor expansion of f in f 2.220 * [taylor]: Taking taylor expansion of PI in f 2.221 * [taylor]: Taking taylor expansion of PI in f 2.228 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 2.228 * [approximate]: Taking taylor expansion of (* 1/12 (* PI f)) in (f) around 0 2.228 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.228 * [taylor]: Taking taylor expansion of 1/12 in f 2.228 * [taylor]: Taking taylor expansion of (* PI f) in f 2.228 * [taylor]: Taking taylor expansion of PI in f 2.228 * [taylor]: Taking taylor expansion of f in f 2.228 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.228 * [taylor]: Taking taylor expansion of 1/12 in f 2.228 * [taylor]: Taking taylor expansion of (* PI f) in f 2.228 * [taylor]: Taking taylor expansion of PI in f 2.228 * [taylor]: Taking taylor expansion of f in f 2.229 * [approximate]: Taking taylor expansion of (* 1/12 (/ PI f)) in (f) around 0 2.229 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.229 * [taylor]: Taking taylor expansion of 1/12 in f 2.229 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.229 * [taylor]: Taking taylor expansion of PI in f 2.229 * [taylor]: Taking taylor expansion of f in f 2.229 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.229 * [taylor]: Taking taylor expansion of 1/12 in f 2.229 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.229 * [taylor]: Taking taylor expansion of PI in f 2.229 * [taylor]: Taking taylor expansion of f in f 2.230 * [approximate]: Taking taylor expansion of (* -1/12 (/ PI f)) in (f) around 0 2.230 * [taylor]: Taking taylor expansion of (* -1/12 (/ PI f)) in f 2.230 * [taylor]: Taking taylor expansion of -1/12 in f 2.230 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.231 * [taylor]: Taking taylor expansion of PI in f 2.231 * [taylor]: Taking taylor expansion of f in f 2.231 * [taylor]: Taking taylor expansion of (* -1/12 (/ PI f)) in f 2.231 * [taylor]: Taking taylor expansion of -1/12 in f 2.231 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.231 * [taylor]: Taking taylor expansion of PI in f 2.231 * [taylor]: Taking taylor expansion of f in f 2.232 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 2.232 * [approximate]: Taking taylor expansion of (/ 4 (* PI f)) in (f) around 0 2.232 * [taylor]: Taking taylor expansion of (/ 4 (* PI f)) in f 2.232 * [taylor]: Taking taylor expansion of 4 in f 2.232 * [taylor]: Taking taylor expansion of (* PI f) in f 2.232 * [taylor]: Taking taylor expansion of PI in f 2.232 * [taylor]: Taking taylor expansion of f in f 2.232 * [taylor]: Taking taylor expansion of (/ 4 (* PI f)) in f 2.232 * [taylor]: Taking taylor expansion of 4 in f 2.232 * [taylor]: Taking taylor expansion of (* PI f) in f 2.232 * [taylor]: Taking taylor expansion of PI in f 2.232 * [taylor]: Taking taylor expansion of f in f 2.233 * [approximate]: Taking taylor expansion of (* 4 (/ f PI)) in (f) around 0 2.233 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.233 * [taylor]: Taking taylor expansion of 4 in f 2.233 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.233 * [taylor]: Taking taylor expansion of f in f 2.233 * [taylor]: Taking taylor expansion of PI in f 2.233 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.233 * [taylor]: Taking taylor expansion of 4 in f 2.233 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.233 * [taylor]: Taking taylor expansion of f in f 2.233 * [taylor]: Taking taylor expansion of PI in f 2.235 * [approximate]: Taking taylor expansion of (* -4 (/ f PI)) in (f) around 0 2.235 * [taylor]: Taking taylor expansion of (* -4 (/ f PI)) in f 2.235 * [taylor]: Taking taylor expansion of -4 in f 2.235 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.235 * [taylor]: Taking taylor expansion of f in f 2.235 * [taylor]: Taking taylor expansion of PI in f 2.235 * [taylor]: Taking taylor expansion of (* -4 (/ f PI)) in f 2.235 * [taylor]: Taking taylor expansion of -4 in f 2.235 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.235 * [taylor]: Taking taylor expansion of f in f 2.235 * [taylor]: Taking taylor expansion of PI in f 2.236 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 2.236 * [approximate]: Taking taylor expansion of (* f PI) in (f) around 0 2.236 * [taylor]: Taking taylor expansion of (* f PI) in f 2.236 * [taylor]: Taking taylor expansion of f in f 2.236 * [taylor]: Taking taylor expansion of PI in f 2.236 * [taylor]: Taking taylor expansion of (* f PI) in f 2.236 * [taylor]: Taking taylor expansion of f in f 2.236 * [taylor]: Taking taylor expansion of PI in f 2.237 * [approximate]: Taking taylor expansion of (/ PI f) in (f) around 0 2.237 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.237 * [taylor]: Taking taylor expansion of PI in f 2.237 * [taylor]: Taking taylor expansion of f in f 2.237 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.237 * [taylor]: Taking taylor expansion of PI in f 2.237 * [taylor]: Taking taylor expansion of f in f 2.237 * [approximate]: Taking taylor expansion of (* -1 (/ PI f)) in (f) around 0 2.238 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 2.238 * [taylor]: Taking taylor expansion of -1 in f 2.238 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.238 * [taylor]: Taking taylor expansion of PI in f 2.238 * [taylor]: Taking taylor expansion of f in f 2.238 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 2.238 * [taylor]: Taking taylor expansion of -1 in f 2.238 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.238 * [taylor]: Taking taylor expansion of PI in f 2.238 * [taylor]: Taking taylor expansion of f in f 2.239 * * * [progress]: simplifying candidates 2.240 * [simplify]: Simplifying using # : (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (+.f64 (log.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (-.f64 (log.f64 -4) (log.f64 PI.f64))) (+.f64 (log.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (log.f64 (/.f64 -4 PI.f64))) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (exp.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (*.f64 (*.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 (*.f64 (*.f64 -4 -4) -4) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64))) (*.f64 (*.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (*.f64 (*.f64 (/.f64 -4 PI.f64) (/.f64 -4 PI.f64)) (/.f64 -4 PI.f64))) (*.f64 (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (*.f64 (*.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (sqrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (sqrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (sqrt.f64 (/.f64 -4 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (sqrt.f64 (/.f64 -4 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 (sqrt.f64 -4) (sqrt.f64 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 (sqrt.f64 -4) (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 (/.f64 -4 PI.f64)) (cbrt.f64 (/.f64 -4 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 (/.f64 -4 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) 1)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (sqrt.f64 -4) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (sqrt.f64 -4) (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (sqrt.f64 -4) 1)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 1 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 1 (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 1 1)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) 1) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (*.f64 (cbrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 -4 PI.f64)) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 -4 PI.f64)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (+.f64 (+.f64 (log.f64 PI.f64) (log.f64 f)) (log.f64 1/12)) (+.f64 (log.f64 (*.f64 PI.f64 f)) (log.f64 1/12)) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (exp.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 f f) f)) (*.f64 (*.f64 1/12 1/12) 1/12)) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 f) (*.f64 PI.f64 f)) (*.f64 PI.f64 f)) (*.f64 (*.f64 1/12 1/12) 1/12)) (*.f64 (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12))) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 PI.f64 f) 1/12)) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 PI.f64 f) (*.f64 (cbrt.f64 1/12) (cbrt.f64 1/12))) (*.f64 (*.f64 PI.f64 f) (sqrt.f64 1/12)) (*.f64 (*.f64 PI.f64 f) 1) (*.f64 f 1/12) (-.f64 (log.f64 4) (+.f64 (log.f64 PI.f64) (log.f64 f))) (-.f64 (log.f64 4) (log.f64 (*.f64 PI.f64 f))) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (exp.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 f f) f))) (/.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 PI.f64 f) (*.f64 PI.f64 f)) (*.f64 PI.f64 f))) (*.f64 (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f)))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (*.f64 (/.f64 4 (*.f64 PI.f64 f)) (/.f64 4 (*.f64 PI.f64 f))) (/.f64 4 (*.f64 PI.f64 f))) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (neg.f64 4) (neg.f64 (*.f64 PI.f64 f)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) PI.f64) (/.f64 (cbrt.f64 4) f) (/.f64 (sqrt.f64 4) PI.f64) (/.f64 (sqrt.f64 4) f) (/.f64 1 PI.f64) (/.f64 4 f) (/.f64 1 (*.f64 PI.f64 f)) (/.f64 (*.f64 PI.f64 f) 4) (/.f64 4 PI.f64) (/.f64 (*.f64 PI.f64 f) (cbrt.f64 4)) (/.f64 (*.f64 PI.f64 f) (sqrt.f64 4)) (/.f64 (*.f64 PI.f64 f) 4) (*.f64 PI.f64 f) (+.f64 (log.f64 PI.f64) (log.f64 f)) (log.f64 (*.f64 PI.f64 f)) (exp.f64 (*.f64 PI.f64 f)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 f f) f)) (*.f64 (cbrt.f64 (*.f64 PI.f64 f)) (cbrt.f64 (*.f64 PI.f64 f))) (cbrt.f64 (*.f64 PI.f64 f)) (*.f64 (*.f64 (*.f64 PI.f64 f) (*.f64 PI.f64 f)) (*.f64 PI.f64 f)) (sqrt.f64 (*.f64 PI.f64 f)) (sqrt.f64 (*.f64 PI.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 PI.f64 (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 PI.f64 (sqrt.f64 f)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) f) (*.f64 (sqrt.f64 PI.f64) f) (*.f64 PI.f64 f) (-.f64 (+.f64 (*.f64 4 (/.f64 (log.f64 f) PI.f64)) (*.f64 7/5760 (*.f64 (pow.f64 f 4) (pow.f64 PI.f64 3)))) (+.f64 (*.f64 4 (/.f64 (log.f64 (/.f64 4 PI.f64)) PI.f64)) (*.f64 1/12 (*.f64 (pow.f64 f 2) PI.f64)))) (-.f64 (+.f64 (*.f64 12 (/.f64 (log.f64 (/.f64 1 f)) PI.f64)) (+.f64 (*.f64 161280 (/.f64 1 (*.f64 (pow.f64 PI.f64 5) (pow.f64 f 4)))) (*.f64 960 (/.f64 1 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 2)))))) (*.f64 4 (/.f64 (log.f64 (neg.f64 (*.f64 1/2880 (pow.f64 PI.f64 3)))) PI.f64))) (-.f64 (+.f64 (*.f64 12 (/.f64 (log.f64 (/.f64 -1 f)) PI.f64)) (+.f64 (*.f64 161280 (/.f64 1 (*.f64 (pow.f64 PI.f64 5) (pow.f64 f 4)))) (*.f64 960 (/.f64 1 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 2)))))) (*.f64 4 (/.f64 (log.f64 (*.f64 1/2880 (pow.f64 PI.f64 3))) PI.f64))) (*.f64 1/12 (*.f64 f PI.f64)) (*.f64 1/12 (*.f64 f PI.f64)) (*.f64 1/12 (*.f64 f PI.f64)) (/.f64 4 (*.f64 f PI.f64)) (/.f64 4 (*.f64 f PI.f64)) (/.f64 4 (*.f64 f PI.f64)) (*.f64 f PI.f64) (*.f64 f PI.f64) (*.f64 f PI.f64) 2.302 * * [simplify]: iteration 0 : 4904 enodes (cost 1346 ) 2.303 * * [simplify]: iteration 1 : 4904 enodes (cost 1346 ) 2.308 * [simplify]: Simplified to: (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (pow.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)) (/.f64 -4 PI.f64)) (pow.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) 3) (pow.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) 3) (*.f64 (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (pow.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) 3) (sqrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (sqrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (sqrt.f64 (/.f64 -4 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (sqrt.f64 (/.f64 -4 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 (sqrt.f64 -4) (sqrt.f64 PI.f64))) (*.f64 (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (/.f64 (sqrt.f64 -4) (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 (/.f64 -4 PI.f64)) (cbrt.f64 (/.f64 -4 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 (/.f64 -4 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (*.f64 (cbrt.f64 -4) (cbrt.f64 -4)) (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 -4) (cbrt.f64 -4))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (sqrt.f64 -4) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 (sqrt.f64 -4) (sqrt.f64 PI.f64))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 -4)) (/.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (/.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 PI.f64)) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (*.f64 (/.f64 -4 PI.f64) (cbrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))))) (*.f64 (/.f64 -4 PI.f64) (sqrt.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))))) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (exp.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/1728) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/1728) (*.f64 (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12))) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/1728) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 PI.f64 f) (*.f64 (cbrt.f64 1/12) (cbrt.f64 1/12))) (*.f64 (*.f64 PI.f64 f) (sqrt.f64 1/12)) (*.f64 PI.f64 f) (*.f64 f 1/12) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (exp.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 64 (pow.f64 (*.f64 PI.f64 f) 3)) (/.f64 64 (pow.f64 (*.f64 PI.f64 f) 3)) (*.f64 (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f)))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 64 (pow.f64 (*.f64 PI.f64 f) 3)) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) -4 (neg.f64 (*.f64 PI.f64 f)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) PI.f64) (/.f64 (cbrt.f64 4) f) (/.f64 2 PI.f64) (/.f64 2 f) (/.f64 1 PI.f64) (/.f64 4 f) (/.f64 1 (*.f64 PI.f64 f)) (/.f64 PI.f64 (/.f64 4 f)) (/.f64 4 PI.f64) (/.f64 PI.f64 (/.f64 (cbrt.f64 4) f)) (/.f64 PI.f64 (/.f64 2 f)) (/.f64 PI.f64 (/.f64 4 f)) (*.f64 PI.f64 f) (log.f64 (*.f64 PI.f64 f)) (log.f64 (*.f64 PI.f64 f)) (exp.f64 (*.f64 PI.f64 f)) (pow.f64 (*.f64 PI.f64 f) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 f)) (cbrt.f64 (*.f64 PI.f64 f))) (cbrt.f64 (*.f64 PI.f64 f)) (pow.f64 (*.f64 PI.f64 f) 3) (sqrt.f64 (*.f64 PI.f64 f)) (sqrt.f64 (*.f64 PI.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 PI.f64 (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 PI.f64 (sqrt.f64 f)) PI.f64 (*.f64 f (cbrt.f64 PI.f64)) (*.f64 f (sqrt.f64 PI.f64)) (*.f64 PI.f64 f) (+.f64 (*.f64 7/5760 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 4))) (+.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 PI.f64 (*.f64 -1/12 (*.f64 f f))))) (-.f64 (+.f64 (*.f64 -12 (/.f64 (log.f64 f) PI.f64)) (+.f64 (/.f64 161280 (*.f64 (pow.f64 f 4) (pow.f64 PI.f64 5))) (/.f64 960 (*.f64 (pow.f64 PI.f64 3) (*.f64 f f))))) (*.f64 4 (/.f64 (log.f64 (*.f64 (pow.f64 PI.f64 3) -1/2880)) PI.f64))) (-.f64 (+.f64 (+.f64 (/.f64 161280 (*.f64 (pow.f64 f 4) (pow.f64 PI.f64 5))) (/.f64 960 (*.f64 (pow.f64 PI.f64 3) (*.f64 f f)))) (*.f64 12 (/.f64 (log.f64 (/.f64 -1 f)) PI.f64))) (*.f64 4 (/.f64 (log.f64 (*.f64 1/2880 (pow.f64 PI.f64 3))) PI.f64))) (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f)) (/.f64 4 (*.f64 PI.f64 f)) (/.f64 4 (*.f64 PI.f64 f)) (*.f64 PI.f64 f) (*.f64 PI.f64 f) (*.f64 PI.f64 f) 2.309 * * * [progress]: adding candidates to table 2.414 * * [progress]: iteration 3 / 4 2.414 * * * [progress]: picking best candidate 2.437 * * * * [pick]: Picked # 2.437 * * * [progress]: localizing error 2.454 * * * [progress]: generating rewritten candidates 2.454 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2) 2.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.469 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 2.474 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1) 2.480 * * * [progress]: generating series expansions 2.480 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2) 2.480 * [approximate]: Taking taylor expansion of (* 1/12 (* PI f)) in (f) around 0 2.480 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.480 * [taylor]: Taking taylor expansion of 1/12 in f 2.480 * [taylor]: Taking taylor expansion of (* PI f) in f 2.480 * [taylor]: Taking taylor expansion of PI in f 2.480 * [taylor]: Taking taylor expansion of f in f 2.480 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.480 * [taylor]: Taking taylor expansion of 1/12 in f 2.480 * [taylor]: Taking taylor expansion of (* PI f) in f 2.480 * [taylor]: Taking taylor expansion of PI in f 2.480 * [taylor]: Taking taylor expansion of f in f 2.481 * [approximate]: Taking taylor expansion of (* 1/12 (/ PI f)) in (f) around 0 2.481 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.481 * [taylor]: Taking taylor expansion of 1/12 in f 2.481 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.481 * [taylor]: Taking taylor expansion of PI in f 2.481 * [taylor]: Taking taylor expansion of f in f 2.481 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.481 * [taylor]: Taking taylor expansion of 1/12 in f 2.481 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.481 * [taylor]: Taking taylor expansion of PI in f 2.481 * [taylor]: Taking taylor expansion of f in f 2.482 * [approximate]: Taking taylor expansion of (* -1/12 (/ PI f)) in (f) around 0 2.482 * [taylor]: Taking taylor expansion of (* -1/12 (/ PI f)) in f 2.482 * [taylor]: Taking taylor expansion of -1/12 in f 2.482 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.482 * [taylor]: Taking taylor expansion of PI in f 2.482 * [taylor]: Taking taylor expansion of f in f 2.482 * [taylor]: Taking taylor expansion of (* -1/12 (/ PI f)) in f 2.482 * [taylor]: Taking taylor expansion of -1/12 in f 2.482 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.482 * [taylor]: Taking taylor expansion of PI in f 2.483 * [taylor]: Taking taylor expansion of f in f 2.483 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.484 * [approximate]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI)) in (f) around 0 2.484 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI)) in f 2.484 * [taylor]: Taking taylor expansion of -4 in f 2.484 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI) in f 2.484 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) in f 2.484 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3)))) in f 2.484 * [taylor]: Taking taylor expansion of (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) in f 2.484 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.484 * [taylor]: Taking taylor expansion of 1/12 in f 2.484 * [taylor]: Taking taylor expansion of (* PI f) in f 2.484 * [taylor]: Taking taylor expansion of PI in f 2.484 * [taylor]: Taking taylor expansion of f in f 2.484 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* f PI))) in f 2.484 * [taylor]: Taking taylor expansion of 4 in f 2.484 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 2.484 * [taylor]: Taking taylor expansion of (* f PI) in f 2.484 * [taylor]: Taking taylor expansion of f in f 2.484 * [taylor]: Taking taylor expansion of PI in f 2.484 * [taylor]: Taking taylor expansion of (* 1/2880 (* (pow PI 3) (pow f 3))) in f 2.484 * [taylor]: Taking taylor expansion of 1/2880 in f 2.484 * [taylor]: Taking taylor expansion of (* (pow PI 3) (pow f 3)) in f 2.484 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.484 * [taylor]: Taking taylor expansion of PI in f 2.484 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.484 * [taylor]: Taking taylor expansion of f in f 2.484 * [taylor]: Taking taylor expansion of PI in f 2.485 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI)) in f 2.485 * [taylor]: Taking taylor expansion of -4 in f 2.485 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) PI) in f 2.485 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3))))) in f 2.485 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) (* 1/2880 (* (pow PI 3) (pow f 3)))) in f 2.485 * [taylor]: Taking taylor expansion of (+ (* 1/12 (* PI f)) (* 4 (/ 1 (* f PI)))) in f 2.485 * [taylor]: Taking taylor expansion of (* 1/12 (* PI f)) in f 2.485 * [taylor]: Taking taylor expansion of 1/12 in f 2.485 * [taylor]: Taking taylor expansion of (* PI f) in f 2.485 * [taylor]: Taking taylor expansion of PI in f 2.485 * [taylor]: Taking taylor expansion of f in f 2.485 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* f PI))) in f 2.485 * [taylor]: Taking taylor expansion of 4 in f 2.485 * [taylor]: Taking taylor expansion of (/ 1 (* f PI)) in f 2.485 * [taylor]: Taking taylor expansion of (* f PI) in f 2.485 * [taylor]: Taking taylor expansion of f in f 2.485 * [taylor]: Taking taylor expansion of PI in f 2.485 * [taylor]: Taking taylor expansion of (* 1/2880 (* (pow PI 3) (pow f 3))) in f 2.485 * [taylor]: Taking taylor expansion of 1/2880 in f 2.485 * [taylor]: Taking taylor expansion of (* (pow PI 3) (pow f 3)) in f 2.485 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.485 * [taylor]: Taking taylor expansion of PI in f 2.485 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.485 * [taylor]: Taking taylor expansion of f in f 2.485 * [taylor]: Taking taylor expansion of PI in f 2.491 * [approximate]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI)) in (f) around 0 2.491 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI)) in f 2.491 * [taylor]: Taking taylor expansion of -4 in f 2.491 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI) in f 2.491 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) in f 2.491 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3)))) in f 2.491 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.491 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.491 * [taylor]: Taking taylor expansion of 1/12 in f 2.491 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.491 * [taylor]: Taking taylor expansion of PI in f 2.491 * [taylor]: Taking taylor expansion of f in f 2.491 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.491 * [taylor]: Taking taylor expansion of 4 in f 2.491 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.491 * [taylor]: Taking taylor expansion of f in f 2.491 * [taylor]: Taking taylor expansion of PI in f 2.491 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.491 * [taylor]: Taking taylor expansion of 1/2880 in f 2.491 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.491 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.491 * [taylor]: Taking taylor expansion of PI in f 2.491 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.491 * [taylor]: Taking taylor expansion of f in f 2.492 * [taylor]: Taking taylor expansion of PI in f 2.492 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI)) in f 2.492 * [taylor]: Taking taylor expansion of -4 in f 2.492 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) PI) in f 2.492 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3))))) in f 2.492 * [taylor]: Taking taylor expansion of (- (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) (* 1/2880 (/ (pow PI 3) (pow f 3)))) in f 2.492 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.492 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.492 * [taylor]: Taking taylor expansion of 1/12 in f 2.492 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.492 * [taylor]: Taking taylor expansion of PI in f 2.492 * [taylor]: Taking taylor expansion of f in f 2.492 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.492 * [taylor]: Taking taylor expansion of 4 in f 2.492 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.492 * [taylor]: Taking taylor expansion of f in f 2.492 * [taylor]: Taking taylor expansion of PI in f 2.492 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.492 * [taylor]: Taking taylor expansion of 1/2880 in f 2.492 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.492 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.492 * [taylor]: Taking taylor expansion of PI in f 2.492 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.492 * [taylor]: Taking taylor expansion of f in f 2.493 * [taylor]: Taking taylor expansion of PI in f 2.501 * [approximate]: Taking taylor expansion of (* -4 (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI)) in (f) around 0 2.501 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI)) in f 2.501 * [taylor]: Taking taylor expansion of -4 in f 2.501 * [taylor]: Taking taylor expansion of (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI) in f 2.501 * [taylor]: Taking taylor expansion of (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) in f 2.501 * [taylor]: Taking taylor expansion of (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI)))) in f 2.501 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.501 * [taylor]: Taking taylor expansion of 1/2880 in f 2.501 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.501 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.501 * [taylor]: Taking taylor expansion of PI in f 2.501 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.501 * [taylor]: Taking taylor expansion of f in f 2.501 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.501 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.501 * [taylor]: Taking taylor expansion of 1/12 in f 2.501 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.501 * [taylor]: Taking taylor expansion of PI in f 2.501 * [taylor]: Taking taylor expansion of f in f 2.501 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.501 * [taylor]: Taking taylor expansion of 4 in f 2.501 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.501 * [taylor]: Taking taylor expansion of f in f 2.501 * [taylor]: Taking taylor expansion of PI in f 2.502 * [taylor]: Taking taylor expansion of PI in f 2.502 * [taylor]: Taking taylor expansion of (* -4 (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI)) in f 2.502 * [taylor]: Taking taylor expansion of -4 in f 2.502 * [taylor]: Taking taylor expansion of (/ (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) PI) in f 2.502 * [taylor]: Taking taylor expansion of (log (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))))) in f 2.502 * [taylor]: Taking taylor expansion of (- (* 1/2880 (/ (pow PI 3) (pow f 3))) (+ (* 1/12 (/ PI f)) (* 4 (/ f PI)))) in f 2.502 * [taylor]: Taking taylor expansion of (* 1/2880 (/ (pow PI 3) (pow f 3))) in f 2.502 * [taylor]: Taking taylor expansion of 1/2880 in f 2.502 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow f 3)) in f 2.502 * [taylor]: Taking taylor expansion of (pow PI 3) in f 2.502 * [taylor]: Taking taylor expansion of PI in f 2.502 * [taylor]: Taking taylor expansion of (pow f 3) in f 2.502 * [taylor]: Taking taylor expansion of f in f 2.502 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ PI f)) (* 4 (/ f PI))) in f 2.502 * [taylor]: Taking taylor expansion of (* 1/12 (/ PI f)) in f 2.502 * [taylor]: Taking taylor expansion of 1/12 in f 2.502 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.502 * [taylor]: Taking taylor expansion of PI in f 2.502 * [taylor]: Taking taylor expansion of f in f 2.503 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.503 * [taylor]: Taking taylor expansion of 4 in f 2.503 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.503 * [taylor]: Taking taylor expansion of f in f 2.503 * [taylor]: Taking taylor expansion of PI in f 2.503 * [taylor]: Taking taylor expansion of PI in f 2.510 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 2.510 * [approximate]: Taking taylor expansion of (/ 4 (* PI f)) in (f) around 0 2.510 * [taylor]: Taking taylor expansion of (/ 4 (* PI f)) in f 2.510 * [taylor]: Taking taylor expansion of 4 in f 2.510 * [taylor]: Taking taylor expansion of (* PI f) in f 2.510 * [taylor]: Taking taylor expansion of PI in f 2.510 * [taylor]: Taking taylor expansion of f in f 2.510 * [taylor]: Taking taylor expansion of (/ 4 (* PI f)) in f 2.510 * [taylor]: Taking taylor expansion of 4 in f 2.510 * [taylor]: Taking taylor expansion of (* PI f) in f 2.510 * [taylor]: Taking taylor expansion of PI in f 2.510 * [taylor]: Taking taylor expansion of f in f 2.511 * [approximate]: Taking taylor expansion of (* 4 (/ f PI)) in (f) around 0 2.511 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.511 * [taylor]: Taking taylor expansion of 4 in f 2.511 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.511 * [taylor]: Taking taylor expansion of f in f 2.511 * [taylor]: Taking taylor expansion of PI in f 2.511 * [taylor]: Taking taylor expansion of (* 4 (/ f PI)) in f 2.511 * [taylor]: Taking taylor expansion of 4 in f 2.511 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.511 * [taylor]: Taking taylor expansion of f in f 2.512 * [taylor]: Taking taylor expansion of PI in f 2.513 * [approximate]: Taking taylor expansion of (* -4 (/ f PI)) in (f) around 0 2.513 * [taylor]: Taking taylor expansion of (* -4 (/ f PI)) in f 2.513 * [taylor]: Taking taylor expansion of -4 in f 2.513 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.513 * [taylor]: Taking taylor expansion of f in f 2.513 * [taylor]: Taking taylor expansion of PI in f 2.513 * [taylor]: Taking taylor expansion of (* -4 (/ f PI)) in f 2.513 * [taylor]: Taking taylor expansion of -4 in f 2.513 * [taylor]: Taking taylor expansion of (/ f PI) in f 2.513 * [taylor]: Taking taylor expansion of f in f 2.513 * [taylor]: Taking taylor expansion of PI in f 2.514 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1) 2.514 * [approximate]: Taking taylor expansion of (* f PI) in (f) around 0 2.514 * [taylor]: Taking taylor expansion of (* f PI) in f 2.515 * [taylor]: Taking taylor expansion of f in f 2.515 * [taylor]: Taking taylor expansion of PI in f 2.515 * [taylor]: Taking taylor expansion of (* f PI) in f 2.515 * [taylor]: Taking taylor expansion of f in f 2.515 * [taylor]: Taking taylor expansion of PI in f 2.515 * [approximate]: Taking taylor expansion of (/ PI f) in (f) around 0 2.515 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.515 * [taylor]: Taking taylor expansion of PI in f 2.515 * [taylor]: Taking taylor expansion of f in f 2.515 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.515 * [taylor]: Taking taylor expansion of PI in f 2.515 * [taylor]: Taking taylor expansion of f in f 2.516 * [approximate]: Taking taylor expansion of (* -1 (/ PI f)) in (f) around 0 2.516 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 2.516 * [taylor]: Taking taylor expansion of -1 in f 2.516 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.516 * [taylor]: Taking taylor expansion of PI in f 2.516 * [taylor]: Taking taylor expansion of f in f 2.516 * [taylor]: Taking taylor expansion of (* -1 (/ PI f)) in f 2.516 * [taylor]: Taking taylor expansion of -1 in f 2.516 * [taylor]: Taking taylor expansion of (/ PI f) in f 2.516 * [taylor]: Taking taylor expansion of PI in f 2.516 * [taylor]: Taking taylor expansion of f in f 2.517 * * * [progress]: simplifying candidates 2.518 * [simplify]: Simplifying using # : (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (+.f64 (+.f64 (log.f64 PI.f64) (log.f64 f)) (log.f64 1/12)) (+.f64 (log.f64 (*.f64 PI.f64 f)) (log.f64 1/12)) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (exp.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 f f) f)) (*.f64 (*.f64 1/12 1/12) 1/12)) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 f) (*.f64 PI.f64 f)) (*.f64 PI.f64 f)) (*.f64 (*.f64 1/12 1/12) 1/12)) (*.f64 (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12))) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 PI.f64 f) 1/12)) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 PI.f64 f) (*.f64 (cbrt.f64 1/12) (cbrt.f64 1/12))) (*.f64 (*.f64 PI.f64 f) (sqrt.f64 1/12)) (*.f64 (*.f64 PI.f64 f) 1) (*.f64 f 1/12) (-.f64 (+.f64 (log.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (log.f64 -4)) (log.f64 PI.f64)) (-.f64 (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4)) (log.f64 PI.f64)) (log.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (exp.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (/.f64 (*.f64 (*.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (*.f64 (*.f64 -4 -4) -4)) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (/.f64 (*.f64 (*.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4)) (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4)) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (cbrt.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (cbrt.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64))) (cbrt.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (*.f64 (*.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64) (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (sqrt.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (sqrt.f64 (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) PI.f64)) (neg.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4)) (neg.f64 PI.f64) (/.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (/.f64 -4 (cbrt.f64 PI.f64)) (/.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 PI.f64)) (/.f64 -4 (sqrt.f64 PI.f64)) (/.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) 1) (/.f64 -4 PI.f64) (/.f64 1 PI.f64) (/.f64 PI.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4)) (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (sqrt.f64 PI.f64)) (/.f64 (*.f64 (log.f64 (-.f64 (+.f64 (/.f64 4 (*.f64 PI.f64 f)) (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) 1) (/.f64 PI.f64 -4) (-.f64 (log.f64 4) (+.f64 (log.f64 PI.f64) (log.f64 f))) (-.f64 (log.f64 4) (log.f64 (*.f64 PI.f64 f))) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (exp.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 f f) f))) (/.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 PI.f64 f) (*.f64 PI.f64 f)) (*.f64 PI.f64 f))) (*.f64 (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f)))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (*.f64 (/.f64 4 (*.f64 PI.f64 f)) (/.f64 4 (*.f64 PI.f64 f))) (/.f64 4 (*.f64 PI.f64 f))) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (neg.f64 4) (neg.f64 (*.f64 PI.f64 f)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) PI.f64) (/.f64 (cbrt.f64 4) f) (/.f64 (sqrt.f64 4) PI.f64) (/.f64 (sqrt.f64 4) f) (/.f64 1 PI.f64) (/.f64 4 f) (/.f64 1 (*.f64 PI.f64 f)) (/.f64 (*.f64 PI.f64 f) 4) (/.f64 4 PI.f64) (/.f64 (*.f64 PI.f64 f) (cbrt.f64 4)) (/.f64 (*.f64 PI.f64 f) (sqrt.f64 4)) (/.f64 (*.f64 PI.f64 f) 4) (*.f64 PI.f64 f) (+.f64 (log.f64 PI.f64) (log.f64 f)) (log.f64 (*.f64 PI.f64 f)) (exp.f64 (*.f64 PI.f64 f)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 f f) f)) (*.f64 (cbrt.f64 (*.f64 PI.f64 f)) (cbrt.f64 (*.f64 PI.f64 f))) (cbrt.f64 (*.f64 PI.f64 f)) (*.f64 (*.f64 (*.f64 PI.f64 f) (*.f64 PI.f64 f)) (*.f64 PI.f64 f)) (sqrt.f64 (*.f64 PI.f64 f)) (sqrt.f64 (*.f64 PI.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 PI.f64 (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 PI.f64 (sqrt.f64 f)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) f) (*.f64 (sqrt.f64 PI.f64) f) (*.f64 PI.f64 f) (*.f64 1/12 (*.f64 f PI.f64)) (*.f64 1/12 (*.f64 f PI.f64)) (*.f64 1/12 (*.f64 f PI.f64)) (-.f64 (+.f64 (*.f64 4 (/.f64 (log.f64 f) PI.f64)) (*.f64 7/5760 (*.f64 (pow.f64 f 4) (pow.f64 PI.f64 3)))) (+.f64 (*.f64 4 (/.f64 (log.f64 (/.f64 4 PI.f64)) PI.f64)) (*.f64 1/12 (*.f64 (pow.f64 f 2) PI.f64)))) (-.f64 (+.f64 (*.f64 12 (/.f64 (log.f64 (/.f64 1 f)) PI.f64)) (+.f64 (*.f64 161280 (/.f64 1 (*.f64 (pow.f64 PI.f64 5) (pow.f64 f 4)))) (*.f64 960 (/.f64 1 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 2)))))) (*.f64 4 (/.f64 (log.f64 (neg.f64 (*.f64 1/2880 (pow.f64 PI.f64 3)))) PI.f64))) (-.f64 (+.f64 (*.f64 12 (/.f64 (log.f64 (/.f64 -1 f)) PI.f64)) (+.f64 (*.f64 161280 (/.f64 1 (*.f64 (pow.f64 PI.f64 5) (pow.f64 f 4)))) (*.f64 960 (/.f64 1 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 2)))))) (*.f64 4 (/.f64 (log.f64 (*.f64 1/2880 (pow.f64 PI.f64 3))) PI.f64))) (/.f64 4 (*.f64 f PI.f64)) (/.f64 4 (*.f64 f PI.f64)) (/.f64 4 (*.f64 f PI.f64)) (*.f64 f PI.f64) (*.f64 f PI.f64) (*.f64 f PI.f64) 2.554 * * [simplify]: iteration 0 : 5000 enodes (cost 974 ) 2.558 * [simplify]: Simplified to: (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (log.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (exp.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/1728) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/1728) (*.f64 (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12))) (cbrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/1728) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (sqrt.f64 (*.f64 (*.f64 PI.f64 f) 1/12)) (*.f64 (*.f64 PI.f64 f) (*.f64 (cbrt.f64 1/12) (cbrt.f64 1/12))) (*.f64 (*.f64 PI.f64 f) (sqrt.f64 1/12)) (*.f64 PI.f64 f) (*.f64 f 1/12) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (log.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (pow.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)) (/.f64 -4 PI.f64)) (pow.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) 3) (pow.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) 3) (*.f64 (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (pow.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64)) 3) (sqrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (sqrt.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64))) (*.f64 4 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880)))) (neg.f64 PI.f64) (/.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (/.f64 -4 (cbrt.f64 PI.f64)) (/.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 PI.f64)) (/.f64 -4 (sqrt.f64 PI.f64)) (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (/.f64 -4 PI.f64) (/.f64 1 PI.f64) (/.f64 PI.f64 (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4)) (*.f64 (/.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) -4) (*.f64 (/.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) (sqrt.f64 PI.f64)) -4) (*.f64 (log.f64 (-.f64 (+.f64 (*.f64 (*.f64 PI.f64 f) 1/12) (/.f64 4 (*.f64 PI.f64 f))) (*.f64 (pow.f64 (*.f64 PI.f64 f) 3) 1/2880))) -4) (/.f64 PI.f64 -4) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (exp.f64 (/.f64 4 (*.f64 PI.f64 f))) (pow.f64 (/.f64 4 (*.f64 PI.f64 f)) 3) (pow.f64 (/.f64 4 (*.f64 PI.f64 f)) 3) (*.f64 (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f)))) (cbrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (pow.f64 (/.f64 4 (*.f64 PI.f64 f)) 3) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) (sqrt.f64 (/.f64 4 (*.f64 PI.f64 f))) -4 (*.f64 f (neg.f64 PI.f64)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) PI.f64) (/.f64 (cbrt.f64 4) f) (/.f64 2 PI.f64) (/.f64 2 f) (/.f64 1 PI.f64) (/.f64 4 f) (/.f64 1 (*.f64 PI.f64 f)) (/.f64 PI.f64 (/.f64 4 f)) (/.f64 4 PI.f64) (/.f64 PI.f64 (/.f64 (cbrt.f64 4) f)) (/.f64 PI.f64 (/.f64 2 f)) (/.f64 PI.f64 (/.f64 4 f)) (*.f64 PI.f64 f) (log.f64 (*.f64 PI.f64 f)) (log.f64 (*.f64 PI.f64 f)) (exp.f64 (*.f64 PI.f64 f)) (pow.f64 (*.f64 PI.f64 f) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 f)) (cbrt.f64 (*.f64 PI.f64 f))) (cbrt.f64 (*.f64 PI.f64 f)) (pow.f64 (*.f64 PI.f64 f) 3) (sqrt.f64 (*.f64 PI.f64 f)) (sqrt.f64 (*.f64 PI.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 f)) (*.f64 PI.f64 (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (*.f64 PI.f64 (sqrt.f64 f)) PI.f64 (*.f64 f (cbrt.f64 PI.f64)) (*.f64 f (sqrt.f64 PI.f64)) (*.f64 PI.f64 f) (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (*.f64 (*.f64 PI.f64 f) 1/12) (+.f64 (*.f64 (pow.f64 PI.f64 3) (*.f64 7/5760 (pow.f64 f 4))) (+.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (*.f64 PI.f64 (*.f64 f f)) -1/12))) (+.f64 (/.f64 (*.f64 -12 (log.f64 f)) PI.f64) (+.f64 (+.f64 (/.f64 161280 (*.f64 (pow.f64 f 4) (pow.f64 PI.f64 5))) (/.f64 960 (*.f64 (pow.f64 PI.f64 3) (*.f64 f f)))) (*.f64 -4 (/.f64 (log.f64 (*.f64 (pow.f64 PI.f64 3) -1/2880)) PI.f64)))) (-.f64 (+.f64 (/.f64 960 (*.f64 (pow.f64 PI.f64 3) (*.f64 f f))) (+.f64 (/.f64 161280 (*.f64 (pow.f64 f 4) (pow.f64 PI.f64 5))) (*.f64 12 (/.f64 (log.f64 (/.f64 -1 f)) PI.f64)))) (*.f64 4 (/.f64 (log.f64 (*.f64 (pow.f64 PI.f64 3) 1/2880)) PI.f64))) (/.f64 4 (*.f64 PI.f64 f)) (/.f64 4 (*.f64 PI.f64 f)) (/.f64 4 (*.f64 PI.f64 f)) (*.f64 PI.f64 f) (*.f64 PI.f64 f) (*.f64 PI.f64 f) 2.559 * * * [progress]: adding candidates to table 2.644 * * [progress]: iteration 4 / 4 2.644 * * * [progress]: picking best candidate 2.664 * * * * [pick]: Picked # 2.664 * * * [progress]: localizing error 2.686 * * * [progress]: generating rewritten candidates 2.686 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 2.689 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 2.691 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 2.704 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.716 * * * [progress]: generating series expansions 2.716 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 2.716 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 2.716 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 2.717 * [approximate]: Taking taylor expansion of (* 4 (/ (- (log f) (log (/ 4 PI))) PI)) in (f) around 0 2.717 * [taylor]: Taking taylor expansion of (* 4 (/ (- (log f) (log (/ 4 PI))) PI)) in f 2.717 * [taylor]: Taking taylor expansion of 4 in f 2.717 * [taylor]: Taking taylor expansion of (/ (- (log f) (log (/ 4 PI))) PI) in f 2.717 * [taylor]: Taking taylor expansion of (- (log f) (log (/ 4 PI))) in f 2.717 * [taylor]: Taking taylor expansion of (log f) in f 2.717 * [taylor]: Taking taylor expansion of f in f 2.717 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.717 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.717 * [taylor]: Taking taylor expansion of 4 in f 2.717 * [taylor]: Taking taylor expansion of PI in f 2.717 * [taylor]: Taking taylor expansion of PI in f 2.717 * [taylor]: Taking taylor expansion of (* 4 (/ (- (log f) (log (/ 4 PI))) PI)) in f 2.717 * [taylor]: Taking taylor expansion of 4 in f 2.717 * [taylor]: Taking taylor expansion of (/ (- (log f) (log (/ 4 PI))) PI) in f 2.717 * [taylor]: Taking taylor expansion of (- (log f) (log (/ 4 PI))) in f 2.717 * [taylor]: Taking taylor expansion of (log f) in f 2.717 * [taylor]: Taking taylor expansion of f in f 2.717 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.717 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.717 * [taylor]: Taking taylor expansion of 4 in f 2.717 * [taylor]: Taking taylor expansion of PI in f 2.717 * [taylor]: Taking taylor expansion of PI in f 2.724 * [approximate]: Taking taylor expansion of (* 4 (/ (- (log (/ 1 f)) (log (/ 4 PI))) PI)) in (f) around 0 2.724 * [taylor]: Taking taylor expansion of (* 4 (/ (- (log (/ 1 f)) (log (/ 4 PI))) PI)) in f 2.724 * [taylor]: Taking taylor expansion of 4 in f 2.724 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 f)) (log (/ 4 PI))) PI) in f 2.724 * [taylor]: Taking taylor expansion of (- (log (/ 1 f)) (log (/ 4 PI))) in f 2.724 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.724 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.725 * [taylor]: Taking taylor expansion of f in f 2.725 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.725 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.725 * [taylor]: Taking taylor expansion of 4 in f 2.725 * [taylor]: Taking taylor expansion of PI in f 2.725 * [taylor]: Taking taylor expansion of PI in f 2.725 * [taylor]: Taking taylor expansion of (* 4 (/ (- (log (/ 1 f)) (log (/ 4 PI))) PI)) in f 2.725 * [taylor]: Taking taylor expansion of 4 in f 2.725 * [taylor]: Taking taylor expansion of (/ (- (log (/ 1 f)) (log (/ 4 PI))) PI) in f 2.725 * [taylor]: Taking taylor expansion of (- (log (/ 1 f)) (log (/ 4 PI))) in f 2.725 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.725 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.725 * [taylor]: Taking taylor expansion of f in f 2.725 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.725 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.725 * [taylor]: Taking taylor expansion of 4 in f 2.725 * [taylor]: Taking taylor expansion of PI in f 2.725 * [taylor]: Taking taylor expansion of PI in f 2.733 * [approximate]: Taking taylor expansion of (* 4 (/ (- (log (/ -1 f)) (log (/ 4 PI))) PI)) in (f) around 0 2.733 * [taylor]: Taking taylor expansion of (* 4 (/ (- (log (/ -1 f)) (log (/ 4 PI))) PI)) in f 2.733 * [taylor]: Taking taylor expansion of 4 in f 2.733 * [taylor]: Taking taylor expansion of (/ (- (log (/ -1 f)) (log (/ 4 PI))) PI) in f 2.733 * [taylor]: Taking taylor expansion of (- (log (/ -1 f)) (log (/ 4 PI))) in f 2.733 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.733 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.733 * [taylor]: Taking taylor expansion of -1 in f 2.733 * [taylor]: Taking taylor expansion of f in f 2.733 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.733 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.733 * [taylor]: Taking taylor expansion of 4 in f 2.733 * [taylor]: Taking taylor expansion of PI in f 2.733 * [taylor]: Taking taylor expansion of PI in f 2.733 * [taylor]: Taking taylor expansion of (* 4 (/ (- (log (/ -1 f)) (log (/ 4 PI))) PI)) in f 2.733 * [taylor]: Taking taylor expansion of 4 in f 2.733 * [taylor]: Taking taylor expansion of (/ (- (log (/ -1 f)) (log (/ 4 PI))) PI) in f 2.733 * [taylor]: Taking taylor expansion of (- (log (/ -1 f)) (log (/ 4 PI))) in f 2.733 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.733 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.733 * [taylor]: Taking taylor expansion of -1 in f 2.733 * [taylor]: Taking taylor expansion of f in f 2.733 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.733 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.733 * [taylor]: Taking taylor expansion of 4 in f 2.733 * [taylor]: Taking taylor expansion of PI in f 2.733 * [taylor]: Taking taylor expansion of PI in f 2.741 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.741 * [approximate]: Taking taylor expansion of (- (log f) (log (/ 4 PI))) in (f) around 0 2.741 * [taylor]: Taking taylor expansion of (- (log f) (log (/ 4 PI))) in f 2.741 * [taylor]: Taking taylor expansion of (log f) in f 2.741 * [taylor]: Taking taylor expansion of f in f 2.741 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.741 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.741 * [taylor]: Taking taylor expansion of 4 in f 2.741 * [taylor]: Taking taylor expansion of PI in f 2.741 * [taylor]: Taking taylor expansion of (- (log f) (log (/ 4 PI))) in f 2.741 * [taylor]: Taking taylor expansion of (log f) in f 2.741 * [taylor]: Taking taylor expansion of f in f 2.741 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.741 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.741 * [taylor]: Taking taylor expansion of 4 in f 2.741 * [taylor]: Taking taylor expansion of PI in f 2.747 * [approximate]: Taking taylor expansion of (- (log (/ 1 f)) (log (/ 4 PI))) in (f) around 0 2.747 * [taylor]: Taking taylor expansion of (- (log (/ 1 f)) (log (/ 4 PI))) in f 2.747 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.747 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.747 * [taylor]: Taking taylor expansion of f in f 2.747 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.747 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.747 * [taylor]: Taking taylor expansion of 4 in f 2.747 * [taylor]: Taking taylor expansion of PI in f 2.747 * [taylor]: Taking taylor expansion of (- (log (/ 1 f)) (log (/ 4 PI))) in f 2.747 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in f 2.747 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.747 * [taylor]: Taking taylor expansion of f in f 2.747 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.747 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.747 * [taylor]: Taking taylor expansion of 4 in f 2.747 * [taylor]: Taking taylor expansion of PI in f 2.753 * [approximate]: Taking taylor expansion of (- (log (/ -1 f)) (log (/ 4 PI))) in (f) around 0 2.753 * [taylor]: Taking taylor expansion of (- (log (/ -1 f)) (log (/ 4 PI))) in f 2.753 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.753 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.753 * [taylor]: Taking taylor expansion of -1 in f 2.753 * [taylor]: Taking taylor expansion of f in f 2.753 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.753 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.753 * [taylor]: Taking taylor expansion of 4 in f 2.753 * [taylor]: Taking taylor expansion of PI in f 2.753 * [taylor]: Taking taylor expansion of (- (log (/ -1 f)) (log (/ 4 PI))) in f 2.753 * [taylor]: Taking taylor expansion of (log (/ -1 f)) in f 2.753 * [taylor]: Taking taylor expansion of (/ -1 f) in f 2.753 * [taylor]: Taking taylor expansion of -1 in f 2.753 * [taylor]: Taking taylor expansion of f in f 2.753 * [taylor]: Taking taylor expansion of (log (/ 4 PI)) in f 2.753 * [taylor]: Taking taylor expansion of (/ 4 PI) in f 2.753 * [taylor]: Taking taylor expansion of 4 in f 2.753 * [taylor]: Taking taylor expansion of PI in f 2.762 * * * [progress]: simplifying candidates 2.764 * [simplify]: Simplifying using # : (log.f64 (*.f64 (cbrt.f64 (/.f64 4 PI.f64)) (cbrt.f64 (/.f64 4 PI.f64)))) (log.f64 (cbrt.f64 (/.f64 4 PI.f64))) (log.f64 (sqrt.f64 (/.f64 4 PI.f64))) (log.f64 (sqrt.f64 (/.f64 4 PI.f64))) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (log.f64 (/.f64 (cbrt.f64 4) (cbrt.f64 PI.f64))) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 PI.f64))) (log.f64 (/.f64 (cbrt.f64 4) (sqrt.f64 PI.f64))) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) 1)) (log.f64 (/.f64 (cbrt.f64 4) PI.f64)) (log.f64 (/.f64 (sqrt.f64 4) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (log.f64 (/.f64 (sqrt.f64 4) (cbrt.f64 PI.f64))) (log.f64 (/.f64 (sqrt.f64 4) (sqrt.f64 PI.f64))) (log.f64 (/.f64 (sqrt.f64 4) (sqrt.f64 PI.f64))) (log.f64 (/.f64 (sqrt.f64 4) 1)) (log.f64 (/.f64 (sqrt.f64 4) PI.f64)) (log.f64 (/.f64 1 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (log.f64 (/.f64 4 (cbrt.f64 PI.f64))) (log.f64 (/.f64 1 (sqrt.f64 PI.f64))) (log.f64 (/.f64 4 (sqrt.f64 PI.f64))) (log.f64 (/.f64 1 1)) (log.f64 (/.f64 4 PI.f64)) (log.f64 1) (log.f64 (/.f64 4 PI.f64)) (log.f64 4) (log.f64 (/.f64 1 PI.f64)) (log.f64 4) (log.f64 PI.f64) (log.f64 (/.f64 4 PI.f64)) (log.f64 (log.f64 (/.f64 4 PI.f64))) (exp.f64 (log.f64 (/.f64 4 PI.f64))) (*.f64 (cbrt.f64 (log.f64 (/.f64 4 PI.f64))) (cbrt.f64 (log.f64 (/.f64 4 PI.f64)))) (cbrt.f64 (log.f64 (/.f64 4 PI.f64))) (*.f64 (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))) (log.f64 (/.f64 4 PI.f64))) (sqrt.f64 (log.f64 (/.f64 4 PI.f64))) (sqrt.f64 (log.f64 (/.f64 4 PI.f64))) (*.f64 (log.f64 PI.f64) 3) (*.f64 (log.f64 PI.f64) 3) (*.f64 1 3) (pow.f64 PI.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (pow.f64 PI.f64 (sqrt.f64 3)) (pow.f64 PI.f64 1) (pow.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) 3) (pow.f64 (cbrt.f64 PI.f64) 3) (pow.f64 (sqrt.f64 PI.f64) 3) (pow.f64 (sqrt.f64 PI.f64) 3) (pow.f64 1 3) (pow.f64 PI.f64 3) (*.f64 PI.f64 PI.f64) (log.f64 (pow.f64 PI.f64 3)) (exp.f64 (pow.f64 PI.f64 3)) (*.f64 (cbrt.f64 (pow.f64 PI.f64 3)) (cbrt.f64 (pow.f64 PI.f64 3))) (cbrt.f64 (pow.f64 PI.f64 3)) (*.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 PI.f64 3)) (pow.f64 PI.f64 3)) (pow.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) 3) (pow.f64 (cbrt.f64 PI.f64) 3) (pow.f64 (sqrt.f64 PI.f64) 3) (pow.f64 (sqrt.f64 PI.f64) 3) (pow.f64 1 3) (pow.f64 PI.f64 3) (*.f64 PI.f64 PI.f64) (sqrt.f64 (pow.f64 PI.f64 3)) (sqrt.f64 (pow.f64 PI.f64 3)) (pow.f64 PI.f64 (/.f64 3 2)) (pow.f64 PI.f64 (/.f64 3 2)) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (+.f64 (-.f64 (log.f64 4) (log.f64 PI.f64)) (log.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (+.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (log.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (exp.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 PI.f64 PI.f64) PI.f64)) (*.f64 (*.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (*.f64 (*.f64 (/.f64 4 PI.f64) (/.f64 4 PI.f64)) (/.f64 4 PI.f64)) (*.f64 (*.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (cbrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (cbrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))))) (cbrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (*.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (sqrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (sqrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 4 (-.f64 (pow.f64 (log.f64 f) 3) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3))) (*.f64 PI.f64 (+.f64 (*.f64 (log.f64 f) (log.f64 f)) (+.f64 (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))) (*.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))))) (*.f64 4 (-.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))))) (*.f64 PI.f64 (+.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 (sqrt.f64 4) (sqrt.f64 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 (sqrt.f64 4) (sqrt.f64 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 4 PI.f64) (log.f64 f)) (*.f64 (/.f64 4 PI.f64) (neg.f64 (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 (*.f64 (cbrt.f64 f) (cbrt.f64 f)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 (cbrt.f64 f)) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 f))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 (sqrt.f64 f)) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 1)) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 4))) (*.f64 (/.f64 4 PI.f64) (log.f64 PI.f64)) (*.f64 (log.f64 f) (/.f64 4 PI.f64)) (*.f64 (neg.f64 (log.f64 (/.f64 4 PI.f64))) (/.f64 4 PI.f64)) (*.f64 (log.f64 (*.f64 (cbrt.f64 f) (cbrt.f64 f))) (/.f64 4 PI.f64)) (*.f64 (-.f64 (log.f64 (cbrt.f64 f)) (log.f64 (/.f64 4 PI.f64))) (/.f64 4 PI.f64)) (*.f64 (log.f64 (sqrt.f64 f)) (/.f64 4 PI.f64)) (*.f64 (-.f64 (log.f64 (sqrt.f64 f)) (log.f64 (/.f64 4 PI.f64))) (/.f64 4 PI.f64)) (*.f64 (log.f64 1) (/.f64 4 PI.f64)) (*.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (/.f64 4 PI.f64)) (*.f64 (-.f64 (log.f64 f) (log.f64 4)) (/.f64 4 PI.f64)) (*.f64 (log.f64 PI.f64) (/.f64 4 PI.f64)) (*.f64 (/.f64 4 PI.f64) (*.f64 (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))))) (*.f64 (/.f64 4 PI.f64) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 4 PI.f64) 1) (*.f64 (/.f64 4 PI.f64) (+.f64 (sqrt.f64 (log.f64 f)) (sqrt.f64 (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 4 PI.f64) 1) (*.f64 (/.f64 4 PI.f64) 1) (*.f64 (/.f64 4 PI.f64) 1) (*.f64 (/.f64 4 PI.f64) 1) (*.f64 (cbrt.f64 (/.f64 4 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (cbrt.f64 4) (cbrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (cbrt.f64 4) (sqrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (cbrt.f64 4) PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (sqrt.f64 4) (cbrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (sqrt.f64 4) (sqrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (sqrt.f64 4) PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 (cbrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 (sqrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 1 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (pow.f64 (log.f64 f) 3) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3))) (*.f64 (/.f64 4 PI.f64) (-.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))))) (*.f64 4 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (/.f64 f (/.f64 4 PI.f64)) (log.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (exp.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (*.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (pow.f64 (log.f64 f) 3) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3)) (+.f64 (*.f64 (log.f64 f) (log.f64 f)) (+.f64 (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))) (*.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (neg.f64 (log.f64 (/.f64 4 PI.f64))) (-.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64)))) (+.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (+.f64 (sqrt.f64 (log.f64 f)) (sqrt.f64 (log.f64 (/.f64 4 PI.f64)))) (-.f64 (sqrt.f64 (log.f64 f)) (sqrt.f64 (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (*.f64 (cbrt.f64 (/.f64 4 PI.f64)) (cbrt.f64 (/.f64 4 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (sqrt.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) 1))) (-.f64 (log.f64 f) (log.f64 (/.f64 (sqrt.f64 4) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (/.f64 (sqrt.f64 4) (sqrt.f64 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 (sqrt.f64 4) 1))) (-.f64 (log.f64 f) (log.f64 (/.f64 1 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (/.f64 1 (sqrt.f64 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 1 1))) (-.f64 (log.f64 f) (log.f64 1)) (-.f64 (log.f64 f) (log.f64 4)) (-.f64 (log.f64 (cbrt.f64 f)) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 (sqrt.f64 f)) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 4)) (+.f64 (*.f64 7/5760 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 4))) (+.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 PI.f64 (*.f64 -1/12 (*.f64 f f))))) (+.f64 (*.f64 7/5760 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 4))) (+.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 PI.f64 (*.f64 -1/12 (*.f64 f f))))) (*.f64 4 (/.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) PI.f64)) (*.f64 -4 (/.f64 (+.f64 (log.f64 (/.f64 1 f)) (log.f64 (/.f64 4 PI.f64))) PI.f64)) (*.f64 4 (/.f64 (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 f)) (log.f64 (/.f64 4 PI.f64)))) PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (neg.f64 (+.f64 (log.f64 (/.f64 1 f)) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 -1) (+.f64 (log.f64 (/.f64 -1 f)) (log.f64 (/.f64 4 PI.f64)))) 2.801 * * [simplify]: iteration 0 : 4985 enodes (cost 1380 ) 2.802 * * [simplify]: iteration 1 : 4985 enodes (cost 1380 ) 2.808 * [simplify]: Simplified to: (*.f64 2 (log.f64 (cbrt.f64 (/.f64 4 PI.f64)))) (log.f64 (cbrt.f64 (/.f64 4 PI.f64))) (log.f64 (sqrt.f64 (/.f64 4 PI.f64))) (log.f64 (sqrt.f64 (/.f64 4 PI.f64))) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (log.f64 (/.f64 (cbrt.f64 4) (cbrt.f64 PI.f64))) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 PI.f64))) (log.f64 (/.f64 (cbrt.f64 4) (sqrt.f64 PI.f64))) (log.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (log.f64 (/.f64 (cbrt.f64 4) PI.f64)) (log.f64 (/.f64 2 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (log.f64 (/.f64 2 (cbrt.f64 PI.f64))) (log.f64 (/.f64 2 (sqrt.f64 PI.f64))) (log.f64 (/.f64 2 (sqrt.f64 PI.f64))) (log.f64 2) (log.f64 (/.f64 2 PI.f64)) (neg.f64 (log.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (log.f64 (/.f64 4 (cbrt.f64 PI.f64))) (neg.f64 (log.f64 (sqrt.f64 PI.f64))) (log.f64 (/.f64 4 (sqrt.f64 PI.f64))) (log.f64 1) (log.f64 (/.f64 4 PI.f64)) (log.f64 1) (log.f64 (/.f64 4 PI.f64)) (log.f64 4) (neg.f64 (log.f64 PI.f64)) (log.f64 4) (log.f64 PI.f64) (log.f64 (/.f64 4 PI.f64)) (log.f64 (log.f64 (/.f64 4 PI.f64))) (/.f64 4 PI.f64) (*.f64 (cbrt.f64 (log.f64 (/.f64 4 PI.f64))) (cbrt.f64 (log.f64 (/.f64 4 PI.f64)))) (cbrt.f64 (log.f64 (/.f64 4 PI.f64))) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3) (sqrt.f64 (log.f64 (/.f64 4 PI.f64))) (sqrt.f64 (log.f64 (/.f64 4 PI.f64))) (*.f64 (log.f64 PI.f64) 3) (*.f64 (log.f64 PI.f64) 3) 3 (pow.f64 PI.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (pow.f64 PI.f64 (sqrt.f64 3)) PI.f64 (*.f64 PI.f64 PI.f64) PI.f64 (pow.f64 PI.f64 3/2) (pow.f64 PI.f64 3/2) 1 (pow.f64 PI.f64 3) (*.f64 PI.f64 PI.f64) (*.f64 (log.f64 PI.f64) 3) (exp.f64 (pow.f64 PI.f64 3)) (*.f64 PI.f64 PI.f64) PI.f64 (pow.f64 (pow.f64 PI.f64 3) 3) (*.f64 PI.f64 PI.f64) PI.f64 (pow.f64 PI.f64 3/2) (pow.f64 PI.f64 3/2) 1 (pow.f64 PI.f64 3) (*.f64 PI.f64 PI.f64) (sqrt.f64 (pow.f64 PI.f64 3)) (sqrt.f64 (pow.f64 PI.f64 3)) (pow.f64 PI.f64 3/2) (pow.f64 PI.f64 3/2) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (log.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (log.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (log.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (pow.f64 (/.f64 f (/.f64 4 PI.f64)) (/.f64 4 PI.f64)) (pow.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) 3) (pow.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (cbrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))))) (cbrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (pow.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) 3) (sqrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (sqrt.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 4 (-.f64 (pow.f64 (log.f64 f) 3) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3))) (*.f64 PI.f64 (+.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (+.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 f))))) (*.f64 4 (-.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))))) (*.f64 PI.f64 (+.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 f))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 2 (sqrt.f64 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 2 (sqrt.f64 PI.f64)) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (*.f64 (/.f64 4 PI.f64) (log.f64 f)) (/.f64 (*.f64 -4 (log.f64 (/.f64 4 PI.f64))) PI.f64) (*.f64 (/.f64 4 PI.f64) (*.f64 2 (log.f64 (cbrt.f64 f)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 (cbrt.f64 f)) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 f))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 (sqrt.f64 f)) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 1)) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 4))) (*.f64 (/.f64 4 PI.f64) (log.f64 PI.f64)) (*.f64 (/.f64 4 PI.f64) (log.f64 f)) (/.f64 (*.f64 -4 (log.f64 (/.f64 4 PI.f64))) PI.f64) (*.f64 (/.f64 4 PI.f64) (*.f64 2 (log.f64 (cbrt.f64 f)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 (cbrt.f64 f)) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 f))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 (sqrt.f64 f)) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (log.f64 1)) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 4))) (*.f64 (/.f64 4 PI.f64) (log.f64 PI.f64)) (*.f64 (/.f64 4 PI.f64) (*.f64 (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))))) (*.f64 (/.f64 4 PI.f64) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (/.f64 4 PI.f64) (*.f64 (/.f64 4 PI.f64) (+.f64 (sqrt.f64 (log.f64 (/.f64 4 PI.f64))) (sqrt.f64 (log.f64 f)))) (/.f64 4 PI.f64) (/.f64 4 PI.f64) (/.f64 4 PI.f64) (/.f64 4 PI.f64) (*.f64 (cbrt.f64 (/.f64 4 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (cbrt.f64 4) (cbrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (cbrt.f64 4) (sqrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 (cbrt.f64 4) PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 2 (cbrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 2 (sqrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 2 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 (cbrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 (sqrt.f64 PI.f64)) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (/.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) PI.f64) (*.f64 (/.f64 4 PI.f64) (-.f64 (pow.f64 (log.f64 f) 3) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3))) (*.f64 (/.f64 4 PI.f64) (-.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64))))) (*.f64 4 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (/.f64 f (/.f64 4 PI.f64)) (log.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (/.f64 f (/.f64 4 PI.f64)) (*.f64 (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))))) (cbrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (pow.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) 3) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (sqrt.f64 (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (pow.f64 (log.f64 f) 3) (pow.f64 (log.f64 (/.f64 4 PI.f64)) 3)) (+.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (+.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 f)))) (neg.f64 (log.f64 (/.f64 4 PI.f64))) (-.f64 (*.f64 (log.f64 f) (log.f64 f)) (*.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 (/.f64 4 PI.f64)))) (+.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 f)) (+.f64 (sqrt.f64 (log.f64 (/.f64 4 PI.f64))) (sqrt.f64 (log.f64 f))) (-.f64 (sqrt.f64 (log.f64 f)) (sqrt.f64 (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 4 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (sqrt.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)))) (-.f64 (log.f64 f) (log.f64 (/.f64 2 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))))) (-.f64 (log.f64 f) (log.f64 (/.f64 2 (sqrt.f64 PI.f64)))) (-.f64 (log.f64 f) (log.f64 2)) (+.f64 (log.f64 f) (log.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))) (+.f64 (log.f64 f) (log.f64 (sqrt.f64 PI.f64))) (-.f64 (log.f64 f) (log.f64 1)) (-.f64 (log.f64 f) (log.f64 1)) (-.f64 (log.f64 f) (log.f64 4)) (-.f64 (log.f64 (cbrt.f64 f)) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 (sqrt.f64 f)) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 4)) (+.f64 (*.f64 7/5760 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 4))) (+.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 PI.f64 (*.f64 -1/12 (*.f64 f f))))) (+.f64 (*.f64 7/5760 (*.f64 (pow.f64 PI.f64 3) (pow.f64 f 4))) (+.f64 (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 PI.f64 (*.f64 -1/12 (*.f64 f f))))) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (*.f64 -4 (/.f64 (-.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 f)) PI.f64)) (*.f64 (/.f64 4 PI.f64) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64)))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) (-.f64 (log.f64 f) (log.f64 (/.f64 4 PI.f64))) 2.808 * * * [progress]: adding candidates to table 2.980 * [progress]: [Phase 3 of 3] Extracting. 2.980 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 2.985 * * * [regime-changes]: Trying 1 branch expressions: (f) 2.985 * * * * [regimes]: Trying to branch on f from (# # # # # # # # #) 3.035 * * * [regime]: Found split indices: #