13.237 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.023 * * [simplify]: iteration 0 : 12 enodes (cost 51 ) 0.024 * * [simplify]: iteration 1 : 19 enodes (cost 51 ) 0.027 * * [simplify]: iteration 2 : 35 enodes (cost 49 ) 0.031 * * [simplify]: iteration 3 : 85 enodes (cost 49 ) 0.050 * * [simplify]: iteration 4 : 262 enodes (cost 49 ) 0.104 * * [simplify]: iteration 5 : 750 enodes (cost 49 ) 0.283 * * [simplify]: iteration 6 : 1975 enodes (cost 45 ) 0.949 * * [simplify]: iteration done : 5000 enodes (cost 41 ) 0.950 * [simplify]: Simplified to: (/ (fma (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 1.0) (fma (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 2.0)) 0.953 * * [progress]: iteration 1 / 4 0.953 * * * [progress]: picking best candidate 0.955 * * * * [pick]: Picked # 0.955 * * * [progress]: localizing error 0.968 * * * [progress]: generating rewritten candidates 0.968 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.977 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.986 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.995 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.011 * * * [progress]: generating series expansions 1.012 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.012 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 1.012 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.012 * [taylor]: Taking taylor expansion of 2.0 in t 1.012 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.012 * [taylor]: Taking taylor expansion of 2.0 in t 1.012 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.012 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.012 * [taylor]: Taking taylor expansion of t in t 1.012 * [taylor]: Taking taylor expansion of 1 in t 1.013 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.013 * [taylor]: Taking taylor expansion of 2.0 in t 1.013 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.013 * [taylor]: Taking taylor expansion of 2.0 in t 1.013 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.013 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.013 * [taylor]: Taking taylor expansion of t in t 1.013 * [taylor]: Taking taylor expansion of 1 in t 1.023 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1.023 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.023 * [taylor]: Taking taylor expansion of 2.0 in t 1.023 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.023 * [taylor]: Taking taylor expansion of 2.0 in t 1.023 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.023 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.023 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.023 * [taylor]: Taking taylor expansion of t in t 1.024 * [taylor]: Taking taylor expansion of 1 in t 1.024 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.024 * [taylor]: Taking taylor expansion of 2.0 in t 1.024 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.024 * [taylor]: Taking taylor expansion of 2.0 in t 1.024 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.024 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.024 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.024 * [taylor]: Taking taylor expansion of t in t 1.025 * [taylor]: Taking taylor expansion of 1 in t 1.030 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1.030 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.030 * [taylor]: Taking taylor expansion of 2.0 in t 1.030 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.030 * [taylor]: Taking taylor expansion of 2.0 in t 1.030 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.030 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.030 * [taylor]: Taking taylor expansion of 1 in t 1.030 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.030 * [taylor]: Taking taylor expansion of t in t 1.031 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.031 * [taylor]: Taking taylor expansion of 2.0 in t 1.031 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.031 * [taylor]: Taking taylor expansion of 2.0 in t 1.031 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.031 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.031 * [taylor]: Taking taylor expansion of 1 in t 1.031 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.031 * [taylor]: Taking taylor expansion of t in t 1.036 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.036 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 1.037 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.037 * [taylor]: Taking taylor expansion of 2.0 in t 1.037 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.037 * [taylor]: Taking taylor expansion of 2.0 in t 1.037 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.037 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.037 * [taylor]: Taking taylor expansion of t in t 1.037 * [taylor]: Taking taylor expansion of 1 in t 1.037 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.037 * [taylor]: Taking taylor expansion of 2.0 in t 1.037 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.037 * [taylor]: Taking taylor expansion of 2.0 in t 1.037 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.037 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.037 * [taylor]: Taking taylor expansion of t in t 1.037 * [taylor]: Taking taylor expansion of 1 in t 1.051 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1.051 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.051 * [taylor]: Taking taylor expansion of 2.0 in t 1.051 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.051 * [taylor]: Taking taylor expansion of 2.0 in t 1.051 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.051 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.051 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.051 * [taylor]: Taking taylor expansion of t in t 1.052 * [taylor]: Taking taylor expansion of 1 in t 1.052 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.052 * [taylor]: Taking taylor expansion of 2.0 in t 1.052 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.052 * [taylor]: Taking taylor expansion of 2.0 in t 1.052 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.052 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.052 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.052 * [taylor]: Taking taylor expansion of t in t 1.052 * [taylor]: Taking taylor expansion of 1 in t 1.058 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1.058 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.058 * [taylor]: Taking taylor expansion of 2.0 in t 1.058 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.058 * [taylor]: Taking taylor expansion of 2.0 in t 1.058 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.058 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.058 * [taylor]: Taking taylor expansion of 1 in t 1.058 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.058 * [taylor]: Taking taylor expansion of t in t 1.059 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.059 * [taylor]: Taking taylor expansion of 2.0 in t 1.059 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.059 * [taylor]: Taking taylor expansion of 2.0 in t 1.059 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.059 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.059 * [taylor]: Taking taylor expansion of 1 in t 1.059 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.059 * [taylor]: Taking taylor expansion of t in t 1.064 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.064 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 1.064 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.064 * [taylor]: Taking taylor expansion of 2.0 in t 1.064 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.064 * [taylor]: Taking taylor expansion of 2.0 in t 1.064 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.064 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.064 * [taylor]: Taking taylor expansion of t in t 1.064 * [taylor]: Taking taylor expansion of 1 in t 1.065 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.065 * [taylor]: Taking taylor expansion of 2.0 in t 1.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.065 * [taylor]: Taking taylor expansion of 2.0 in t 1.065 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.065 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.065 * [taylor]: Taking taylor expansion of t in t 1.065 * [taylor]: Taking taylor expansion of 1 in t 1.075 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1.075 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.075 * [taylor]: Taking taylor expansion of 2.0 in t 1.075 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.076 * [taylor]: Taking taylor expansion of 2.0 in t 1.076 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.076 * [taylor]: Taking taylor expansion of t in t 1.076 * [taylor]: Taking taylor expansion of 1 in t 1.076 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.076 * [taylor]: Taking taylor expansion of 2.0 in t 1.076 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.076 * [taylor]: Taking taylor expansion of 2.0 in t 1.076 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.076 * [taylor]: Taking taylor expansion of t in t 1.077 * [taylor]: Taking taylor expansion of 1 in t 1.082 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1.082 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.082 * [taylor]: Taking taylor expansion of 2.0 in t 1.082 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.082 * [taylor]: Taking taylor expansion of 2.0 in t 1.082 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.082 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.082 * [taylor]: Taking taylor expansion of 1 in t 1.082 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.082 * [taylor]: Taking taylor expansion of t in t 1.083 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.083 * [taylor]: Taking taylor expansion of 2.0 in t 1.083 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.083 * [taylor]: Taking taylor expansion of 2.0 in t 1.083 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.083 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.083 * [taylor]: Taking taylor expansion of 1 in t 1.083 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.083 * [taylor]: Taking taylor expansion of t in t 1.088 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.088 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 1.088 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.088 * [taylor]: Taking taylor expansion of 2.0 in t 1.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.088 * [taylor]: Taking taylor expansion of 2.0 in t 1.089 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.089 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.089 * [taylor]: Taking taylor expansion of t in t 1.089 * [taylor]: Taking taylor expansion of 1 in t 1.089 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 1.089 * [taylor]: Taking taylor expansion of 2.0 in t 1.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 1.089 * [taylor]: Taking taylor expansion of 2.0 in t 1.089 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 1.089 * [taylor]: Taking taylor expansion of (+ t 1) in t 1.089 * [taylor]: Taking taylor expansion of t in t 1.089 * [taylor]: Taking taylor expansion of 1 in t 1.099 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1.099 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.099 * [taylor]: Taking taylor expansion of 2.0 in t 1.099 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.099 * [taylor]: Taking taylor expansion of 2.0 in t 1.099 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.099 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.099 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.099 * [taylor]: Taking taylor expansion of t in t 1.100 * [taylor]: Taking taylor expansion of 1 in t 1.100 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 1.100 * [taylor]: Taking taylor expansion of 2.0 in t 1.100 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 1.100 * [taylor]: Taking taylor expansion of 2.0 in t 1.100 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1.100 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 1.100 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.100 * [taylor]: Taking taylor expansion of t in t 1.101 * [taylor]: Taking taylor expansion of 1 in t 1.106 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1.106 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.106 * [taylor]: Taking taylor expansion of 2.0 in t 1.106 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.106 * [taylor]: Taking taylor expansion of 2.0 in t 1.106 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.106 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.106 * [taylor]: Taking taylor expansion of 1 in t 1.106 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.106 * [taylor]: Taking taylor expansion of t in t 1.107 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 1.107 * [taylor]: Taking taylor expansion of 2.0 in t 1.107 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 1.107 * [taylor]: Taking taylor expansion of 2.0 in t 1.107 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1.107 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 1.107 * [taylor]: Taking taylor expansion of 1 in t 1.107 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.107 * [taylor]: Taking taylor expansion of t in t 1.112 * * * [progress]: simplifying candidates 1.116 * [simplify]: Simplifying using # : (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma 1 2.0 (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma 1 2.0 (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma 1 2.0 (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma 1 2.0 (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma 1 2.0 (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma 1 2.0 (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma 1 2.0 (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma 1 2.0 (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma 1 2.0 (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma 1 2.0 (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma 1 2.0 (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma 1 2.0 (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma 1 2.0 (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma 1 2.0 (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma 1 2.0 (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma 1 2.0 (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma 1 2.0 (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma 1 2.0 (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma 1 2.0 (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma 1 2.0 (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma 1 2.0 (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma 1 2.0 (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma 1 2.0 (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma 1 2.0 (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma 1 2.0 (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma 1 2.0 (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma 1 2.0 (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma (sqrt 2.0) (sqrt 2.0) (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma (sqrt 2.0) (sqrt 2.0) (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (fma 1 2.0 (- (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t)))))))) (fma (- (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (/ 2.0 (* 1.0 (+ 1 t)))) (cbrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma 1 2.0 (- (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))))) (fma (- (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (* (sqrt (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (fma 1 2.0 (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (fma (- (/ (cbrt 2.0) (+ 1 t))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (fma 1 2.0 (- (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0)))) (fma (- (/ (sqrt 2.0) (+ 1 t))) (/ (sqrt 2.0) 1.0) (* (/ (sqrt 2.0) (+ 1 t)) (/ (sqrt 2.0) 1.0))) (fma 1 2.0 (- (* (/ 2.0 (+ 1 t)) (/ 1 1.0)))) (fma (- (/ 2.0 (+ 1 t))) (/ 1 1.0) (* (/ 2.0 (+ 1 t)) (/ 1 1.0))) (fma 1 2.0 (- (* (/ 2.0 (* 1.0 (+ 1 t))) 1))) (fma (- (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (/ 2.0 (* 1.0 (+ 1 t))) 1)) (fma 1 2.0 (- (* (/ 1 (* 1.0 (+ 1 t))) 2.0))) (fma (- (/ 1 (* 1.0 (+ 1 t)))) 2.0 (* (/ 1 (* 1.0 (+ 1 t))) 2.0)) (fma 1 2.0 (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3))))))) (fma (- (+ (* 1 1) (- (* t t) (* 1 t)))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2.0 (* 1.0 (+ (pow 1 3) (pow t 3)))))) (fma 1 2.0 (- (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t))))))) (fma (- (- 1 t)) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))) (* (- 1 t) (/ 2.0 (* 1.0 (- (* 1 1) (* t t)))))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- (/ 2.0 (* 1.0 (+ 1 t)))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 1.129 * * [simplify]: iteration 0 : 136 enodes (cost 6848 ) 1.151 * * [simplify]: iteration 1 : 357 enodes (cost 5508 ) 1.239 * * [simplify]: iteration 2 : 1271 enodes (cost 4012 ) 1.904 * * [simplify]: iteration done : 5000 enodes (cost 4012 ) 1.906 * [simplify]: Simplified to: (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- -1 (- (* t t) t)) (/ 2.0 (* 1.0 (+ 1 (pow t 3)))))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- 1 t) (- (/ 2.0 (* (- 1 (* t t)) 1.0))))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (fma 2.0 2.0 (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- -1 (- (* t t) t)) (/ 2.0 (* 1.0 (+ 1 (pow t 3)))))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- 1 t) (- (/ 2.0 (* (- 1 (* t t)) 1.0))))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (fma 2.0 2.0 (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- -1 (- (* t t) t)) (/ 2.0 (* 1.0 (+ 1 (pow t 3)))))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- 1 t) (- (/ 2.0 (* (- 1 (* t t)) 1.0))))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (fma 2.0 2.0 (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0)))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (/ (/ 2.0 1.0) (+ 1 t)))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- -1 (- (* t t) t)) (/ 2.0 (* 1.0 (+ 1 (pow t 3)))))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (* (- 1 t) (- (/ 2.0 (* (- 1 (* t t)) 1.0))))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ (cbrt 2.0) (+ 1 t)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0))) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1.0) (+ (- (/ (cbrt 2.0) (+ 1 t))) (/ (cbrt 2.0) (+ 1 t)))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (* (/ (/ 2.0 1.0) (+ 1 t)) 0) (- 2.0 (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (fma t (- t 1) 1))) (* (/ 2.0 (* 1.0 (+ 1 (pow t 3)))) (+ (- -1 (- (* t t) t)) (fma t (- t 1) 1))) (- 2.0 (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (- 1 t))) (* (/ 2.0 (* (- 1 (* t t)) 1.0)) (+ (- (- 1 t)) (- 1 t))) (expm1 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log1p (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (fma 2.0 2.0 (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- (/ (/ 2.0 1.0) (+ 1 t))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ (/ 2.0 1.0) (+ 1 t))) (- (/ (/ 2.0 1.0) (+ 1 t))) (* 2.0 (- (+ (pow t 3) t) (* t t))) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (* t t))) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (* t t))) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (* t t))) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (* t t)) 2.0) (/ 2.0 t)) 1.908 * * * [progress]: adding candidates to table 2.295 * [progress]: [Phase 3 of 3] Extracting. 2.297 * [simplify]: Simplifying using # : (/ (fma (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 1.0) (fma (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 2.0)) 2.298 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 2.298 * * [simplify]: iteration 1 : 15 enodes (cost 41 ) 2.298 * * [simplify]: iteration done : 15 enodes (cost 41 ) 2.298 * [simplify]: Simplified to: (/ (fma (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 1.0) (fma (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 2.0)) 2.830 * [regime-testing]: End program error score: 0.009626203275409426