0.320 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.115 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.123 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.128 * * [simplify]: iteration  0 :  39  enodes  (cost  14 )
0.130 * * [simplify]: iteration  1 :  93  enodes  (cost  14 )
0.132 * * [simplify]: iteration  2 :  193  enodes  (cost  14 )
0.135 * * [simplify]: iteration  3 :  414  enodes  (cost  14 )
0.141 * * [simplify]: iteration  4 :  718  enodes  (cost  14 )
0.151 * * [simplify]: iteration  5 :  1192  enodes  (cost  14 )
0.167 * * [simplify]: iteration  6 :  2816  enodes  (cost  14 )
0.205 * * [simplify]: iteration  7 :  5001  enodes  (cost  14 )
0.205 * [simplify]: Simplified to:
  (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.207 * * [progress]: iteration 1 / 4
0.207 * * * [progress]: picking best candidate
0.212 * * * * [pick]: Picked  #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))>
0.212 * * * [progress]: localizing error
0.238 * * * [progress]: generating rewritten candidates
0.238 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.252 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.269 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.287 * * * [progress]: generating series expansions
0.288 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.293 * [approximate]: Approximating (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in (x l t) around 0
0.348 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in l
0.350 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.355 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in l
0.357 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.363 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.379 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in l
0.391 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.418 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.423 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.454 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in l
0.479 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.537 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.545 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.571 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))) in t
0.594 * [approximate]: Approximating (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in (x l t) around 0
0.654 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in l
0.655 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in l
0.666 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
0.666 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
0.686 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in l
0.776 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
0.782 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
0.788 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
0.814 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in l
1.089 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
1.125 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))) in t
1.157 * [approximate]: Approximating (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in (x l t) around 0
1.213 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in l
1.214 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in l
1.221 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.221 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.237 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in l
1.328 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.341 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.349 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.371 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in l
1.653 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.694 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x))))))))) in t
1.726 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.727 * [approximate]: Approximating (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in (x l t) around 0
1.748 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in l
1.749 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.760 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in l
1.760 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.761 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.775 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in l
1.776 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.777 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.779 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.799 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in l
1.800 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.801 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.803 * [taylor]: Taking taylor expansion of (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2)) in t
1.806 * [approximate]: Approximating (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in (x l t) around 0
1.834 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in l
1.848 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in l
1.849 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.865 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in l
1.867 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.869 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.869 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.888 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in l
1.890 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.892 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.894 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.896 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2))) in t
1.898 * [approximate]: Approximating (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in (x l t) around 0
1.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in l
1.930 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in l
1.932 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.944 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in l
1.946 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.948 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.948 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.965 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in l
1.967 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.969 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.971 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.973 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))) in t
1.976 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.977 * [approximate]: Approximating (* t (sqrt 2.0)) in (t) around 0
1.993 * [approximate]: Approximating (/ (sqrt 2.0) t) in (t) around 0
2.006 * [approximate]: Approximating (* -1 (/ (sqrt 2.0) t)) in (t) around 0
2.031 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.032 * [approximate]: Approximating (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in (t x l) around 0
2.082 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in x
2.082 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in l
2.085 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in x
2.098 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in l
2.102 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in l
2.115 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in x
2.115 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in l
2.115 * [taylor]: Taking taylor expansion of (* (* t (sqrt 2.0)) (sqrt (/ 1 (- (+ (/ (* x (pow l 2)) (- x 1.0)) (+ (* 2.0 (/ (pow t 2) (- x 1.0))) (+ (* 2.0 (/ (* (pow t 2) x) (- x 1.0))) (* 1.0 (/ (pow l 2) (- x 1.0)))))) (pow l 2))))) in l
2.125 * [approximate]: Approximating (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in (t x l) around 0
2.189 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in x
2.208 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in l
2.212 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in x
2.212 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in l
2.215 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in l
2.236 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in x
2.319 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in l
2.319 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (* (pow t 2) x)))) (+ (* 2.0 (/ 1 (* (- (/ 1 x) 1.0) (pow t 2)))) (+ (* 1.0 (/ 1 (* (- (/ 1 x) 1.0) (pow l 2)))) (/ 1 (* (- (/ 1 x) 1.0) (* x (pow l 2))))))) (/ 1 (pow l 2)))))) in l
2.320 * [approximate]: Approximating (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in (t x l) around 0
2.375 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in x
2.395 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in l
2.401 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in x
2.401 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in l
2.408 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in l
2.440 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in x
2.533 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in l
2.533 * [taylor]: Taking taylor expansion of (* -1 (* (/ (sqrt 2.0) t) (sqrt (/ 1 (- (+ (/ 1 (* x (* (pow l 2) (+ 1.0 (/ 1 x))))) (* 2.0 (/ 1 (* (pow t 2) (* x (+ 1.0 (/ 1 x))))))) (+ (* 1.0 (/ 1 (* (pow l 2) (+ 1.0 (/ 1 x))))) (+ (/ 1 (pow l 2)) (* 2.0 (/ 1 (* (pow t 2) (+ 1.0 (/ 1 x)))))))))))) in l
2.533 * * * [progress]: simplifying candidates
2.535 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (exp (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (* (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (* (* (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (* (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt 1)
  (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (sqrt (- (pow (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) 3) (pow (* l l) 3)))
  (sqrt (+ (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (+ (* (* l l) (* l l)) (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt (- (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (* (* l l) (* l l))))
  (sqrt (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (/ 1 2)
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (exp (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (exp (* l l)))
  (log (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (exp (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (* (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (* (* (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)) (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (- (pow (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) 3) (pow (* l l) 3))
  (+ (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (+ (* (* l l) (* l l)) (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (neg (* l l))
  (- (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (* (* l l) (* l l)))
  (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
  (- (* (/ (+ x 1.0) (- x 1.0)) (* 2.0 (* t t))) (* l l))
  (- (* (* 2.0 (* t t)) (/ (+ x 1.0) (- x 1.0))) (* l l))
  (neg (* l l))
  (* (sqrt 2.0) t)
  (+ (log (sqrt 2.0)) (log t))
  (log (* (sqrt 2.0) t))
  (exp (* (sqrt 2.0) t))
  (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* t t) t))
  (* (cbrt (* (sqrt 2.0) t)) (cbrt (* (sqrt 2.0) t)))
  (cbrt (* (sqrt 2.0) t))
  (* (* (* (sqrt 2.0) t) (* (sqrt 2.0) t)) (* (sqrt 2.0) t))
  (sqrt (* (sqrt 2.0) t))
  (sqrt (* (sqrt 2.0) t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (* (sqrt 2.0) (sqrt t))
  (* (sqrt 2.0) 1)
  (* (cbrt (sqrt 2.0)) t)
  (* (sqrt (cbrt 2.0)) t)
  (* (sqrt (sqrt 2.0)) t)
  (* (sqrt 2.0) t)
  (* (sqrt (sqrt 2.0)) t)
  (* (sqrt 2.0) t)
  (- (+ (log (sqrt 2.0)) (log t)) (log (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (- (log (* (sqrt 2.0) t)) (log (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (log (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (exp (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* t t) t)) (* (* (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (* (* (* (sqrt 2.0) t) (* (sqrt 2.0) t)) (* (sqrt 2.0) t)) (* (* (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (* (cbrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))) (cbrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (cbrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (* (* (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (neg (* (sqrt 2.0) t))
  (neg (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (sqrt 2.0) (* (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (/ t (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (sqrt 2.0) (sqrt (* (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (/ t (sqrt (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (sqrt 2.0) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ t (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (sqrt 2.0) (sqrt 1))
  (/ t (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (sqrt 2.0) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ t (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (sqrt 2.0) 1)
  (/ t (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ 1 (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (* (sqrt 2.0) t))
  (/ (* (sqrt 2.0) t) (* (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (/ (* (sqrt 2.0) t) (sqrt (* (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (/ (* (sqrt 2.0) t) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (* (sqrt 2.0) t) (sqrt 1))
  (/ (* (sqrt 2.0) t) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (* (sqrt 2.0) t) 1)
  (/ (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) t)
  (/ (* (sqrt 2.0) t) (sqrt (- (pow (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) 3) (pow (* l l) 3))))
  (/ (* (sqrt 2.0) t) (sqrt (- (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (* (* l l) (* l l)))))
  (- (* t (sqrt (neg 2.0))) (+ (* 2.0 (/ (* t (pow x 2)) (sqrt (neg 2.0)))) (+ (* 2.0 (/ (* t x) (sqrt (neg 2.0)))) (* 2.0 (/ (* t (pow x 2)) (pow (sqrt (neg 2.0)) 3))))))
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0)))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0)))))
  (neg (+ (* 2.0 (pow t 2)) (+ (* 2.0 (* x (pow l 2))) (* 2.0 (pow l 2)))))
  (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))
  (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))
  (* t (sqrt 2.0))
  (* t (sqrt 2.0))
  (* t (sqrt 2.0))
  0
  0
  0
2.542 * * [simplify]: iteration  0 :  417  enodes  (cost  1207 )
2.550 * * [simplify]: iteration  1 :  2051  enodes  (cost  1099 )
2.587 * * [simplify]: iteration  2 :  5002  enodes  (cost  1094 )
2.593 * [simplify]: Simplified to:
  (log (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (exp (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (* (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (pow (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) 3)
  (fabs (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  1
  (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (sqrt (- (pow (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) 3) (pow (* l l) 3)))
  (sqrt (+ (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (+ (* (* l l) (* l l)) (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt (- (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (* (* l l) (* l l))))
  (sqrt (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  1/2
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (exp (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (log (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (exp (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (* (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (pow (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)) 3)
  (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))
  (- (pow (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) 3) (pow (* l l) 3))
  (+ (* (pow l 2) (+ (pow l 2) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))))) (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))))
  (neg (* l l))
  (- (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (* (* l l) (* l l)))
  (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
  (- (* (* 2.0 (* t t)) (/ (+ x 1.0) (- x 1.0))) (* l l))
  (- (* (* 2.0 (* t t)) (/ (+ x 1.0) (- x 1.0))) (* l l))
  (neg (* l l))
  (* (sqrt 2.0) t)
  (log (* (sqrt 2.0) t))
  (log (* (sqrt 2.0) t))
  (exp (* (sqrt 2.0) t))
  (pow (* (sqrt 2.0) t) 3)
  (* (cbrt (* (sqrt 2.0) t)) (cbrt (* (sqrt 2.0) t)))
  (cbrt (* (sqrt 2.0) t))
  (pow (* (sqrt 2.0) t) 3)
  (sqrt (* (sqrt 2.0) t))
  (sqrt (* (sqrt 2.0) t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt (sqrt 2.0)) (sqrt t))
  (* (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (* (sqrt 2.0) (sqrt t))
  (sqrt 2.0)
  (* (cbrt (sqrt 2.0)) t)
  (* (sqrt (cbrt 2.0)) t)
  (* (sqrt (sqrt 2.0)) t)
  (* (sqrt 2.0) t)
  (* (sqrt (sqrt 2.0)) t)
  (* (sqrt 2.0) t)
  (log (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (log (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (log (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (exp (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (pow (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) 3)
  (pow (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) 3)
  (* (cbrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))) (cbrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (cbrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (pow (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) 3)
  (sqrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (neg (* (sqrt 2.0) t))
  (neg (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (sqrt 2.0) (* (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (/ t (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (sqrt 2.0) (fabs (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ t (sqrt (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ (sqrt 2.0) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ t (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt 2.0)
  (/ t (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (sqrt 2.0) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (/ t (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (sqrt 2.0)
  (/ t (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ 1 (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
  (/ (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) (* (sqrt 2.0) t))
  (/ (* (sqrt 2.0) t) (* (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))))
  (/ (sqrt 2.0) (/ (fabs (cbrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) t))
  (/ (* (sqrt 2.0) t) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (* (sqrt 2.0) t)
  (/ (* (sqrt 2.0) t) (sqrt (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))
  (* (sqrt 2.0) t)
  (/ (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))) t)
  (/ (* (sqrt 2.0) t) (sqrt (- (pow (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) 3) (pow (* l l) 3))))
  (/ (* (sqrt 2.0) t) (sqrt (- (* (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t))))) (* (* l l) (* l l)))))
  (- (- (* t (sqrt (neg 2.0))) (* 2.0 (/ (* t (pow x 2)) (sqrt (neg 2.0))))) (* 2.0 (+ (/ (* t x) (sqrt (neg 2.0))) (/ (* t (pow x 2)) (pow (sqrt (neg 2.0)) 3)))))
  (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))
  (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))
  (- (neg (* 2.0 (pow t 2))) (* (pow l 2) (+ (* 2.0 x) 2.0)))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (* (sqrt 2.0) t)
  (* (sqrt 2.0) t)
  (* (sqrt 2.0) t)
  0
  0
  0
2.593 * * * [progress]: adding candidates to table
2.977 * * [progress]: iteration 2 / 4
2.977 * * * [progress]: picking best candidate
2.998 * * * * [pick]: Picked  #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))>
2.998 * * * [progress]: localizing error
3.018 * * * [progress]: generating rewritten candidates
3.018 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.025 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2)
3.029 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
3.034 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.047 * * * [progress]: generating series expansions
3.047 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.048 * [approximate]: Approximating (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in (t x l) around 0
3.057 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
3.060 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
3.060 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
3.061 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
3.066 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
3.071 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
3.071 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
3.077 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
3.081 * [approximate]: Approximating (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in (t x l) around 0
3.104 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.108 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.109 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.109 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.109 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.116 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.123 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.127 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.139 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.139 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.140 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.144 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.152 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.164 * [approximate]: Approximating (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in (t x l) around 0
3.187 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.192 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.193 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.193 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.193 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.200 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.208 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.213 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.226 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
3.226 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.227 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.231 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.239 * [taylor]: Taking taylor expansion of (sqrt (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
3.250 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2)
3.250 * [approximate]: Approximating (/ (pow l 2) x) in (l x) around 0
3.251 * [taylor]: Taking taylor expansion of (/ (pow l 2) x) in x
3.252 * [taylor]: Taking taylor expansion of (/ (pow l 2) x) in x
3.253 * [taylor]: Taking taylor expansion of (/ (pow l 2) x) in x
3.255 * [taylor]: Taking taylor expansion of (/ (pow l 2) x) in x
3.261 * [approximate]: Approximating (/ x (pow l 2)) in (l x) around 0
3.262 * [taylor]: Taking taylor expansion of (/ x (pow l 2)) in x
3.264 * [taylor]: Taking taylor expansion of (/ x (pow l 2)) in x
3.265 * [taylor]: Taking taylor expansion of (/ x (pow l 2)) in x
3.267 * [taylor]: Taking taylor expansion of (/ x (pow l 2)) in x
3.268 * [approximate]: Approximating (* -1 (/ x (pow l 2))) in (l x) around 0
3.269 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow l 2))) in x
3.271 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow l 2))) in x
3.274 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow l 2))) in x
3.278 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow l 2))) in x
3.278 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
3.278 * [approximate]: Approximating (/ (pow t 2) x) in (t x) around 0
3.279 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
3.280 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
3.281 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
3.282 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
3.283 * [approximate]: Approximating (/ x (pow t 2)) in (t x) around 0
3.284 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
3.285 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
3.287 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
3.290 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
3.290 * [approximate]: Approximating (* -1 (/ x (pow t 2))) in (t x) around 0
3.291 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
3.293 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
3.296 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
3.300 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
3.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.301 * [approximate]: Approximating (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in (t x l) around 0
3.303 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
3.303 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
3.304 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
3.305 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
3.307 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
3.308 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
3.308 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
3.311 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
3.316 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
3.317 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
3.318 * [approximate]: Approximating (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in (t x l) around 0
3.322 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.323 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.326 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.326 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.328 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.332 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.333 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.334 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.340 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.340 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.341 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.346 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.348 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.349 * [approximate]: Approximating (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in (t x l) around 0
3.352 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.354 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.357 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.358 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.360 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.364 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.365 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.366 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.373 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
3.373 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.373 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.375 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.376 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
3.378 * * * [progress]: simplifying candidates
3.380 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (* (* (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (/ (pow l 2) x) (/ (pow l 2) x)) (* (pow t 2) (/ (pow l 2) x))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (/ (pow l 2) x) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (/ (pow l 2) x) (/ (pow l 2) x)) (* (pow t 2) (/ (pow l 2) x))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (/ (pow l 2) x))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (/ (pow l 2) x) (/ (pow l 2) x)))))))
  (sqrt (* x (- (pow t 2) (/ (pow l 2) x))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (- (* (log l) 2) (log x))
  (- (* (log l) 2) (log x))
  (- (log (pow l 2)) (log x))
  (log (/ (pow l 2) x))
  (exp (/ (pow l 2) x))
  (/ (* (* (pow l 2) (pow l 2)) (pow l 2)) (* (* x x) x))
  (* (cbrt (/ (pow l 2) x)) (cbrt (/ (pow l 2) x)))
  (cbrt (/ (pow l 2) x))
  (* (* (/ (pow l 2) x) (/ (pow l 2) x)) (/ (pow l 2) x))
  (sqrt (/ (pow l 2) x))
  (sqrt (/ (pow l 2) x))
  (neg (pow l 2))
  (neg x)
  (/ (pow (* (cbrt l) (cbrt l)) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (cbrt l) 2) (cbrt x))
  (/ (pow (* (cbrt l) (cbrt l)) 2) (sqrt x))
  (/ (pow (cbrt l) 2) (sqrt x))
  (/ (pow (* (cbrt l) (cbrt l)) 2) 1)
  (/ (pow (cbrt l) 2) x)
  (/ (pow (sqrt l) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (sqrt l) 2) (cbrt x))
  (/ (pow (sqrt l) 2) (sqrt x))
  (/ (pow (sqrt l) 2) (sqrt x))
  (/ (pow (sqrt l) 2) 1)
  (/ (pow (sqrt l) 2) x)
  (/ (pow 1 2) (* (cbrt x) (cbrt x)))
  (/ (pow l 2) (cbrt x))
  (/ (pow 1 2) (sqrt x))
  (/ (pow l 2) (sqrt x))
  (/ (pow 1 2) 1)
  (/ (pow l 2) x)
  (/ l (* (cbrt x) (cbrt x)))
  (/ l (cbrt x))
  (/ l (sqrt x))
  (/ l (sqrt x))
  (/ l 1)
  (/ l x)
  (/ (* (cbrt (pow l 2)) (cbrt (pow l 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow l 2)) (cbrt x))
  (/ (* (cbrt (pow l 2)) (cbrt (pow l 2))) (sqrt x))
  (/ (cbrt (pow l 2)) (sqrt x))
  (/ (* (cbrt (pow l 2)) (cbrt (pow l 2))) 1)
  (/ (cbrt (pow l 2)) x)
  (/ (sqrt (pow l 2)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (pow l 2)) (cbrt x))
  (/ (sqrt (pow l 2)) (sqrt x))
  (/ (sqrt (pow l 2)) (sqrt x))
  (/ (sqrt (pow l 2)) 1)
  (/ (sqrt (pow l 2)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow l 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow l 2) (sqrt x))
  (/ 1 1)
  (/ (pow l 2) x)
  (/ (pow l (/ 2 2)) (* (cbrt x) (cbrt x)))
  (/ (pow l (/ 2 2)) (cbrt x))
  (/ (pow l (/ 2 2)) (sqrt x))
  (/ (pow l (/ 2 2)) (sqrt x))
  (/ (pow l (/ 2 2)) 1)
  (/ (pow l (/ 2 2)) x)
  (/ 1 x)
  (/ x (pow l 2))
  (/ (pow l 2) (* (cbrt x) (cbrt x)))
  (/ (pow l 2) (sqrt x))
  (/ (pow l 2) 1)
  (/ x (pow (cbrt l) 2))
  (/ x (pow (sqrt l) 2))
  (/ x (pow l 2))
  (/ x l)
  (/ x (cbrt (pow l 2)))
  (/ x (sqrt (pow l 2)))
  (/ x (pow l 2))
  (/ x (pow l (/ 2 2)))
  (- (* (log t) 2) (log x))
  (- (* (log t) 2) (log x))
  (- (log (pow t 2)) (log x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (/ (* (* (pow t 2) (pow t 2)) (pow t 2)) (* (* x x) x))
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (* (* (/ (pow t 2) x) (/ (pow t 2) x)) (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (* (cbrt t) (cbrt t)) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) (sqrt x))
  (/ (pow (cbrt t) 2) (sqrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) 1)
  (/ (pow (cbrt t) 2) x)
  (/ (pow (sqrt t) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (sqrt t) 2) (cbrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) 1)
  (/ (pow (sqrt t) 2) x)
  (/ (pow 1 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ (pow 1 2) (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ (pow 1 2) 1)
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  (/ t 1)
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) 1)
  (/ (cbrt (pow t 2)) x)
  (/ (sqrt (pow t 2)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (pow t 2)) (cbrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) 1)
  (/ (sqrt (pow t 2)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ 1 1)
  (/ (pow t 2) x)
  (/ (pow t (/ 2 2)) (* (cbrt x) (cbrt x)))
  (/ (pow t (/ 2 2)) (cbrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) 1)
  (/ (pow t (/ 2 2)) x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (/ (pow t 2) 1)
  (/ x (pow (cbrt t) 2))
  (/ x (pow (sqrt t) 2))
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (sqrt (pow t 2)))
  (/ x (pow t 2))
  (/ x (pow t (/ 2 2)))
  (* (exp (* 4.0 (/ (pow t 2) x))) (exp (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (log (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (exp (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (* (* (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))) (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))) (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (/ (pow l 2) x) (/ (pow l 2) x)) (* (pow t 2) (/ (pow l 2) x))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (/ (pow l 2) x) 3)))))
  (* x (+ (* (pow t 2) (pow t 2)) (- (* (/ (pow l 2) x) (/ (pow l 2) x)) (* (pow t 2) (/ (pow l 2) x)))))
  (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (/ (pow l 2) x))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (/ (pow l 2) x) (/ (pow l 2) x))))))
  (* x (- (pow t 2) (/ (pow l 2) x)))
  (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) 3))
  (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (pow t 2)))
  (+ (* 4.0 (/ (pow t 2) x)) (* (pow t 2) 2.0))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  (/ (pow l 2) x)
  (/ (pow l 2) x)
  (/ (pow l 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (+ (* 2.0 (pow t 2)) (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (/ (pow l 2) x))))
  (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))
  (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))
3.387 * * [simplify]: iteration  0 :  526  enodes  (cost  1067 )
3.396 * * [simplify]: iteration  1 :  2113  enodes  (cost  984 )
3.433 * * [simplify]: iteration  2 :  5001  enodes  (cost  978 )
3.439 * [simplify]: Simplified to:
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (pow (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))) 3)
  (fabs (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  1
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (/ (pow l 2) x) (/ (pow l 2) x)) (* (pow t 2) (/ (pow l 2) x))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (/ (pow l 2) x) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (/ (pow l 2) x) (/ (pow l 2) x)) (* (pow t 2) (/ (pow l 2) x))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (/ (pow l 2) x))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (/ (pow l 2) x) (/ (pow l 2) x)))))))
  (sqrt (* x (- (pow t 2) (/ (pow l 2) x))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  1/2
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (log (/ (pow l 2) x))
  (log (/ (pow l 2) x))
  (log (/ (pow l 2) x))
  (log (/ (pow l 2) x))
  (exp (/ (pow l 2) x))
  (pow (/ (pow l 2) x) 3)
  (* (cbrt (/ (pow l 2) x)) (cbrt (/ (pow l 2) x)))
  (cbrt (/ (pow l 2) x))
  (pow (/ (pow l 2) x) 3)
  (sqrt (/ (pow l 2) x))
  (sqrt (/ (pow l 2) x))
  (neg (pow l 2))
  (neg x)
  (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1))
  (/ (pow (cbrt l) 2) (cbrt x))
  (/ (pow (cbrt l) 4) (* (sqrt x) 1))
  (/ (pow (cbrt l) 2) (sqrt x))
  (pow (cbrt l) 4)
  (/ (pow (cbrt l) 2) x)
  (/ l (* (cbrt x) (cbrt x)))
  (/ l (cbrt x))
  (/ l (sqrt x))
  (/ l (sqrt x))
  l
  (/ l x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow l 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow l 2) (sqrt x))
  1
  (/ (pow l 2) x)
  (/ l (* (cbrt x) (cbrt x)))
  (/ l (cbrt x))
  (/ l (sqrt x))
  (/ l (sqrt x))
  l
  (/ l x)
  (/ (* (cbrt (pow l 2)) (cbrt (pow l 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow l 2)) (cbrt x))
  (/ (* (cbrt (pow l 2)) (cbrt (pow l 2))) (sqrt x))
  (/ (cbrt (pow l 2)) (sqrt x))
  (* (cbrt (pow l 2)) (cbrt (pow l 2)))
  (/ (cbrt (pow l 2)) x)
  (/ (/ (fabs l) (cbrt x)) (cbrt x))
  (/ (fabs l) (cbrt x))
  (/ (fabs l) (sqrt x))
  (/ (fabs l) (sqrt x))
  (fabs l)
  (/ (fabs l) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow l 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow l 2) (sqrt x))
  1
  (/ (pow l 2) x)
  (/ l (* (cbrt x) (cbrt x)))
  (/ l (cbrt x))
  (/ l (sqrt x))
  (/ l (sqrt x))
  l
  (/ l x)
  (/ 1 x)
  (/ x (pow l 2))
  (/ (pow l 2) (* (cbrt x) (cbrt x)))
  (/ (pow l 2) (sqrt x))
  (pow l 2)
  (/ x (pow (cbrt l) 2))
  (/ x l)
  (/ x (pow l 2))
  (/ x l)
  (/ x (cbrt (pow l 2)))
  (/ x (fabs l))
  (/ x (pow l 2))
  (/ x l)
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (cbrt t) 4) (* (* (cbrt x) (cbrt x)) 1))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (cbrt t) 4) (* (sqrt x) 1))
  (/ (pow (cbrt t) 2) (sqrt x))
  (pow (cbrt t) 4)
  (/ (pow (cbrt t) 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (* (cbrt (pow t 2)) (cbrt (pow t 2)))
  (/ (cbrt (pow t 2)) x)
  (/ (/ (fabs t) (cbrt x)) (cbrt x))
  (/ (fabs t) (cbrt x))
  (/ (fabs t) (sqrt x))
  (/ (fabs t) (sqrt x))
  (fabs t)
  (/ (fabs t) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (pow t 2)
  (/ x (pow (cbrt t) 2))
  (/ x t)
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (fabs t))
  (/ x (pow t 2))
  (/ x t)
  (exp (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (log (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (exp (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))
  (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (pow (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))) 3)
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (+ (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (/ (pow l 2) x) 3)))) (* 4.0 (* (pow t 2) (- (+ (pow t 4) (* (/ (pow l 2) x) (/ (pow l 2) x))) (* (pow t 2) (/ (pow l 2) x))))))
  (* (+ (* (/ (pow l 2) x) (- (/ (pow l 2) x) (pow t 2))) (pow t 4)) x)
  (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (/ (pow l 2) x))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (/ (pow l 2) x) (/ (pow l 2) x))))))
  (* x (- (pow t 2) (/ (pow l 2) x)))
  (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) 3))
  (+ (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (- (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 4.0 (/ (pow t 2) x)))) (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))))
  (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (/ (pow l 2) x))) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))
  (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* (pow t 2) 2.0))
  (+ (* 4.0 (/ (pow t 2) x)) (* (pow t 2) 2.0))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  (/ (pow l 2) x)
  (/ (pow l 2) x)
  (/ (pow l 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
3.440 * * * [progress]: adding candidates to table
4.921 * * [progress]: iteration 3 / 4
4.921 * * * [progress]: picking best candidate
4.970 * * * * [pick]: Picked  #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>
4.970 * * * [progress]: localizing error
4.995 * * * [progress]: generating rewritten candidates
4.995 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
5.002 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
5.006 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.015 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2)
5.022 * * * [progress]: generating series expansions
5.022 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
5.022 * [approximate]: Approximating (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in (t x l) around 0
5.032 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
5.035 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
5.035 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
5.036 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
5.041 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
5.046 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
5.046 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
5.052 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
5.056 * [approximate]: Approximating (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in (t x l) around 0
5.071 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
5.079 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.080 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
5.080 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.080 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.088 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
5.095 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.099 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.112 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
5.112 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.113 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.116 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.125 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
5.136 * [approximate]: Approximating (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in (t x l) around 0
5.180 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
5.185 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.186 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
5.186 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.186 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.194 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
5.201 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.206 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.221 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
5.221 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.222 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.226 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.240 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
5.251 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
5.251 * [approximate]: Approximating (/ (pow t 2) x) in (t x) around 0
5.252 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
5.253 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
5.254 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
5.256 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
5.257 * [approximate]: Approximating (/ x (pow t 2)) in (t x) around 0
5.257 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
5.259 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
5.260 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
5.263 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
5.263 * [approximate]: Approximating (* -1 (/ x (pow t 2))) in (t x) around 0
5.264 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
5.266 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
5.269 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
5.273 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
5.273 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.273 * [approximate]: Approximating (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in (t x l) around 0
5.275 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
5.276 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
5.277 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
5.278 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
5.280 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
5.281 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
5.281 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
5.284 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
5.289 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in x
5.290 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x)))) in l
5.291 * [approximate]: Approximating (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in (t x l) around 0
5.295 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
5.296 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.299 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
5.299 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.301 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.305 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
5.306 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.307 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.319 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in x
5.319 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.319 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.320 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.321 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2))))) in l
5.322 * [approximate]: Approximating (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in (t x l) around 0
5.345 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in x
5.346 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.350 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in x
5.350 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.352 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.357 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in x
5.357 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.359 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.367 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in x
5.367 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.367 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.369 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.370 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2)))) in l
5.372 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2)
5.373 * [approximate]: Approximating (+ (pow t 2) (/ (pow l 2) x)) in (t l x) around 0
5.373 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in l
5.374 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in l
5.374 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.376 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in l
5.376 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.376 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.376 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.378 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in l
5.378 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.378 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.378 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.378 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.381 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in l
5.381 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.381 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.381 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.381 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.382 * [taylor]: Taking taylor expansion of (+ (pow t 2) (/ (pow l 2) x)) in x
5.383 * [approximate]: Approximating (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in (t l x) around 0
5.385 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in l
5.386 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in l
5.388 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in l
5.388 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.388 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.390 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in l
5.391 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.391 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.391 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.398 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in l
5.400 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.401 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.401 * [taylor]: Taking taylor expansion of (+ (/ x (pow l 2)) (/ 1 (pow t 2))) in x
5.401 * [approximate]: Approximating (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in (t l x) around 0
5.422 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in l
5.424 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in l
5.425 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in l
5.425 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.426 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.429 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in l
5.431 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.431 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.431 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.437 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in l
5.439 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.439 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.439 * [taylor]: Taking taylor expansion of (+ (/ x (* (pow (cbrt -1) 3) (pow l 2))) (/ 1 (pow t 2))) in x
5.440 * * * [progress]: simplifying candidates
5.441 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (* (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (- (* (log t) 2) (log x))
  (- (* (log t) 2) (log x))
  (- (log (pow t 2)) (log x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (/ (* (* (pow t 2) (pow t 2)) (pow t 2)) (* (* x x) x))
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (* (* (/ (pow t 2) x) (/ (pow t 2) x)) (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (* (cbrt t) (cbrt t)) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) (sqrt x))
  (/ (pow (cbrt t) 2) (sqrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) 1)
  (/ (pow (cbrt t) 2) x)
  (/ (pow (sqrt t) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (sqrt t) 2) (cbrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) 1)
  (/ (pow (sqrt t) 2) x)
  (/ (pow 1 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ (pow 1 2) (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ (pow 1 2) 1)
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  (/ t 1)
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) 1)
  (/ (cbrt (pow t 2)) x)
  (/ (sqrt (pow t 2)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (pow t 2)) (cbrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) 1)
  (/ (sqrt (pow t 2)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ 1 1)
  (/ (pow t 2) x)
  (/ (pow t (/ 2 2)) (* (cbrt x) (cbrt x)))
  (/ (pow t (/ 2 2)) (cbrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) 1)
  (/ (pow t (/ 2 2)) x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (/ (pow t 2) 1)
  (/ x (pow (cbrt t) 2))
  (/ x (pow (sqrt t) 2))
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (sqrt (pow t 2)))
  (/ x (pow t 2))
  (/ x (pow t (/ 2 2)))
  (* (exp (* 4.0 (/ (pow t 2) x))) (exp (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (log (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (exp (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (* (* (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3)))))
  (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3))
  (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (pow t 2)))
  (+ (* 4.0 (/ (pow t 2) x)) (* (pow t 2) 2.0))
  (* (exp (pow t 2)) (exp (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (log (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (exp (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (* (cbrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (cbrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (cbrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (* (* (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (sqrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (sqrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))
  (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (+ (* 2.0 (pow t 2)) (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (/ (pow l 2) x))))
  (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))
  (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))
  (+ (pow t 2) (/ (pow l 2) x))
  (+ (pow t 2) (/ (pow l 2) x))
  (+ (pow t 2) (/ (pow l 2) x))
5.449 * * [simplify]: iteration  0 :  463  enodes  (cost  1308 )
5.457 * * [simplify]: iteration  1 :  1965  enodes  (cost  1213 )
5.494 * * [simplify]: iteration  2 :  5001  enodes  (cost  1210 )
5.500 * [simplify]: Simplified to:
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (pow (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) 3)
  (fabs (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  1
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  1/2
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (cbrt t) 4) (* (* (cbrt x) (cbrt x)) 1))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (cbrt t) 4) (* (sqrt x) 1))
  (/ (pow (cbrt t) 2) (sqrt x))
  (pow (cbrt t) 4)
  (/ (pow (cbrt t) 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (* (cbrt (pow t 2)) (cbrt (pow t 2)))
  (/ (cbrt (pow t 2)) x)
  (/ (/ (fabs t) (cbrt x)) (cbrt x))
  (/ (fabs t) (cbrt x))
  (/ (fabs t) (sqrt x))
  (/ (fabs t) (sqrt x))
  (fabs t)
  (/ (fabs t) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (pow t 2)
  (/ x (pow (cbrt t) 2))
  (/ x t)
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (fabs t))
  (/ x (pow t 2))
  (/ x t)
  (exp (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (log (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (exp (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (pow (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) 3)
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (+ (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3)))) (* 4.0 (* (pow t 2) (- (+ (pow t 4) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (+ (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (- (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (pow t 2))) (pow t 4)) x)
  (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3))
  (+ (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (- (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 4.0 (/ (pow t 2) x)))) (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))))
  (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (+ (* 4.0 (/ (pow t 2) x)) (* (pow t 2) 2.0))
  (+ (* 4.0 (/ (pow t 2) x)) (* (pow t 2) 2.0))
  (exp (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (log (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (exp (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (* (cbrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (cbrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (cbrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (pow (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) 3)
  (sqrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (sqrt (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))
  (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))
  (+ (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (- (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (pow t 2))) (pow t 4))
  (+ (pow t 4) (neg (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))
  (+ (pow t 2) (/ (pow l 2) x))
  (+ (pow t 2) (/ (pow l 2) x))
  (+ (pow t 2) (/ (pow l 2) x))
5.501 * * * [progress]: adding candidates to table
6.327 * * [progress]: iteration 4 / 4
6.327 * * * [progress]: picking best candidate
6.374 * * * * [pick]: Picked  #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))>
6.375 * * * [progress]: localizing error
6.400 * * * [progress]: generating rewritten candidates
6.400 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
6.410 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
6.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 2)
6.422 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1 2)
6.431 * * * [progress]: generating series expansions
6.431 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
6.432 * [approximate]: Approximating (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in (t x l) around 0
6.441 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
6.444 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.444 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
6.445 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.450 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
6.455 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.455 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.461 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.464 * [approximate]: Approximating (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in (t x l) around 0
6.480 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.489 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.511 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.511 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.511 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.519 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.525 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.530 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.542 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.542 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.543 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.546 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.555 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.566 * [approximate]: Approximating (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in (t x l) around 0
6.609 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.614 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.615 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.615 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.615 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.622 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.630 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.635 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.649 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.649 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.650 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.654 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.670 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.681 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
6.682 * [approximate]: Approximating (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in (t x l) around 0
6.691 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
6.694 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.694 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
6.695 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.700 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in x
6.705 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.705 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.711 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (pow t 2)) (+ (* 2.0 (/ (pow l 2) x)) (* 4.0 (/ (pow t 2) x))))) in l
6.714 * [approximate]: Approximating (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in (t x l) around 0
6.729 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.733 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.734 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.734 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.734 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.742 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.754 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.759 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.771 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in x
6.771 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.772 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.775 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.784 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2.0 (/ 1 (pow t 2))) (+ (* 2.0 (/ x (pow l 2))) (* 4.0 (/ x (pow t 2)))))) in l
6.795 * [approximate]: Approximating (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in (t x l) around 0
6.838 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.843 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.844 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.844 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.844 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.852 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.860 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.865 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.879 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in x
6.880 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.880 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.884 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.893 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 2.0 (/ x (* (pow (cbrt -1) 3) (pow l 2)))) (* 2.0 (/ 1 (pow t 2)))) (* 4.0 (/ x (pow t 2))))) in l
6.909 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 2)
6.910 * [approximate]: Approximating (/ (pow t 2) x) in (t x) around 0
6.911 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.911 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.913 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.914 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.915 * [approximate]: Approximating (/ x (pow t 2)) in (t x) around 0
6.916 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.917 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.919 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.921 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.922 * [approximate]: Approximating (* -1 (/ x (pow t 2))) in (t x) around 0
6.922 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.924 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.928 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.931 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.932 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1 2)
6.932 * [approximate]: Approximating (/ (pow t 2) x) in (t x) around 0
6.933 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.934 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.935 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.936 * [taylor]: Taking taylor expansion of (/ (pow t 2) x) in x
6.937 * [approximate]: Approximating (/ x (pow t 2)) in (t x) around 0
6.938 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.939 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.941 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.943 * [taylor]: Taking taylor expansion of (/ x (pow t 2)) in x
6.944 * [approximate]: Approximating (* -1 (/ x (pow t 2))) in (t x) around 0
6.945 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.947 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.950 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.954 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow t 2))) in x
6.954 * * * [progress]: simplifying candidates
6.956 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (* (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (* (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (* (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt 1)
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (/ 1 2)
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (- (* (log t) 2) (log x))
  (- (* (log t) 2) (log x))
  (- (log (pow t 2)) (log x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (/ (* (* (pow t 2) (pow t 2)) (pow t 2)) (* (* x x) x))
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (* (* (/ (pow t 2) x) (/ (pow t 2) x)) (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (* (cbrt t) (cbrt t)) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) (sqrt x))
  (/ (pow (cbrt t) 2) (sqrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) 1)
  (/ (pow (cbrt t) 2) x)
  (/ (pow (sqrt t) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (sqrt t) 2) (cbrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) 1)
  (/ (pow (sqrt t) 2) x)
  (/ (pow 1 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ (pow 1 2) (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ (pow 1 2) 1)
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  (/ t 1)
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) 1)
  (/ (cbrt (pow t 2)) x)
  (/ (sqrt (pow t 2)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (pow t 2)) (cbrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) 1)
  (/ (sqrt (pow t 2)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ 1 1)
  (/ (pow t 2) x)
  (/ (pow t (/ 2 2)) (* (cbrt x) (cbrt x)))
  (/ (pow t (/ 2 2)) (cbrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) 1)
  (/ (pow t (/ 2 2)) x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (/ (pow t 2) 1)
  (/ x (pow (cbrt t) 2))
  (/ x (pow (sqrt t) 2))
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (sqrt (pow t 2)))
  (/ x (pow t 2))
  (/ x (pow t (/ 2 2)))
  (- (* (log t) 2) (log x))
  (- (* (log t) 2) (log x))
  (- (log (pow t 2)) (log x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (/ (* (* (pow t 2) (pow t 2)) (pow t 2)) (* (* x x) x))
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (* (* (/ (pow t 2) x) (/ (pow t 2) x)) (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (* (cbrt t) (cbrt t)) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) (sqrt x))
  (/ (pow (cbrt t) 2) (sqrt x))
  (/ (pow (* (cbrt t) (cbrt t)) 2) 1)
  (/ (pow (cbrt t) 2) x)
  (/ (pow (sqrt t) 2) (* (cbrt x) (cbrt x)))
  (/ (pow (sqrt t) 2) (cbrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) (sqrt x))
  (/ (pow (sqrt t) 2) 1)
  (/ (pow (sqrt t) 2) x)
  (/ (pow 1 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ (pow 1 2) (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ (pow 1 2) 1)
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  (/ t 1)
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) 1)
  (/ (cbrt (pow t 2)) x)
  (/ (sqrt (pow t 2)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (pow t 2)) (cbrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) (sqrt x))
  (/ (sqrt (pow t 2)) 1)
  (/ (sqrt (pow t 2)) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  (/ 1 1)
  (/ (pow t 2) x)
  (/ (pow t (/ 2 2)) (* (cbrt x) (cbrt x)))
  (/ (pow t (/ 2 2)) (cbrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) (sqrt x))
  (/ (pow t (/ 2 2)) 1)
  (/ (pow t (/ 2 2)) x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (/ (pow t 2) 1)
  (/ x (pow (cbrt t) 2))
  (/ x (pow (sqrt t) 2))
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (sqrt (pow t 2)))
  (/ x (pow t 2))
  (/ x (pow t (/ 2 2)))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
6.963 * * [simplify]: iteration  0 :  389  enodes  (cost  1444 )
6.970 * * [simplify]: iteration  1 :  1639  enodes  (cost  1356 )
7.003 * * [simplify]: iteration  2 :  5001  enodes  (cost  1350 )
7.010 * [simplify]: Simplified to:
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (pow (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) 3)
  (fabs (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  1
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  1/2
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (exp (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (pow (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) 3)
  (fabs (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (cbrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  1
  (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))) (* x (* 2.0 (+ (pow (pow t 2) 3) (pow (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) 3))))))
  (sqrt (* x (+ (* (pow t 2) (pow t 2)) (- (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))) (* (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (+ (* (* 4.0 (pow t 2)) (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* x (* 2.0 (- (* (pow t 2) (pow t 2)) (* (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (* x (- (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))
  (sqrt (+ (pow (* 4.0 (/ (pow t 2) x)) 3) (pow (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) 3)))
  (sqrt (+ (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (- (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))) (* (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))
  (sqrt (- (* (* 4.0 (/ (pow t 2) x)) (* 4.0 (/ (pow t 2) x))) (* (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (- (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))
  1/2
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x))))))))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (cbrt t) 4) (* (* (cbrt x) (cbrt x)) 1))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (cbrt t) 4) (* (sqrt x) 1))
  (/ (pow (cbrt t) 2) (sqrt x))
  (pow (cbrt t) 4)
  (/ (pow (cbrt t) 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (* (cbrt (pow t 2)) (cbrt (pow t 2)))
  (/ (cbrt (pow t 2)) x)
  (/ (/ (fabs t) (cbrt x)) (cbrt x))
  (/ (fabs t) (cbrt x))
  (/ (fabs t) (sqrt x))
  (/ (fabs t) (sqrt x))
  (fabs t)
  (/ (fabs t) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (pow t 2)
  (/ x (pow (cbrt t) 2))
  (/ x t)
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (fabs t))
  (/ x (pow t 2))
  (/ x t)
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (log (/ (pow t 2) x))
  (exp (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (* (cbrt (/ (pow t 2) x)) (cbrt (/ (pow t 2) x)))
  (cbrt (/ (pow t 2) x))
  (pow (/ (pow t 2) x) 3)
  (sqrt (/ (pow t 2) x))
  (sqrt (/ (pow t 2) x))
  (neg (pow t 2))
  (neg x)
  (/ (pow (cbrt t) 4) (* (* (cbrt x) (cbrt x)) 1))
  (/ (pow (cbrt t) 2) (cbrt x))
  (/ (pow (cbrt t) 4) (* (sqrt x) 1))
  (/ (pow (cbrt t) 2) (sqrt x))
  (pow (cbrt t) 4)
  (/ (pow (cbrt t) 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (pow t 2)) (cbrt x))
  (/ (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt x))
  (/ (cbrt (pow t 2)) (sqrt x))
  (* (cbrt (pow t 2)) (cbrt (pow t 2)))
  (/ (cbrt (pow t 2)) x)
  (/ (/ (fabs t) (cbrt x)) (cbrt x))
  (/ (fabs t) (cbrt x))
  (/ (fabs t) (sqrt x))
  (/ (fabs t) (sqrt x))
  (fabs t)
  (/ (fabs t) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (cbrt x))
  (/ 1 (sqrt x))
  (/ (pow t 2) (sqrt x))
  1
  (/ (pow t 2) x)
  (/ t (* (cbrt x) (cbrt x)))
  (/ t (cbrt x))
  (/ t (sqrt x))
  (/ t (sqrt x))
  t
  (/ t x)
  (/ 1 x)
  (/ x (pow t 2))
  (/ (pow t 2) (* (cbrt x) (cbrt x)))
  (/ (pow t 2) (sqrt x))
  (pow t 2)
  (/ x (pow (cbrt t) 2))
  (/ x t)
  (/ x (pow t 2))
  (/ x t)
  (/ x (cbrt (pow t 2)))
  (/ x (fabs t))
  (/ x (pow t 2))
  (/ x t)
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  0
  (- (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))
  (- (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))) (+ (* 2.0 (/ t (* (sqrt 2.0) x))) (* t (sqrt 2.0))))
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
  (/ (pow t 2) x)
7.011 * * * [progress]: adding candidates to table
8.118 * [progress]: [Phase 3 of 3] Extracting.
8.119 * * [regime]: Finding splitpoints for: (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.126 * * * [regime-changes]: Trying 6 branch expressions: ((* l l) (/ (+ x 1.0) (- x 1.0)) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) t l x)
8.126 * * * * [regimes]: Trying to branch on (* l l) from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.240 * * * * [regimes]: Trying to branch on (* l l) from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))>)
8.300 * * * * [regimes]: Trying to branch on (/ (+ x 1.0) (- x 1.0)) from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.388 * * * * [regimes]: Trying to branch on (/ (+ x 1.0) (- x 1.0)) from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))>)
8.426 * * * * [regimes]: Trying to branch on (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))) from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.536 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.684 * * * * [regimes]: Trying to branch on l from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.823 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
8.949 * * * [regime]: Found split indices: #<option (#s(si 6 49) #s(si 10 102) #s(si 6 113) #s(si 7 129) #s(si 2 137) #s(si 10 215) #s(si 2 255))>
8.951 * [binary-search]: Improving bounds with binary search for t and (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
10.000 * [regimes]: Found splitpoints: (#s(sp 6 t -9.773561532294276e+67) #s(sp 10 t -3.656284367858482e-196) #s(sp 6 t -2.114491288260618e-243) #s(sp 7 t 9.383349838959862e-269) #s(sp 2 t 7.5927611501542e-210) #s(sp 10 t 8.727670702867812e+130) #s(sp 2 t +nan.0)) , with alts (#<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (exp (log (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))))> #<alt (λ (x l t) (/ (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) t)) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (* (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x))))))) (cbrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (/ (pow l 2) x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (sqrt x)) (/ l (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ (pow (cbrt l) 4) (* (* (cbrt x) (cbrt x)) 1)) (/ (pow (cbrt l) 2) (cbrt x)))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (* (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (sqrt (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))))> #<alt (λ (x l t) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))))>)
10.002 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= t -9.773561532294276e+67) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))) (if (<= t -3.656284367858482e-196) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (if (<= t -2.114491288260618e-243) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))) (if (<= t 9.383349838959862e-269) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))) (if (<= t 7.5927611501542e-210) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))) (if (<= t 8.727670702867812e+130) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))))))))))
10.004 * * [simplify]: iteration  0 :  95  enodes  (cost  141 )
10.004 * * [simplify]: iteration  1 :  95  enodes  (cost  141 )
10.005 * [simplify]: Simplified to:
  (if (<= t -9.773561532294276e+67) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))) (if (<= t -3.656284367858482e-196) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (if (<= t -2.114491288260618e-243) (/ (* (sqrt 2.0) t) (- (- (* 2.0 (- (/ t (* (pow (sqrt 2.0) 3) (pow x 2))) (/ t (* (sqrt 2.0) (pow x 2))))) (* (sqrt 2.0) t)) (* 2.0 (/ t (* (sqrt 2.0) x))))) (if (<= t 9.383349838959862e-269) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ 1 (sqrt x)) (/ (pow l 2) (sqrt x)))))))) (if (<= t 7.5927611501542e-210) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2))))))) (if (<= t 8.727670702867812e+130) (/ (* (sqrt 2.0) t) (sqrt (+ (* 4.0 (/ (pow t 2) x)) (* 2.0 (+ (pow t 2) (* (/ l (* (cbrt x) (cbrt x))) (/ l (cbrt x)))))))) (/ (* (sqrt 2.0) t) (+ (* 2.0 (+ (/ t (* (sqrt 2.0) (pow x 2))) (/ t (* (sqrt 2.0) x)))) (- (* (sqrt 2.0) t) (* 2.0 (/ t (* (pow (sqrt 2.0) 3) (pow x 2)))))))))))))