0.061 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
0.021 * * [simplify]: iteration  0 :  12  enodes  (cost  29 )
0.022 * * [simplify]: iteration  1 :  20  enodes  (cost  29 )
0.024 * * [simplify]: iteration  2 :  37  enodes  (cost  29 )
0.029 * * [simplify]: iteration  3 :  80  enodes  (cost  29 )
0.041 * * [simplify]: iteration  4 :  216  enodes  (cost  29 )
0.083 * * [simplify]: iteration  5 :  529  enodes  (cost  29 )
0.223 * * [simplify]: iteration  6 :  1171  enodes  (cost  29 )
0.777 * * [simplify]: iteration  7 :  2718  enodes  (cost  25 )
2.204 * * [simplify]: iteration  8 :  4596  enodes  (cost  25 )
3.521 * * [simplify]: iteration  done :  5000  enodes  (cost  25 )
3.521 * [simplify]: Simplified to:
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))
3.524 * * [progress]: iteration 1 / 4
3.524 * * * [progress]: picking best candidate
3.525 * * * * [pick]: Picked  #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>
3.525 * * * [progress]: localizing error
3.536 * * * [progress]: generating rewritten candidates
3.536 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
3.574 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
3.609 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
3.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.906 * * * [progress]: generating series expansions
3.906 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
3.906 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.906 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.906 * [taylor]: Taking taylor expansion of 2.0 in t
3.906 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.906 * [taylor]: Taking taylor expansion of 2.0 in t
3.906 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.906 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.906 * [taylor]: Taking taylor expansion of t in t
3.906 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.906 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.906 * [taylor]: Taking taylor expansion of 1.0 in t
3.906 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.906 * [taylor]: Taking taylor expansion of t in t
3.907 * [taylor]: Taking taylor expansion of 1.0 in t
3.910 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.910 * [taylor]: Taking taylor expansion of 2.0 in t
3.910 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.910 * [taylor]: Taking taylor expansion of 2.0 in t
3.910 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.910 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.910 * [taylor]: Taking taylor expansion of t in t
3.910 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.910 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.910 * [taylor]: Taking taylor expansion of 1.0 in t
3.910 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.910 * [taylor]: Taking taylor expansion of t in t
3.911 * [taylor]: Taking taylor expansion of 1.0 in t
3.935 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.935 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.935 * [taylor]: Taking taylor expansion of 2.0 in t
3.935 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.935 * [taylor]: Taking taylor expansion of 2.0 in t
3.935 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.935 * [taylor]: Taking taylor expansion of t in t
3.935 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.935 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.935 * [taylor]: Taking taylor expansion of 1.0 in t
3.935 * [taylor]: Taking taylor expansion of t in t
3.935 * [taylor]: Taking taylor expansion of 1.0 in t
3.936 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.936 * [taylor]: Taking taylor expansion of 2.0 in t
3.936 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.936 * [taylor]: Taking taylor expansion of 2.0 in t
3.936 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.936 * [taylor]: Taking taylor expansion of t in t
3.936 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.936 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.936 * [taylor]: Taking taylor expansion of 1.0 in t
3.936 * [taylor]: Taking taylor expansion of t in t
3.936 * [taylor]: Taking taylor expansion of 1.0 in t
3.943 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.943 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.943 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.943 * [taylor]: Taking taylor expansion of 2.0 in t
3.943 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.943 * [taylor]: Taking taylor expansion of t in t
3.943 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.944 * [taylor]: Taking taylor expansion of 1.0 in t
3.944 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.944 * [taylor]: Taking taylor expansion of 1.0 in t
3.944 * [taylor]: Taking taylor expansion of t in t
3.945 * [taylor]: Taking taylor expansion of 2.0 in t
3.945 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.945 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.945 * [taylor]: Taking taylor expansion of 2.0 in t
3.945 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.945 * [taylor]: Taking taylor expansion of t in t
3.945 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.945 * [taylor]: Taking taylor expansion of 1.0 in t
3.945 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.945 * [taylor]: Taking taylor expansion of 1.0 in t
3.945 * [taylor]: Taking taylor expansion of t in t
3.946 * [taylor]: Taking taylor expansion of 2.0 in t
3.952 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
3.952 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.952 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.952 * [taylor]: Taking taylor expansion of 2.0 in t
3.952 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.952 * [taylor]: Taking taylor expansion of 2.0 in t
3.952 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.952 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.952 * [taylor]: Taking taylor expansion of t in t
3.952 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.952 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.952 * [taylor]: Taking taylor expansion of 1.0 in t
3.952 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.952 * [taylor]: Taking taylor expansion of t in t
3.952 * [taylor]: Taking taylor expansion of 1.0 in t
3.958 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.958 * [taylor]: Taking taylor expansion of 2.0 in t
3.958 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.959 * [taylor]: Taking taylor expansion of 2.0 in t
3.959 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.959 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.959 * [taylor]: Taking taylor expansion of t in t
3.959 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.959 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.959 * [taylor]: Taking taylor expansion of 1.0 in t
3.959 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.959 * [taylor]: Taking taylor expansion of t in t
3.959 * [taylor]: Taking taylor expansion of 1.0 in t
3.983 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.983 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.983 * [taylor]: Taking taylor expansion of 2.0 in t
3.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.983 * [taylor]: Taking taylor expansion of 2.0 in t
3.983 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.983 * [taylor]: Taking taylor expansion of t in t
3.983 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.983 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.983 * [taylor]: Taking taylor expansion of 1.0 in t
3.983 * [taylor]: Taking taylor expansion of t in t
3.983 * [taylor]: Taking taylor expansion of 1.0 in t
3.984 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.984 * [taylor]: Taking taylor expansion of 2.0 in t
3.984 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.984 * [taylor]: Taking taylor expansion of 2.0 in t
3.984 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.984 * [taylor]: Taking taylor expansion of t in t
3.984 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.984 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.984 * [taylor]: Taking taylor expansion of 1.0 in t
3.984 * [taylor]: Taking taylor expansion of t in t
3.984 * [taylor]: Taking taylor expansion of 1.0 in t
3.991 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.991 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.991 * [taylor]: Taking taylor expansion of 2.0 in t
3.991 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.991 * [taylor]: Taking taylor expansion of t in t
3.992 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.992 * [taylor]: Taking taylor expansion of 1.0 in t
3.992 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.992 * [taylor]: Taking taylor expansion of 1.0 in t
3.992 * [taylor]: Taking taylor expansion of t in t
3.993 * [taylor]: Taking taylor expansion of 2.0 in t
3.993 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.993 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.993 * [taylor]: Taking taylor expansion of 2.0 in t
3.993 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.993 * [taylor]: Taking taylor expansion of t in t
3.993 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.993 * [taylor]: Taking taylor expansion of 1.0 in t
3.993 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.993 * [taylor]: Taking taylor expansion of 1.0 in t
3.993 * [taylor]: Taking taylor expansion of t in t
3.994 * [taylor]: Taking taylor expansion of 2.0 in t
4.000 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
4.000 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in (t) around 0
4.000 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
4.000 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
4.000 * [taylor]: Taking taylor expansion of 2.0 in t
4.000 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
4.000 * [taylor]: Taking taylor expansion of 2.0 in t
4.000 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
4.000 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
4.000 * [taylor]: Taking taylor expansion of t in t
4.000 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
4.000 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
4.000 * [taylor]: Taking taylor expansion of 1.0 in t
4.000 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.000 * [taylor]: Taking taylor expansion of t in t
4.001 * [taylor]: Taking taylor expansion of 1.0 in t
4.010 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
4.010 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
4.010 * [taylor]: Taking taylor expansion of 2.0 in t
4.010 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
4.010 * [taylor]: Taking taylor expansion of 2.0 in t
4.010 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
4.010 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
4.010 * [taylor]: Taking taylor expansion of t in t
4.010 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
4.010 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
4.010 * [taylor]: Taking taylor expansion of 1.0 in t
4.010 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.010 * [taylor]: Taking taylor expansion of t in t
4.011 * [taylor]: Taking taylor expansion of 1.0 in t
4.040 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in (t) around 0
4.040 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
4.040 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
4.040 * [taylor]: Taking taylor expansion of 2.0 in t
4.040 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
4.040 * [taylor]: Taking taylor expansion of 2.0 in t
4.040 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
4.040 * [taylor]: Taking taylor expansion of t in t
4.040 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
4.040 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.040 * [taylor]: Taking taylor expansion of 1.0 in t
4.040 * [taylor]: Taking taylor expansion of t in t
4.040 * [taylor]: Taking taylor expansion of 1.0 in t
4.041 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
4.041 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
4.042 * [taylor]: Taking taylor expansion of 2.0 in t
4.042 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
4.042 * [taylor]: Taking taylor expansion of 2.0 in t
4.042 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
4.042 * [taylor]: Taking taylor expansion of t in t
4.042 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
4.042 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.042 * [taylor]: Taking taylor expansion of 1.0 in t
4.042 * [taylor]: Taking taylor expansion of t in t
4.042 * [taylor]: Taking taylor expansion of 1.0 in t
4.053 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in (t) around 0
4.053 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
4.053 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
4.053 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
4.053 * [taylor]: Taking taylor expansion of 2.0 in t
4.053 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
4.053 * [taylor]: Taking taylor expansion of t in t
4.053 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
4.053 * [taylor]: Taking taylor expansion of 1.0 in t
4.053 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.053 * [taylor]: Taking taylor expansion of 1.0 in t
4.053 * [taylor]: Taking taylor expansion of t in t
4.054 * [taylor]: Taking taylor expansion of 2.0 in t
4.055 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
4.055 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
4.055 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
4.055 * [taylor]: Taking taylor expansion of 2.0 in t
4.055 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
4.055 * [taylor]: Taking taylor expansion of t in t
4.055 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
4.055 * [taylor]: Taking taylor expansion of 1.0 in t
4.055 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.055 * [taylor]: Taking taylor expansion of 1.0 in t
4.055 * [taylor]: Taking taylor expansion of t in t
4.056 * [taylor]: Taking taylor expansion of 2.0 in t
4.064 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.064 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))))) in (t) around 0
4.064 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))))) in t
4.064 * [taylor]: Taking taylor expansion of 1.0 in t
4.064 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))))) in t
4.064 * [taylor]: Taking taylor expansion of 1.0 in t
4.064 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
4.064 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
4.064 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t
4.064 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t
4.064 * [taylor]: Taking taylor expansion of 4.0 in t
4.064 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
4.064 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
4.064 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.064 * [taylor]: Taking taylor expansion of t in t
4.064 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
4.064 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
4.065 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
4.065 * [taylor]: Taking taylor expansion of 1.0 in t
4.065 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.065 * [taylor]: Taking taylor expansion of t in t
4.065 * [taylor]: Taking taylor expansion of 1.0 in t
4.066 * [taylor]: Taking taylor expansion of 6.0 in t
4.066 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
4.066 * [taylor]: Taking taylor expansion of 8.0 in t
4.066 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
4.066 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
4.066 * [taylor]: Taking taylor expansion of t in t
4.066 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
4.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
4.066 * [taylor]: Taking taylor expansion of 1.0 in t
4.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.067 * [taylor]: Taking taylor expansion of t in t
4.067 * [taylor]: Taking taylor expansion of 1.0 in t
4.071 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))))) in t
4.072 * [taylor]: Taking taylor expansion of 1.0 in t
4.072 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))))) in t
4.072 * [taylor]: Taking taylor expansion of 1.0 in t
4.072 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
4.072 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
4.072 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t
4.072 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t
4.072 * [taylor]: Taking taylor expansion of 4.0 in t
4.072 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
4.072 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
4.072 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.072 * [taylor]: Taking taylor expansion of t in t
4.072 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
4.072 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
4.072 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
4.072 * [taylor]: Taking taylor expansion of 1.0 in t
4.072 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.072 * [taylor]: Taking taylor expansion of t in t
4.072 * [taylor]: Taking taylor expansion of 1.0 in t
4.074 * [taylor]: Taking taylor expansion of 6.0 in t
4.074 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
4.074 * [taylor]: Taking taylor expansion of 8.0 in t
4.074 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
4.074 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
4.074 * [taylor]: Taking taylor expansion of t in t
4.074 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
4.074 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
4.074 * [taylor]: Taking taylor expansion of 1.0 in t
4.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.074 * [taylor]: Taking taylor expansion of t in t
4.074 * [taylor]: Taking taylor expansion of 1.0 in t
4.137 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))))) in (t) around 0
4.137 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))))) in t
4.137 * [taylor]: Taking taylor expansion of 1.0 in t
4.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))))) in t
4.137 * [taylor]: Taking taylor expansion of 1.0 in t
4.137 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in t
4.137 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))) in t
4.137 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
4.137 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t
4.137 * [taylor]: Taking taylor expansion of 4.0 in t
4.137 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t
4.137 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.138 * [taylor]: Taking taylor expansion of t in t
4.138 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
4.138 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
4.138 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.138 * [taylor]: Taking taylor expansion of 1.0 in t
4.138 * [taylor]: Taking taylor expansion of t in t
4.138 * [taylor]: Taking taylor expansion of 1.0 in t
4.139 * [taylor]: Taking taylor expansion of 6.0 in t
4.139 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t
4.139 * [taylor]: Taking taylor expansion of 8.0 in t
4.139 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
4.139 * [taylor]: Taking taylor expansion of t in t
4.139 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
4.139 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.139 * [taylor]: Taking taylor expansion of 1.0 in t
4.139 * [taylor]: Taking taylor expansion of t in t
4.139 * [taylor]: Taking taylor expansion of 1.0 in t
4.141 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))))) in t
4.141 * [taylor]: Taking taylor expansion of 1.0 in t
4.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))))) in t
4.141 * [taylor]: Taking taylor expansion of 1.0 in t
4.141 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in t
4.141 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))) in t
4.141 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
4.141 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t
4.141 * [taylor]: Taking taylor expansion of 4.0 in t
4.141 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t
4.141 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.141 * [taylor]: Taking taylor expansion of t in t
4.141 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
4.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
4.141 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.141 * [taylor]: Taking taylor expansion of 1.0 in t
4.141 * [taylor]: Taking taylor expansion of t in t
4.141 * [taylor]: Taking taylor expansion of 1.0 in t
4.142 * [taylor]: Taking taylor expansion of 6.0 in t
4.142 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t
4.142 * [taylor]: Taking taylor expansion of 8.0 in t
4.142 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
4.142 * [taylor]: Taking taylor expansion of t in t
4.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
4.142 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.142 * [taylor]: Taking taylor expansion of 1.0 in t
4.142 * [taylor]: Taking taylor expansion of t in t
4.142 * [taylor]: Taking taylor expansion of 1.0 in t
4.161 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))))) in (t) around 0
4.161 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))))) in t
4.161 * [taylor]: Taking taylor expansion of 1.0 in t
4.161 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)))) in t
4.161 * [taylor]: Taking taylor expansion of 1.0 in t
4.161 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in t
4.162 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)) in t
4.162 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t
4.162 * [taylor]: Taking taylor expansion of 4.0 in t
4.162 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t
4.162 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.162 * [taylor]: Taking taylor expansion of t in t
4.162 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t
4.162 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
4.162 * [taylor]: Taking taylor expansion of 1.0 in t
4.162 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.162 * [taylor]: Taking taylor expansion of 1.0 in t
4.162 * [taylor]: Taking taylor expansion of t in t
4.163 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t
4.163 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t
4.163 * [taylor]: Taking taylor expansion of 8.0 in t
4.163 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
4.163 * [taylor]: Taking taylor expansion of t in t
4.163 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
4.163 * [taylor]: Taking taylor expansion of 1.0 in t
4.163 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.163 * [taylor]: Taking taylor expansion of 1.0 in t
4.163 * [taylor]: Taking taylor expansion of t in t
4.164 * [taylor]: Taking taylor expansion of 6.0 in t
4.165 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))))) in t
4.165 * [taylor]: Taking taylor expansion of 1.0 in t
4.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)))) in t
4.165 * [taylor]: Taking taylor expansion of 1.0 in t
4.165 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in t
4.165 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)) in t
4.165 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t
4.165 * [taylor]: Taking taylor expansion of 4.0 in t
4.165 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t
4.165 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.165 * [taylor]: Taking taylor expansion of t in t
4.165 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t
4.165 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
4.165 * [taylor]: Taking taylor expansion of 1.0 in t
4.165 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.165 * [taylor]: Taking taylor expansion of 1.0 in t
4.166 * [taylor]: Taking taylor expansion of t in t
4.167 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t
4.167 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t
4.167 * [taylor]: Taking taylor expansion of 8.0 in t
4.167 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
4.167 * [taylor]: Taking taylor expansion of t in t
4.167 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
4.167 * [taylor]: Taking taylor expansion of 1.0 in t
4.167 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.167 * [taylor]: Taking taylor expansion of 1.0 in t
4.167 * [taylor]: Taking taylor expansion of t in t
4.168 * [taylor]: Taking taylor expansion of 6.0 in t
4.185 * * * [progress]: simplifying candidates
4.187 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 1 1)
  (+ (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (log (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (exp (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 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 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 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 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 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 t) (+ 1.0 (/ 1.0 t))))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 2 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2.0)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 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 t) (+ 1.0 (/ 1.0 t)))))
  (* 2.0 (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (/ (/ 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 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1)
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (/ (exp 1.0) (exp (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (log (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (exp (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (* (cbrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (cbrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))
  (cbrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (* (* (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (sqrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (sqrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- (pow 1.0 3) (pow (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 3))
  (+ (* 1.0 1.0) (+ (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (* 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))
  (- (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (+ (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (- (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 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)))
  (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
  (- (+ (* 0.037037037037037035 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222222 (/ 1 t)))
  (- (+ (* 0.037037037037037035 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222222 (/ 1 t)))
4.196 * * [simplify]: iteration  0 :  163  enodes  (cost  3363 )
4.225 * * [simplify]: iteration  1 :  400  enodes  (cost  3149 )
4.341 * * [simplify]: iteration  2 :  1377  enodes  (cost  2875 )
4.669 * * [simplify]: iteration  done :  5002  enodes  (cost  2871 )
4.670 * [simplify]: Simplified to:
   (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  2
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  2
  (* 2 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 2 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (exp (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (pow (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3)
  (* (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (pow (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3)
  (fabs (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (fabs (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ (* 2.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)))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 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)))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 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)))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  1
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  1
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  1
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  1
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  2
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2.0)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 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 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 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 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3)
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (exp (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (log (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (exp (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (* (cbrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (cbrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))
  (cbrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (pow (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) 3)
  (sqrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (sqrt (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- (pow 1.0 3) (pow (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 3))
  (+ (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (* 1.0 1.0))
  (- (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (+ (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (- (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (- (+ (/ (/ 2.0 t) t) 2.0) (/ 2.0 t))
  (- (+ (/ (/ 2.0 t) t) 2.0) (/ 2.0 t))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (- (+ (/ (/ 2.0 t) t) 2.0) (/ 2.0 t))
  (- (+ (/ (/ 2.0 t) t) 2.0) (/ 2.0 t))
  (+ (* (pow t 2) (- 4.0 (* 8.0 t))) (* 12.0 (pow t 4)))
  (+ (/ 12.0 (pow t 2)) (- 4.0 (/ 8.0 t)))
  (+ (/ 12.0 (pow t 2)) (- 4.0 (/ 8.0 t)))
  (+ (* (pow t 2) (- 1.0 (* 2.0 t))) 0.5)
  (+ (- 0.8333333333333334 (/ 0.2222222222222222 t)) (/ 0.037037037037037035 (pow t 2)))
  (+ (- 0.8333333333333334 (/ 0.2222222222222222 t)) (/ 0.037037037037037035 (pow t 2)))
4.671 * * * [progress]: adding candidates to table
4.897 * * [progress]: iteration 2 / 4
4.897 * * * [progress]: picking best candidate
4.899 * * * * [pick]: Picked  #<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))>
4.899 * * * [progress]: localizing error
4.916 * * * [progress]: generating rewritten candidates
4.916 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2)
4.953 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1)
4.988 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2 2)
5.025 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2 1)
5.063 * * * [progress]: generating series expansions
5.063 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2)
5.063 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
5.063 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.063 * [taylor]: Taking taylor expansion of 2.0 in t
5.064 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.064 * [taylor]: Taking taylor expansion of 2.0 in t
5.064 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.064 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.064 * [taylor]: Taking taylor expansion of t in t
5.064 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.064 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.064 * [taylor]: Taking taylor expansion of 1.0 in t
5.064 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.064 * [taylor]: Taking taylor expansion of t in t
5.064 * [taylor]: Taking taylor expansion of 1.0 in t
5.068 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.068 * [taylor]: Taking taylor expansion of 2.0 in t
5.068 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.068 * [taylor]: Taking taylor expansion of 2.0 in t
5.068 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.068 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.068 * [taylor]: Taking taylor expansion of t in t
5.068 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.068 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.068 * [taylor]: Taking taylor expansion of 1.0 in t
5.068 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.068 * [taylor]: Taking taylor expansion of t in t
5.068 * [taylor]: Taking taylor expansion of 1.0 in t
5.092 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
5.092 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.092 * [taylor]: Taking taylor expansion of 2.0 in t
5.092 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.092 * [taylor]: Taking taylor expansion of 2.0 in t
5.092 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.092 * [taylor]: Taking taylor expansion of t in t
5.092 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.092 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.092 * [taylor]: Taking taylor expansion of 1.0 in t
5.092 * [taylor]: Taking taylor expansion of t in t
5.092 * [taylor]: Taking taylor expansion of 1.0 in t
5.093 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.093 * [taylor]: Taking taylor expansion of 2.0 in t
5.093 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.093 * [taylor]: Taking taylor expansion of 2.0 in t
5.093 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.093 * [taylor]: Taking taylor expansion of t in t
5.093 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.093 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.093 * [taylor]: Taking taylor expansion of 1.0 in t
5.093 * [taylor]: Taking taylor expansion of t in t
5.093 * [taylor]: Taking taylor expansion of 1.0 in t
5.101 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
5.101 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.101 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.101 * [taylor]: Taking taylor expansion of 2.0 in t
5.101 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.101 * [taylor]: Taking taylor expansion of t in t
5.101 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.101 * [taylor]: Taking taylor expansion of 1.0 in t
5.101 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.101 * [taylor]: Taking taylor expansion of 1.0 in t
5.101 * [taylor]: Taking taylor expansion of t in t
5.102 * [taylor]: Taking taylor expansion of 2.0 in t
5.102 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.102 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.102 * [taylor]: Taking taylor expansion of 2.0 in t
5.102 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.102 * [taylor]: Taking taylor expansion of t in t
5.102 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.102 * [taylor]: Taking taylor expansion of 1.0 in t
5.102 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.102 * [taylor]: Taking taylor expansion of 1.0 in t
5.102 * [taylor]: Taking taylor expansion of t in t
5.103 * [taylor]: Taking taylor expansion of 2.0 in t
5.109 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1)
5.109 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
5.109 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.109 * [taylor]: Taking taylor expansion of 2.0 in t
5.109 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.110 * [taylor]: Taking taylor expansion of 2.0 in t
5.110 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.110 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.110 * [taylor]: Taking taylor expansion of t in t
5.110 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.110 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.110 * [taylor]: Taking taylor expansion of 1.0 in t
5.110 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.110 * [taylor]: Taking taylor expansion of t in t
5.110 * [taylor]: Taking taylor expansion of 1.0 in t
5.113 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.113 * [taylor]: Taking taylor expansion of 2.0 in t
5.113 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.113 * [taylor]: Taking taylor expansion of 2.0 in t
5.113 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.113 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.113 * [taylor]: Taking taylor expansion of t in t
5.113 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.113 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.113 * [taylor]: Taking taylor expansion of 1.0 in t
5.113 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.113 * [taylor]: Taking taylor expansion of t in t
5.113 * [taylor]: Taking taylor expansion of 1.0 in t
5.141 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
5.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.141 * [taylor]: Taking taylor expansion of 2.0 in t
5.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.141 * [taylor]: Taking taylor expansion of 2.0 in t
5.141 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.141 * [taylor]: Taking taylor expansion of t in t
5.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.141 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.141 * [taylor]: Taking taylor expansion of 1.0 in t
5.141 * [taylor]: Taking taylor expansion of t in t
5.141 * [taylor]: Taking taylor expansion of 1.0 in t
5.142 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.142 * [taylor]: Taking taylor expansion of 2.0 in t
5.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.142 * [taylor]: Taking taylor expansion of 2.0 in t
5.142 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.142 * [taylor]: Taking taylor expansion of t in t
5.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.142 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.142 * [taylor]: Taking taylor expansion of 1.0 in t
5.142 * [taylor]: Taking taylor expansion of t in t
5.142 * [taylor]: Taking taylor expansion of 1.0 in t
5.150 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
5.150 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.150 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.150 * [taylor]: Taking taylor expansion of 2.0 in t
5.150 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.150 * [taylor]: Taking taylor expansion of t in t
5.150 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.150 * [taylor]: Taking taylor expansion of 1.0 in t
5.150 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.150 * [taylor]: Taking taylor expansion of 1.0 in t
5.150 * [taylor]: Taking taylor expansion of t in t
5.151 * [taylor]: Taking taylor expansion of 2.0 in t
5.151 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.151 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.151 * [taylor]: Taking taylor expansion of 2.0 in t
5.151 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.151 * [taylor]: Taking taylor expansion of t in t
5.151 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.151 * [taylor]: Taking taylor expansion of 1.0 in t
5.151 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.152 * [taylor]: Taking taylor expansion of 1.0 in t
5.152 * [taylor]: Taking taylor expansion of t in t
5.153 * [taylor]: Taking taylor expansion of 2.0 in t
5.158 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2 2)
5.159 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
5.159 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.159 * [taylor]: Taking taylor expansion of 2.0 in t
5.159 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.159 * [taylor]: Taking taylor expansion of 2.0 in t
5.159 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.159 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.159 * [taylor]: Taking taylor expansion of t in t
5.159 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.159 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.159 * [taylor]: Taking taylor expansion of 1.0 in t
5.159 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.159 * [taylor]: Taking taylor expansion of t in t
5.159 * [taylor]: Taking taylor expansion of 1.0 in t
5.162 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.162 * [taylor]: Taking taylor expansion of 2.0 in t
5.162 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.162 * [taylor]: Taking taylor expansion of 2.0 in t
5.162 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.162 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.162 * [taylor]: Taking taylor expansion of t in t
5.162 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.162 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.163 * [taylor]: Taking taylor expansion of 1.0 in t
5.163 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.163 * [taylor]: Taking taylor expansion of t in t
5.163 * [taylor]: Taking taylor expansion of 1.0 in t
5.187 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
5.187 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.187 * [taylor]: Taking taylor expansion of 2.0 in t
5.187 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.188 * [taylor]: Taking taylor expansion of 2.0 in t
5.188 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.188 * [taylor]: Taking taylor expansion of t in t
5.188 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.188 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.188 * [taylor]: Taking taylor expansion of 1.0 in t
5.188 * [taylor]: Taking taylor expansion of t in t
5.188 * [taylor]: Taking taylor expansion of 1.0 in t
5.188 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.189 * [taylor]: Taking taylor expansion of 2.0 in t
5.189 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.189 * [taylor]: Taking taylor expansion of 2.0 in t
5.189 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.189 * [taylor]: Taking taylor expansion of t in t
5.189 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.189 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.189 * [taylor]: Taking taylor expansion of 1.0 in t
5.189 * [taylor]: Taking taylor expansion of t in t
5.189 * [taylor]: Taking taylor expansion of 1.0 in t
5.196 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
5.196 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.196 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.196 * [taylor]: Taking taylor expansion of 2.0 in t
5.196 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.196 * [taylor]: Taking taylor expansion of t in t
5.197 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.197 * [taylor]: Taking taylor expansion of 1.0 in t
5.197 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.197 * [taylor]: Taking taylor expansion of 1.0 in t
5.197 * [taylor]: Taking taylor expansion of t in t
5.198 * [taylor]: Taking taylor expansion of 2.0 in t
5.198 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.198 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.198 * [taylor]: Taking taylor expansion of 2.0 in t
5.198 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.198 * [taylor]: Taking taylor expansion of t in t
5.198 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.198 * [taylor]: Taking taylor expansion of 1.0 in t
5.198 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.198 * [taylor]: Taking taylor expansion of 1.0 in t
5.198 * [taylor]: Taking taylor expansion of t in t
5.199 * [taylor]: Taking taylor expansion of 2.0 in t
5.205 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2 1)
5.205 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
5.205 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.205 * [taylor]: Taking taylor expansion of 2.0 in t
5.205 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.205 * [taylor]: Taking taylor expansion of 2.0 in t
5.205 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.205 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.205 * [taylor]: Taking taylor expansion of t in t
5.205 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.205 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.205 * [taylor]: Taking taylor expansion of 1.0 in t
5.205 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.205 * [taylor]: Taking taylor expansion of t in t
5.206 * [taylor]: Taking taylor expansion of 1.0 in t
5.209 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
5.209 * [taylor]: Taking taylor expansion of 2.0 in t
5.209 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
5.209 * [taylor]: Taking taylor expansion of 2.0 in t
5.209 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
5.209 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
5.209 * [taylor]: Taking taylor expansion of t in t
5.209 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
5.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
5.209 * [taylor]: Taking taylor expansion of 1.0 in t
5.209 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.209 * [taylor]: Taking taylor expansion of t in t
5.209 * [taylor]: Taking taylor expansion of 1.0 in t
5.239 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
5.239 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.239 * [taylor]: Taking taylor expansion of 2.0 in t
5.239 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.239 * [taylor]: Taking taylor expansion of 2.0 in t
5.239 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.239 * [taylor]: Taking taylor expansion of t in t
5.239 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.239 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.239 * [taylor]: Taking taylor expansion of 1.0 in t
5.239 * [taylor]: Taking taylor expansion of t in t
5.239 * [taylor]: Taking taylor expansion of 1.0 in t
5.240 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
5.240 * [taylor]: Taking taylor expansion of 2.0 in t
5.240 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
5.240 * [taylor]: Taking taylor expansion of 2.0 in t
5.240 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
5.240 * [taylor]: Taking taylor expansion of t in t
5.240 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
5.240 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.240 * [taylor]: Taking taylor expansion of 1.0 in t
5.240 * [taylor]: Taking taylor expansion of t in t
5.240 * [taylor]: Taking taylor expansion of 1.0 in t
5.248 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
5.248 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.248 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.248 * [taylor]: Taking taylor expansion of 2.0 in t
5.248 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.248 * [taylor]: Taking taylor expansion of t in t
5.248 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.248 * [taylor]: Taking taylor expansion of 1.0 in t
5.248 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.248 * [taylor]: Taking taylor expansion of 1.0 in t
5.248 * [taylor]: Taking taylor expansion of t in t
5.249 * [taylor]: Taking taylor expansion of 2.0 in t
5.249 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
5.249 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
5.249 * [taylor]: Taking taylor expansion of 2.0 in t
5.249 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
5.249 * [taylor]: Taking taylor expansion of t in t
5.249 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
5.249 * [taylor]: Taking taylor expansion of 1.0 in t
5.249 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
5.249 * [taylor]: Taking taylor expansion of 1.0 in t
5.249 * [taylor]: Taking taylor expansion of t in t
5.250 * [taylor]: Taking taylor expansion of 2.0 in t
5.256 * * * [progress]: simplifying candidates
5.258 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
5.261 * * [simplify]: iteration  0 :  59  enodes  (cost  1508 )
5.270 * * [simplify]: iteration  1 :  138  enodes  (cost  1456 )
5.305 * * [simplify]: iteration  2 :  331  enodes  (cost  1328 )
5.400 * * [simplify]: iteration  3 :  1036  enodes  (cost  1328 )
6.072 * * [simplify]: iteration  done :  5000  enodes  (cost  1328 )
6.073 * [simplify]: Simplified to:
   (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
6.073 * * * [progress]: adding candidates to table
6.304 * [progress]: [Phase 3 of 3] Extracting.
6.304 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.305 * * * [regime-changes]: Trying 7 branch expressions: ((/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (- 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)))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) t)
6.305 * * * * [regimes]: Trying to branch on (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.316 * * * * [regimes]: Trying to branch on (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.326 * * * * [regimes]: Trying to branch on (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.339 * * * * [regimes]: Trying to branch on (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.349 * * * * [regimes]: Trying to branch on (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.359 * * * * [regimes]: Trying to branch on (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.369 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (/ (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (+ 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>)
6.382 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.382 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
6.383 * * [simplify]: iteration  0 :  12  enodes  (cost  29 )
6.383 * * [simplify]: iteration  1 :  14  enodes  (cost  29 )
6.383 * * [simplify]: iteration  done :  14  enodes  (cost  29 )
6.383 * [simplify]: Simplified to:
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
6.840 * [regime-testing]: Baseline error score: 0.006375796974621828
6.841 * [regime-testing]: Oracle error score: 0.005750718839854982
6.842 * [regime-testing]: End program error score: 0.006375796974621828