5.473 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 0.016 * [simplify]: Sending expressions to egg_math: (/ (+ h0 (* (/ (* h1 h2) (+ h0 h2)) (/ (* h1 h2) (+ h0 h2)))) (+ h1 (* (/ (* h1 h2) (+ h0 h2)) (/ (* h1 h2) (+ h0 h2))))) 0.018 * * [simplify]: iteration 0 : 20 enodes (cost 17 ) 0.019 * * [simplify]: iteration 1 : 44 enodes (cost 17 ) 0.021 * * [simplify]: iteration 2 : 126 enodes (cost 17 ) 0.024 * * [simplify]: iteration 3 : 328 enodes (cost 17 ) 0.029 * * [simplify]: iteration 4 : 602 enodes (cost 17 ) 0.035 * * [simplify]: iteration 5 : 780 enodes (cost 17 ) 0.043 * * [simplify]: iteration 6 : 1010 enodes (cost 17 ) 0.053 * * [simplify]: iteration 7 : 1482 enodes (cost 17 ) 0.080 * * [simplify]: iteration 8 : 5001 enodes (cost 17 ) 0.080 * [simplify]: Simplified to: (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 0.080 * * [progress]: iteration 1 / 4 0.080 * * * [progress]: picking best candidate 0.082 * * * * [pick]: Picked # 0.082 * * * [progress]: localizing error 0.090 * * * [progress]: generating rewritten candidates 0.090 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.150 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.210 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.226 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.251 * * * [progress]: generating series expansions 0.251 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.251 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 0.251 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.251 * [taylor]: Taking taylor expansion of 4.0 in t 0.251 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.251 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.251 * [taylor]: Taking taylor expansion of t in t 0.251 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.251 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.251 * [taylor]: Taking taylor expansion of t in t 0.251 * [taylor]: Taking taylor expansion of 1.0 in t 0.253 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.253 * [taylor]: Taking taylor expansion of 4.0 in t 0.253 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.253 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.253 * [taylor]: Taking taylor expansion of t in t 0.253 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.253 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.253 * [taylor]: Taking taylor expansion of t in t 0.253 * [taylor]: Taking taylor expansion of 1.0 in t 0.264 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.264 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.264 * [taylor]: Taking taylor expansion of 4.0 in t 0.264 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.264 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.264 * [taylor]: Taking taylor expansion of t in t 0.264 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.264 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.264 * [taylor]: Taking taylor expansion of t in t 0.265 * [taylor]: Taking taylor expansion of 1.0 in t 0.266 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.266 * [taylor]: Taking taylor expansion of 4.0 in t 0.266 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.266 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.266 * [taylor]: Taking taylor expansion of t in t 0.266 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.266 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.266 * [taylor]: Taking taylor expansion of t in t 0.266 * [taylor]: Taking taylor expansion of 1.0 in t 0.278 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.279 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.279 * [taylor]: Taking taylor expansion of 4.0 in t 0.279 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.279 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.279 * [taylor]: Taking taylor expansion of t in t 0.279 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.279 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.279 * [taylor]: Taking taylor expansion of 1.0 in t 0.279 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.279 * [taylor]: Taking taylor expansion of t in t 0.280 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.280 * [taylor]: Taking taylor expansion of 4.0 in t 0.280 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.280 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.280 * [taylor]: Taking taylor expansion of t in t 0.280 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.280 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.280 * [taylor]: Taking taylor expansion of 1.0 in t 0.280 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.280 * [taylor]: Taking taylor expansion of t in t 0.294 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.294 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 0.294 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.294 * [taylor]: Taking taylor expansion of 4.0 in t 0.294 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.294 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.294 * [taylor]: Taking taylor expansion of t in t 0.294 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.294 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.294 * [taylor]: Taking taylor expansion of t in t 0.295 * [taylor]: Taking taylor expansion of 1.0 in t 0.295 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.295 * [taylor]: Taking taylor expansion of 4.0 in t 0.295 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.295 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.295 * [taylor]: Taking taylor expansion of t in t 0.296 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.296 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.296 * [taylor]: Taking taylor expansion of t in t 0.296 * [taylor]: Taking taylor expansion of 1.0 in t 0.311 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.311 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.311 * [taylor]: Taking taylor expansion of 4.0 in t 0.311 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.311 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.311 * [taylor]: Taking taylor expansion of t in t 0.311 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.311 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.311 * [taylor]: Taking taylor expansion of t in t 0.312 * [taylor]: Taking taylor expansion of 1.0 in t 0.313 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.313 * [taylor]: Taking taylor expansion of 4.0 in t 0.313 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.313 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.313 * [taylor]: Taking taylor expansion of t in t 0.313 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.313 * [taylor]: Taking taylor expansion of t in t 0.313 * [taylor]: Taking taylor expansion of 1.0 in t 0.326 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.326 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.326 * [taylor]: Taking taylor expansion of 4.0 in t 0.326 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.326 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.326 * [taylor]: Taking taylor expansion of t in t 0.326 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.326 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.326 * [taylor]: Taking taylor expansion of 1.0 in t 0.326 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.326 * [taylor]: Taking taylor expansion of t in t 0.327 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.327 * [taylor]: Taking taylor expansion of 4.0 in t 0.327 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.327 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.327 * [taylor]: Taking taylor expansion of t in t 0.327 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.327 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.327 * [taylor]: Taking taylor expansion of 1.0 in t 0.327 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.327 * [taylor]: Taking taylor expansion of t in t 0.341 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.341 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.341 * [taylor]: Taking taylor expansion of 2.0 in t 0.341 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.341 * [taylor]: Taking taylor expansion of t in t 0.341 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.341 * [taylor]: Taking taylor expansion of t in t 0.341 * [taylor]: Taking taylor expansion of 1.0 in t 0.342 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.342 * [taylor]: Taking taylor expansion of 2.0 in t 0.342 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.342 * [taylor]: Taking taylor expansion of t in t 0.342 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.342 * [taylor]: Taking taylor expansion of t in t 0.342 * [taylor]: Taking taylor expansion of 1.0 in t 0.350 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.350 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.350 * [taylor]: Taking taylor expansion of 2.0 in t 0.350 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.350 * [taylor]: Taking taylor expansion of t in t 0.350 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.350 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.350 * [taylor]: Taking taylor expansion of t in t 0.350 * [taylor]: Taking taylor expansion of 1.0 in t 0.352 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.352 * [taylor]: Taking taylor expansion of 2.0 in t 0.352 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.352 * [taylor]: Taking taylor expansion of t in t 0.352 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.352 * [taylor]: Taking taylor expansion of t in t 0.352 * [taylor]: Taking taylor expansion of 1.0 in t 0.362 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.362 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.362 * [taylor]: Taking taylor expansion of -2.0 in t 0.362 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.362 * [taylor]: Taking taylor expansion of t in t 0.362 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.362 * [taylor]: Taking taylor expansion of 1.0 in t 0.362 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.362 * [taylor]: Taking taylor expansion of t in t 0.365 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.365 * [taylor]: Taking taylor expansion of -2.0 in t 0.365 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.365 * [taylor]: Taking taylor expansion of t in t 0.365 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.365 * [taylor]: Taking taylor expansion of 1.0 in t 0.365 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.365 * [taylor]: Taking taylor expansion of t in t 0.375 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.375 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.375 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.375 * [taylor]: Taking taylor expansion of 2.0 in t 0.375 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.375 * [taylor]: Taking taylor expansion of t in t 0.375 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.375 * [taylor]: Taking taylor expansion of t in t 0.375 * [taylor]: Taking taylor expansion of 1.0 in t 0.376 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.376 * [taylor]: Taking taylor expansion of 2.0 in t 0.376 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.376 * [taylor]: Taking taylor expansion of t in t 0.376 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.376 * [taylor]: Taking taylor expansion of t in t 0.376 * [taylor]: Taking taylor expansion of 1.0 in t 0.384 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.384 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.384 * [taylor]: Taking taylor expansion of 2.0 in t 0.384 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.384 * [taylor]: Taking taylor expansion of t in t 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.384 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.384 * [taylor]: Taking taylor expansion of t in t 0.384 * [taylor]: Taking taylor expansion of 1.0 in t 0.386 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.386 * [taylor]: Taking taylor expansion of 2.0 in t 0.386 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.386 * [taylor]: Taking taylor expansion of t in t 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.386 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.386 * [taylor]: Taking taylor expansion of t in t 0.386 * [taylor]: Taking taylor expansion of 1.0 in t 0.401 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.401 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.401 * [taylor]: Taking taylor expansion of -2.0 in t 0.401 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.401 * [taylor]: Taking taylor expansion of t in t 0.401 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.401 * [taylor]: Taking taylor expansion of 1.0 in t 0.401 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.401 * [taylor]: Taking taylor expansion of t in t 0.403 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.403 * [taylor]: Taking taylor expansion of -2.0 in t 0.403 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.403 * [taylor]: Taking taylor expansion of t in t 0.403 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.403 * [taylor]: Taking taylor expansion of 1.0 in t 0.403 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.403 * [taylor]: Taking taylor expansion of t in t 0.413 * * * [progress]: simplifying candidates 0.416 * [simplify]: Simplifying using # : (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.417 * [simplify]: Sending expressions to egg_math: (+ 1 1) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (+ 1 1) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (log (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (exp (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))))) (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (sqrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (sqrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (* h0 h1) (* h0 h1)) (* (+ h2 h1) (+ h2 h1)) (* (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) (* (/ h1 (cbrt (+ h2 h1))) (/ h1 (cbrt (+ h2 h1)))) (* (/ h0 (sqrt (+ h2 h1))) (/ h0 (sqrt (+ h2 h1)))) (* (/ h1 (sqrt (+ h2 h1))) (/ h1 (sqrt (+ h2 h1)))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* 1 1) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (* h0 h1) (* h0 h1)) (* (/ 1 (+ h2 h1)) (/ 1 (+ h2 h1))) (* (/ (* h0 h1) (+ (pow h2 3) (pow h1 3))) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) (* (+ (* h2 h2) (- (* h1 h1) (* h2 h1))) (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (* (/ (* h0 h1) (- (* h2 h2) (* h1 h1))) (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) (* (- h2 h1) (- h2 h1)) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* 2 1) (* (/ (* h0 h1) (+ h2 h1)) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) (* (/ (* h0 h1) (+ h2 h1)) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 (sqrt (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 1)) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 1)) (* (/ (* h0 h1) (+ h2 h1)) 1) (* (/ (* h0 h1) (+ h2 h1)) (* h0 h1)) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (cbrt (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (sqrt (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ 1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (+ (* h2 h2) (- (* h1 h1) (* h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (- h2 h1) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (* h0 h1)) (* (* h0 h1) (/ (* h0 h1) (+ h2 h1))) (+ 1 1) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (+ 1 1) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (log (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (exp (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))))) (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (sqrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (sqrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (* h0 h1) (* h0 h1)) (* (+ h2 h1) (+ h2 h1)) (* (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) (* (/ h1 (cbrt (+ h2 h1))) (/ h1 (cbrt (+ h2 h1)))) (* (/ h0 (sqrt (+ h2 h1))) (/ h0 (sqrt (+ h2 h1)))) (* (/ h1 (sqrt (+ h2 h1))) (/ h1 (sqrt (+ h2 h1)))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* 1 1) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (* h0 h1) (* h0 h1)) (* (/ 1 (+ h2 h1)) (/ 1 (+ h2 h1))) (* (/ (* h0 h1) (+ (pow h2 3) (pow h1 3))) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) (* (+ (* h2 h2) (- (* h1 h1) (* h2 h1))) (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (* (/ (* h0 h1) (- (* h2 h2) (* h1 h1))) (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) (* (- h2 h1) (- h2 h1)) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* 2 1) (* (/ (* h0 h1) (+ h2 h1)) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) (* (/ (* h0 h1) (+ h2 h1)) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 (sqrt (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 1)) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 1)) (* (/ (* h0 h1) (+ h2 h1)) 1) (* (/ (* h0 h1) (+ h2 h1)) (* h0 h1)) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (cbrt (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (sqrt (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ 1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (+ (* h2 h2) (- (* h1 h1) (* h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (- h2 h1) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (* h0 h1)) (* (* h0 h1) (/ (* h0 h1) (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1))) (exp (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (/ (* h0 h1) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1))) (- (* h0 h1)) (- (+ h2 h1)) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ h1 (cbrt (+ h2 h1))) (/ h0 (sqrt (+ h2 h1))) (/ h1 (sqrt (+ h2 h1))) (/ h0 1) (/ h1 (+ h2 h1)) (/ h0 1) (/ h1 (+ h2 h1)) (/ 1 (+ h2 h1)) (/ (+ h2 h1) (* h0 h1)) (/ (* h0 h1) (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ (* h0 h1) (sqrt (+ h2 h1))) (/ (* h0 h1) 1) (/ (* h0 h1) 1) (/ (+ h2 h1) h1) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3))) (/ (* h0 h1) (- (* h2 h2) (* h1 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1))) (exp (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (/ (* h0 h1) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1))) (- (* h0 h1)) (- (+ h2 h1)) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ h1 (cbrt (+ h2 h1))) (/ h0 (sqrt (+ h2 h1))) (/ h1 (sqrt (+ h2 h1))) (/ h0 1) (/ h1 (+ h2 h1)) (/ h0 1) (/ h1 (+ h2 h1)) (/ 1 (+ h2 h1)) (/ (+ h2 h1) (* h0 h1)) (/ (* h0 h1) (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ (* h0 h1) (sqrt (+ h2 h1))) (/ (* h0 h1) 1) (/ (* h0 h1) 1) (/ (+ h2 h1) h1) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3))) (/ (* h0 h1) (- (* h2 h2) (* h1 h1))) (- (+ (* h3 (pow h1 2)) (* h4 (pow h1 4))) (* h5 (pow h1 3))) (- (+ (* h4 (/ 1 (pow h1 2))) h3) (* h5 (/ 1 h1))) (- (+ (* h4 (/ 1 (pow h1 2))) h3) (* h5 (/ 1 h1))) (- (+ (* h3 (pow h1 2)) (* h4 (pow h1 4))) (* h5 (pow h1 3))) (- (+ (* h4 (/ 1 (pow h1 2))) h3) (* h5 (/ 1 h1))) (- (+ (* h4 (/ 1 (pow h1 2))) h3) (* h5 (/ 1 h1))) (- (+ (* h0 (pow h1 3)) (* h0 h1)) (* h0 (pow h1 2))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (pow h1 3)) (* h0 h1)) (* h0 (pow h1 2))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) 0.424 * * [simplify]: iteration 0 : 464 enodes (cost 1586 ) 0.434 * * [simplify]: iteration 1 : 2575 enodes (cost 1212 ) 0.476 * * [simplify]: iteration 2 : 5001 enodes (cost 1140 ) 0.482 * [simplify]: Simplified to: 2 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ 1 (- 1.0 t))) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (+ (* t (- t 1.0)) (* 1.0 1.0))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) 2 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ 1 (- 1.0 t))) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (+ (* t (- t 1.0)) (* 1.0 1.0))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ (- 4.0 (* 8.0 (/ 1 t))) (/ (/ 12.0 t) t)) (+ (- 4.0 (* 8.0 (/ 1 t))) (/ (/ 12.0 t) t)) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ (- 4.0 (* 8.0 (/ 1 t))) (/ (/ 12.0 t) t)) (+ (- 4.0 (* 8.0 (/ 1 t))) (/ (/ 12.0 t) t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (+ (- 2.0 (* 2.0 (/ 1 t))) (/ (/ 2.0 t) t)) (+ (- 2.0 (* 2.0 (/ 1 t))) (/ (/ 2.0 t) t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (+ (- 2.0 (* 2.0 (/ 1 t))) (/ (/ 2.0 t) t)) (+ (- 2.0 (* 2.0 (/ 1 t))) (/ (/ 2.0 t) t)) 0.483 * * * [progress]: adding candidates to table 0.781 * * [progress]: iteration 2 / 4 0.782 * * * [progress]: picking best candidate 0.784 * * * * [pick]: Picked # 0.784 * * * [progress]: localizing error 0.804 * * * [progress]: generating rewritten candidates 0.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.829 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 0.843 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.870 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.938 * * * [progress]: generating series expansions 0.938 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.939 * [approximate]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 2.0) 4)) (pow (+ t 1.0) 2)) in (t) around 0 0.939 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 2.0) 4)) (pow (+ t 1.0) 2)) in t 0.939 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2.0) 4)) in t 0.939 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.939 * [taylor]: Taking taylor expansion of t in t 0.939 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 0.939 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 0.939 * [taylor]: Taking taylor expansion of 2.0 in t 0.940 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.940 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.940 * [taylor]: Taking taylor expansion of t in t 0.940 * [taylor]: Taking taylor expansion of 1.0 in t 0.945 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 2.0) 4)) (pow (+ t 1.0) 2)) in t 0.945 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2.0) 4)) in t 0.945 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.945 * [taylor]: Taking taylor expansion of t in t 0.945 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 0.945 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 0.945 * [taylor]: Taking taylor expansion of 2.0 in t 0.946 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.946 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of 1.0 in t 0.974 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 4) (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.974 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 4) (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.974 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 0.974 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 0.974 * [taylor]: Taking taylor expansion of 2.0 in t 0.974 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.974 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.974 * [taylor]: Taking taylor expansion of t in t 0.974 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.974 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.975 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.975 * [taylor]: Taking taylor expansion of t in t 0.975 * [taylor]: Taking taylor expansion of 1.0 in t 0.978 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 4) (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.979 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 0.979 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 0.979 * [taylor]: Taking taylor expansion of 2.0 in t 0.979 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.979 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.979 * [taylor]: Taking taylor expansion of t in t 0.979 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.979 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.979 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.979 * [taylor]: Taking taylor expansion of t in t 0.980 * [taylor]: Taking taylor expansion of 1.0 in t 1.014 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in (t) around 0 1.014 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.014 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.014 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.014 * [taylor]: Taking taylor expansion of -2.0 in t 1.014 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.014 * [taylor]: Taking taylor expansion of t in t 1.014 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.014 * [taylor]: Taking taylor expansion of 1.0 in t 1.014 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.014 * [taylor]: Taking taylor expansion of t in t 1.021 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.021 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.021 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.021 * [taylor]: Taking taylor expansion of -2.0 in t 1.021 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.021 * [taylor]: Taking taylor expansion of t in t 1.021 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.021 * [taylor]: Taking taylor expansion of 1.0 in t 1.021 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.021 * [taylor]: Taking taylor expansion of t in t 1.065 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 1.065 * [approximate]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in (t) around 0 1.065 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.065 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.065 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.065 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.065 * [taylor]: Taking taylor expansion of t in t 1.065 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.066 * [taylor]: Taking taylor expansion of t in t 1.066 * [taylor]: Taking taylor expansion of 1.0 in t 1.067 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.067 * [taylor]: Taking taylor expansion of 2.0 in t 1.069 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.069 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.069 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.069 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.069 * [taylor]: Taking taylor expansion of t in t 1.069 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.069 * [taylor]: Taking taylor expansion of t in t 1.069 * [taylor]: Taking taylor expansion of 1.0 in t 1.071 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.071 * [taylor]: Taking taylor expansion of 2.0 in t 1.135 * [approximate]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in (t) around 0 1.135 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.135 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.135 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.135 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.135 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.135 * [taylor]: Taking taylor expansion of t in t 1.135 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.135 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.135 * [taylor]: Taking taylor expansion of t in t 1.135 * [taylor]: Taking taylor expansion of 1.0 in t 1.141 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.141 * [taylor]: Taking taylor expansion of 2.0 in t 1.142 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.142 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.142 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.142 * [taylor]: Taking taylor expansion of t in t 1.142 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.142 * [taylor]: Taking taylor expansion of t in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.148 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.148 * [taylor]: Taking taylor expansion of 2.0 in t 1.196 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in (t) around 0 1.196 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.196 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.196 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.196 * [taylor]: Taking taylor expansion of -2.0 in t 1.196 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.196 * [taylor]: Taking taylor expansion of t in t 1.196 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.196 * [taylor]: Taking taylor expansion of 1.0 in t 1.196 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.196 * [taylor]: Taking taylor expansion of t in t 1.204 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.204 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.204 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.204 * [taylor]: Taking taylor expansion of -2.0 in t 1.204 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.204 * [taylor]: Taking taylor expansion of t in t 1.204 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.204 * [taylor]: Taking taylor expansion of 1.0 in t 1.204 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.204 * [taylor]: Taking taylor expansion of t in t 1.246 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.247 * [approximate]: Taking taylor expansion of (pow (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) 3) in (t) around 0 1.247 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) 3) in t 1.247 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.247 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.247 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.247 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.247 * [taylor]: Taking taylor expansion of t in t 1.247 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.247 * [taylor]: Taking taylor expansion of t in t 1.247 * [taylor]: Taking taylor expansion of 1.0 in t 1.248 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.248 * [taylor]: Taking taylor expansion of 2.0 in t 1.255 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) 3) in t 1.255 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.255 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.255 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.255 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.255 * [taylor]: Taking taylor expansion of t in t 1.255 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.255 * [taylor]: Taking taylor expansion of t in t 1.255 * [taylor]: Taking taylor expansion of 1.0 in t 1.256 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.256 * [taylor]: Taking taylor expansion of 2.0 in t 1.366 * [approximate]: Taking taylor expansion of (pow (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) 3) in (t) around 0 1.366 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) 3) in t 1.366 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.366 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.367 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.367 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.367 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.367 * [taylor]: Taking taylor expansion of t in t 1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.367 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.367 * [taylor]: Taking taylor expansion of t in t 1.367 * [taylor]: Taking taylor expansion of 1.0 in t 1.373 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.373 * [taylor]: Taking taylor expansion of 2.0 in t 1.376 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) 3) in t 1.376 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.376 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.376 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.377 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.377 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.377 * [taylor]: Taking taylor expansion of t in t 1.377 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.377 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.377 * [taylor]: Taking taylor expansion of t in t 1.377 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.383 * [taylor]: Taking taylor expansion of 2.0 in t 1.465 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) 3) in (t) around 0 1.465 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) 3) in t 1.465 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.465 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.465 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.465 * [taylor]: Taking taylor expansion of -2.0 in t 1.465 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.465 * [taylor]: Taking taylor expansion of t in t 1.465 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.465 * [taylor]: Taking taylor expansion of 1.0 in t 1.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.465 * [taylor]: Taking taylor expansion of t in t 1.475 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) 3) in t 1.475 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.475 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.475 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.475 * [taylor]: Taking taylor expansion of -2.0 in t 1.475 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.475 * [taylor]: Taking taylor expansion of t in t 1.475 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.475 * [taylor]: Taking taylor expansion of 1.0 in t 1.475 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.475 * [taylor]: Taking taylor expansion of t in t 1.561 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1.561 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 1.561 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 1.561 * [taylor]: Taking taylor expansion of 4.0 in t 1.561 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 1.561 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.562 * [taylor]: Taking taylor expansion of t in t 1.562 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.562 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.562 * [taylor]: Taking taylor expansion of t in t 1.562 * [taylor]: Taking taylor expansion of 1.0 in t 1.562 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 1.563 * [taylor]: Taking taylor expansion of 4.0 in t 1.563 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 1.563 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.563 * [taylor]: Taking taylor expansion of t in t 1.563 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.563 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.563 * [taylor]: Taking taylor expansion of t in t 1.563 * [taylor]: Taking taylor expansion of 1.0 in t 1.574 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 1.574 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 1.574 * [taylor]: Taking taylor expansion of 4.0 in t 1.574 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 1.574 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.574 * [taylor]: Taking taylor expansion of t in t 1.574 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.574 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.574 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.574 * [taylor]: Taking taylor expansion of t in t 1.575 * [taylor]: Taking taylor expansion of 1.0 in t 1.576 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 1.576 * [taylor]: Taking taylor expansion of 4.0 in t 1.576 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 1.576 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.576 * [taylor]: Taking taylor expansion of t in t 1.576 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.576 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.576 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.576 * [taylor]: Taking taylor expansion of t in t 1.576 * [taylor]: Taking taylor expansion of 1.0 in t 1.589 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 1.589 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 1.589 * [taylor]: Taking taylor expansion of 4.0 in t 1.589 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 1.589 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.589 * [taylor]: Taking taylor expansion of t in t 1.589 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.589 * [taylor]: Taking taylor expansion of 1.0 in t 1.589 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.589 * [taylor]: Taking taylor expansion of t in t 1.590 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 1.590 * [taylor]: Taking taylor expansion of 4.0 in t 1.590 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 1.590 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.590 * [taylor]: Taking taylor expansion of t in t 1.590 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.590 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.590 * [taylor]: Taking taylor expansion of 1.0 in t 1.590 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.590 * [taylor]: Taking taylor expansion of t in t 1.604 * * * [progress]: simplifying candidates 1.614 * [simplify]: Simplifying using # : (log (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (exp (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (pow (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3)) (cbrt (pow (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3)) (cbrt (pow (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) 3)) (cbrt (pow (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt 1) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (* 2.0 t)) 4) 3)) (cbrt (pow (pow (sqrt (/ 1 (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) 3)) (cbrt (pow (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) 3)) (cbrt (pow (pow (sqrt (- 1.0 t)) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow 1 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (* (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) 3)) (cbrt (pow (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (* (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)))) (cbrt (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (pow (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3)) (cbrt (pow (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3)) (cbrt (pow (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) 3)) (cbrt (pow (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ 2.0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt 1) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (* 2.0 t)) 4) 3)) (cbrt (pow (pow (sqrt (/ 1 (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) 3)) (cbrt (pow (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) 3)) (cbrt (pow (pow (sqrt (- 1.0 t)) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3)) (cbrt (pow (pow 1 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (* (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) 3)) (cbrt (pow (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (sqrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (sqrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt 1) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ 3 2))) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ 3 2))) (* (cbrt (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)))) (cbrt (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (* (* (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (sqrt (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (sqrt (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (* (log (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (* (log (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (* 1/2 4) (* 1 4) (* (/ 1 2) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (* (cbrt 4) (cbrt 4))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt 4)) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 1) (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) (pow (sqrt (/ 2.0 1)) 4) (pow (sqrt (/ t (+ 1.0 t))) 4) (pow (sqrt (/ 2.0 1)) 4) (pow (sqrt (/ t (+ 1.0 t))) 4) (pow (sqrt 1) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (* 2.0 t)) 4) (pow (sqrt (/ 1 (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) (pow (sqrt (- 1.0 t)) 4) (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow 1 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (log (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (exp (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (* (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (* (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (/ 4 2) (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) (* (* (log (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (* (* (log (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (* (log (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (* (log (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (* 4 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (cbrt 3) (cbrt 3))) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (sqrt 3)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 1) (pow (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 1)) 4) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ 2.0 1)) 4) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) (pow (pow (sqrt 1) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (* 2.0 t)) 4) 3) (pow (pow (sqrt (/ 1 (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) 3) (pow (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) 3) (pow (pow (sqrt (- 1.0 t)) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow 1 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (* (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) 3) (pow (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (pow 1 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3) (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (log (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (exp (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (* (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (* (* (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (pow (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 1)) 4) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ 2.0 1)) 4) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) (pow (pow (sqrt 1) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (* 2.0 t)) 4) 3) (pow (pow (sqrt (/ 1 (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) 3) (pow (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) 3) (pow (pow (sqrt (- 1.0 t)) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow 1 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (* (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) 3) (pow (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 3) (pow 1 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ 4 2)) 3) (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (sqrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (sqrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ 3 2)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ 3 2)) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (- (+ (* 1.0 (* (pow t 2) (pow (sqrt 2.0) 4))) (* 3.0 (* (pow t 4) (pow (sqrt 2.0) 4)))) (* 2.0 (* (pow t 3) (pow (sqrt 2.0) 4)))) (- (+ (* 3.0 (/ (pow (sqrt 2.0) 4) (pow t 2))) (pow (sqrt 2.0) 4)) (* 2.0 (/ (pow (sqrt 2.0) 4) t))) (- (+ (pow (sqrt 2.0) 4) (+ (* 4.0 (/ (pow (sqrt 2.0) 2) (pow t 2))) (* 4.0 (/ 1 (pow t 2))))) (* 4.0 (/ (pow (sqrt 2.0) 2) t))) (- (+ (* +nan.0 (* (pow t 6) (pow (sqrt 2.0) 4))) (- (+ (* +nan.0 (* (pow t 4) (pow (sqrt 2.0) 4))) (- (* +nan.0 (* (pow t 5) (pow (sqrt 2.0) 4)))))))) (- (+ (* 3.0 (/ (pow (sqrt 2.0) 4) (pow t 2))) (pow (sqrt 2.0) 4)) (* 2.0 (/ (pow (sqrt 2.0) 4) t))) (- (+ (pow (sqrt 2.0) 4) (+ (* 4.0 (/ (pow (sqrt 2.0) 2) (pow t 2))) (* 4.0 (/ 1 (pow t 2))))) (* 4.0 (/ (pow (sqrt 2.0) 2) t))) (- (+ (* +nan.0 (* (pow t 12) (pow (sqrt 2.0) 12))) (- (+ (* +nan.0 (* (pow t 13) (pow (sqrt 2.0) 12))) (- (* +nan.0 (* (pow t 14) (pow (sqrt 2.0) 12)))))))) (- (+ (pow (sqrt 2.0) 12) (* 21.0 (/ (pow (sqrt 2.0) 12) (pow t 2)))) (* 6.0 (/ (pow (sqrt 2.0) 12) t))) (- (+ (pow (sqrt 2.0) 12) (+ (* 12.0 (/ (pow (sqrt 2.0) 10) (pow t 2))) (* 60.0 (/ (pow (sqrt 2.0) 8) (pow t 2))))) (* 12.0 (/ (pow (sqrt 2.0) 10) t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) 1.615 * [simplify]: Sending expressions to egg_math: (log (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (exp (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt (pow (pow (* (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (sqrt (/ (* h0 h1) (+ h2 h1))))) 4) 3)) (cbrt (pow (pow (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) 4) 3)) (cbrt (pow (pow (sqrt (cbrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (cbrt (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 (sqrt (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (sqrt (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt 1) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (* h0 h1)) 4) 3)) (cbrt (pow (pow (sqrt (/ 1 (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) 4) 3)) (cbrt (pow (pow (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (- h2 h1)) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow 1 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (* (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) 3)) (cbrt (pow (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3)) (cbrt (* (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (* (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)))) (cbrt (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt (pow (pow (* (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (sqrt (/ (* h0 h1) (+ h2 h1))))) 4) 3)) (cbrt (pow (pow (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) 4) 3)) (cbrt (pow (pow (sqrt (cbrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (cbrt (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 (sqrt (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (sqrt (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ h0 1)) 4) 3)) (cbrt (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt 1) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (* h0 h1)) 4) 3)) (cbrt (pow (pow (sqrt (/ 1 (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) 4) 3)) (cbrt (pow (pow (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (- h2 h1)) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3)) (cbrt (pow (pow 1 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (* (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) 3)) (cbrt (pow (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3)) (cbrt (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3)) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (* (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) (cbrt (sqrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt (sqrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt 1) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (/ 3 2))) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (/ 3 2))) (* (cbrt (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)))) (cbrt (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (* (* (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (sqrt (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (sqrt (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (* (log (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (* (log (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (* 1/2 4) (* 1 4) (* (/ 1 2) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (* (cbrt 4) (cbrt 4))) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt 4)) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 1) (pow (* (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (sqrt (/ (* h0 h1) (+ h2 h1))))) 4) (pow (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (pow (sqrt (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) 4) (pow (sqrt (cbrt (/ (* h0 h1) (+ h2 h1)))) 4) (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (pow (sqrt (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) 4) (pow (sqrt (/ h1 (cbrt (+ h2 h1)))) 4) (pow (sqrt (/ h0 (sqrt (+ h2 h1)))) 4) (pow (sqrt (/ h1 (sqrt (+ h2 h1)))) 4) (pow (sqrt (/ h0 1)) 4) (pow (sqrt (/ h1 (+ h2 h1))) 4) (pow (sqrt (/ h0 1)) 4) (pow (sqrt (/ h1 (+ h2 h1))) 4) (pow (sqrt 1) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (pow (sqrt (* h0 h1)) 4) (pow (sqrt (/ 1 (+ h2 h1))) 4) (pow (sqrt (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) 4) (pow (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) 4) (pow (sqrt (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) 4) (pow (sqrt (- h2 h1)) 4) (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) (pow 1 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (log (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (exp (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (* (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (* (* (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (/ 4 2) (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) (* (* (log (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (* (* (log (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (* (log (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (* (log (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (* 4 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (* (cbrt 3) (cbrt 3))) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (sqrt 3)) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 1) (pow (pow (* (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (sqrt (/ (* h0 h1) (+ h2 h1))))) 4) 3) (pow (pow (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) 4) 3) (pow (pow (sqrt (cbrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) 4) 3) (pow (pow (sqrt (/ h1 (cbrt (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h0 (sqrt (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h1 (sqrt (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h0 1)) 4) 3) (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ h0 1)) 4) 3) (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3) (pow (pow (sqrt 1) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (pow (sqrt (* h0 h1)) 4) 3) (pow (pow (sqrt (/ 1 (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) 4) 3) (pow (pow (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) 4) 3) (pow (pow (sqrt (- h2 h1)) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow 1 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (* (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) 3) (pow (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (pow 1 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3) (* (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (log (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (exp (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (* (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (* (* (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (pow (pow (* (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) (cbrt (sqrt (/ (* h0 h1) (+ h2 h1))))) 4) 3) (pow (pow (cbrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) 4) 3) (pow (pow (sqrt (cbrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) 4) 3) (pow (pow (sqrt (/ h1 (cbrt (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h0 (sqrt (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h1 (sqrt (+ h2 h1)))) 4) 3) (pow (pow (sqrt (/ h0 1)) 4) 3) (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ h0 1)) 4) 3) (pow (pow (sqrt (/ h1 (+ h2 h1))) 4) 3) (pow (pow (sqrt 1) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (pow (sqrt (* h0 h1)) 4) 3) (pow (pow (sqrt (/ 1 (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) 4) 3) (pow (pow (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) 4) 3) (pow (pow (sqrt (- h2 h1)) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow (sqrt (sqrt (/ (* h0 h1) (+ h2 h1)))) 4) 3) (pow (pow 1 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (* (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4))) 3) (pow (cbrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (pow (sqrt (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) 3) (pow 1 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) (/ 4 2)) 3) (* (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (sqrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (sqrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (/ 3 2)) (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) (/ 3 2)) (+ 1 1) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (+ 1 1) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (- (+ (log h0) (log h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (- (log (* h0 h1)) (log (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (- (+ (log h0) (log h1)) (log (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (- (log (* h0 h1)) (log (+ h2 h1)))) (+ (log (/ (* h0 h1) (+ h2 h1))) (log (/ (* h0 h1) (+ h2 h1)))) (log (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (exp (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (/ (* (* (* h0 h1) (* h0 h1)) (* h0 h1)) (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1)))) (* (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))))) (cbrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (* (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (sqrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (sqrt (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (* (* h0 h1) (* h0 h1)) (* (+ h2 h1) (+ h2 h1)) (* (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) (* (/ h1 (cbrt (+ h2 h1))) (/ h1 (cbrt (+ h2 h1)))) (* (/ h0 (sqrt (+ h2 h1))) (/ h0 (sqrt (+ h2 h1)))) (* (/ h1 (sqrt (+ h2 h1))) (/ h1 (sqrt (+ h2 h1)))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* (/ h0 1) (/ h0 1)) (* (/ h1 (+ h2 h1)) (/ h1 (+ h2 h1))) (* 1 1) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (* h0 h1) (* h0 h1)) (* (/ 1 (+ h2 h1)) (/ 1 (+ h2 h1))) (* (/ (* h0 h1) (+ (pow h2 3) (pow h1 3))) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) (* (+ (* h2 h2) (- (* h1 h1) (* h2 h1))) (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (* (/ (* h0 h1) (- (* h2 h2) (* h1 h1))) (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) (* (- h2 h1) (- h2 h1)) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* 2 1) (* (/ (* h0 h1) (+ h2 h1)) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (cbrt (/ (* h0 h1) (+ h2 h1))))) (* (/ (* h0 h1) (+ h2 h1)) (sqrt (/ (* h0 h1) (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1))))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 (sqrt (+ h2 h1)))) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 1)) (* (/ (* h0 h1) (+ h2 h1)) (/ h0 1)) (* (/ (* h0 h1) (+ h2 h1)) 1) (* (/ (* h0 h1) (+ h2 h1)) (* h0 h1)) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ (pow h2 3) (pow h1 3)))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (- (* h2 h2) (* h1 h1)))) (* (cbrt (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (sqrt (/ (* h0 h1) (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (cbrt (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (sqrt (+ h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ h1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (/ 1 (+ h2 h1)) (/ (* h0 h1) (+ h2 h1))) (* (+ (* h2 h2) (- (* h1 h1) (* h2 h1))) (/ (* h0 h1) (+ h2 h1))) (* (- h2 h1) (/ (* h0 h1) (+ h2 h1))) (* (/ (* h0 h1) (+ h2 h1)) (* h0 h1)) (* (* h0 h1) (/ (* h0 h1) (+ h2 h1))) (- (+ (* h2 (* (pow h1 2) (pow (sqrt h0) 4))) (* h3 (* (pow h1 4) (pow (sqrt h0) 4)))) (* h0 (* (pow h1 3) (pow (sqrt h0) 4)))) (- (+ (* h3 (/ (pow (sqrt h0) 4) (pow h1 2))) (pow (sqrt h0) 4)) (* h0 (/ (pow (sqrt h0) 4) h1))) (- (+ (pow (sqrt h0) 4) (+ (* h4 (/ (pow (sqrt h0) 2) (pow h1 2))) (* h4 (/ 1 (pow h1 2))))) (* h4 (/ (pow (sqrt h0) 2) h1))) (- (+ (* h5 (* (pow h1 6) (pow (sqrt h0) 4))) (- (+ (* h5 (* (pow h1 4) (pow (sqrt h0) 4))) (- (* h5 (* (pow h1 5) (pow (sqrt h0) 4)))))))) (- (+ (* h3 (/ (pow (sqrt h0) 4) (pow h1 2))) (pow (sqrt h0) 4)) (* h0 (/ (pow (sqrt h0) 4) h1))) (- (+ (pow (sqrt h0) 4) (+ (* h4 (/ (pow (sqrt h0) 2) (pow h1 2))) (* h4 (/ 1 (pow h1 2))))) (* h4 (/ (pow (sqrt h0) 2) h1))) (- (+ (* h5 (* (pow h1 12) (pow (sqrt h0) 12))) (- (+ (* h5 (* (pow h1 13) (pow (sqrt h0) 12))) (- (* h5 (* (pow h1 14) (pow (sqrt h0) 12)))))))) (- (+ (pow (sqrt h0) 12) (* h6 (/ (pow (sqrt h0) 12) (pow h1 2)))) (* h7 (/ (pow (sqrt h0) 12) h1))) (- (+ (pow (sqrt h0) 12) (+ (* h8 (/ (pow (sqrt h0) 10) (pow h1 2))) (* h9 (/ (pow (sqrt h0) 8) (pow h1 2))))) (* h8 (/ (pow (sqrt h0) 10) h1))) (- (+ (* h4 (pow h1 2)) (* h8 (pow h1 4))) (* h10 (pow h1 3))) (- (+ (* h8 (/ 1 (pow h1 2))) h4) (* h10 (/ 1 h1))) (- (+ (* h8 (/ 1 (pow h1 2))) h4) (* h10 (/ 1 h1))) 1.626 * * [simplify]: iteration 0 : 987 enodes (cost 1971 ) 1.646 * * [simplify]: iteration 1 : 4909 enodes (cost 1606 ) 1.733 * * [simplify]: iteration 2 : 5002 enodes (cost 1606 ) 1.741 * [simplify]: Simplified to: (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 8) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (fabs (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) (* 2.0 2.0) (pow (sqrt (/ t (+ 1.0 t))) 4) (* 2.0 2.0) (pow (sqrt (/ t (+ 1.0 t))) 4) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (* 2.0 t)) 4) (pow (sqrt (/ 1 (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) (pow (sqrt (- 1.0 t)) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 8) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (fabs (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) (* 2.0 2.0) (pow (sqrt (/ t (+ 1.0 t))) 4) (* 2.0 2.0) (pow (sqrt (/ t (+ 1.0 t))) 4) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (* 2.0 t)) 4) (pow (sqrt (/ 1 (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) (pow (sqrt (- 1.0 t)) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (sqrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (cbrt (sqrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3/2)) (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3/2)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) 2 4 2 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (* (cbrt 4) (cbrt 4))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt 4)) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 8) (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (fabs (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) (* 2.0 2.0) (pow (sqrt (/ t (+ 1.0 t))) 4) (* 2.0 2.0) (pow (sqrt (/ t (+ 1.0 t))) 4) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (* 2.0 t)) 4) (pow (sqrt (/ 1 (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) (pow (sqrt (- 1.0 t)) 4) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) 2 (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* 6 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 6 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 6 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 6 (log (/ (* 2.0 t) (+ 1.0 t)))) 12 (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (cbrt 3) (cbrt 3))) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (sqrt 3)) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) 3) (pow (* 2.0 2.0) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) (pow (* 2.0 2.0) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) 1 (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (pow (sqrt (* 2.0 t)) 4) 3) (pow (pow (sqrt (/ 1 (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) 3) (pow (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) 3) (pow (pow (sqrt (- 1.0 t)) 4) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) 1 (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (fabs (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (fabs (/ (* 2.0 t) (+ 1.0 t))) 3) 1 (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 4) (* 6 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (pow (/ (* 2.0 t) (+ 1.0 t)) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3) 3) (pow (pow (* (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (cbrt (sqrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (cbrt (/ (* 2.0 t) (+ 1.0 t)))) 4) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (pow (sqrt (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) 4) 3) (pow (pow (sqrt (/ t (cbrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ 2.0 (sqrt (+ 1.0 t)))) 4) 3) (pow (pow (sqrt (/ t (sqrt (+ 1.0 t)))) 4) 3) (pow (* 2.0 2.0) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) (pow (* 2.0 2.0) 3) (pow (pow (sqrt (/ t (+ 1.0 t))) 4) 3) 1 (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (pow (sqrt (* 2.0 t)) 4) 3) (pow (pow (sqrt (/ 1 (+ 1.0 t))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) 4) 3) (pow (pow (sqrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) 4) 3) (pow (pow (sqrt (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) 4) 3) (pow (pow (sqrt (- 1.0 t)) 4) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) 1 (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (fabs (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (fabs (/ (* 2.0 t) (+ 1.0 t))) 3) 1 (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 4) (fabs (pow (/ (* 2.0 t) (+ 1.0 t)) 3)) (fabs (pow (/ (* 2.0 t) (+ 1.0 t)) 3)) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3/2) (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3/2) 2 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (cbrt (* (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4))) (cbrt (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (pow (/ (* 2.0 t) (+ 1.0 t)) 6) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) 3)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)) (/ (* (* 2.0 t) 2.0) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (/ (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (- 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (+ (* t (- t 1.0)) (* 1.0 1.0))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (+ (* (* 2.0 2.0) (- (* 3.0 (pow t 4)) (* 2.0 (pow t 3)))) (* (* (* 1.0 (pow t 2)) 2.0) 2.0)) (- (+ (* 3.0 (/ (pow (sqrt 2.0) 4) (pow t 2))) (* 2.0 2.0)) (* 2.0 (/ (pow (sqrt 2.0) 4) t))) (+ (* 2.0 2.0) (* 4.0 (- (+ (/ (pow (sqrt 2.0) 2) (pow t 2)) (/ 1 (pow t 2))) (/ (pow (sqrt 2.0) 2) t)))) (+ (* (* 2.0 2.0) (- (* +nan.0 (pow t 4)) (* +nan.0 (pow t 5)))) (* (- (* +nan.0 (pow t 6))) (* 2.0 2.0))) (- (+ (* 3.0 (/ (pow (sqrt 2.0) 4) (pow t 2))) (* 2.0 2.0)) (* 2.0 (/ (pow (sqrt 2.0) 4) t))) (+ (* 2.0 2.0) (* 4.0 (- (+ (/ (pow (sqrt 2.0) 2) (pow t 2)) (/ 1 (pow t 2))) (/ (pow (sqrt 2.0) 2) t)))) (+ (* (pow (sqrt 2.0) 12) (- (* +nan.0 (pow t 13)) (* +nan.0 (pow t 14)))) (- (* +nan.0 (* (pow t 12) (pow (sqrt 2.0) 12))))) (- (+ (pow (sqrt 2.0) 12) (* 21.0 (/ (pow (sqrt 2.0) 12) (pow t 2)))) (* 6.0 (/ (pow (sqrt 2.0) 12) t))) (- (+ (pow (sqrt 2.0) 12) (+ (* 12.0 (/ (pow (sqrt 2.0) 10) (pow t 2))) (* 60.0 (/ (pow (sqrt 2.0) 8) (pow t 2))))) (* 12.0 (/ (pow (sqrt 2.0) 10) t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ (- 4.0 (* 8.0 (/ 1 t))) (/ (/ 12.0 t) t)) (+ (- 4.0 (* 8.0 (/ 1 t))) (/ (/ 12.0 t) t)) 1.742 * * * [progress]: adding candidates to table 2.206 * [progress]: [Phase 3 of 3] Extracting. 2.207 * * [regime]: Finding splitpoints for: (# #) 2.207 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* 2.0 t) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) t) 2.207 * * * * [regimes]: Trying to branch on (/ (* 2.0 t) (+ 1.0 t)) from (# #) 2.221 * * * * [regimes]: Trying to branch on (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) from (# #) 2.232 * * * * [regimes]: Trying to branch on (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) from (# #) 2.242 * * * * [regimes]: Trying to branch on t from (# #) 2.253 * * * [regime]: Found split indices: #