52.446 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.063 * [progress]: [Phase 2 of 3] Improving.
0.063 * [simplify]: Simplifying:
  (/ (+ 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.063 * * [simplify]: iteration 0: 12 enodes
0.070 * * [simplify]: iteration 1: 19 enodes
0.078 * * [simplify]: iteration 2: 35 enodes
0.095 * * [simplify]: iteration 3: 90 enodes
0.153 * * [simplify]: iteration 4: 285 enodes
0.382 * * [simplify]: iteration 5: 768 enodes
1.452 * * [simplify]: iteration 6: 1984 enodes
6.122 * * [simplify]: iteration complete: 5001 enodes
6.122 * * [simplify]: Extracting #0: cost 1 inf + 0
6.122 * * [simplify]: Extracting #1: cost 26 inf + 0
6.124 * * [simplify]: Extracting #2: cost 203 inf + 0
6.132 * * [simplify]: Extracting #3: cost 792 inf + 2
6.143 * * [simplify]: Extracting #4: cost 871 inf + 7543
6.227 * * [simplify]: Extracting #5: cost 273 inf + 160960
6.378 * * [simplify]: Extracting #6: cost 4 inf + 219124
6.530 * * [simplify]: Extracting #7: cost 0 inf + 214841
6.698 * * [simplify]: Extracting #8: cost 0 inf + 214576
6.844 * [simplify]: Simplified to:
  (/ (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 1.0) (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
6.854 * * [progress]: iteration 1 / 4
6.855 * * * [progress]: picking best candidate
6.864 * * * * [pick]: Picked  #<alt (λ (t) (/ (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 1.0) (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0)))>
6.864 * * * [progress]: localizing error
6.922 * * * [progress]: generating rewritten candidates
6.922 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
6.943 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
6.970 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.997 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
7.053 * * * [progress]: generating series expansions
7.053 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
7.054 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0))))
7.054 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in (t) around 0
7.054 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.054 * [taylor]: Taking taylor expansion of 2.0 in t
7.054 * [backup-simplify]: Simplify 2.0 into 2.0
7.054 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.054 * [taylor]: Taking taylor expansion of 2.0 in t
7.054 * [backup-simplify]: Simplify 2.0 into 2.0
7.054 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.054 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.071 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.071 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.072 * [taylor]: Taking taylor expansion of 1.0 in t
7.072 * [backup-simplify]: Simplify 1.0 into 1.0
7.072 * [taylor]: Taking taylor expansion of t in t
7.072 * [backup-simplify]: Simplify 0 into 0
7.072 * [backup-simplify]: Simplify 1 into 1
7.072 * [taylor]: Taking taylor expansion of 1.0 in t
7.072 * [backup-simplify]: Simplify 1.0 into 1.0
7.073 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.073 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.073 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.074 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.074 * [taylor]: Taking taylor expansion of 2.0 in t
7.074 * [backup-simplify]: Simplify 2.0 into 2.0
7.074 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.074 * [taylor]: Taking taylor expansion of 2.0 in t
7.074 * [backup-simplify]: Simplify 2.0 into 2.0
7.074 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.074 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.074 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.074 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.074 * [taylor]: Taking taylor expansion of 1.0 in t
7.074 * [backup-simplify]: Simplify 1.0 into 1.0
7.074 * [taylor]: Taking taylor expansion of t in t
7.074 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify 1 into 1
7.074 * [taylor]: Taking taylor expansion of 1.0 in t
7.074 * [backup-simplify]: Simplify 1.0 into 1.0
7.075 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.075 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.076 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.076 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.077 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.077 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
7.077 * [backup-simplify]: Simplify 0 into 0
7.079 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.080 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.081 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.083 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.084 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.085 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.085 * [backup-simplify]: Simplify 2.0 into 2.0
7.086 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.086 * [backup-simplify]: Simplify (+ 0 0) into 0
7.090 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
7.092 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
7.092 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.093 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.093 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.094 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.095 * [backup-simplify]: Simplify (+ 0 0) into 0
7.099 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.102 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
7.103 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.104 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.104 * [backup-simplify]: Simplify 2.0 into 2.0
7.105 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
7.105 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))))
7.105 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in (t) around 0
7.105 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.105 * [taylor]: Taking taylor expansion of 2.0 in t
7.105 * [backup-simplify]: Simplify 2.0 into 2.0
7.105 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.105 * [taylor]: Taking taylor expansion of 2.0 in t
7.105 * [backup-simplify]: Simplify 2.0 into 2.0
7.105 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.105 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.105 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.105 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.105 * [taylor]: Taking taylor expansion of 1.0 in t
7.105 * [backup-simplify]: Simplify 1.0 into 1.0
7.105 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.105 * [taylor]: Taking taylor expansion of t in t
7.105 * [backup-simplify]: Simplify 0 into 0
7.105 * [backup-simplify]: Simplify 1 into 1
7.106 * [backup-simplify]: Simplify (/ 1 1) into 1
7.106 * [taylor]: Taking taylor expansion of 1.0 in t
7.106 * [backup-simplify]: Simplify 1.0 into 1.0
7.106 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.107 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.107 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.107 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.107 * [taylor]: Taking taylor expansion of 2.0 in t
7.107 * [backup-simplify]: Simplify 2.0 into 2.0
7.107 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.107 * [taylor]: Taking taylor expansion of 2.0 in t
7.107 * [backup-simplify]: Simplify 2.0 into 2.0
7.108 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.108 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.108 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.108 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.108 * [taylor]: Taking taylor expansion of 1.0 in t
7.108 * [backup-simplify]: Simplify 1.0 into 1.0
7.108 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.108 * [taylor]: Taking taylor expansion of t in t
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify 1 into 1
7.108 * [backup-simplify]: Simplify (/ 1 1) into 1
7.108 * [taylor]: Taking taylor expansion of 1.0 in t
7.108 * [backup-simplify]: Simplify 1.0 into 1.0
7.109 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.109 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.110 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.110 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.110 * [backup-simplify]: Simplify 2.0 into 2.0
7.111 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.111 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.112 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.112 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.114 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.114 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.116 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.119 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.120 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.120 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.120 * [backup-simplify]: Simplify 2.0 into 2.0
7.122 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.122 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 (- t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))))
7.122 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in (t) around 0
7.122 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.122 * [taylor]: Taking taylor expansion of 2.0 in t
7.122 * [backup-simplify]: Simplify 2.0 into 2.0
7.122 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.122 * [taylor]: Taking taylor expansion of 2.0 in t
7.122 * [backup-simplify]: Simplify 2.0 into 2.0
7.122 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.122 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.122 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.122 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.122 * [taylor]: Taking taylor expansion of 1.0 in t
7.123 * [backup-simplify]: Simplify 1.0 into 1.0
7.123 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.123 * [taylor]: Taking taylor expansion of -1 in t
7.123 * [backup-simplify]: Simplify -1 into -1
7.123 * [taylor]: Taking taylor expansion of t in t
7.123 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify 1 into 1
7.123 * [backup-simplify]: Simplify (/ -1 1) into -1
7.123 * [taylor]: Taking taylor expansion of 1.0 in t
7.123 * [backup-simplify]: Simplify 1.0 into 1.0
7.124 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.124 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.125 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.125 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.125 * [taylor]: Taking taylor expansion of 2.0 in t
7.125 * [backup-simplify]: Simplify 2.0 into 2.0
7.125 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.125 * [taylor]: Taking taylor expansion of 2.0 in t
7.125 * [backup-simplify]: Simplify 2.0 into 2.0
7.126 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.126 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.126 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.126 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.126 * [taylor]: Taking taylor expansion of 1.0 in t
7.126 * [backup-simplify]: Simplify 1.0 into 1.0
7.126 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.126 * [taylor]: Taking taylor expansion of -1 in t
7.126 * [backup-simplify]: Simplify -1 into -1
7.126 * [taylor]: Taking taylor expansion of t in t
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify 1 into 1
7.127 * [backup-simplify]: Simplify (/ -1 1) into -1
7.127 * [taylor]: Taking taylor expansion of 1.0 in t
7.127 * [backup-simplify]: Simplify 1.0 into 1.0
7.127 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.127 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.128 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.129 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.129 * [backup-simplify]: Simplify 2.0 into 2.0
7.129 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0
7.130 * [backup-simplify]: Simplify (- -2.0) into 2.0
7.130 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.130 * [backup-simplify]: Simplify 2.0 into 2.0
7.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.132 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
7.132 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.135 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0)
7.137 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0)
7.138 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.139 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.139 * [backup-simplify]: Simplify 2.0 into 2.0
7.139 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.139 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
7.139 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0))))
7.139 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in (t) around 0
7.139 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.140 * [taylor]: Taking taylor expansion of 2.0 in t
7.140 * [backup-simplify]: Simplify 2.0 into 2.0
7.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.140 * [taylor]: Taking taylor expansion of 2.0 in t
7.140 * [backup-simplify]: Simplify 2.0 into 2.0
7.140 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.140 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.140 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.140 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.140 * [taylor]: Taking taylor expansion of 1.0 in t
7.140 * [backup-simplify]: Simplify 1.0 into 1.0
7.140 * [taylor]: Taking taylor expansion of t in t
7.140 * [backup-simplify]: Simplify 0 into 0
7.140 * [backup-simplify]: Simplify 1 into 1
7.140 * [taylor]: Taking taylor expansion of 1.0 in t
7.140 * [backup-simplify]: Simplify 1.0 into 1.0
7.141 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.141 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.141 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.142 * [taylor]: Taking taylor expansion of 2.0 in t
7.142 * [backup-simplify]: Simplify 2.0 into 2.0
7.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.142 * [taylor]: Taking taylor expansion of 2.0 in t
7.142 * [backup-simplify]: Simplify 2.0 into 2.0
7.142 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.142 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.142 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.142 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.142 * [taylor]: Taking taylor expansion of 1.0 in t
7.142 * [backup-simplify]: Simplify 1.0 into 1.0
7.142 * [taylor]: Taking taylor expansion of t in t
7.142 * [backup-simplify]: Simplify 0 into 0
7.142 * [backup-simplify]: Simplify 1 into 1
7.142 * [taylor]: Taking taylor expansion of 1.0 in t
7.142 * [backup-simplify]: Simplify 1.0 into 1.0
7.143 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.143 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.143 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.144 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.144 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.145 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
7.145 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.147 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.149 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.151 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.152 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.153 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.153 * [backup-simplify]: Simplify 2.0 into 2.0
7.154 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.154 * [backup-simplify]: Simplify (+ 0 0) into 0
7.159 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
7.161 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
7.162 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.163 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.163 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.164 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.165 * [backup-simplify]: Simplify (+ 0 0) into 0
7.170 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.173 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
7.174 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.174 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.174 * [backup-simplify]: Simplify 2.0 into 2.0
7.175 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
7.176 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))))
7.176 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in (t) around 0
7.176 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.176 * [taylor]: Taking taylor expansion of 2.0 in t
7.176 * [backup-simplify]: Simplify 2.0 into 2.0
7.176 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.176 * [taylor]: Taking taylor expansion of 2.0 in t
7.176 * [backup-simplify]: Simplify 2.0 into 2.0
7.176 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.176 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.176 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.176 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.176 * [taylor]: Taking taylor expansion of 1.0 in t
7.176 * [backup-simplify]: Simplify 1.0 into 1.0
7.176 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.176 * [taylor]: Taking taylor expansion of t in t
7.176 * [backup-simplify]: Simplify 0 into 0
7.177 * [backup-simplify]: Simplify 1 into 1
7.177 * [backup-simplify]: Simplify (/ 1 1) into 1
7.177 * [taylor]: Taking taylor expansion of 1.0 in t
7.177 * [backup-simplify]: Simplify 1.0 into 1.0
7.178 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.178 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.179 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.179 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.179 * [taylor]: Taking taylor expansion of 2.0 in t
7.179 * [backup-simplify]: Simplify 2.0 into 2.0
7.179 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.179 * [taylor]: Taking taylor expansion of 2.0 in t
7.179 * [backup-simplify]: Simplify 2.0 into 2.0
7.179 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.179 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.179 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.179 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.179 * [taylor]: Taking taylor expansion of 1.0 in t
7.179 * [backup-simplify]: Simplify 1.0 into 1.0
7.179 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.180 * [taylor]: Taking taylor expansion of t in t
7.180 * [backup-simplify]: Simplify 0 into 0
7.180 * [backup-simplify]: Simplify 1 into 1
7.180 * [backup-simplify]: Simplify (/ 1 1) into 1
7.180 * [taylor]: Taking taylor expansion of 1.0 in t
7.180 * [backup-simplify]: Simplify 1.0 into 1.0
7.181 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.181 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.181 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.182 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.182 * [backup-simplify]: Simplify 2.0 into 2.0
7.182 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.183 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.184 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.184 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.186 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.186 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.196 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.198 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.199 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.199 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.199 * [backup-simplify]: Simplify 2.0 into 2.0
7.200 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.200 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 (- t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))))
7.200 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in (t) around 0
7.200 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.200 * [taylor]: Taking taylor expansion of 2.0 in t
7.201 * [backup-simplify]: Simplify 2.0 into 2.0
7.201 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.201 * [taylor]: Taking taylor expansion of 2.0 in t
7.201 * [backup-simplify]: Simplify 2.0 into 2.0
7.201 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.201 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.201 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.201 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.201 * [taylor]: Taking taylor expansion of 1.0 in t
7.201 * [backup-simplify]: Simplify 1.0 into 1.0
7.201 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.201 * [taylor]: Taking taylor expansion of -1 in t
7.201 * [backup-simplify]: Simplify -1 into -1
7.201 * [taylor]: Taking taylor expansion of t in t
7.201 * [backup-simplify]: Simplify 0 into 0
7.201 * [backup-simplify]: Simplify 1 into 1
7.202 * [backup-simplify]: Simplify (/ -1 1) into -1
7.202 * [taylor]: Taking taylor expansion of 1.0 in t
7.202 * [backup-simplify]: Simplify 1.0 into 1.0
7.202 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.203 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.203 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.203 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.204 * [taylor]: Taking taylor expansion of 2.0 in t
7.204 * [backup-simplify]: Simplify 2.0 into 2.0
7.204 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.204 * [taylor]: Taking taylor expansion of 2.0 in t
7.204 * [backup-simplify]: Simplify 2.0 into 2.0
7.204 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.204 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.204 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.204 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.204 * [taylor]: Taking taylor expansion of 1.0 in t
7.204 * [backup-simplify]: Simplify 1.0 into 1.0
7.204 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.204 * [taylor]: Taking taylor expansion of -1 in t
7.204 * [backup-simplify]: Simplify -1 into -1
7.204 * [taylor]: Taking taylor expansion of t in t
7.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify 1 into 1
7.205 * [backup-simplify]: Simplify (/ -1 1) into -1
7.205 * [taylor]: Taking taylor expansion of 1.0 in t
7.205 * [backup-simplify]: Simplify 1.0 into 1.0
7.205 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.206 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.207 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.207 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.207 * [backup-simplify]: Simplify 2.0 into 2.0
7.208 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0
7.208 * [backup-simplify]: Simplify (- -2.0) into 2.0
7.208 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.208 * [backup-simplify]: Simplify 2.0 into 2.0
7.209 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.210 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
7.210 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.213 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0)
7.215 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0)
7.216 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.217 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.217 * [backup-simplify]: Simplify 2.0 into 2.0
7.217 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.218 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.218 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0))))
7.218 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in (t) around 0
7.218 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.218 * [taylor]: Taking taylor expansion of 2.0 in t
7.218 * [backup-simplify]: Simplify 2.0 into 2.0
7.218 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.218 * [taylor]: Taking taylor expansion of 2.0 in t
7.218 * [backup-simplify]: Simplify 2.0 into 2.0
7.218 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.218 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.218 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.218 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.218 * [taylor]: Taking taylor expansion of 1.0 in t
7.218 * [backup-simplify]: Simplify 1.0 into 1.0
7.218 * [taylor]: Taking taylor expansion of t in t
7.218 * [backup-simplify]: Simplify 0 into 0
7.219 * [backup-simplify]: Simplify 1 into 1
7.219 * [taylor]: Taking taylor expansion of 1.0 in t
7.219 * [backup-simplify]: Simplify 1.0 into 1.0
7.219 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.220 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.220 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.220 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.220 * [taylor]: Taking taylor expansion of 2.0 in t
7.220 * [backup-simplify]: Simplify 2.0 into 2.0
7.220 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.220 * [taylor]: Taking taylor expansion of 2.0 in t
7.220 * [backup-simplify]: Simplify 2.0 into 2.0
7.221 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.221 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.221 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.221 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.221 * [taylor]: Taking taylor expansion of 1.0 in t
7.221 * [backup-simplify]: Simplify 1.0 into 1.0
7.221 * [taylor]: Taking taylor expansion of t in t
7.221 * [backup-simplify]: Simplify 0 into 0
7.221 * [backup-simplify]: Simplify 1 into 1
7.221 * [taylor]: Taking taylor expansion of 1.0 in t
7.221 * [backup-simplify]: Simplify 1.0 into 1.0
7.222 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.222 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.223 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.223 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.224 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.224 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
7.225 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.227 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.229 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.231 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.232 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.232 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.232 * [backup-simplify]: Simplify 2.0 into 2.0
7.233 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.234 * [backup-simplify]: Simplify (+ 0 0) into 0
7.237 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
7.240 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
7.240 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.241 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.241 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.243 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.243 * [backup-simplify]: Simplify (+ 0 0) into 0
7.248 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.252 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
7.252 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.253 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.253 * [backup-simplify]: Simplify 2.0 into 2.0
7.254 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
7.254 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))))
7.254 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in (t) around 0
7.254 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.254 * [taylor]: Taking taylor expansion of 2.0 in t
7.254 * [backup-simplify]: Simplify 2.0 into 2.0
7.254 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.254 * [taylor]: Taking taylor expansion of 2.0 in t
7.254 * [backup-simplify]: Simplify 2.0 into 2.0
7.254 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.254 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.255 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.255 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.255 * [taylor]: Taking taylor expansion of 1.0 in t
7.255 * [backup-simplify]: Simplify 1.0 into 1.0
7.255 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.255 * [taylor]: Taking taylor expansion of t in t
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 1 into 1
7.255 * [backup-simplify]: Simplify (/ 1 1) into 1
7.255 * [taylor]: Taking taylor expansion of 1.0 in t
7.255 * [backup-simplify]: Simplify 1.0 into 1.0
7.256 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.256 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.257 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.257 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.257 * [taylor]: Taking taylor expansion of 2.0 in t
7.257 * [backup-simplify]: Simplify 2.0 into 2.0
7.257 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.257 * [taylor]: Taking taylor expansion of 2.0 in t
7.257 * [backup-simplify]: Simplify 2.0 into 2.0
7.257 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.257 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.257 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.257 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.257 * [taylor]: Taking taylor expansion of 1.0 in t
7.257 * [backup-simplify]: Simplify 1.0 into 1.0
7.257 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.257 * [taylor]: Taking taylor expansion of t in t
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 1 into 1
7.258 * [backup-simplify]: Simplify (/ 1 1) into 1
7.258 * [taylor]: Taking taylor expansion of 1.0 in t
7.258 * [backup-simplify]: Simplify 1.0 into 1.0
7.258 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.259 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.259 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.260 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.260 * [backup-simplify]: Simplify 2.0 into 2.0
7.260 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.261 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.261 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.262 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.263 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.264 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.266 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.268 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.268 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.269 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.269 * [backup-simplify]: Simplify 2.0 into 2.0
7.270 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.270 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 (- t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))))
7.270 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in (t) around 0
7.270 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.270 * [taylor]: Taking taylor expansion of 2.0 in t
7.270 * [backup-simplify]: Simplify 2.0 into 2.0
7.270 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.270 * [taylor]: Taking taylor expansion of 2.0 in t
7.270 * [backup-simplify]: Simplify 2.0 into 2.0
7.270 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.270 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.271 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.271 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.271 * [taylor]: Taking taylor expansion of 1.0 in t
7.271 * [backup-simplify]: Simplify 1.0 into 1.0
7.271 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.271 * [taylor]: Taking taylor expansion of -1 in t
7.271 * [backup-simplify]: Simplify -1 into -1
7.271 * [taylor]: Taking taylor expansion of t in t
7.271 * [backup-simplify]: Simplify 0 into 0
7.271 * [backup-simplify]: Simplify 1 into 1
7.271 * [backup-simplify]: Simplify (/ -1 1) into -1
7.271 * [taylor]: Taking taylor expansion of 1.0 in t
7.271 * [backup-simplify]: Simplify 1.0 into 1.0
7.272 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.272 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.274 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.274 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.274 * [taylor]: Taking taylor expansion of 2.0 in t
7.274 * [backup-simplify]: Simplify 2.0 into 2.0
7.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.274 * [taylor]: Taking taylor expansion of 2.0 in t
7.274 * [backup-simplify]: Simplify 2.0 into 2.0
7.274 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.274 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.274 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.274 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.274 * [taylor]: Taking taylor expansion of 1.0 in t
7.274 * [backup-simplify]: Simplify 1.0 into 1.0
7.274 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.274 * [taylor]: Taking taylor expansion of -1 in t
7.274 * [backup-simplify]: Simplify -1 into -1
7.274 * [taylor]: Taking taylor expansion of t in t
7.274 * [backup-simplify]: Simplify 0 into 0
7.274 * [backup-simplify]: Simplify 1 into 1
7.275 * [backup-simplify]: Simplify (/ -1 1) into -1
7.275 * [taylor]: Taking taylor expansion of 1.0 in t
7.275 * [backup-simplify]: Simplify 1.0 into 1.0
7.275 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.276 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.277 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.277 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.277 * [backup-simplify]: Simplify 2.0 into 2.0
7.278 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0
7.278 * [backup-simplify]: Simplify (- -2.0) into 2.0
7.278 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.278 * [backup-simplify]: Simplify 2.0 into 2.0
7.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.280 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
7.280 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.283 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0)
7.285 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0)
7.286 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.286 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.286 * [backup-simplify]: Simplify 2.0 into 2.0
7.287 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.287 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
7.287 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0))))
7.287 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in (t) around 0
7.287 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.287 * [taylor]: Taking taylor expansion of 2.0 in t
7.287 * [backup-simplify]: Simplify 2.0 into 2.0
7.287 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.287 * [taylor]: Taking taylor expansion of 2.0 in t
7.287 * [backup-simplify]: Simplify 2.0 into 2.0
7.287 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.287 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.287 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.288 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.288 * [taylor]: Taking taylor expansion of 1.0 in t
7.288 * [backup-simplify]: Simplify 1.0 into 1.0
7.288 * [taylor]: Taking taylor expansion of t in t
7.288 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify 1 into 1
7.288 * [taylor]: Taking taylor expansion of 1.0 in t
7.288 * [backup-simplify]: Simplify 1.0 into 1.0
7.288 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.289 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.289 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.289 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 t 1.0)))) in t
7.289 * [taylor]: Taking taylor expansion of 2.0 in t
7.289 * [backup-simplify]: Simplify 2.0 into 2.0
7.289 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 t 1.0))) in t
7.289 * [taylor]: Taking taylor expansion of 2.0 in t
7.289 * [backup-simplify]: Simplify 2.0 into 2.0
7.289 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 t 1.0)) in t
7.289 * [taylor]: Taking taylor expansion of (fma 1.0 t 1.0) in t
7.289 * [taylor]: Rewrote expression to (+ (* 1.0 t) 1.0)
7.289 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
7.289 * [taylor]: Taking taylor expansion of 1.0 in t
7.290 * [backup-simplify]: Simplify 1.0 into 1.0
7.290 * [taylor]: Taking taylor expansion of t in t
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify 1 into 1
7.290 * [taylor]: Taking taylor expansion of 1.0 in t
7.290 * [backup-simplify]: Simplify 1.0 into 1.0
7.290 * [backup-simplify]: Simplify (* 1.0 0) into 0
7.291 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.291 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.292 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.292 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.293 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
7.296 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.297 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.300 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.300 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.301 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.301 * [backup-simplify]: Simplify 2.0 into 2.0
7.302 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
7.302 * [backup-simplify]: Simplify (+ 0 0) into 0
7.306 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
7.308 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
7.309 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.310 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.310 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.311 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.312 * [backup-simplify]: Simplify (+ 0 0) into 0
7.316 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.319 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
7.320 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.320 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.320 * [backup-simplify]: Simplify 2.0 into 2.0
7.321 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
7.322 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))))
7.322 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in (t) around 0
7.322 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.322 * [taylor]: Taking taylor expansion of 2.0 in t
7.322 * [backup-simplify]: Simplify 2.0 into 2.0
7.322 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.322 * [taylor]: Taking taylor expansion of 2.0 in t
7.322 * [backup-simplify]: Simplify 2.0 into 2.0
7.322 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.322 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.322 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.322 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.322 * [taylor]: Taking taylor expansion of 1.0 in t
7.322 * [backup-simplify]: Simplify 1.0 into 1.0
7.322 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.322 * [taylor]: Taking taylor expansion of t in t
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify 1 into 1
7.323 * [backup-simplify]: Simplify (/ 1 1) into 1
7.323 * [taylor]: Taking taylor expansion of 1.0 in t
7.323 * [backup-simplify]: Simplify 1.0 into 1.0
7.323 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.324 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.324 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.324 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0)))) in t
7.324 * [taylor]: Taking taylor expansion of 2.0 in t
7.324 * [backup-simplify]: Simplify 2.0 into 2.0
7.324 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ 1 t) 1.0))) in t
7.324 * [taylor]: Taking taylor expansion of 2.0 in t
7.324 * [backup-simplify]: Simplify 2.0 into 2.0
7.324 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ 1 t) 1.0)) in t
7.324 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 t) 1.0) in t
7.324 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 t)) 1.0)
7.324 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
7.324 * [taylor]: Taking taylor expansion of 1.0 in t
7.324 * [backup-simplify]: Simplify 1.0 into 1.0
7.324 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.325 * [taylor]: Taking taylor expansion of t in t
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 1 into 1
7.325 * [backup-simplify]: Simplify (/ 1 1) into 1
7.325 * [taylor]: Taking taylor expansion of 1.0 in t
7.325 * [backup-simplify]: Simplify 1.0 into 1.0
7.325 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.326 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.326 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
7.327 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.327 * [backup-simplify]: Simplify 2.0 into 2.0
7.327 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
7.328 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.328 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
7.329 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
7.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.335 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.336 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.338 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
7.340 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
7.341 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.341 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.341 * [backup-simplify]: Simplify 2.0 into 2.0
7.342 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.342 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (fma 1.0 (/ 1 (- t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))))
7.342 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in (t) around 0
7.342 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.343 * [taylor]: Taking taylor expansion of 2.0 in t
7.343 * [backup-simplify]: Simplify 2.0 into 2.0
7.343 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.343 * [taylor]: Taking taylor expansion of 2.0 in t
7.343 * [backup-simplify]: Simplify 2.0 into 2.0
7.343 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.343 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.343 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.343 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.343 * [taylor]: Taking taylor expansion of 1.0 in t
7.343 * [backup-simplify]: Simplify 1.0 into 1.0
7.343 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.343 * [taylor]: Taking taylor expansion of -1 in t
7.343 * [backup-simplify]: Simplify -1 into -1
7.343 * [taylor]: Taking taylor expansion of t in t
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify 1 into 1
7.344 * [backup-simplify]: Simplify (/ -1 1) into -1
7.344 * [taylor]: Taking taylor expansion of 1.0 in t
7.344 * [backup-simplify]: Simplify 1.0 into 1.0
7.344 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.345 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.345 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.345 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0)))) in t
7.345 * [taylor]: Taking taylor expansion of 2.0 in t
7.345 * [backup-simplify]: Simplify 2.0 into 2.0
7.345 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (fma 1.0 (/ -1 t) 1.0))) in t
7.346 * [taylor]: Taking taylor expansion of 2.0 in t
7.346 * [backup-simplify]: Simplify 2.0 into 2.0
7.346 * [taylor]: Taking taylor expansion of (/ 1 (fma 1.0 (/ -1 t) 1.0)) in t
7.346 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 t) 1.0) in t
7.346 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 t)) 1.0)
7.346 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 t)) in t
7.346 * [taylor]: Taking taylor expansion of 1.0 in t
7.346 * [backup-simplify]: Simplify 1.0 into 1.0
7.346 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.346 * [taylor]: Taking taylor expansion of -1 in t
7.346 * [backup-simplify]: Simplify -1 into -1
7.346 * [taylor]: Taking taylor expansion of t in t
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 1 into 1
7.347 * [backup-simplify]: Simplify (/ -1 1) into -1
7.347 * [taylor]: Taking taylor expansion of 1.0 in t
7.347 * [backup-simplify]: Simplify 1.0 into 1.0
7.348 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0
7.348 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
7.356 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
7.357 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.357 * [backup-simplify]: Simplify 2.0 into 2.0
7.358 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0
7.358 * [backup-simplify]: Simplify (- -2.0) into 2.0
7.358 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.358 * [backup-simplify]: Simplify 2.0 into 2.0
7.359 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.360 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0
7.360 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.363 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0)
7.365 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0)
7.366 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
7.366 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.367 * [backup-simplify]: Simplify 2.0 into 2.0
7.367 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
7.367 * * * [progress]: simplifying candidates
7.379 * [simplify]: Simplifying:
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma 1 2.0 (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma 1 2.0 (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma 1 2.0 (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (expm1 (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
  (log (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (exp (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))) (* 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (* 2.0 2.0) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))))
  (+ 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma 1 2.0 (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma 1 2.0 (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma 1 2.0 (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (expm1 (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
  (log (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (exp (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))) (* 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (* 2.0 2.0) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))))
  (+ 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma 1 2.0 (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma 1 2.0 (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma 1 2.0 (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (expm1 (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
  (log (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (exp (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))) (* 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (* 2.0 2.0) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))))
  (+ 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (fma 1 2.0 (- (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))))))
  (fma (- (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0)))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (* (cbrt (/ 2.0 (fma 1.0 t 1.0))) (cbrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0))))))
  (fma (- (sqrt (/ 2.0 (fma 1.0 t 1.0)))) (sqrt (/ 2.0 (fma 1.0 t 1.0))) (* (sqrt (/ 2.0 (fma 1.0 t 1.0))) (sqrt (/ 2.0 (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (cbrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0))) (* (/ (cbrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1))))
  (fma (- (/ (cbrt 2.0) (fma 1.0 t 1.0))) (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (/ (cbrt 2.0) (fma 1.0 t 1.0)) (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ (sqrt 2.0) (cbrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (* (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1))))
  (fma (- (/ (sqrt 2.0) (fma 1.0 t 1.0))) (/ (sqrt 2.0) 1) (* (/ (sqrt 2.0) (fma 1.0 t 1.0)) (/ (sqrt 2.0) 1)))
  (fma 1 2.0 (- (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))))))
  (fma (- (/ 2.0 (cbrt (fma 1.0 t 1.0)))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0)))) (* (/ 2.0 (cbrt (fma 1.0 t 1.0))) (/ 1 (* (cbrt (fma 1.0 t 1.0)) (cbrt (fma 1.0 t 1.0))))))
  (fma 1 2.0 (- (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0))))))
  (fma (- (/ 2.0 (sqrt (fma 1.0 t 1.0)))) (/ 1 (sqrt (fma 1.0 t 1.0))) (* (/ 2.0 (sqrt (fma 1.0 t 1.0))) (/ 1 (sqrt (fma 1.0 t 1.0)))))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1))))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) (/ 1 1) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 1 1)))
  (fma 1 2.0 (- (* (/ 2.0 (fma 1.0 t 1.0)) 1)))
  (fma (- (/ 2.0 (fma 1.0 t 1.0))) 1 (* (/ 2.0 (fma 1.0 t 1.0)) 1))
  (fma 1 2.0 (- (* (/ 1 (fma 1.0 t 1.0)) 2.0)))
  (fma (- (/ 1 (fma 1.0 t 1.0))) 2.0 (* (/ 1 (fma 1.0 t 1.0)) 2.0))
  (expm1 (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
  (log (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (exp (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma 1.0 t 1.0))))
  (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))) (* 2.0 (/ 2.0 (fma 1.0 t 1.0)))))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (* 2.0 2.0) (* (/ 2.0 (fma 1.0 t 1.0)) (/ 2.0 (fma 1.0 t 1.0))))
  (+ 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma 1.0 t 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma 1.0 t 1.0))))
  (- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
  (- (/ 2.0 (fma 1.0 t 1.0)))
  (- (+ (* 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)))
7.399 * * [simplify]: iteration 0: 164 enodes
7.478 * * [simplify]: iteration 1: 414 enodes
7.802 * * [simplify]: iteration 2: 1154 enodes
9.117 * * [simplify]: iteration 3: 3204 enodes
11.794 * * [simplify]: iteration complete: 5014 enodes
11.794 * * [simplify]: Extracting #0: cost 23 inf + 0
11.798 * * [simplify]: Extracting #1: cost 538 inf + 0
11.816 * * [simplify]: Extracting #2: cost 1045 inf + 1773
11.836 * * [simplify]: Extracting #3: cost 1017 inf + 19940
11.882 * * [simplify]: Extracting #4: cost 529 inf + 122402
11.997 * * [simplify]: Extracting #5: cost 59 inf + 259552
12.124 * * [simplify]: Extracting #6: cost 1 inf + 277266
12.242 * * [simplify]: Extracting #7: cost 0 inf + 277645
12.374 * [simplify]: Simplified to:
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (expm1 (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma t 1.0 1.0))) (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (- (* (* 2.0 2.0) 2.0) (/ (* (* 2.0 2.0) 2.0) (* (* (fma t 1.0 1.0) (fma t 1.0 1.0)) (fma t 1.0 1.0))))
  (fma 2.0 (+ 2.0 (/ 2.0 (fma t 1.0 1.0))) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- (* 2.0 2.0) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (+ (/ 2.0 (fma t 1.0 1.0)) 2.0)
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (expm1 (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma t 1.0 1.0))) (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (- (* (* 2.0 2.0) 2.0) (/ (* (* 2.0 2.0) 2.0) (* (* (fma t 1.0 1.0) (fma t 1.0 1.0)) (fma t 1.0 1.0))))
  (fma 2.0 (+ 2.0 (/ 2.0 (fma t 1.0 1.0))) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- (* 2.0 2.0) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (+ (/ 2.0 (fma t 1.0 1.0)) 2.0)
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (expm1 (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma t 1.0 1.0))) (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (- (* (* 2.0 2.0) 2.0) (/ (* (* 2.0 2.0) 2.0) (* (* (fma t 1.0 1.0) (fma t 1.0 1.0)) (fma t 1.0 1.0))))
  (fma 2.0 (+ 2.0 (/ 2.0 (fma t 1.0 1.0))) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- (* 2.0 2.0) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (+ (/ 2.0 (fma t 1.0 1.0)) 2.0)
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (fma (/ 2.0 (sqrt (fma t 1.0 1.0))) (/ -1 (sqrt (fma t 1.0 1.0))) (/ (/ 2.0 (sqrt (fma t 1.0 1.0))) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (* (/ 2.0 (fma t 1.0 1.0)) 0)
  (expm1 (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log1p (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (/ (- 2.0) (fma t 1.0 1.0))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (log (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (exp (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0)))))
  (cbrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (* (* (- 2.0 (/ 2.0 (fma t 1.0 1.0))) (- 2.0 (/ 2.0 (fma t 1.0 1.0)))) (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (sqrt (- 2.0 (/ 2.0 (fma t 1.0 1.0))))
  (- (* (* 2.0 2.0) 2.0) (/ (* (* 2.0 2.0) 2.0) (* (* (fma t 1.0 1.0) (fma t 1.0 1.0)) (fma t 1.0 1.0))))
  (fma 2.0 (+ 2.0 (/ 2.0 (fma t 1.0 1.0))) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (/ (- 2.0) (fma t 1.0 1.0))
  (- (* 2.0 2.0) (* (/ 2.0 (fma t 1.0 1.0)) (/ 2.0 (fma t 1.0 1.0))))
  (+ (/ 2.0 (fma t 1.0 1.0)) 2.0)
  (+ (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (fma t 1.0 1.0))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (fma t 1.0 1.0))))
  (- 2.0 (/ 2.0 (fma t 1.0 1.0)))
  (/ (- 2.0) (fma t 1.0 1.0))
  (* (fma (* t t) t (- t (* t t))) 2.0)
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (* (fma (* t t) t (- t (* t t))) 2.0)
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (* (fma (* t t) t (- t (* t t))) 2.0)
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (* (fma (* t t) t (- t (* t t))) 2.0)
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
  (fma (/ 2.0 t) (/ 1 t) (- 2.0 (/ 2.0 t)))
12.459 * * * [progress]: adding candidates to table
14.881 * [progress]: [Phase 3 of 3] Extracting.
14.891 * [simplify]: Simplifying:
  (/ (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 1.0) (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
14.891 * * [simplify]: iteration 0: 9 enodes
14.891 * * [simplify]: iteration complete: 9 enodes
14.891 * * [simplify]: Extracting #0: cost 1 inf + 0
14.891 * * [simplify]: Extracting #1: cost 3 inf + 0
14.892 * * [simplify]: Extracting #2: cost 6 inf + 0
14.892 * * [simplify]: Extracting #3: cost 5 inf + 2
14.892 * * [simplify]: Extracting #4: cost 6 inf + 2
14.892 * * [simplify]: Extracting #5: cost 7 inf + 2
14.892 * * [simplify]: Extracting #6: cost 6 inf + 3
14.892 * * [simplify]: Extracting #7: cost 0 inf + 970
14.892 * [simplify]: Simplified to:
  (/ (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 1.0) (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
16.861 * [regime-testing]: Baseline error score: 0.008376047005875735
16.880 * [regime-testing]: Oracle error score: 0.008376047005875735
16.880 * [regime-testing]: End program error score: 0.008376047005875735