3.950 * [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.020 * * [simplify]: iteration 1 : 46 enodes (cost 17 ) 0.021 * * [simplify]: iteration 2 : 128 enodes (cost 17 ) 0.024 * * [simplify]: iteration 3 : 340 enodes (cost 17 ) 0.029 * * [simplify]: iteration 4 : 662 enodes (cost 17 ) 0.036 * * [simplify]: iteration 5 : 897 enodes (cost 15 ) 0.045 * * [simplify]: iteration 6 : 1179 enodes (cost 15 ) 0.057 * * [simplify]: iteration 7 : 1753 enodes (cost 15 ) 0.084 * * [simplify]: iteration 8 : 5001 enodes (cost 15 ) 0.084 * [simplify]: Simplified to: (/ (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ 2.0 (+ 1.0 t)) (* t (/ t (+ 1.0 t))) 1)) 2.0) 0.087 * * [progress]: iteration 1 / 4 0.087 * * * [progress]: picking best candidate 0.088 * * * * [pick]: Picked # 0.088 * * * [progress]: localizing error 0.097 * * * [progress]: generating rewritten candidates 0.097 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.215 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.230 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.256 * * * [progress]: generating series expansions 0.256 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.256 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 0.256 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.256 * [taylor]: Taking taylor expansion of 4.0 in t 0.256 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.256 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.256 * [taylor]: Taking taylor expansion of t in t 0.256 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.256 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.256 * [taylor]: Taking taylor expansion of t in t 0.256 * [taylor]: Taking taylor expansion of 1.0 in t 0.258 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.258 * [taylor]: Taking taylor expansion of 4.0 in t 0.258 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.258 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.258 * [taylor]: Taking taylor expansion of t in t 0.258 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.258 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.258 * [taylor]: Taking taylor expansion of t in t 0.258 * [taylor]: Taking taylor expansion of 1.0 in t 0.269 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.269 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.269 * [taylor]: Taking taylor expansion of 4.0 in t 0.269 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.269 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.269 * [taylor]: Taking taylor expansion of t in t 0.269 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.269 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.269 * [taylor]: Taking taylor expansion of t in t 0.269 * [taylor]: Taking taylor expansion of 1.0 in t 0.270 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.270 * [taylor]: Taking taylor expansion of 4.0 in t 0.270 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.270 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.270 * [taylor]: Taking taylor expansion of t in t 0.270 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.270 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.270 * [taylor]: Taking taylor expansion of t in t 0.271 * [taylor]: Taking taylor expansion of 1.0 in t 0.283 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.283 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.283 * [taylor]: Taking taylor expansion of 4.0 in t 0.283 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.283 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.283 * [taylor]: Taking taylor expansion of t in t 0.283 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.283 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.283 * [taylor]: Taking taylor expansion of 1.0 in t 0.283 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.283 * [taylor]: Taking taylor expansion of t in t 0.285 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.285 * [taylor]: Taking taylor expansion of 4.0 in t 0.285 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.285 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.285 * [taylor]: Taking taylor expansion of t in t 0.285 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.285 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.285 * [taylor]: Taking taylor expansion of 1.0 in t 0.285 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.285 * [taylor]: Taking taylor expansion of t in t 0.299 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.299 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 0.299 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.299 * [taylor]: Taking taylor expansion of 4.0 in t 0.299 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.299 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.299 * [taylor]: Taking taylor expansion of t in t 0.299 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.299 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.299 * [taylor]: Taking taylor expansion of t in t 0.299 * [taylor]: Taking taylor expansion of 1.0 in t 0.300 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 0.300 * [taylor]: Taking taylor expansion of 4.0 in t 0.300 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.300 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.300 * [taylor]: Taking taylor expansion of t in t 0.300 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.300 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.300 * [taylor]: Taking taylor expansion of t in t 0.300 * [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.329 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.329 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.329 * [taylor]: Taking taylor expansion of 4.0 in t 0.329 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.329 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.329 * [taylor]: Taking taylor expansion of t in t 0.329 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.329 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.329 * [taylor]: Taking taylor expansion of 1.0 in t 0.329 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.329 * [taylor]: Taking taylor expansion of t in t 0.330 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.330 * [taylor]: Taking taylor expansion of 4.0 in t 0.330 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.330 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.330 * [taylor]: Taking taylor expansion of t in t 0.330 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.330 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.330 * [taylor]: Taking taylor expansion of 1.0 in t 0.330 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.331 * [taylor]: Taking taylor expansion of t in t 0.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.344 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.345 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.345 * [taylor]: Taking taylor expansion of 2.0 in t 0.345 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.345 * [taylor]: Taking taylor expansion of t in t 0.345 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.345 * [taylor]: Taking taylor expansion of t in t 0.345 * [taylor]: Taking taylor expansion of 1.0 in t 0.345 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.345 * [taylor]: Taking taylor expansion of 2.0 in t 0.345 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.345 * [taylor]: Taking taylor expansion of t in t 0.345 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.345 * [taylor]: Taking taylor expansion of t in t 0.345 * [taylor]: Taking taylor expansion of 1.0 in t 0.353 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.353 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.353 * [taylor]: Taking taylor expansion of 2.0 in t 0.353 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.353 * [taylor]: Taking taylor expansion of t in t 0.353 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.353 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.354 * [taylor]: Taking taylor expansion of t in t 0.354 * [taylor]: Taking taylor expansion of 1.0 in t 0.356 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.356 * [taylor]: Taking taylor expansion of 2.0 in t 0.356 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.356 * [taylor]: Taking taylor expansion of t in t 0.356 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.356 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.356 * [taylor]: Taking taylor expansion of t in t 0.356 * [taylor]: Taking taylor expansion of 1.0 in t 0.366 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.366 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.366 * [taylor]: Taking taylor expansion of -2.0 in t 0.366 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.366 * [taylor]: Taking taylor expansion of t in t 0.366 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.366 * [taylor]: Taking taylor expansion of 1.0 in t 0.366 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.366 * [taylor]: Taking taylor expansion of t in t 0.368 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.368 * [taylor]: Taking taylor expansion of -2.0 in t 0.368 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.368 * [taylor]: Taking taylor expansion of t in t 0.368 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.368 * [taylor]: Taking taylor expansion of 1.0 in t 0.369 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.369 * [taylor]: Taking taylor expansion of t in t 0.379 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.379 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.379 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.379 * [taylor]: Taking taylor expansion of 2.0 in t 0.379 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.379 * [taylor]: Taking taylor expansion of t in t 0.379 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.379 * [taylor]: Taking taylor expansion of t in t 0.379 * [taylor]: Taking taylor expansion of 1.0 in t 0.379 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.379 * [taylor]: Taking taylor expansion of 2.0 in t 0.379 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.379 * [taylor]: Taking taylor expansion of t in t 0.379 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.379 * [taylor]: Taking taylor expansion of t in t 0.379 * [taylor]: Taking taylor expansion of 1.0 in t 0.388 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.388 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.388 * [taylor]: Taking taylor expansion of 2.0 in t 0.388 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.388 * [taylor]: Taking taylor expansion of t in t 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.388 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.388 * [taylor]: Taking taylor expansion of t in t 0.388 * [taylor]: Taking taylor expansion of 1.0 in t 0.390 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.390 * [taylor]: Taking taylor expansion of 2.0 in t 0.390 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.390 * [taylor]: Taking taylor expansion of t in t 0.390 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.390 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.390 * [taylor]: Taking taylor expansion of t in t 0.390 * [taylor]: Taking taylor expansion of 1.0 in t 0.402 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.402 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.402 * [taylor]: Taking taylor expansion of -2.0 in t 0.402 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.402 * [taylor]: Taking taylor expansion of t in t 0.402 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.402 * [taylor]: Taking taylor expansion of 1.0 in t 0.402 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.402 * [taylor]: Taking taylor expansion of t in t 0.404 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.404 * [taylor]: Taking taylor expansion of -2.0 in t 0.404 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.404 * [taylor]: Taking taylor expansion of t in t 0.404 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.404 * [taylor]: Taking taylor expansion of 1.0 in t 0.404 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.405 * [taylor]: Taking taylor expansion of t in t 0.415 * * * [progress]: simplifying candidates 0.418 * [simplify]: Simplifying using # : (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.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))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.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))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 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))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 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))) (- (+ (* 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.419 * [simplify]: Sending expressions to egg_math: (expm1 (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (log1p (* (/ (* h0 h1) (+ h2 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))) (expm1 (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (log1p (* (/ (* h0 h1) (+ h2 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))) (expm1 (/ (* h0 h1) (+ h2 h1))) (log1p (/ (* 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))) (expm1 (/ (* h0 h1) (+ h2 h1))) (log1p (/ (* 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))) (- (+ (* 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.426 * * [simplify]: iteration 0 : 475 enodes (cost 1634 ) 0.436 * * [simplify]: iteration 1 : 2631 enodes (cost 1256 ) 0.480 * * [simplify]: iteration 2 : 5001 enodes (cost 1184 ) 0.486 * [simplify]: Simplified to: (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.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)) (/ (* (fma t (- t 1.0) (* 1.0 1.0)) (* 2.0 t)) (+ 1.0 t)) (* (- 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))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.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)) (/ (* (fma t (- t 1.0) (* 1.0 1.0)) (* 2.0 t)) (+ 1.0 t)) (* (- 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))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 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))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 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))) (fma (pow t 2) 4.0 (- (* 12.0 (pow t 4)) (* 8.0 (pow t 3)))) (fma 12.0 (/ 1 (pow t 2)) (- 4.0 (* 8.0 (/ 1 t)))) (fma 12.0 (/ 1 (pow t 2)) (- 4.0 (* 8.0 (/ 1 t)))) (fma (pow t 2) 4.0 (- (* 12.0 (pow t 4)) (* 8.0 (pow t 3)))) (fma 12.0 (/ 1 (pow t 2)) (- 4.0 (* 8.0 (/ 1 t)))) (fma 12.0 (/ 1 (pow t 2)) (- 4.0 (* 8.0 (/ 1 t)))) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (fma 2.0 (/ 1 (pow t 2)) (- 2.0 (* 2.0 (/ 1 t)))) (fma 2.0 (/ 1 (pow t 2)) (- 2.0 (* 2.0 (/ 1 t)))) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (fma 2.0 (/ 1 (pow t 2)) (- 2.0 (* 2.0 (/ 1 t)))) (fma 2.0 (/ 1 (pow t 2)) (- 2.0 (* 2.0 (/ 1 t)))) 0.487 * * * [progress]: adding candidates to table 0.810 * * [progress]: iteration 2 / 4 0.810 * * * [progress]: picking best candidate 0.813 * * * * [pick]: Picked # 0.813 * * * [progress]: localizing error 0.829 * * * [progress]: generating rewritten candidates 0.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.854 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 0.869 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.894 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.961 * * * [progress]: generating series expansions 0.962 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.962 * [approximate]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 2.0) 4)) (pow (+ t 1.0) 2)) in (t) around 0 0.962 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 2.0) 4)) (pow (+ t 1.0) 2)) in t 0.962 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2.0) 4)) in t 0.962 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.962 * [taylor]: Taking taylor expansion of t in t 0.962 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 0.962 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 0.962 * [taylor]: Taking taylor expansion of 2.0 in t 0.963 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.963 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.963 * [taylor]: Taking taylor expansion of t in t 0.963 * [taylor]: Taking taylor expansion of 1.0 in t 0.968 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 2.0) 4)) (pow (+ t 1.0) 2)) in t 0.968 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2.0) 4)) in t 0.968 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.968 * [taylor]: Taking taylor expansion of t in t 0.968 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 0.968 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 0.968 * [taylor]: Taking taylor expansion of 2.0 in t 0.969 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.969 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.969 * [taylor]: Taking taylor expansion of t in t 0.969 * [taylor]: Taking taylor expansion of 1.0 in t 1.000 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 4) (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 1.000 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 4) (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 1.000 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 1.000 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.000 * [taylor]: Taking taylor expansion of 2.0 in t 1.001 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 1.001 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.001 * [taylor]: Taking taylor expansion of t in t 1.001 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.001 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.001 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.001 * [taylor]: Taking taylor expansion of t in t 1.001 * [taylor]: Taking taylor expansion of 1.0 in t 1.005 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 4) (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 1.005 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 4) in t 1.005 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.005 * [taylor]: Taking taylor expansion of 2.0 in t 1.006 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 1.006 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.006 * [taylor]: Taking taylor expansion of t in t 1.006 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.006 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.006 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.006 * [taylor]: Taking taylor expansion of t in t 1.006 * [taylor]: Taking taylor expansion of 1.0 in t 1.032 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in (t) around 0 1.033 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.033 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.033 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.033 * [taylor]: Taking taylor expansion of -2.0 in t 1.033 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.033 * [taylor]: Taking taylor expansion of t in t 1.033 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.033 * [taylor]: Taking taylor expansion of 1.0 in t 1.033 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.033 * [taylor]: Taking taylor expansion of t in t 1.040 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.040 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.040 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.040 * [taylor]: Taking taylor expansion of -2.0 in t 1.040 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.040 * [taylor]: Taking taylor expansion of t in t 1.040 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.040 * [taylor]: Taking taylor expansion of 1.0 in t 1.040 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.040 * [taylor]: Taking taylor expansion of t in t 1.086 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 1.086 * [approximate]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in (t) around 0 1.086 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.086 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.086 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.086 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.086 * [taylor]: Taking taylor expansion of t in t 1.086 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.086 * [taylor]: Taking taylor expansion of t in t 1.086 * [taylor]: Taking taylor expansion of 1.0 in t 1.088 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.088 * [taylor]: Taking taylor expansion of 2.0 in t 1.090 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.090 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.090 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.090 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.090 * [taylor]: Taking taylor expansion of t in t 1.090 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.090 * [taylor]: Taking taylor expansion of t in t 1.090 * [taylor]: Taking taylor expansion of 1.0 in t 1.091 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.091 * [taylor]: Taking taylor expansion of 2.0 in t 1.149 * [approximate]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in (t) around 0 1.149 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.149 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.149 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.149 * [taylor]: Taking taylor expansion of t in t 1.149 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.149 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.149 * [taylor]: Taking taylor expansion of t in t 1.149 * [taylor]: Taking taylor expansion of 1.0 in t 1.158 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.158 * [taylor]: Taking taylor expansion of 2.0 in t 1.159 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.160 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.160 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.160 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.160 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.160 * [taylor]: Taking taylor expansion of t in t 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.160 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.160 * [taylor]: Taking taylor expansion of t in t 1.160 * [taylor]: Taking taylor expansion of 1.0 in t 1.166 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.166 * [taylor]: Taking taylor expansion of 2.0 in t 1.207 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in (t) around 0 1.207 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.207 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.207 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.207 * [taylor]: Taking taylor expansion of -2.0 in t 1.207 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.207 * [taylor]: Taking taylor expansion of t in t 1.207 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.207 * [taylor]: Taking taylor expansion of 1.0 in t 1.207 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.207 * [taylor]: Taking taylor expansion of t in t 1.215 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.215 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.215 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.215 * [taylor]: Taking taylor expansion of -2.0 in t 1.215 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.215 * [taylor]: Taking taylor expansion of t in t 1.215 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.215 * [taylor]: Taking taylor expansion of 1.0 in t 1.215 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.215 * [taylor]: Taking taylor expansion of t in t 1.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.261 * [approximate]: Taking taylor expansion of (pow (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) 3) in (t) around 0 1.261 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) 3) in t 1.261 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.261 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.261 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.261 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.261 * [taylor]: Taking taylor expansion of t in t 1.261 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.261 * [taylor]: Taking taylor expansion of t in t 1.261 * [taylor]: Taking taylor expansion of 1.0 in t 1.263 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.263 * [taylor]: Taking taylor expansion of 2.0 in t 1.269 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) 3) in t 1.269 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) 4) in t 1.269 * [taylor]: Taking taylor expansion of (* (sqrt (/ t (+ t 1.0))) (sqrt 2.0)) in t 1.269 * [taylor]: Taking taylor expansion of (sqrt (/ t (+ t 1.0))) in t 1.269 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 1.269 * [taylor]: Taking taylor expansion of t in t 1.269 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.269 * [taylor]: Taking taylor expansion of t in t 1.269 * [taylor]: Taking taylor expansion of 1.0 in t 1.271 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.271 * [taylor]: Taking taylor expansion of 2.0 in t 1.373 * [approximate]: Taking taylor expansion of (pow (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) 3) in (t) around 0 1.373 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) 3) in t 1.373 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.373 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.373 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.373 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of 1.0 in t 1.379 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.379 * [taylor]: Taking taylor expansion of 2.0 in t 1.383 * [taylor]: Taking taylor expansion of (pow (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) 3) in t 1.383 * [taylor]: Taking taylor expansion of (pow (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) 4) in t 1.383 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) (sqrt 2.0)) in t 1.383 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (* t (+ (/ 1 t) 1.0)))) in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1.0))) in t 1.383 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.389 * [taylor]: Taking taylor expansion of (sqrt 2.0) in t 1.389 * [taylor]: Taking taylor expansion of 2.0 in t 1.467 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) 3) in (t) around 0 1.467 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) 3) in t 1.467 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.467 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.467 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.467 * [taylor]: Taking taylor expansion of -2.0 in t 1.467 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.468 * [taylor]: Taking taylor expansion of t in t 1.468 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.468 * [taylor]: Taking taylor expansion of 1.0 in t 1.468 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.468 * [taylor]: Taking taylor expansion of t in t 1.477 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) 3) in t 1.477 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) 4) in t 1.477 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 1.477 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 1.477 * [taylor]: Taking taylor expansion of -2.0 in t 1.477 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 1.477 * [taylor]: Taking taylor expansion of t in t 1.477 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.477 * [taylor]: Taking taylor expansion of 1.0 in t 1.477 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.477 * [taylor]: Taking taylor expansion of t in t 1.562 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1.562 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 1.562 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 1.562 * [taylor]: Taking taylor expansion of 4.0 in t 1.562 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 1.562 * [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.563 * [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.575 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.575 * [taylor]: Taking taylor expansion of t in t 1.575 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.575 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.575 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.575 * [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.592 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 1.592 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 1.592 * [taylor]: Taking taylor expansion of 4.0 in t 1.592 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 1.592 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.592 * [taylor]: Taking taylor expansion of t in t 1.592 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.592 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.592 * [taylor]: Taking taylor expansion of 1.0 in t 1.592 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.592 * [taylor]: Taking taylor expansion of t in t 1.594 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 1.594 * [taylor]: Taking taylor expansion of 4.0 in t 1.594 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 1.594 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.594 * [taylor]: Taking taylor expansion of t in t 1.594 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.594 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.594 * [taylor]: Taking taylor expansion of 1.0 in t 1.594 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.594 * [taylor]: Taking taylor expansion of t in t 1.608 * * * [progress]: simplifying candidates 1.612 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (log1p (cbrt (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3))) (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))) (expm1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (log1p (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (* (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)) (expm1 (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (log1p (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (* (* (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)) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.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))) (- (+ (* 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.613 * [simplify]: Sending expressions to egg_math: (expm1 (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (log1p (cbrt (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3))) (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))) (expm1 (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (log1p (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4)) (* (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)) (expm1 (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (log1p (pow (pow (sqrt (/ (* h0 h1) (+ h2 h1))) 4) 3)) (* (* (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)) (expm1 (* (/ (* h0 h1) (+ h2 h1)) (/ (* h0 h1) (+ h2 h1)))) (log1p (* (/ (* h0 h1) (+ h2 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))) (- (+ (* 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.625 * * [simplify]: iteration 0 : 1008 enodes (cost 2020 ) 1.646 * * [simplify]: iteration 1 : 5001 enodes (cost 1653 ) 1.655 * [simplify]: Simplified to: (expm1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (log1p (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)) (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))) (expm1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (log1p (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (* 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)) (expm1 (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (log1p (pow (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4) 3)) (* 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) (expm1 (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) (log1p (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)) 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)) (/ (* (fma t (- t 1.0) (* 1.0 1.0)) (* 2.0 t)) (+ 1.0 t)) (* (- 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)) (fma 3.0 (/ (pow (sqrt 2.0) 4) (pow t 2)) (- (pow (sqrt 2.0) 4) (* 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))) (fma 3.0 (/ (pow (sqrt 2.0) 4) (pow t 2)) (- (pow (sqrt 2.0) 4) (* 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) (- (fma 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)))) (fma (pow t 2) 4.0 (- (* 12.0 (pow t 4)) (* 8.0 (pow t 3)))) (fma 12.0 (/ 1 (pow t 2)) (- 4.0 (* 8.0 (/ 1 t)))) (fma 12.0 (/ 1 (pow t 2)) (- 4.0 (* 8.0 (/ 1 t)))) 1.657 * * * [progress]: adding candidates to table 2.150 * [progress]: [Phase 3 of 3] Extracting. 2.150 * * [regime]: Finding splitpoints for: (# #) 2.151 * * * [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.151 * * * * [regimes]: Trying to branch on (/ (* 2.0 t) (+ 1.0 t)) from (# #) 2.165 * * * * [regimes]: Trying to branch on (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) from (# #) 2.176 * * * * [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.186 * * * * [regimes]: Trying to branch on t from (# #) 2.196 * * * [regime]: Found split indices: #