4.854 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.071 * * * [progress]: [2/2] Setting up program. 0.075 * [progress]: [Phase 2 of 3] Improving. 0.075 * [simplify]: Simplifying using # : (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) 0.076 * * [simplify]: iteration 0 : 19 enodes (cost 37 ) 0.078 * * [simplify]: iteration 1 : 43 enodes (cost 37 ) 0.084 * * [simplify]: iteration 2 : 119 enodes (cost 36 ) 0.099 * * [simplify]: iteration 3 : 283 enodes (cost 36 ) 0.140 * * [simplify]: iteration 4 : 528 enodes (cost 36 ) 0.223 * * [simplify]: iteration 5 : 771 enodes (cost 36 ) 0.351 * * [simplify]: iteration 6 : 932 enodes (cost 36 ) 0.509 * * [simplify]: iteration 7 : 1131 enodes (cost 36 ) 0.880 * * [simplify]: iteration 8 : 2408 enodes (cost 36 ) 3.767 * * [simplify]: iteration done : 5000 enodes (cost 36 ) 3.767 * [simplify]: Simplified to: (+ (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) 3.771 * * [progress]: iteration 1 / 4 3.771 * * * [progress]: picking best candidate 3.774 * * * * [pick]: Picked # 3.775 * * * [progress]: localizing error 3.792 * * * [progress]: generating rewritten candidates 3.792 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 3.795 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 3.799 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.835 * * * [progress]: generating series expansions 3.836 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 3.836 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 3.836 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 3.836 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 3.836 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.836 * [taylor]: Taking taylor expansion of g in h 3.836 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.836 * [taylor]: Taking taylor expansion of h in h 3.837 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 3.837 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 3.837 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.837 * [taylor]: Taking taylor expansion of g in g 3.837 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.837 * [taylor]: Taking taylor expansion of h in g 3.838 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 3.838 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 3.838 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.838 * [taylor]: Taking taylor expansion of g in g 3.838 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.838 * [taylor]: Taking taylor expansion of h in g 3.839 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.839 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.839 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.839 * [taylor]: Taking taylor expansion of h in h 3.841 * [taylor]: Taking taylor expansion of 0 in h 3.844 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 3.844 * [taylor]: Taking taylor expansion of 1/2 in h 3.844 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.844 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.844 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.844 * [taylor]: Taking taylor expansion of h in h 3.849 * [taylor]: Taking taylor expansion of 0 in h 3.852 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 3.852 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 3.852 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 3.852 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 3.852 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.852 * [taylor]: Taking taylor expansion of g in h 3.852 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 3.852 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.852 * [taylor]: Taking taylor expansion of h in h 3.855 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.855 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.855 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.855 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.855 * [taylor]: Taking taylor expansion of g in g 3.855 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.855 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.855 * [taylor]: Taking taylor expansion of h in g 3.857 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.857 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.857 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.857 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.857 * [taylor]: Taking taylor expansion of g in g 3.858 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.858 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.858 * [taylor]: Taking taylor expansion of h in g 3.860 * [taylor]: Taking taylor expansion of 1 in h 3.860 * [taylor]: Taking taylor expansion of 0 in h 3.862 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 3.862 * [taylor]: Taking taylor expansion of -1/2 in h 3.862 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.862 * [taylor]: Taking taylor expansion of h in h 3.865 * [taylor]: Taking taylor expansion of 0 in h 3.867 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 3.867 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 3.867 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 3.867 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 3.867 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.867 * [taylor]: Taking taylor expansion of g in h 3.867 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 3.867 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.867 * [taylor]: Taking taylor expansion of h in h 3.870 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.870 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.870 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.870 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.870 * [taylor]: Taking taylor expansion of g in g 3.870 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.870 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.871 * [taylor]: Taking taylor expansion of h in g 3.873 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.873 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.873 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.873 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.873 * [taylor]: Taking taylor expansion of g in g 3.873 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.873 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.873 * [taylor]: Taking taylor expansion of h in g 3.875 * [taylor]: Taking taylor expansion of 1 in h 3.875 * [taylor]: Taking taylor expansion of 0 in h 3.877 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 3.878 * [taylor]: Taking taylor expansion of -1/2 in h 3.878 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.878 * [taylor]: Taking taylor expansion of h in h 3.881 * [taylor]: Taking taylor expansion of 0 in h 3.882 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 3.882 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 3.882 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 3.882 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 3.882 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.882 * [taylor]: Taking taylor expansion of g in h 3.882 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.882 * [taylor]: Taking taylor expansion of h in h 3.883 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 3.883 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 3.883 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.883 * [taylor]: Taking taylor expansion of g in g 3.883 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.883 * [taylor]: Taking taylor expansion of h in g 3.884 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 3.884 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 3.884 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.884 * [taylor]: Taking taylor expansion of g in g 3.884 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.884 * [taylor]: Taking taylor expansion of h in g 3.885 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.885 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.885 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.885 * [taylor]: Taking taylor expansion of h in h 3.887 * [taylor]: Taking taylor expansion of 0 in h 3.889 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 3.889 * [taylor]: Taking taylor expansion of 1/2 in h 3.889 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.889 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.889 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.889 * [taylor]: Taking taylor expansion of h in h 3.894 * [taylor]: Taking taylor expansion of 0 in h 3.896 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 3.896 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 3.896 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 3.896 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 3.896 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.896 * [taylor]: Taking taylor expansion of g in h 3.896 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 3.896 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.896 * [taylor]: Taking taylor expansion of h in h 3.899 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.899 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.899 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.899 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.899 * [taylor]: Taking taylor expansion of g in g 3.900 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.900 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.900 * [taylor]: Taking taylor expansion of h in g 3.902 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.902 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.902 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.902 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.902 * [taylor]: Taking taylor expansion of g in g 3.902 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.902 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.902 * [taylor]: Taking taylor expansion of h in g 3.909 * [taylor]: Taking taylor expansion of 1 in h 3.909 * [taylor]: Taking taylor expansion of 0 in h 3.911 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 3.911 * [taylor]: Taking taylor expansion of -1/2 in h 3.911 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.911 * [taylor]: Taking taylor expansion of h in h 3.915 * [taylor]: Taking taylor expansion of 0 in h 3.916 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 3.916 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 3.916 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 3.916 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 3.916 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.916 * [taylor]: Taking taylor expansion of g in h 3.916 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 3.916 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.916 * [taylor]: Taking taylor expansion of h in h 3.919 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.919 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.919 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.919 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.919 * [taylor]: Taking taylor expansion of g in g 3.920 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.920 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.920 * [taylor]: Taking taylor expansion of h in g 3.922 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 3.922 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 3.922 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 3.922 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.922 * [taylor]: Taking taylor expansion of g in g 3.922 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 3.922 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.922 * [taylor]: Taking taylor expansion of h in g 3.924 * [taylor]: Taking taylor expansion of 1 in h 3.924 * [taylor]: Taking taylor expansion of 0 in h 3.926 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 3.926 * [taylor]: Taking taylor expansion of -1/2 in h 3.926 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.926 * [taylor]: Taking taylor expansion of h in h 3.930 * [taylor]: Taking taylor expansion of 0 in h 3.931 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.931 * [approximate]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in (a g h) around 0 3.931 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in h 3.931 * [taylor]: Taking taylor expansion of (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in h 3.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)))) in h 3.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a))) in h 3.931 * [taylor]: Taking taylor expansion of 1/3 in h 3.931 * [taylor]: Taking taylor expansion of (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)) in h 3.931 * [taylor]: Taking taylor expansion of (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) in h 3.931 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow g 2) (pow h 2))) g) in h 3.931 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 3.931 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 3.931 * [taylor]: Taking taylor expansion of (pow g 2) in h 3.931 * [taylor]: Taking taylor expansion of g in h 3.932 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.932 * [taylor]: Taking taylor expansion of h in h 3.932 * [taylor]: Taking taylor expansion of g in h 3.932 * [taylor]: Taking taylor expansion of a in h 3.932 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 3.932 * [taylor]: Taking taylor expansion of -0.5 in h 3.933 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in g 3.933 * [taylor]: Taking taylor expansion of (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in g 3.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)))) in g 3.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a))) in g 3.933 * [taylor]: Taking taylor expansion of 1/3 in g 3.933 * [taylor]: Taking taylor expansion of (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)) in g 3.933 * [taylor]: Taking taylor expansion of (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) in g 3.933 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow g 2) (pow h 2))) g) in g 3.933 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 3.933 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 3.933 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.933 * [taylor]: Taking taylor expansion of g in g 3.933 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.933 * [taylor]: Taking taylor expansion of h in g 3.934 * [taylor]: Taking taylor expansion of g in g 3.934 * [taylor]: Taking taylor expansion of a in g 3.935 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 3.935 * [taylor]: Taking taylor expansion of -0.5 in g 3.935 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in a 3.936 * [taylor]: Taking taylor expansion of (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in a 3.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)))) in a 3.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a))) in a 3.936 * [taylor]: Taking taylor expansion of 1/3 in a 3.936 * [taylor]: Taking taylor expansion of (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)) in a 3.936 * [taylor]: Taking taylor expansion of (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) in a 3.936 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow g 2) (pow h 2))) g) in a 3.936 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in a 3.936 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in a 3.936 * [taylor]: Taking taylor expansion of (pow g 2) in a 3.936 * [taylor]: Taking taylor expansion of g in a 3.936 * [taylor]: Taking taylor expansion of (pow h 2) in a 3.936 * [taylor]: Taking taylor expansion of h in a 3.937 * [taylor]: Taking taylor expansion of g in a 3.937 * [taylor]: Taking taylor expansion of a in a 3.938 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 3.938 * [taylor]: Taking taylor expansion of -0.5 in a 3.939 * [taylor]: Taking taylor expansion of (* (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) (cbrt -0.5)) in a 3.939 * [taylor]: Taking taylor expansion of (pow (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in a 3.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)))) in a 3.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a))) in a 3.939 * [taylor]: Taking taylor expansion of 1/3 in a 3.939 * [taylor]: Taking taylor expansion of (log (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a)) in a 3.939 * [taylor]: Taking taylor expansion of (/ (+ (sqrt (- (pow g 2) (pow h 2))) g) a) in a 3.939 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow g 2) (pow h 2))) g) in a 3.939 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in a 3.939 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in a 3.939 * [taylor]: Taking taylor expansion of (pow g 2) in a 3.939 * [taylor]: Taking taylor expansion of g in a 3.939 * [taylor]: Taking taylor expansion of (pow h 2) in a 3.939 * [taylor]: Taking taylor expansion of h in a 3.940 * [taylor]: Taking taylor expansion of g in a 3.940 * [taylor]: Taking taylor expansion of a in a 3.941 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 3.941 * [taylor]: Taking taylor expansion of -0.5 in a 3.943 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (- (log (+ (sqrt (- (pow g 2) (pow h 2))) g)) (log a))))) in g 3.943 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 3.943 * [taylor]: Taking taylor expansion of -0.5 in g 3.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (sqrt (- (pow g 2) (pow h 2))) g)) (log a)))) in g 3.943 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (sqrt (- (pow g 2) (pow h 2))) g)) (log a))) in g 3.944 * [taylor]: Taking taylor expansion of 1/3 in g 3.944 * [taylor]: Taking taylor expansion of (- (log (+ (sqrt (- (pow g 2) (pow h 2))) g)) (log a)) in g 3.944 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (pow g 2) (pow h 2))) g)) in g 3.944 * [taylor]: Taking taylor expansion of (+ (sqrt (- (pow g 2) (pow h 2))) g) in g 3.944 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 3.944 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 3.944 * [taylor]: Taking taylor expansion of (pow g 2) in g 3.944 * [taylor]: Taking taylor expansion of g in g 3.944 * [taylor]: Taking taylor expansion of (pow h 2) in g 3.944 * [taylor]: Taking taylor expansion of h in g 3.945 * [taylor]: Taking taylor expansion of g in g 3.945 * [taylor]: Taking taylor expansion of (log a) in g 3.945 * [taylor]: Taking taylor expansion of a in g 3.946 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 3.946 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 3.946 * [taylor]: Taking taylor expansion of -0.5 in h 3.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 3.947 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 3.947 * [taylor]: Taking taylor expansion of 1/3 in h 3.947 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 3.947 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 3.947 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.947 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.947 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.947 * [taylor]: Taking taylor expansion of h in h 3.949 * [taylor]: Taking taylor expansion of (log a) in h 3.949 * [taylor]: Taking taylor expansion of a in h 3.957 * [taylor]: Taking taylor expansion of 0 in g 3.957 * [taylor]: Taking taylor expansion of 0 in h 3.960 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2))))) in h 3.960 * [taylor]: Taking taylor expansion of 1/3 in h 3.960 * [taylor]: Taking taylor expansion of (/ (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2)))) in h 3.960 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 3.960 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 3.961 * [taylor]: Taking taylor expansion of -0.5 in h 3.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 3.961 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 3.961 * [taylor]: Taking taylor expansion of 1/3 in h 3.961 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 3.961 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 3.961 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.961 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.961 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.961 * [taylor]: Taking taylor expansion of h in h 3.964 * [taylor]: Taking taylor expansion of (log a) in h 3.964 * [taylor]: Taking taylor expansion of a in h 3.967 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 3.967 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 3.967 * [taylor]: Taking taylor expansion of (pow h 2) in h 3.967 * [taylor]: Taking taylor expansion of h in h 3.991 * [taylor]: Taking taylor expansion of 0 in g 3.991 * [taylor]: Taking taylor expansion of 0 in h 3.992 * [taylor]: Taking taylor expansion of 0 in h 4.004 * [taylor]: Taking taylor expansion of (* 1/18 (/ (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (pow (sqrt (- (pow h 2))) 2))) in h 4.004 * [taylor]: Taking taylor expansion of 1/18 in h 4.004 * [taylor]: Taking taylor expansion of (/ (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (pow (sqrt (- (pow h 2))) 2)) in h 4.004 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 4.004 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.004 * [taylor]: Taking taylor expansion of -0.5 in h 4.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 4.005 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 4.005 * [taylor]: Taking taylor expansion of 1/3 in h 4.005 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 4.005 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 4.005 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.005 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.005 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.005 * [taylor]: Taking taylor expansion of h in h 4.008 * [taylor]: Taking taylor expansion of (log a) in h 4.008 * [taylor]: Taking taylor expansion of a in h 4.010 * [taylor]: Taking taylor expansion of (pow (sqrt (- (pow h 2))) 2) in h 4.010 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.010 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.010 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.010 * [taylor]: Taking taylor expansion of h in h 4.041 * [approximate]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0 4.041 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h 4.041 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in h 4.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in h 4.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in h 4.041 * [taylor]: Taking taylor expansion of 1/3 in h 4.041 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in h 4.041 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in h 4.041 * [taylor]: Taking taylor expansion of a in h 4.041 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in h 4.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 4.041 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 4.041 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 4.041 * [taylor]: Taking taylor expansion of (pow g 2) in h 4.041 * [taylor]: Taking taylor expansion of g in h 4.041 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 4.041 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.041 * [taylor]: Taking taylor expansion of h in h 4.044 * [taylor]: Taking taylor expansion of (/ 1 g) in h 4.044 * [taylor]: Taking taylor expansion of g in h 4.046 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.046 * [taylor]: Taking taylor expansion of -0.5 in h 4.047 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g 4.047 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in g 4.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 4.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 4.047 * [taylor]: Taking taylor expansion of 1/3 in g 4.047 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 4.047 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 4.047 * [taylor]: Taking taylor expansion of a in g 4.047 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 4.047 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.047 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.047 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.047 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.047 * [taylor]: Taking taylor expansion of g in g 4.048 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.048 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.048 * [taylor]: Taking taylor expansion of h in g 4.050 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.050 * [taylor]: Taking taylor expansion of g in g 4.051 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.051 * [taylor]: Taking taylor expansion of -0.5 in g 4.052 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in a 4.052 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 4.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 4.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 4.052 * [taylor]: Taking taylor expansion of 1/3 in a 4.052 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 4.052 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 4.052 * [taylor]: Taking taylor expansion of a in a 4.052 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 4.052 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.052 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.052 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.052 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.052 * [taylor]: Taking taylor expansion of g in a 4.052 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.052 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.052 * [taylor]: Taking taylor expansion of h in a 4.053 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.054 * [taylor]: Taking taylor expansion of g in a 4.056 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.056 * [taylor]: Taking taylor expansion of -0.5 in a 4.056 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in a 4.056 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 4.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 4.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 4.057 * [taylor]: Taking taylor expansion of 1/3 in a 4.057 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 4.057 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 4.057 * [taylor]: Taking taylor expansion of a in a 4.057 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 4.057 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.057 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.057 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.057 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.057 * [taylor]: Taking taylor expansion of g in a 4.057 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.057 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.057 * [taylor]: Taking taylor expansion of h in a 4.058 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.058 * [taylor]: Taking taylor expansion of g in a 4.061 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.061 * [taylor]: Taking taylor expansion of -0.5 in a 4.062 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))))) in g 4.062 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.062 * [taylor]: Taking taylor expansion of -0.5 in g 4.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 4.063 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 4.063 * [taylor]: Taking taylor expansion of 1/3 in g 4.063 * [taylor]: Taking taylor expansion of (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 4.063 * [taylor]: Taking taylor expansion of (log a) in g 4.063 * [taylor]: Taking taylor expansion of a in g 4.063 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 4.063 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 4.063 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.063 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.063 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.063 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.063 * [taylor]: Taking taylor expansion of g in g 4.063 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.063 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.063 * [taylor]: Taking taylor expansion of h in g 4.065 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.065 * [taylor]: Taking taylor expansion of g in g 4.068 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) in h 4.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) in h 4.068 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log a) (log 2)) (log g))) in h 4.068 * [taylor]: Taking taylor expansion of 1/3 in h 4.068 * [taylor]: Taking taylor expansion of (- (+ (log a) (log 2)) (log g)) in h 4.068 * [taylor]: Taking taylor expansion of (+ (log a) (log 2)) in h 4.068 * [taylor]: Taking taylor expansion of (log a) in h 4.068 * [taylor]: Taking taylor expansion of a in h 4.068 * [taylor]: Taking taylor expansion of (log 2) in h 4.068 * [taylor]: Taking taylor expansion of 2 in h 4.069 * [taylor]: Taking taylor expansion of (log g) in h 4.069 * [taylor]: Taking taylor expansion of g in h 4.070 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.070 * [taylor]: Taking taylor expansion of -0.5 in h 4.078 * [taylor]: Taking taylor expansion of 0 in g 4.078 * [taylor]: Taking taylor expansion of 0 in h 4.082 * [taylor]: Taking taylor expansion of 0 in h 4.102 * [taylor]: Taking taylor expansion of 0 in g 4.103 * [taylor]: Taking taylor expansion of 0 in h 4.103 * [taylor]: Taking taylor expansion of 0 in h 4.111 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2)))) in h 4.111 * [taylor]: Taking taylor expansion of (* 1/12 (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2))) in h 4.111 * [taylor]: Taking taylor expansion of 1/12 in h 4.111 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2)) in h 4.111 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) in h 4.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) in h 4.111 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log a) (log 2)) (log g))) in h 4.111 * [taylor]: Taking taylor expansion of 1/3 in h 4.111 * [taylor]: Taking taylor expansion of (- (+ (log a) (log 2)) (log g)) in h 4.111 * [taylor]: Taking taylor expansion of (+ (log a) (log 2)) in h 4.111 * [taylor]: Taking taylor expansion of (log a) in h 4.111 * [taylor]: Taking taylor expansion of a in h 4.111 * [taylor]: Taking taylor expansion of (log 2) in h 4.111 * [taylor]: Taking taylor expansion of 2 in h 4.112 * [taylor]: Taking taylor expansion of (log g) in h 4.112 * [taylor]: Taking taylor expansion of g in h 4.113 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.113 * [taylor]: Taking taylor expansion of -0.5 in h 4.114 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.114 * [taylor]: Taking taylor expansion of h in h 4.133 * [approximate]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in (a g h) around 0 4.133 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in h 4.133 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) in h 4.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)))) in h 4.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a))) in h 4.133 * [taylor]: Taking taylor expansion of 1/3 in h 4.133 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)) in h 4.133 * [taylor]: Taking taylor expansion of (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) in h 4.133 * [taylor]: Taking taylor expansion of (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) in h 4.133 * [taylor]: Taking taylor expansion of (/ 1 g) in h 4.133 * [taylor]: Taking taylor expansion of g in h 4.133 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 4.133 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 4.133 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 4.133 * [taylor]: Taking taylor expansion of (pow g 2) in h 4.133 * [taylor]: Taking taylor expansion of g in h 4.133 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 4.133 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.133 * [taylor]: Taking taylor expansion of h in h 4.136 * [taylor]: Taking taylor expansion of a in h 4.139 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.139 * [taylor]: Taking taylor expansion of -0.5 in h 4.140 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in g 4.140 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) in g 4.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)))) in g 4.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a))) in g 4.140 * [taylor]: Taking taylor expansion of 1/3 in g 4.140 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)) in g 4.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) in g 4.140 * [taylor]: Taking taylor expansion of (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) in g 4.140 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.140 * [taylor]: Taking taylor expansion of g in g 4.141 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.141 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.141 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.141 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.141 * [taylor]: Taking taylor expansion of g in g 4.141 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.141 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.141 * [taylor]: Taking taylor expansion of h in g 4.143 * [taylor]: Taking taylor expansion of a in g 4.149 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.149 * [taylor]: Taking taylor expansion of -0.5 in g 4.150 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in a 4.150 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) in a 4.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)))) in a 4.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a))) in a 4.150 * [taylor]: Taking taylor expansion of 1/3 in a 4.150 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)) in a 4.150 * [taylor]: Taking taylor expansion of (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) in a 4.150 * [taylor]: Taking taylor expansion of (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) in a 4.150 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.150 * [taylor]: Taking taylor expansion of g in a 4.150 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.150 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.150 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.150 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.150 * [taylor]: Taking taylor expansion of g in a 4.150 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.150 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.150 * [taylor]: Taking taylor expansion of h in a 4.152 * [taylor]: Taking taylor expansion of a in a 4.154 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.154 * [taylor]: Taking taylor expansion of -0.5 in a 4.155 * [taylor]: Taking taylor expansion of (* (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) (cbrt -0.5)) in a 4.155 * [taylor]: Taking taylor expansion of (pow (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) 1/3) in a 4.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)))) in a 4.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a))) in a 4.155 * [taylor]: Taking taylor expansion of 1/3 in a 4.155 * [taylor]: Taking taylor expansion of (log (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a)) in a 4.155 * [taylor]: Taking taylor expansion of (* (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) a) in a 4.155 * [taylor]: Taking taylor expansion of (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) in a 4.155 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.155 * [taylor]: Taking taylor expansion of g in a 4.155 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.155 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.155 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.155 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.155 * [taylor]: Taking taylor expansion of g in a 4.156 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.156 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.156 * [taylor]: Taking taylor expansion of h in a 4.157 * [taylor]: Taking taylor expansion of a in a 4.160 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.160 * [taylor]: Taking taylor expansion of -0.5 in a 4.161 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log a) (log (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))))))) (cbrt -0.5)) in g 4.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))))))) in g 4.161 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))))))) in g 4.161 * [taylor]: Taking taylor expansion of 1/3 in g 4.161 * [taylor]: Taking taylor expansion of (+ (log a) (log (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))))) in g 4.161 * [taylor]: Taking taylor expansion of (log a) in g 4.161 * [taylor]: Taking taylor expansion of a in g 4.162 * [taylor]: Taking taylor expansion of (log (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))))) in g 4.162 * [taylor]: Taking taylor expansion of (- (/ 1 g) (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2))))) in g 4.162 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.162 * [taylor]: Taking taylor expansion of g in g 4.162 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.162 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.162 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.162 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.162 * [taylor]: Taking taylor expansion of g in g 4.162 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.162 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.162 * [taylor]: Taking taylor expansion of h in g 4.169 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.169 * [taylor]: Taking taylor expansion of -0.5 in g 4.170 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))))) (cbrt -0.5)) in h 4.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))))) in h 4.170 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2)))))) in h 4.170 * [taylor]: Taking taylor expansion of 1/3 in h 4.170 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))) in h 4.171 * [taylor]: Taking taylor expansion of (log a) in h 4.171 * [taylor]: Taking taylor expansion of a in h 4.171 * [taylor]: Taking taylor expansion of (+ (log g) (log (/ 1/2 (pow h 2)))) in h 4.171 * [taylor]: Taking taylor expansion of (log g) in h 4.171 * [taylor]: Taking taylor expansion of g in h 4.171 * [taylor]: Taking taylor expansion of (log (/ 1/2 (pow h 2))) in h 4.171 * [taylor]: Taking taylor expansion of (/ 1/2 (pow h 2)) in h 4.171 * [taylor]: Taking taylor expansion of 1/2 in h 4.171 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.171 * [taylor]: Taking taylor expansion of h in h 4.174 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.174 * [taylor]: Taking taylor expansion of -0.5 in h 4.187 * [taylor]: Taking taylor expansion of 0 in g 4.188 * [taylor]: Taking taylor expansion of 0 in h 4.193 * [taylor]: Taking taylor expansion of 0 in h 4.208 * [taylor]: Taking taylor expansion of 0 in g 4.208 * [taylor]: Taking taylor expansion of 0 in h 4.208 * [taylor]: Taking taylor expansion of 0 in h 4.216 * [taylor]: Taking taylor expansion of (* 1/12 (/ (* (exp (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))))) (cbrt -0.5)) (pow h 2))) in h 4.216 * [taylor]: Taking taylor expansion of 1/12 in h 4.217 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))))) (cbrt -0.5)) (pow h 2)) in h 4.217 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))))) (cbrt -0.5)) in h 4.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))))) in h 4.217 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2)))))) in h 4.217 * [taylor]: Taking taylor expansion of 1/3 in h 4.217 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log g) (log (/ 1/2 (pow h 2))))) in h 4.217 * [taylor]: Taking taylor expansion of (log a) in h 4.217 * [taylor]: Taking taylor expansion of a in h 4.217 * [taylor]: Taking taylor expansion of (+ (log g) (log (/ 1/2 (pow h 2)))) in h 4.217 * [taylor]: Taking taylor expansion of (log g) in h 4.217 * [taylor]: Taking taylor expansion of g in h 4.217 * [taylor]: Taking taylor expansion of (log (/ 1/2 (pow h 2))) in h 4.217 * [taylor]: Taking taylor expansion of (/ 1/2 (pow h 2)) in h 4.217 * [taylor]: Taking taylor expansion of 1/2 in h 4.217 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.217 * [taylor]: Taking taylor expansion of h in h 4.219 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.220 * [taylor]: Taking taylor expansion of -0.5 in h 4.220 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.220 * [taylor]: Taking taylor expansion of h in h 4.241 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 4.241 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in (a g h) around 0 4.241 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h 4.241 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.241 * [taylor]: Taking taylor expansion of 0.5 in h 4.242 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in h 4.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in h 4.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in h 4.242 * [taylor]: Taking taylor expansion of 1/3 in h 4.242 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in h 4.242 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in h 4.242 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in h 4.242 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 4.242 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 4.242 * [taylor]: Taking taylor expansion of (pow g 2) in h 4.242 * [taylor]: Taking taylor expansion of g in h 4.242 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.242 * [taylor]: Taking taylor expansion of h in h 4.243 * [taylor]: Taking taylor expansion of g in h 4.243 * [taylor]: Taking taylor expansion of a in h 4.245 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g 4.245 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.245 * [taylor]: Taking taylor expansion of 0.5 in g 4.246 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in g 4.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in g 4.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in g 4.246 * [taylor]: Taking taylor expansion of 1/3 in g 4.246 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in g 4.246 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in g 4.246 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in g 4.246 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 4.246 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 4.246 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.246 * [taylor]: Taking taylor expansion of g in g 4.246 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.246 * [taylor]: Taking taylor expansion of h in g 4.247 * [taylor]: Taking taylor expansion of g in g 4.247 * [taylor]: Taking taylor expansion of a in g 4.248 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in a 4.248 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.248 * [taylor]: Taking taylor expansion of 0.5 in a 4.249 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in a 4.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in a 4.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in a 4.249 * [taylor]: Taking taylor expansion of 1/3 in a 4.249 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in a 4.249 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in a 4.249 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in a 4.249 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in a 4.249 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in a 4.249 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.249 * [taylor]: Taking taylor expansion of g in a 4.249 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.250 * [taylor]: Taking taylor expansion of h in a 4.251 * [taylor]: Taking taylor expansion of g in a 4.251 * [taylor]: Taking taylor expansion of a in a 4.252 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in a 4.252 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.252 * [taylor]: Taking taylor expansion of 0.5 in a 4.253 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in a 4.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in a 4.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in a 4.253 * [taylor]: Taking taylor expansion of 1/3 in a 4.253 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in a 4.253 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in a 4.253 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in a 4.253 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in a 4.253 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in a 4.253 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.253 * [taylor]: Taking taylor expansion of g in a 4.253 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.253 * [taylor]: Taking taylor expansion of h in a 4.254 * [taylor]: Taking taylor expansion of g in a 4.254 * [taylor]: Taking taylor expansion of a in a 4.256 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a))))) in g 4.256 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.256 * [taylor]: Taking taylor expansion of 0.5 in g 4.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a)))) in g 4.257 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a))) in g 4.257 * [taylor]: Taking taylor expansion of 1/3 in g 4.257 * [taylor]: Taking taylor expansion of (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a)) in g 4.257 * [taylor]: Taking taylor expansion of (log (- (sqrt (- (pow g 2) (pow h 2))) g)) in g 4.257 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in g 4.257 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 4.257 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 4.257 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.257 * [taylor]: Taking taylor expansion of g in g 4.257 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.257 * [taylor]: Taking taylor expansion of h in g 4.258 * [taylor]: Taking taylor expansion of g in g 4.258 * [taylor]: Taking taylor expansion of (log a) in g 4.258 * [taylor]: Taking taylor expansion of a in g 4.259 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 4.259 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.259 * [taylor]: Taking taylor expansion of 0.5 in h 4.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 4.260 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 4.260 * [taylor]: Taking taylor expansion of 1/3 in h 4.260 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 4.260 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 4.260 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.260 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.260 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.260 * [taylor]: Taking taylor expansion of h in h 4.263 * [taylor]: Taking taylor expansion of (log a) in h 4.263 * [taylor]: Taking taylor expansion of a in h 4.271 * [taylor]: Taking taylor expansion of 0 in g 4.271 * [taylor]: Taking taylor expansion of 0 in h 4.280 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2)))))) in h 4.280 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2))))) in h 4.280 * [taylor]: Taking taylor expansion of 1/3 in h 4.280 * [taylor]: Taking taylor expansion of (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2)))) in h 4.280 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 4.280 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.280 * [taylor]: Taking taylor expansion of 0.5 in h 4.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 4.281 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 4.281 * [taylor]: Taking taylor expansion of 1/3 in h 4.281 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 4.281 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 4.281 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.281 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.281 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.281 * [taylor]: Taking taylor expansion of h in h 4.283 * [taylor]: Taking taylor expansion of (log a) in h 4.283 * [taylor]: Taking taylor expansion of a in h 4.286 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.286 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.286 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.286 * [taylor]: Taking taylor expansion of h in h 4.311 * [taylor]: Taking taylor expansion of 0 in g 4.311 * [taylor]: Taking taylor expansion of 0 in h 4.312 * [taylor]: Taking taylor expansion of 0 in h 4.319 * [taylor]: Taking taylor expansion of (* 1/18 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (pow (sqrt (- (pow h 2))) 2))) in h 4.319 * [taylor]: Taking taylor expansion of 1/18 in h 4.319 * [taylor]: Taking taylor expansion of (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (pow (sqrt (- (pow h 2))) 2)) in h 4.319 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 4.319 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.319 * [taylor]: Taking taylor expansion of 0.5 in h 4.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 4.320 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 4.320 * [taylor]: Taking taylor expansion of 1/3 in h 4.320 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 4.320 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 4.320 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.320 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.320 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.320 * [taylor]: Taking taylor expansion of h in h 4.322 * [taylor]: Taking taylor expansion of (log a) in h 4.323 * [taylor]: Taking taylor expansion of a in h 4.325 * [taylor]: Taking taylor expansion of (pow (sqrt (- (pow h 2))) 2) in h 4.325 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 4.325 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 4.325 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.325 * [taylor]: Taking taylor expansion of h in h 4.355 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in (a g h) around 0 4.355 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h 4.355 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.355 * [taylor]: Taking taylor expansion of 0.5 in h 4.356 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in h 4.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in h 4.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in h 4.356 * [taylor]: Taking taylor expansion of 1/3 in h 4.356 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in h 4.356 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in h 4.356 * [taylor]: Taking taylor expansion of a in h 4.356 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in h 4.356 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 4.356 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 4.356 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 4.356 * [taylor]: Taking taylor expansion of (pow g 2) in h 4.356 * [taylor]: Taking taylor expansion of g in h 4.356 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 4.356 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.356 * [taylor]: Taking taylor expansion of h in h 4.359 * [taylor]: Taking taylor expansion of (/ 1 g) in h 4.359 * [taylor]: Taking taylor expansion of g in h 4.362 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g 4.362 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.362 * [taylor]: Taking taylor expansion of 0.5 in g 4.362 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in g 4.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 4.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 4.362 * [taylor]: Taking taylor expansion of 1/3 in g 4.362 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 4.362 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 4.362 * [taylor]: Taking taylor expansion of a in g 4.362 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 4.363 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.363 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.363 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.363 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.363 * [taylor]: Taking taylor expansion of g in g 4.363 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.363 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.363 * [taylor]: Taking taylor expansion of h in g 4.371 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.371 * [taylor]: Taking taylor expansion of g in g 4.377 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in a 4.377 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.377 * [taylor]: Taking taylor expansion of 0.5 in a 4.378 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 4.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 4.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 4.378 * [taylor]: Taking taylor expansion of 1/3 in a 4.378 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 4.378 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 4.378 * [taylor]: Taking taylor expansion of a in a 4.378 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 4.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.378 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.378 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.378 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.378 * [taylor]: Taking taylor expansion of g in a 4.378 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.379 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.379 * [taylor]: Taking taylor expansion of h in a 4.380 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.380 * [taylor]: Taking taylor expansion of g in a 4.382 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in a 4.383 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 4.383 * [taylor]: Taking taylor expansion of 0.5 in a 4.383 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 4.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 4.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 4.383 * [taylor]: Taking taylor expansion of 1/3 in a 4.383 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 4.383 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 4.383 * [taylor]: Taking taylor expansion of a in a 4.383 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 4.383 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.383 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.383 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.383 * [taylor]: Taking taylor expansion of g in a 4.384 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.384 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.384 * [taylor]: Taking taylor expansion of h in a 4.385 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.385 * [taylor]: Taking taylor expansion of g in a 4.388 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))))) in g 4.388 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 4.388 * [taylor]: Taking taylor expansion of 0.5 in g 4.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 4.389 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 4.389 * [taylor]: Taking taylor expansion of 1/3 in g 4.389 * [taylor]: Taking taylor expansion of (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 4.389 * [taylor]: Taking taylor expansion of (log a) in g 4.389 * [taylor]: Taking taylor expansion of a in g 4.389 * [taylor]: Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 4.389 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 4.389 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.389 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.389 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.389 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.389 * [taylor]: Taking taylor expansion of g in g 4.390 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.390 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.390 * [taylor]: Taking taylor expansion of h in g 4.392 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.392 * [taylor]: Taking taylor expansion of g in g 4.398 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) in h 4.398 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.398 * [taylor]: Taking taylor expansion of 0.5 in h 4.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))))) in h 4.398 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))) in h 4.398 * [taylor]: Taking taylor expansion of 1/3 in h 4.398 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))) in h 4.398 * [taylor]: Taking taylor expansion of (log a) in h 4.398 * [taylor]: Taking taylor expansion of a in h 4.398 * [taylor]: Taking taylor expansion of (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))) in h 4.399 * [taylor]: Taking taylor expansion of (log g) in h 4.399 * [taylor]: Taking taylor expansion of g in h 4.399 * [taylor]: Taking taylor expansion of (log (- (* 1/2 (/ 1 (pow h 2))))) in h 4.399 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow h 2)))) in h 4.399 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow h 2))) in h 4.399 * [taylor]: Taking taylor expansion of 1/2 in h 4.399 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 4.399 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.399 * [taylor]: Taking taylor expansion of h in h 4.410 * [taylor]: Taking taylor expansion of 0 in g 4.410 * [taylor]: Taking taylor expansion of 0 in h 4.416 * [taylor]: Taking taylor expansion of 0 in h 4.431 * [taylor]: Taking taylor expansion of 0 in g 4.432 * [taylor]: Taking taylor expansion of 0 in h 4.432 * [taylor]: Taking taylor expansion of 0 in h 4.441 * [taylor]: Taking taylor expansion of (* 1/12 (/ (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) (pow h 2))) in h 4.441 * [taylor]: Taking taylor expansion of 1/12 in h 4.441 * [taylor]: Taking taylor expansion of (/ (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) (pow h 2)) in h 4.441 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) in h 4.441 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 4.441 * [taylor]: Taking taylor expansion of 0.5 in h 4.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))))) in h 4.442 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))) in h 4.442 * [taylor]: Taking taylor expansion of 1/3 in h 4.442 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))) in h 4.442 * [taylor]: Taking taylor expansion of (log a) in h 4.442 * [taylor]: Taking taylor expansion of a in h 4.442 * [taylor]: Taking taylor expansion of (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))) in h 4.442 * [taylor]: Taking taylor expansion of (log g) in h 4.442 * [taylor]: Taking taylor expansion of g in h 4.442 * [taylor]: Taking taylor expansion of (log (- (* 1/2 (/ 1 (pow h 2))))) in h 4.442 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow h 2)))) in h 4.442 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow h 2))) in h 4.442 * [taylor]: Taking taylor expansion of 1/2 in h 4.442 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 4.442 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.442 * [taylor]: Taking taylor expansion of h in h 4.446 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.446 * [taylor]: Taking taylor expansion of h in h 4.476 * [approximate]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0 4.476 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h 4.476 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in h 4.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in h 4.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in h 4.476 * [taylor]: Taking taylor expansion of 1/3 in h 4.476 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in h 4.476 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in h 4.476 * [taylor]: Taking taylor expansion of a in h 4.476 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in h 4.476 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 4.476 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 4.476 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 4.476 * [taylor]: Taking taylor expansion of (pow g 2) in h 4.476 * [taylor]: Taking taylor expansion of g in h 4.476 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 4.476 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.476 * [taylor]: Taking taylor expansion of h in h 4.479 * [taylor]: Taking taylor expansion of (/ 1 g) in h 4.479 * [taylor]: Taking taylor expansion of g in h 4.481 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.481 * [taylor]: Taking taylor expansion of -0.5 in h 4.482 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g 4.482 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in g 4.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 4.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 4.482 * [taylor]: Taking taylor expansion of 1/3 in g 4.482 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 4.482 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 4.482 * [taylor]: Taking taylor expansion of a in g 4.482 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 4.482 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.482 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.482 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.482 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.482 * [taylor]: Taking taylor expansion of g in g 4.483 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.483 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.483 * [taylor]: Taking taylor expansion of h in g 4.485 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.485 * [taylor]: Taking taylor expansion of g in g 4.486 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.486 * [taylor]: Taking taylor expansion of -0.5 in g 4.487 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in a 4.487 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 4.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 4.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 4.487 * [taylor]: Taking taylor expansion of 1/3 in a 4.487 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 4.487 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 4.487 * [taylor]: Taking taylor expansion of a in a 4.487 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 4.487 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.487 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.487 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.487 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.487 * [taylor]: Taking taylor expansion of g in a 4.487 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.487 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.487 * [taylor]: Taking taylor expansion of h in a 4.489 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.489 * [taylor]: Taking taylor expansion of g in a 4.491 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.491 * [taylor]: Taking taylor expansion of -0.5 in a 4.492 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in a 4.492 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 4.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 4.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 4.492 * [taylor]: Taking taylor expansion of 1/3 in a 4.492 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 4.492 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 4.492 * [taylor]: Taking taylor expansion of a in a 4.492 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 4.492 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 4.492 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 4.492 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 4.492 * [taylor]: Taking taylor expansion of (pow g 2) in a 4.492 * [taylor]: Taking taylor expansion of g in a 4.492 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 4.492 * [taylor]: Taking taylor expansion of (pow h 2) in a 4.492 * [taylor]: Taking taylor expansion of h in a 4.494 * [taylor]: Taking taylor expansion of (/ 1 g) in a 4.494 * [taylor]: Taking taylor expansion of g in a 4.496 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 4.496 * [taylor]: Taking taylor expansion of -0.5 in a 4.498 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))))) in g 4.498 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 4.498 * [taylor]: Taking taylor expansion of -0.5 in g 4.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 4.499 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 4.499 * [taylor]: Taking taylor expansion of 1/3 in g 4.499 * [taylor]: Taking taylor expansion of (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 4.499 * [taylor]: Taking taylor expansion of (log a) in g 4.499 * [taylor]: Taking taylor expansion of a in g 4.499 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 4.499 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 4.499 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 4.499 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 4.499 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 4.499 * [taylor]: Taking taylor expansion of (pow g 2) in g 4.499 * [taylor]: Taking taylor expansion of g in g 4.500 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 4.500 * [taylor]: Taking taylor expansion of (pow h 2) in g 4.500 * [taylor]: Taking taylor expansion of h in g 4.502 * [taylor]: Taking taylor expansion of (/ 1 g) in g 4.502 * [taylor]: Taking taylor expansion of g in g 4.505 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) in h 4.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) in h 4.505 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log a) (log 2)) (log g))) in h 4.505 * [taylor]: Taking taylor expansion of 1/3 in h 4.505 * [taylor]: Taking taylor expansion of (- (+ (log a) (log 2)) (log g)) in h 4.505 * [taylor]: Taking taylor expansion of (+ (log a) (log 2)) in h 4.505 * [taylor]: Taking taylor expansion of (log a) in h 4.505 * [taylor]: Taking taylor expansion of a in h 4.505 * [taylor]: Taking taylor expansion of (log 2) in h 4.505 * [taylor]: Taking taylor expansion of 2 in h 4.505 * [taylor]: Taking taylor expansion of (log g) in h 4.505 * [taylor]: Taking taylor expansion of g in h 4.507 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.507 * [taylor]: Taking taylor expansion of -0.5 in h 4.515 * [taylor]: Taking taylor expansion of 0 in g 4.515 * [taylor]: Taking taylor expansion of 0 in h 4.519 * [taylor]: Taking taylor expansion of 0 in h 4.532 * [taylor]: Taking taylor expansion of 0 in g 4.532 * [taylor]: Taking taylor expansion of 0 in h 4.532 * [taylor]: Taking taylor expansion of 0 in h 4.541 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2)))) in h 4.541 * [taylor]: Taking taylor expansion of (* 1/12 (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2))) in h 4.541 * [taylor]: Taking taylor expansion of 1/12 in h 4.541 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2)) in h 4.541 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) in h 4.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) in h 4.541 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log a) (log 2)) (log g))) in h 4.541 * [taylor]: Taking taylor expansion of 1/3 in h 4.541 * [taylor]: Taking taylor expansion of (- (+ (log a) (log 2)) (log g)) in h 4.541 * [taylor]: Taking taylor expansion of (+ (log a) (log 2)) in h 4.541 * [taylor]: Taking taylor expansion of (log a) in h 4.541 * [taylor]: Taking taylor expansion of a in h 4.541 * [taylor]: Taking taylor expansion of (log 2) in h 4.541 * [taylor]: Taking taylor expansion of 2 in h 4.542 * [taylor]: Taking taylor expansion of (log g) in h 4.542 * [taylor]: Taking taylor expansion of g in h 4.543 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 4.543 * [taylor]: Taking taylor expansion of -0.5 in h 4.544 * [taylor]: Taking taylor expansion of (pow h 2) in h 4.544 * [taylor]: Taking taylor expansion of h in h 4.569 * * * [progress]: simplifying candidates 4.571 * [simplify]: Simplifying using # : (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (- (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (- g) (- g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* 1.0 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (- g) (- g)) (+ (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (+ (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)) (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (- g) (- g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* 1.0 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (- g) (- g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)) (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (* (sqrt -1) h) g (* -1 g) (* (sqrt -1) h) g (* -1 g) (* (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a)))) (cbrt -0.5)) (* (exp (* 1/3 (- (+ (log (/ 1 a)) (log 2)) (log (/ 1 g))))) (cbrt -0.5)) (* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h)))))) (cbrt -0.5)) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a))))) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h))))))) (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) 4.575 * * [simplify]: iteration 0 : 166 enodes (cost 1416 ) 4.602 * * [simplify]: iteration 1 : 385 enodes (cost 1249 ) 4.679 * * [simplify]: iteration 2 : 1229 enodes (cost 1135 ) 5.375 * * [simplify]: iteration 3 : 4759 enodes (cost 1078 ) 6.493 * * [simplify]: iteration done : 5000 enodes (cost 1078 ) 6.494 * [simplify]: Simplified to: (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (* h h) (+ (* g g) (* h h))) (pow g 4))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (* h h) (+ (* g g) (* h h))) (pow g 4))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (- (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (- (* g (- g (sqrt (- (* g g) (* h h))))) (- (* h h) (* g g))) (* 2.0 a))) (cbrt (* (+ (* h h) 0) 1.0)) (cbrt (* 2.0 (* (- (sqrt (- (* g g) (* h h))) g) a))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (- (* g (- g (sqrt (- (* g g) (* h h))))) (- (* h h) (* g g)))) (cbrt (/ (+ (* h h) 0) (/ (* 2.0 a) 1.0))) (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (* 1.0 (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)) (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))) (log (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))) (exp (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))) (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (* 1.0 (- (pow (sqrt (- (* g g) (* h h))) 3) (pow g 3)))) (cbrt (* (- (* 2 (* g g)) (- (* h h) (* g (sqrt (- (* g g) (* h h)))))) (* 2.0 a))) (cbrt (* (+ (* h h) 0) 1.0)) (cbrt (* (* 2.0 a) (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (- (pow (sqrt (- (* g g) (* h h))) 3) (pow g 3)) (/ 1.0 (* 2.0 a)))) (cbrt (- (* 2 (* g g)) (- (* h h) (* g (sqrt (- (* g g) (* h h))))))) (cbrt (/ (+ (* h h) 0) (/ (* 2.0 a) 1.0))) (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (- (sqrt (- (* g g) (* h h))) g))) (cbrt (* 2.0 a)) (* (cbrt (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))) (cbrt (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a)))))) (cbrt (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))) (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))) (sqrt (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))) (sqrt (cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))) (* (sqrt -1) h) g (- g) (* (sqrt -1) h) g (- g) (* (cbrt (exp (- (+ (log h) (log (sqrt -1))) (log a)))) (cbrt -0.5)) (* (cbrt (exp (+ (log g) (- (log 2) (log a))))) (cbrt -0.5)) (* (cbrt -0.5) (cbrt (exp (- (+ (log (/ -1 g)) (+ (log (/ -1 a)) (log 1/2))) (* 2 (log (/ -1 h))))))) (* (cbrt 0.5) (cbrt (exp (- (+ (log h) (log (sqrt -1))) (log a))))) (* (cbrt (exp (- (- (- (log -1/2) (log g)) (log a)) (* -2 (log h))))) (cbrt 0.5)) (* (cbrt -0.5) (cbrt (exp (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) 6.494 * * * [progress]: adding candidates to table 6.824 * * [progress]: iteration 2 / 4 6.824 * * * [progress]: picking best candidate 6.880 * * * * [pick]: Picked # 6.880 * * * [progress]: localizing error 6.902 * * * [progress]: generating rewritten candidates 6.902 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 6.906 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 6.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 6.926 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1) 6.930 * * * [progress]: generating series expansions 6.930 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 6.930 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 6.930 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 6.930 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 6.930 * [taylor]: Taking taylor expansion of (pow g 2) in h 6.930 * [taylor]: Taking taylor expansion of g in h 6.930 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.930 * [taylor]: Taking taylor expansion of h in h 6.931 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 6.931 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 6.931 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.931 * [taylor]: Taking taylor expansion of g in g 6.931 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.931 * [taylor]: Taking taylor expansion of h in g 6.932 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 6.932 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 6.932 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.932 * [taylor]: Taking taylor expansion of g in g 6.932 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.932 * [taylor]: Taking taylor expansion of h in g 6.933 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 6.933 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 6.933 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.933 * [taylor]: Taking taylor expansion of h in h 6.935 * [taylor]: Taking taylor expansion of 0 in h 6.937 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 6.937 * [taylor]: Taking taylor expansion of 1/2 in h 6.937 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 6.937 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 6.937 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.937 * [taylor]: Taking taylor expansion of h in h 6.942 * [taylor]: Taking taylor expansion of 0 in h 6.944 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 6.944 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 6.944 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 6.944 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 6.944 * [taylor]: Taking taylor expansion of (pow g 2) in h 6.944 * [taylor]: Taking taylor expansion of g in h 6.944 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 6.944 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.944 * [taylor]: Taking taylor expansion of h in h 6.947 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 6.947 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 6.947 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 6.947 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.947 * [taylor]: Taking taylor expansion of g in g 6.948 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 6.948 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.948 * [taylor]: Taking taylor expansion of h in g 6.950 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 6.950 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 6.950 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 6.950 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.950 * [taylor]: Taking taylor expansion of g in g 6.950 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 6.950 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.950 * [taylor]: Taking taylor expansion of h in g 6.953 * [taylor]: Taking taylor expansion of 1 in h 6.953 * [taylor]: Taking taylor expansion of 0 in h 6.955 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 6.955 * [taylor]: Taking taylor expansion of -1/2 in h 6.955 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.955 * [taylor]: Taking taylor expansion of h in h 6.958 * [taylor]: Taking taylor expansion of 0 in h 6.959 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 6.959 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 6.959 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 6.959 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 6.959 * [taylor]: Taking taylor expansion of (pow g 2) in h 6.959 * [taylor]: Taking taylor expansion of g in h 6.960 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 6.960 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.960 * [taylor]: Taking taylor expansion of h in h 6.962 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 6.963 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 6.963 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 6.963 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.963 * [taylor]: Taking taylor expansion of g in g 6.963 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 6.963 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.963 * [taylor]: Taking taylor expansion of h in g 6.965 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 6.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 6.965 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 6.965 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.965 * [taylor]: Taking taylor expansion of g in g 6.966 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 6.966 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.966 * [taylor]: Taking taylor expansion of h in g 6.968 * [taylor]: Taking taylor expansion of 1 in h 6.968 * [taylor]: Taking taylor expansion of 0 in h 6.970 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 6.970 * [taylor]: Taking taylor expansion of -1/2 in h 6.970 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.970 * [taylor]: Taking taylor expansion of h in h 6.974 * [taylor]: Taking taylor expansion of 0 in h 6.975 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 6.975 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 6.975 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 6.975 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 6.975 * [taylor]: Taking taylor expansion of (pow g 2) in h 6.975 * [taylor]: Taking taylor expansion of g in h 6.975 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.975 * [taylor]: Taking taylor expansion of h in h 6.976 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 6.976 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 6.976 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.976 * [taylor]: Taking taylor expansion of g in g 6.976 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.976 * [taylor]: Taking taylor expansion of h in g 6.977 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 6.977 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 6.977 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.977 * [taylor]: Taking taylor expansion of g in g 6.977 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.977 * [taylor]: Taking taylor expansion of h in g 6.978 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 6.978 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 6.978 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.978 * [taylor]: Taking taylor expansion of h in h 6.980 * [taylor]: Taking taylor expansion of 0 in h 6.982 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 6.982 * [taylor]: Taking taylor expansion of 1/2 in h 6.982 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 6.982 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 6.982 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.982 * [taylor]: Taking taylor expansion of h in h 6.991 * [taylor]: Taking taylor expansion of 0 in h 6.994 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 6.994 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 6.994 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 6.994 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 6.994 * [taylor]: Taking taylor expansion of (pow g 2) in h 6.994 * [taylor]: Taking taylor expansion of g in h 6.994 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 6.994 * [taylor]: Taking taylor expansion of (pow h 2) in h 6.994 * [taylor]: Taking taylor expansion of h in h 6.997 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 6.997 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 6.997 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 6.997 * [taylor]: Taking taylor expansion of (pow g 2) in g 6.997 * [taylor]: Taking taylor expansion of g in g 6.997 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 6.997 * [taylor]: Taking taylor expansion of (pow h 2) in g 6.998 * [taylor]: Taking taylor expansion of h in g 6.999 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.000 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.000 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.000 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.000 * [taylor]: Taking taylor expansion of g in g 7.000 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.000 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.000 * [taylor]: Taking taylor expansion of h in g 7.002 * [taylor]: Taking taylor expansion of 1 in h 7.003 * [taylor]: Taking taylor expansion of 0 in h 7.005 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 7.005 * [taylor]: Taking taylor expansion of -1/2 in h 7.005 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.005 * [taylor]: Taking taylor expansion of h in h 7.008 * [taylor]: Taking taylor expansion of 0 in h 7.009 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 7.009 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 7.009 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 7.009 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 7.009 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.009 * [taylor]: Taking taylor expansion of g in h 7.009 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.009 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.009 * [taylor]: Taking taylor expansion of h in h 7.012 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.012 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.012 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.012 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.012 * [taylor]: Taking taylor expansion of g in g 7.013 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.013 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.013 * [taylor]: Taking taylor expansion of h in g 7.015 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.015 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.015 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.015 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.015 * [taylor]: Taking taylor expansion of g in g 7.016 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.016 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.016 * [taylor]: Taking taylor expansion of h in g 7.018 * [taylor]: Taking taylor expansion of 1 in h 7.018 * [taylor]: Taking taylor expansion of 0 in h 7.020 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 7.020 * [taylor]: Taking taylor expansion of -1/2 in h 7.020 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.020 * [taylor]: Taking taylor expansion of h in h 7.023 * [taylor]: Taking taylor expansion of 0 in h 7.024 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 7.025 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in (a g h) around 0 7.025 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in h 7.025 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.025 * [taylor]: Taking taylor expansion of 0.5 in h 7.025 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in h 7.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in h 7.026 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in h 7.026 * [taylor]: Taking taylor expansion of 1/3 in h 7.026 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in h 7.026 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in h 7.026 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in h 7.026 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 7.026 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 7.026 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.026 * [taylor]: Taking taylor expansion of g in h 7.026 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.026 * [taylor]: Taking taylor expansion of h in h 7.026 * [taylor]: Taking taylor expansion of g in h 7.026 * [taylor]: Taking taylor expansion of a in h 7.029 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in g 7.029 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.029 * [taylor]: Taking taylor expansion of 0.5 in g 7.030 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in g 7.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in g 7.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in g 7.030 * [taylor]: Taking taylor expansion of 1/3 in g 7.030 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in g 7.030 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in g 7.030 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in g 7.030 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 7.030 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 7.030 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.030 * [taylor]: Taking taylor expansion of g in g 7.030 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.030 * [taylor]: Taking taylor expansion of h in g 7.031 * [taylor]: Taking taylor expansion of g in g 7.031 * [taylor]: Taking taylor expansion of a in g 7.032 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in a 7.032 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.032 * [taylor]: Taking taylor expansion of 0.5 in a 7.032 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in a 7.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in a 7.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in a 7.032 * [taylor]: Taking taylor expansion of 1/3 in a 7.032 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in a 7.032 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in a 7.032 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in a 7.032 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in a 7.032 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in a 7.032 * [taylor]: Taking taylor expansion of (pow g 2) in a 7.032 * [taylor]: Taking taylor expansion of g in a 7.032 * [taylor]: Taking taylor expansion of (pow h 2) in a 7.032 * [taylor]: Taking taylor expansion of h in a 7.033 * [taylor]: Taking taylor expansion of g in a 7.034 * [taylor]: Taking taylor expansion of a in a 7.035 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3)) in a 7.035 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.035 * [taylor]: Taking taylor expansion of 0.5 in a 7.035 * [taylor]: Taking taylor expansion of (pow (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) 1/3) in a 7.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)))) in a 7.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a))) in a 7.036 * [taylor]: Taking taylor expansion of 1/3 in a 7.036 * [taylor]: Taking taylor expansion of (log (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a)) in a 7.036 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow g 2) (pow h 2))) g) a) in a 7.036 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in a 7.036 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in a 7.036 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in a 7.036 * [taylor]: Taking taylor expansion of (pow g 2) in a 7.036 * [taylor]: Taking taylor expansion of g in a 7.036 * [taylor]: Taking taylor expansion of (pow h 2) in a 7.036 * [taylor]: Taking taylor expansion of h in a 7.037 * [taylor]: Taking taylor expansion of g in a 7.037 * [taylor]: Taking taylor expansion of a in a 7.038 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a))))) in g 7.039 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.039 * [taylor]: Taking taylor expansion of 0.5 in g 7.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a)))) in g 7.039 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a))) in g 7.039 * [taylor]: Taking taylor expansion of 1/3 in g 7.039 * [taylor]: Taking taylor expansion of (- (log (- (sqrt (- (pow g 2) (pow h 2))) g)) (log a)) in g 7.039 * [taylor]: Taking taylor expansion of (log (- (sqrt (- (pow g 2) (pow h 2))) g)) in g 7.039 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow g 2) (pow h 2))) g) in g 7.039 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 7.039 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 7.039 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.039 * [taylor]: Taking taylor expansion of g in g 7.039 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.039 * [taylor]: Taking taylor expansion of h in g 7.040 * [taylor]: Taking taylor expansion of g in g 7.041 * [taylor]: Taking taylor expansion of (log a) in g 7.041 * [taylor]: Taking taylor expansion of a in g 7.042 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 7.042 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.042 * [taylor]: Taking taylor expansion of 0.5 in h 7.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 7.042 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 7.042 * [taylor]: Taking taylor expansion of 1/3 in h 7.042 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 7.042 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 7.042 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 7.042 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 7.042 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.042 * [taylor]: Taking taylor expansion of h in h 7.045 * [taylor]: Taking taylor expansion of (log a) in h 7.045 * [taylor]: Taking taylor expansion of a in h 7.053 * [taylor]: Taking taylor expansion of 0 in g 7.053 * [taylor]: Taking taylor expansion of 0 in h 7.056 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2)))))) in h 7.056 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2))))) in h 7.056 * [taylor]: Taking taylor expansion of 1/3 in h 7.056 * [taylor]: Taking taylor expansion of (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (sqrt (- (pow h 2)))) in h 7.056 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 7.056 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.056 * [taylor]: Taking taylor expansion of 0.5 in h 7.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 7.057 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 7.057 * [taylor]: Taking taylor expansion of 1/3 in h 7.057 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 7.057 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 7.057 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 7.057 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 7.057 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.057 * [taylor]: Taking taylor expansion of h in h 7.060 * [taylor]: Taking taylor expansion of (log a) in h 7.060 * [taylor]: Taking taylor expansion of a in h 7.062 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 7.062 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 7.062 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.062 * [taylor]: Taking taylor expansion of h in h 7.093 * [taylor]: Taking taylor expansion of 0 in g 7.093 * [taylor]: Taking taylor expansion of 0 in h 7.093 * [taylor]: Taking taylor expansion of 0 in h 7.100 * [taylor]: Taking taylor expansion of (* 1/18 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (pow (sqrt (- (pow h 2))) 2))) in h 7.100 * [taylor]: Taking taylor expansion of 1/18 in h 7.100 * [taylor]: Taking taylor expansion of (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) (pow (sqrt (- (pow h 2))) 2)) in h 7.100 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))))) in h 7.100 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.100 * [taylor]: Taking taylor expansion of 0.5 in h 7.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a)))) in h 7.101 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sqrt (- (pow h 2)))) (log a))) in h 7.101 * [taylor]: Taking taylor expansion of 1/3 in h 7.101 * [taylor]: Taking taylor expansion of (- (log (sqrt (- (pow h 2)))) (log a)) in h 7.101 * [taylor]: Taking taylor expansion of (log (sqrt (- (pow h 2)))) in h 7.101 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 7.101 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 7.101 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.101 * [taylor]: Taking taylor expansion of h in h 7.103 * [taylor]: Taking taylor expansion of (log a) in h 7.103 * [taylor]: Taking taylor expansion of a in h 7.106 * [taylor]: Taking taylor expansion of (pow (sqrt (- (pow h 2))) 2) in h 7.106 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 7.106 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 7.106 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.106 * [taylor]: Taking taylor expansion of h in h 7.135 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in (a g h) around 0 7.135 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in h 7.135 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.135 * [taylor]: Taking taylor expansion of 0.5 in h 7.135 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in h 7.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in h 7.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in h 7.135 * [taylor]: Taking taylor expansion of 1/3 in h 7.135 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in h 7.135 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in h 7.135 * [taylor]: Taking taylor expansion of a in h 7.136 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in h 7.136 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 7.136 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 7.136 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 7.136 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.136 * [taylor]: Taking taylor expansion of g in h 7.136 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.136 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.136 * [taylor]: Taking taylor expansion of h in h 7.139 * [taylor]: Taking taylor expansion of (/ 1 g) in h 7.139 * [taylor]: Taking taylor expansion of g in h 7.141 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in g 7.141 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.141 * [taylor]: Taking taylor expansion of 0.5 in g 7.142 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in g 7.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 7.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 7.142 * [taylor]: Taking taylor expansion of 1/3 in g 7.142 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 7.142 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 7.142 * [taylor]: Taking taylor expansion of a in g 7.142 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 7.142 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.142 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.142 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.142 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.142 * [taylor]: Taking taylor expansion of g in g 7.142 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.142 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.142 * [taylor]: Taking taylor expansion of h in g 7.144 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.144 * [taylor]: Taking taylor expansion of g in g 7.150 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in a 7.150 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.150 * [taylor]: Taking taylor expansion of 0.5 in a 7.151 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 7.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 7.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 7.151 * [taylor]: Taking taylor expansion of 1/3 in a 7.151 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 7.151 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 7.151 * [taylor]: Taking taylor expansion of a in a 7.151 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 7.151 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 7.151 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 7.151 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 7.151 * [taylor]: Taking taylor expansion of (pow g 2) in a 7.151 * [taylor]: Taking taylor expansion of g in a 7.151 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 7.151 * [taylor]: Taking taylor expansion of (pow h 2) in a 7.151 * [taylor]: Taking taylor expansion of h in a 7.153 * [taylor]: Taking taylor expansion of (/ 1 g) in a 7.153 * [taylor]: Taking taylor expansion of g in a 7.155 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3)) in a 7.155 * [taylor]: Taking taylor expansion of (cbrt 0.5) in a 7.155 * [taylor]: Taking taylor expansion of 0.5 in a 7.156 * [taylor]: Taking taylor expansion of (pow (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 7.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 7.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 7.156 * [taylor]: Taking taylor expansion of 1/3 in a 7.156 * [taylor]: Taking taylor expansion of (log (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 7.156 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 7.156 * [taylor]: Taking taylor expansion of a in a 7.156 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 7.156 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 7.156 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 7.156 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 7.156 * [taylor]: Taking taylor expansion of (pow g 2) in a 7.156 * [taylor]: Taking taylor expansion of g in a 7.156 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 7.156 * [taylor]: Taking taylor expansion of (pow h 2) in a 7.156 * [taylor]: Taking taylor expansion of h in a 7.158 * [taylor]: Taking taylor expansion of (/ 1 g) in a 7.158 * [taylor]: Taking taylor expansion of g in a 7.161 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))))) in g 7.161 * [taylor]: Taking taylor expansion of (cbrt 0.5) in g 7.161 * [taylor]: Taking taylor expansion of 0.5 in g 7.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 7.161 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 7.161 * [taylor]: Taking taylor expansion of 1/3 in g 7.161 * [taylor]: Taking taylor expansion of (+ (log a) (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 7.161 * [taylor]: Taking taylor expansion of (log a) in g 7.162 * [taylor]: Taking taylor expansion of a in g 7.162 * [taylor]: Taking taylor expansion of (log (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 7.162 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 7.162 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.162 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.162 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.162 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.162 * [taylor]: Taking taylor expansion of g in g 7.162 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.162 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.162 * [taylor]: Taking taylor expansion of h in g 7.361 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.361 * [taylor]: Taking taylor expansion of g in g 7.367 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) in h 7.367 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.367 * [taylor]: Taking taylor expansion of 0.5 in h 7.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))))) in h 7.368 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))) in h 7.368 * [taylor]: Taking taylor expansion of 1/3 in h 7.368 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))) in h 7.368 * [taylor]: Taking taylor expansion of (log a) in h 7.368 * [taylor]: Taking taylor expansion of a in h 7.368 * [taylor]: Taking taylor expansion of (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))) in h 7.368 * [taylor]: Taking taylor expansion of (log g) in h 7.368 * [taylor]: Taking taylor expansion of g in h 7.368 * [taylor]: Taking taylor expansion of (log (- (* 1/2 (/ 1 (pow h 2))))) in h 7.368 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow h 2)))) in h 7.368 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow h 2))) in h 7.368 * [taylor]: Taking taylor expansion of 1/2 in h 7.368 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.368 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.368 * [taylor]: Taking taylor expansion of h in h 7.380 * [taylor]: Taking taylor expansion of 0 in g 7.380 * [taylor]: Taking taylor expansion of 0 in h 7.386 * [taylor]: Taking taylor expansion of 0 in h 7.401 * [taylor]: Taking taylor expansion of 0 in g 7.401 * [taylor]: Taking taylor expansion of 0 in h 7.402 * [taylor]: Taking taylor expansion of 0 in h 7.411 * [taylor]: Taking taylor expansion of (* 1/12 (/ (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) (pow h 2))) in h 7.411 * [taylor]: Taking taylor expansion of 1/12 in h 7.411 * [taylor]: Taking taylor expansion of (/ (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) (pow h 2)) in h 7.411 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))))) in h 7.411 * [taylor]: Taking taylor expansion of (cbrt 0.5) in h 7.411 * [taylor]: Taking taylor expansion of 0.5 in h 7.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))))) in h 7.412 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))))) in h 7.412 * [taylor]: Taking taylor expansion of 1/3 in h 7.412 * [taylor]: Taking taylor expansion of (+ (log a) (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2))))))) in h 7.412 * [taylor]: Taking taylor expansion of (log a) in h 7.412 * [taylor]: Taking taylor expansion of a in h 7.412 * [taylor]: Taking taylor expansion of (+ (log g) (log (- (* 1/2 (/ 1 (pow h 2)))))) in h 7.412 * [taylor]: Taking taylor expansion of (log g) in h 7.412 * [taylor]: Taking taylor expansion of g in h 7.412 * [taylor]: Taking taylor expansion of (log (- (* 1/2 (/ 1 (pow h 2))))) in h 7.412 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow h 2)))) in h 7.412 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow h 2))) in h 7.412 * [taylor]: Taking taylor expansion of 1/2 in h 7.412 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.412 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.412 * [taylor]: Taking taylor expansion of h in h 7.416 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.416 * [taylor]: Taking taylor expansion of h in h 7.439 * [approximate]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in (a g h) around 0 7.439 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in h 7.439 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in h 7.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in h 7.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in h 7.440 * [taylor]: Taking taylor expansion of 1/3 in h 7.440 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in h 7.440 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in h 7.440 * [taylor]: Taking taylor expansion of a in h 7.440 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in h 7.440 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 7.440 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 7.440 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 7.440 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.440 * [taylor]: Taking taylor expansion of g in h 7.440 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.440 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.440 * [taylor]: Taking taylor expansion of h in h 7.443 * [taylor]: Taking taylor expansion of (/ 1 g) in h 7.443 * [taylor]: Taking taylor expansion of g in h 7.445 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 7.445 * [taylor]: Taking taylor expansion of -0.5 in h 7.446 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in g 7.446 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in g 7.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 7.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 7.446 * [taylor]: Taking taylor expansion of 1/3 in g 7.446 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 7.446 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 7.446 * [taylor]: Taking taylor expansion of a in g 7.446 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 7.446 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.446 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.446 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.446 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.446 * [taylor]: Taking taylor expansion of g in g 7.447 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.447 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.447 * [taylor]: Taking taylor expansion of h in g 7.452 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.453 * [taylor]: Taking taylor expansion of g in g 7.454 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 7.454 * [taylor]: Taking taylor expansion of -0.5 in g 7.454 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in a 7.454 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 7.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 7.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 7.454 * [taylor]: Taking taylor expansion of 1/3 in a 7.454 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 7.454 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 7.454 * [taylor]: Taking taylor expansion of a in a 7.455 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 7.455 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 7.455 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 7.455 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 7.455 * [taylor]: Taking taylor expansion of (pow g 2) in a 7.455 * [taylor]: Taking taylor expansion of g in a 7.455 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 7.455 * [taylor]: Taking taylor expansion of (pow h 2) in a 7.455 * [taylor]: Taking taylor expansion of h in a 7.456 * [taylor]: Taking taylor expansion of (/ 1 g) in a 7.456 * [taylor]: Taking taylor expansion of g in a 7.458 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 7.459 * [taylor]: Taking taylor expansion of -0.5 in a 7.459 * [taylor]: Taking taylor expansion of (* (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) (cbrt -0.5)) in a 7.459 * [taylor]: Taking taylor expansion of (pow (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) 1/3) in a 7.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in a 7.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in a 7.459 * [taylor]: Taking taylor expansion of 1/3 in a 7.459 * [taylor]: Taking taylor expansion of (log (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in a 7.459 * [taylor]: Taking taylor expansion of (* a (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in a 7.459 * [taylor]: Taking taylor expansion of a in a 7.459 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in a 7.459 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in a 7.459 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in a 7.459 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in a 7.459 * [taylor]: Taking taylor expansion of (pow g 2) in a 7.459 * [taylor]: Taking taylor expansion of g in a 7.460 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in a 7.460 * [taylor]: Taking taylor expansion of (pow h 2) in a 7.460 * [taylor]: Taking taylor expansion of h in a 7.461 * [taylor]: Taking taylor expansion of (/ 1 g) in a 7.461 * [taylor]: Taking taylor expansion of g in a 7.464 * [taylor]: Taking taylor expansion of (cbrt -0.5) in a 7.464 * [taylor]: Taking taylor expansion of -0.5 in a 7.465 * [taylor]: Taking taylor expansion of (* (cbrt -0.5) (exp (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))))) in g 7.465 * [taylor]: Taking taylor expansion of (cbrt -0.5) in g 7.465 * [taylor]: Taking taylor expansion of -0.5 in g 7.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))))) in g 7.466 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))))) in g 7.466 * [taylor]: Taking taylor expansion of 1/3 in g 7.466 * [taylor]: Taking taylor expansion of (+ (log a) (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)))) in g 7.466 * [taylor]: Taking taylor expansion of (log a) in g 7.466 * [taylor]: Taking taylor expansion of a in g 7.466 * [taylor]: Taking taylor expansion of (log (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g))) in g 7.466 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) (/ 1 g)) in g 7.466 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 7.466 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.466 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.466 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.466 * [taylor]: Taking taylor expansion of g in g 7.466 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.466 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.466 * [taylor]: Taking taylor expansion of h in g 7.468 * [taylor]: Taking taylor expansion of (/ 1 g) in g 7.468 * [taylor]: Taking taylor expansion of g in g 7.471 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) in h 7.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) in h 7.472 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log a) (log 2)) (log g))) in h 7.472 * [taylor]: Taking taylor expansion of 1/3 in h 7.472 * [taylor]: Taking taylor expansion of (- (+ (log a) (log 2)) (log g)) in h 7.472 * [taylor]: Taking taylor expansion of (+ (log a) (log 2)) in h 7.472 * [taylor]: Taking taylor expansion of (log a) in h 7.472 * [taylor]: Taking taylor expansion of a in h 7.472 * [taylor]: Taking taylor expansion of (log 2) in h 7.472 * [taylor]: Taking taylor expansion of 2 in h 7.472 * [taylor]: Taking taylor expansion of (log g) in h 7.472 * [taylor]: Taking taylor expansion of g in h 7.473 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 7.473 * [taylor]: Taking taylor expansion of -0.5 in h 7.481 * [taylor]: Taking taylor expansion of 0 in g 7.481 * [taylor]: Taking taylor expansion of 0 in h 7.485 * [taylor]: Taking taylor expansion of 0 in h 7.499 * [taylor]: Taking taylor expansion of 0 in g 7.499 * [taylor]: Taking taylor expansion of 0 in h 7.499 * [taylor]: Taking taylor expansion of 0 in h 7.508 * [taylor]: Taking taylor expansion of (- (* 1/12 (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2)))) in h 7.508 * [taylor]: Taking taylor expansion of (* 1/12 (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2))) in h 7.508 * [taylor]: Taking taylor expansion of 1/12 in h 7.508 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) (pow h 2)) in h 7.508 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) (cbrt -0.5)) in h 7.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log a) (log 2)) (log g)))) in h 7.508 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log a) (log 2)) (log g))) in h 7.508 * [taylor]: Taking taylor expansion of 1/3 in h 7.508 * [taylor]: Taking taylor expansion of (- (+ (log a) (log 2)) (log g)) in h 7.508 * [taylor]: Taking taylor expansion of (+ (log a) (log 2)) in h 7.508 * [taylor]: Taking taylor expansion of (log a) in h 7.508 * [taylor]: Taking taylor expansion of a in h 7.508 * [taylor]: Taking taylor expansion of (log 2) in h 7.508 * [taylor]: Taking taylor expansion of 2 in h 7.509 * [taylor]: Taking taylor expansion of (log g) in h 7.509 * [taylor]: Taking taylor expansion of g in h 7.510 * [taylor]: Taking taylor expansion of (cbrt -0.5) in h 7.510 * [taylor]: Taking taylor expansion of -0.5 in h 7.511 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.511 * [taylor]: Taking taylor expansion of h in h 7.529 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1) 7.530 * [approximate]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in (g h) around 0 7.530 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 7.530 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.530 * [taylor]: Taking taylor expansion of g in h 7.530 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.530 * [taylor]: Taking taylor expansion of h in h 7.530 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 7.530 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.530 * [taylor]: Taking taylor expansion of g in g 7.530 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.530 * [taylor]: Taking taylor expansion of h in g 7.530 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 7.530 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.530 * [taylor]: Taking taylor expansion of g in g 7.530 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.530 * [taylor]: Taking taylor expansion of h in g 7.530 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 7.530 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.530 * [taylor]: Taking taylor expansion of h in h 7.531 * [taylor]: Taking taylor expansion of 0 in h 7.532 * [taylor]: Taking taylor expansion of 1 in h 7.534 * [taylor]: Taking taylor expansion of 0 in h 7.536 * [taylor]: Taking taylor expansion of 0 in h 7.536 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 7.536 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 7.536 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 7.536 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.536 * [taylor]: Taking taylor expansion of g in h 7.537 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.537 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.537 * [taylor]: Taking taylor expansion of h in h 7.537 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.537 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.537 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.537 * [taylor]: Taking taylor expansion of g in g 7.538 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.538 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.538 * [taylor]: Taking taylor expansion of h in g 7.538 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.538 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.538 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.538 * [taylor]: Taking taylor expansion of g in g 7.538 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.538 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.538 * [taylor]: Taking taylor expansion of h in g 7.539 * [taylor]: Taking taylor expansion of 1 in h 7.543 * [taylor]: Taking taylor expansion of 0 in h 7.544 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 7.544 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.544 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.544 * [taylor]: Taking taylor expansion of h in h 7.547 * [taylor]: Taking taylor expansion of 0 in h 7.550 * [taylor]: Taking taylor expansion of 0 in h 7.552 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 7.552 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 7.552 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 7.552 * [taylor]: Taking taylor expansion of (pow g 2) in h 7.552 * [taylor]: Taking taylor expansion of g in h 7.552 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.552 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.552 * [taylor]: Taking taylor expansion of h in h 7.553 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.553 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.553 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.553 * [taylor]: Taking taylor expansion of g in g 7.553 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.553 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.553 * [taylor]: Taking taylor expansion of h in g 7.553 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 7.553 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 7.553 * [taylor]: Taking taylor expansion of (pow g 2) in g 7.553 * [taylor]: Taking taylor expansion of g in g 7.554 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 7.554 * [taylor]: Taking taylor expansion of (pow h 2) in g 7.554 * [taylor]: Taking taylor expansion of h in g 7.554 * [taylor]: Taking taylor expansion of 1 in h 7.555 * [taylor]: Taking taylor expansion of 0 in h 7.556 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 7.556 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 7.557 * [taylor]: Taking taylor expansion of (pow h 2) in h 7.557 * [taylor]: Taking taylor expansion of h in h 7.559 * [taylor]: Taking taylor expansion of 0 in h 7.562 * [taylor]: Taking taylor expansion of 0 in h 7.564 * * * [progress]: simplifying candidates 7.565 * [simplify]: Simplifying using # : (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (exp (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (/ 1.0 (* 2.0 a))) (cbrt (+ (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (* (* 2.0 a) (+ (* (- g) (- g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (* 1.0 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (* (* 2.0 a) (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3)))) (cbrt (+ (* (- g) (- g)) (- (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (* (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* 2.0 a)) (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (* (* (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))) (/ (exp (* g g)) (exp (* h h))) (log (- (* g g) (* h h))) (exp (- (* g g) (* h h))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow (* g g) 3) (pow (* h h) 3)) (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))) (- (* h h)) (- (* (* g g) (* g g)) (* (* h h) (* h h))) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (* (sqrt -1) h) g (* -1 g) (* (sqrt -1) h) g (* -1 g) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a))))) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log -1/2) (log (/ 1 g)))) (* 2 (log (/ 1 h))))))) (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) 7.569 * * [simplify]: iteration 0 : 137 enodes (cost 1112 ) 7.593 * * [simplify]: iteration 1 : 319 enodes (cost 990 ) 7.664 * * [simplify]: iteration 2 : 1088 enodes (cost 876 ) 8.262 * * [simplify]: iteration done : 5000 enodes (cost 859 ) 8.262 * [simplify]: Simplified to: (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (pow h 2) (+ (* g g) (* h h))) (pow g 4))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (pow h 2) (+ (* g g) (* h h))) (pow g 4))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g)))) (exp (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g)))) (cbrt (/ 1.0 (* 2.0 a))) (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (* (- (pow (sqrt (- (* g g) (* h h))) 3) (pow g 3)) 1.0)) (cbrt (* 2.0 (* a (+ (- (* 2 (* g g)) (* h h)) (* g (sqrt (- (* g g) (* h h)))))))) (cbrt (* (+ 0 (* h h)) 1.0)) (cbrt (* (* 2.0 a) (- (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (/ (* (- (pow (sqrt (- (* g g) (* h h))) 3) (pow g 3)) 1.0) (* 2.0 a))) (cbrt (+ (- (* 2 (* g g)) (* h h)) (* g (sqrt (- (* g g) (* h h)))))) (cbrt (/ (* (/ 1.0 2.0) (+ 0 (* h h))) a)) (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (* 1.0 (- (sqrt (- (* g g) (* h h))) g))) (cbrt (* 2.0 a)) (* (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g)))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g))))) (cbrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g)))) (pow (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g))) 3) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g)))) (sqrt (cbrt (* (/ 1.0 (* 2.0 a)) (- (sqrt (- (* g g) (* h h))) g)))) (exp (* (+ g h) (- g h))) (log (- (* g g) (* h h))) (exp (* (+ g h) (- g h))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (pow (- (* g g) (* h h)) 3) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow g 6) (pow h 6)) (+ (* (pow h 2) (+ (* g g) (* h h))) (pow g 4)) (- (* h h)) (- (pow g 4) (pow h 4)) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (* (sqrt -1) h) g (- g) (* (sqrt -1) h) g (- g) (* (cbrt 0.5) (exp (* 1/3 (- (+ (log h) (log (sqrt -1))) (log a))))) (* (pow (exp (+ (- (- (log -1/2) (log g)) (log a)) (* 2 (log h)))) 1/3) (cbrt 0.5)) (* (cbrt -0.5) (exp (* 1/3 (- (+ (log 2) (log (/ -1 a))) (log (/ -1 g)))))) (- (* g g) (* h h)) (- (* g g) (* h h)) (- (* g g) (* h h)) 8.263 * * * [progress]: adding candidates to table 8.589 * * [progress]: iteration 3 / 4 8.589 * * * [progress]: picking best candidate 8.656 * * * * [pick]: Picked # 8.656 * * * [progress]: localizing error 8.677 * * * [progress]: generating rewritten candidates 8.677 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 8.681 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1) 8.685 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1) 8.687 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1) 8.691 * * * [progress]: generating series expansions 8.691 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 8.691 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 8.691 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 8.691 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 8.691 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.691 * [taylor]: Taking taylor expansion of g in h 8.691 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.691 * [taylor]: Taking taylor expansion of h in h 8.692 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 8.692 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.692 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.692 * [taylor]: Taking taylor expansion of g in g 8.692 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.692 * [taylor]: Taking taylor expansion of h in g 8.693 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 8.693 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.693 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.693 * [taylor]: Taking taylor expansion of g in g 8.693 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.693 * [taylor]: Taking taylor expansion of h in g 8.694 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 8.694 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 8.694 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.694 * [taylor]: Taking taylor expansion of h in h 8.696 * [taylor]: Taking taylor expansion of 0 in h 8.698 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 8.698 * [taylor]: Taking taylor expansion of 1/2 in h 8.698 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 8.698 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 8.698 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.698 * [taylor]: Taking taylor expansion of h in h 8.703 * [taylor]: Taking taylor expansion of 0 in h 8.705 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 8.705 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 8.705 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.705 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.705 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.705 * [taylor]: Taking taylor expansion of g in h 8.706 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.706 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.706 * [taylor]: Taking taylor expansion of h in h 8.708 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.708 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.708 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.708 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.708 * [taylor]: Taking taylor expansion of g in g 8.709 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.709 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.709 * [taylor]: Taking taylor expansion of h in g 8.711 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.711 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.711 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.711 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.711 * [taylor]: Taking taylor expansion of g in g 8.711 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.711 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.712 * [taylor]: Taking taylor expansion of h in g 8.714 * [taylor]: Taking taylor expansion of 1 in h 8.714 * [taylor]: Taking taylor expansion of 0 in h 8.716 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 8.716 * [taylor]: Taking taylor expansion of -1/2 in h 8.716 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.716 * [taylor]: Taking taylor expansion of h in h 8.719 * [taylor]: Taking taylor expansion of 0 in h 8.720 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 8.721 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 8.721 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.721 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.721 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.721 * [taylor]: Taking taylor expansion of g in h 8.721 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.721 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.721 * [taylor]: Taking taylor expansion of h in h 8.724 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.724 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.724 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.724 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.724 * [taylor]: Taking taylor expansion of g in g 8.724 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.724 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.724 * [taylor]: Taking taylor expansion of h in g 8.726 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.727 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.727 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.727 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.727 * [taylor]: Taking taylor expansion of g in g 8.727 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.727 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.727 * [taylor]: Taking taylor expansion of h in g 8.729 * [taylor]: Taking taylor expansion of 1 in h 8.730 * [taylor]: Taking taylor expansion of 0 in h 8.734 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 8.735 * [taylor]: Taking taylor expansion of -1/2 in h 8.735 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.735 * [taylor]: Taking taylor expansion of h in h 8.738 * [taylor]: Taking taylor expansion of 0 in h 8.739 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1) 8.739 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 8.739 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 8.739 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 8.739 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.739 * [taylor]: Taking taylor expansion of g in h 8.739 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.739 * [taylor]: Taking taylor expansion of h in h 8.740 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 8.740 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.740 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.740 * [taylor]: Taking taylor expansion of g in g 8.740 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.740 * [taylor]: Taking taylor expansion of h in g 8.741 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 8.741 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.741 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.741 * [taylor]: Taking taylor expansion of g in g 8.741 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.741 * [taylor]: Taking taylor expansion of h in g 8.742 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 8.742 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 8.742 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.742 * [taylor]: Taking taylor expansion of h in h 8.744 * [taylor]: Taking taylor expansion of 0 in h 8.746 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 8.746 * [taylor]: Taking taylor expansion of 1/2 in h 8.746 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 8.746 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 8.746 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.746 * [taylor]: Taking taylor expansion of h in h 8.750 * [taylor]: Taking taylor expansion of 0 in h 8.753 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 8.753 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 8.753 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.753 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.753 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.753 * [taylor]: Taking taylor expansion of g in h 8.753 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.753 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.753 * [taylor]: Taking taylor expansion of h in h 8.756 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.756 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.756 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.756 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.756 * [taylor]: Taking taylor expansion of g in g 8.757 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.757 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.757 * [taylor]: Taking taylor expansion of h in g 8.759 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.759 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.759 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.759 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.759 * [taylor]: Taking taylor expansion of g in g 8.759 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.759 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.759 * [taylor]: Taking taylor expansion of h in g 8.761 * [taylor]: Taking taylor expansion of 1 in h 8.761 * [taylor]: Taking taylor expansion of 0 in h 8.763 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 8.763 * [taylor]: Taking taylor expansion of -1/2 in h 8.763 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.763 * [taylor]: Taking taylor expansion of h in h 8.767 * [taylor]: Taking taylor expansion of 0 in h 8.768 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 8.768 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 8.768 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.768 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.768 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.768 * [taylor]: Taking taylor expansion of g in h 8.768 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.768 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.768 * [taylor]: Taking taylor expansion of h in h 8.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.771 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.771 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.771 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.771 * [taylor]: Taking taylor expansion of g in g 8.771 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.772 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.772 * [taylor]: Taking taylor expansion of h in g 8.774 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 8.774 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.774 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.774 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.774 * [taylor]: Taking taylor expansion of g in g 8.774 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.774 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.774 * [taylor]: Taking taylor expansion of h in g 8.777 * [taylor]: Taking taylor expansion of 1 in h 8.777 * [taylor]: Taking taylor expansion of 0 in h 8.779 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 8.779 * [taylor]: Taking taylor expansion of -1/2 in h 8.779 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.779 * [taylor]: Taking taylor expansion of h in h 8.782 * [taylor]: Taking taylor expansion of 0 in h 8.783 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1) 8.783 * [approximate]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in (g h) around 0 8.784 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 8.784 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.784 * [taylor]: Taking taylor expansion of g in h 8.784 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.784 * [taylor]: Taking taylor expansion of h in h 8.784 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.784 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.784 * [taylor]: Taking taylor expansion of g in g 8.784 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.784 * [taylor]: Taking taylor expansion of h in g 8.784 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.784 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.784 * [taylor]: Taking taylor expansion of g in g 8.784 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.784 * [taylor]: Taking taylor expansion of h in g 8.784 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 8.784 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.784 * [taylor]: Taking taylor expansion of h in h 8.785 * [taylor]: Taking taylor expansion of 0 in h 8.786 * [taylor]: Taking taylor expansion of 1 in h 8.787 * [taylor]: Taking taylor expansion of 0 in h 8.790 * [taylor]: Taking taylor expansion of 0 in h 8.790 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 8.790 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.790 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.790 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.790 * [taylor]: Taking taylor expansion of g in h 8.790 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.790 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.790 * [taylor]: Taking taylor expansion of h in h 8.791 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.791 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.791 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.791 * [taylor]: Taking taylor expansion of g in g 8.791 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.791 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.791 * [taylor]: Taking taylor expansion of h in g 8.791 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.791 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.791 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.791 * [taylor]: Taking taylor expansion of g in g 8.792 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.792 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.792 * [taylor]: Taking taylor expansion of h in g 8.792 * [taylor]: Taking taylor expansion of 1 in h 8.793 * [taylor]: Taking taylor expansion of 0 in h 8.794 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 8.794 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.795 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.795 * [taylor]: Taking taylor expansion of h in h 8.797 * [taylor]: Taking taylor expansion of 0 in h 8.800 * [taylor]: Taking taylor expansion of 0 in h 8.802 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 8.802 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.802 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.802 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.802 * [taylor]: Taking taylor expansion of g in h 8.802 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.802 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.802 * [taylor]: Taking taylor expansion of h in h 8.802 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.802 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.802 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.802 * [taylor]: Taking taylor expansion of g in g 8.803 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.803 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.803 * [taylor]: Taking taylor expansion of h in g 8.803 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.803 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.803 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.803 * [taylor]: Taking taylor expansion of g in g 8.804 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.804 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.804 * [taylor]: Taking taylor expansion of h in g 8.804 * [taylor]: Taking taylor expansion of 1 in h 8.805 * [taylor]: Taking taylor expansion of 0 in h 8.806 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 8.806 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.806 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.806 * [taylor]: Taking taylor expansion of h in h 8.809 * [taylor]: Taking taylor expansion of 0 in h 8.812 * [taylor]: Taking taylor expansion of 0 in h 8.813 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1) 8.813 * [approximate]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in (g h) around 0 8.814 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 8.814 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.814 * [taylor]: Taking taylor expansion of g in h 8.814 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.814 * [taylor]: Taking taylor expansion of h in h 8.814 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.814 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.814 * [taylor]: Taking taylor expansion of g in g 8.814 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.814 * [taylor]: Taking taylor expansion of h in g 8.814 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 8.814 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.814 * [taylor]: Taking taylor expansion of g in g 8.814 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.814 * [taylor]: Taking taylor expansion of h in g 8.814 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 8.814 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.814 * [taylor]: Taking taylor expansion of h in h 8.815 * [taylor]: Taking taylor expansion of 0 in h 8.816 * [taylor]: Taking taylor expansion of 1 in h 8.820 * [taylor]: Taking taylor expansion of 0 in h 8.822 * [taylor]: Taking taylor expansion of 0 in h 8.823 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 8.823 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.823 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.823 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.823 * [taylor]: Taking taylor expansion of g in h 8.823 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.823 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.823 * [taylor]: Taking taylor expansion of h in h 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.824 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.824 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.824 * [taylor]: Taking taylor expansion of g in g 8.824 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.824 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.824 * [taylor]: Taking taylor expansion of h in g 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.824 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.824 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.824 * [taylor]: Taking taylor expansion of g in g 8.825 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.825 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.825 * [taylor]: Taking taylor expansion of h in g 8.825 * [taylor]: Taking taylor expansion of 1 in h 8.826 * [taylor]: Taking taylor expansion of 0 in h 8.828 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 8.828 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.828 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.828 * [taylor]: Taking taylor expansion of h in h 8.830 * [taylor]: Taking taylor expansion of 0 in h 8.833 * [taylor]: Taking taylor expansion of 0 in h 8.835 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 8.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 8.835 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 8.835 * [taylor]: Taking taylor expansion of (pow g 2) in h 8.835 * [taylor]: Taking taylor expansion of g in h 8.835 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.835 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.835 * [taylor]: Taking taylor expansion of h in h 8.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.836 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.836 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.836 * [taylor]: Taking taylor expansion of g in g 8.836 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.836 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.836 * [taylor]: Taking taylor expansion of h in g 8.836 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 8.836 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 8.836 * [taylor]: Taking taylor expansion of (pow g 2) in g 8.836 * [taylor]: Taking taylor expansion of g in g 8.837 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 8.837 * [taylor]: Taking taylor expansion of (pow h 2) in g 8.837 * [taylor]: Taking taylor expansion of h in g 8.837 * [taylor]: Taking taylor expansion of 1 in h 8.838 * [taylor]: Taking taylor expansion of 0 in h 8.839 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 8.839 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 8.839 * [taylor]: Taking taylor expansion of (pow h 2) in h 8.839 * [taylor]: Taking taylor expansion of h in h 8.842 * [taylor]: Taking taylor expansion of 0 in h 8.845 * [taylor]: Taking taylor expansion of 0 in h 8.846 * * * [progress]: simplifying candidates 8.847 * [simplify]: Simplifying using # : (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (/ (exp (* g g)) (exp (* h h))) (log (- (* g g) (* h h))) (exp (- (* g g) (* h h))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow (* g g) 3) (pow (* h h) 3)) (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))) (- (* h h)) (- (* (* g g) (* g g)) (* (* h h) (* h h))) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (/ (exp (* g g)) (exp (* h h))) (log (- (* g g) (* h h))) (exp (- (* g g) (* h h))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow (* g g) 3) (pow (* h h) 3)) (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))) (- (* h h)) (- (* (* g g) (* g g)) (* (* h h) (* h h))) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (* (sqrt -1) h) g (* -1 g) (* (sqrt -1) h) g (* -1 g) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) 8.849 * * [simplify]: iteration 0 : 55 enodes (cost 808 ) 8.859 * * [simplify]: iteration 1 : 122 enodes (cost 744 ) 8.885 * * [simplify]: iteration 2 : 380 enodes (cost 640 ) 9.007 * * [simplify]: iteration 3 : 1502 enodes (cost 640 ) 9.480 * * [simplify]: iteration done : 5000 enodes (cost 640 ) 9.481 * [simplify]: Simplified to: (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4)))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4)))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (exp (- (pow g 2) (pow h 2))) (log (- (* g g) (* h h))) (exp (- (pow g 2) (pow h 2))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (pow (- (pow g 2) (pow h 2)) 3) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow g 6) (pow h 6)) (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4))) (- (* h h)) (- (pow g 4) (pow h 4)) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (exp (- (pow g 2) (pow h 2))) (log (- (* g g) (* h h))) (exp (- (pow g 2) (pow h 2))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (pow (- (pow g 2) (pow h 2)) 3) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow g 6) (pow h 6)) (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4))) (- (* h h)) (- (pow g 4) (pow h 4)) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (* (sqrt -1) h) g (- g) (* (sqrt -1) h) g (- g) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) 9.481 * * * [progress]: adding candidates to table 9.818 * * [progress]: iteration 4 / 4 9.818 * * * [progress]: picking best candidate 9.886 * * * * [pick]: Picked # 9.886 * * * [progress]: localizing error 9.905 * * * [progress]: generating rewritten candidates 9.905 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 9.909 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 9.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1) 9.915 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 9.920 * * * [progress]: generating series expansions 9.920 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 9.920 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 9.920 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 9.920 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 9.921 * [taylor]: Taking taylor expansion of (pow g 2) in h 9.921 * [taylor]: Taking taylor expansion of g in h 9.921 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.921 * [taylor]: Taking taylor expansion of h in h 9.921 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 9.921 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 9.921 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.921 * [taylor]: Taking taylor expansion of g in g 9.921 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.921 * [taylor]: Taking taylor expansion of h in g 9.922 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 9.922 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 9.922 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.922 * [taylor]: Taking taylor expansion of g in g 9.922 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.922 * [taylor]: Taking taylor expansion of h in g 9.923 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 9.923 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 9.923 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.923 * [taylor]: Taking taylor expansion of h in h 9.926 * [taylor]: Taking taylor expansion of 0 in h 9.927 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 9.927 * [taylor]: Taking taylor expansion of 1/2 in h 9.927 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 9.927 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 9.927 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.927 * [taylor]: Taking taylor expansion of h in h 9.932 * [taylor]: Taking taylor expansion of 0 in h 9.935 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 9.935 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 9.935 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 9.935 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 9.935 * [taylor]: Taking taylor expansion of (pow g 2) in h 9.935 * [taylor]: Taking taylor expansion of g in h 9.935 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 9.935 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.935 * [taylor]: Taking taylor expansion of h in h 9.938 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.938 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.938 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.938 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.938 * [taylor]: Taking taylor expansion of g in g 9.938 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.938 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.938 * [taylor]: Taking taylor expansion of h in g 9.940 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.940 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.940 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.941 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.941 * [taylor]: Taking taylor expansion of g in g 9.941 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.941 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.941 * [taylor]: Taking taylor expansion of h in g 9.943 * [taylor]: Taking taylor expansion of 1 in h 9.943 * [taylor]: Taking taylor expansion of 0 in h 9.945 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 9.945 * [taylor]: Taking taylor expansion of -1/2 in h 9.945 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.945 * [taylor]: Taking taylor expansion of h in h 9.949 * [taylor]: Taking taylor expansion of 0 in h 9.950 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 9.950 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 9.950 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 9.950 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 9.950 * [taylor]: Taking taylor expansion of (pow g 2) in h 9.950 * [taylor]: Taking taylor expansion of g in h 9.950 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 9.950 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.950 * [taylor]: Taking taylor expansion of h in h 9.953 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.953 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.953 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.953 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.953 * [taylor]: Taking taylor expansion of g in g 9.954 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.954 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.954 * [taylor]: Taking taylor expansion of h in g 9.956 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.956 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.956 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.956 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.956 * [taylor]: Taking taylor expansion of g in g 9.956 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.957 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.957 * [taylor]: Taking taylor expansion of h in g 9.959 * [taylor]: Taking taylor expansion of 1 in h 9.959 * [taylor]: Taking taylor expansion of 0 in h 9.961 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 9.961 * [taylor]: Taking taylor expansion of -1/2 in h 9.961 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.961 * [taylor]: Taking taylor expansion of h in h 9.964 * [taylor]: Taking taylor expansion of 0 in h 9.965 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 9.966 * [approximate]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in (g h) around 0 9.966 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in h 9.966 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 9.966 * [taylor]: Taking taylor expansion of (pow g 2) in h 9.966 * [taylor]: Taking taylor expansion of g in h 9.966 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.966 * [taylor]: Taking taylor expansion of h in h 9.966 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 9.966 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 9.966 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.966 * [taylor]: Taking taylor expansion of g in g 9.966 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.966 * [taylor]: Taking taylor expansion of h in g 9.967 * [taylor]: Taking taylor expansion of (sqrt (- (pow g 2) (pow h 2))) in g 9.967 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 9.967 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.967 * [taylor]: Taking taylor expansion of g in g 9.967 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.967 * [taylor]: Taking taylor expansion of h in g 9.968 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 9.968 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 9.968 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.968 * [taylor]: Taking taylor expansion of h in h 9.970 * [taylor]: Taking taylor expansion of 0 in h 9.972 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow h 2)))) in h 9.972 * [taylor]: Taking taylor expansion of 1/2 in h 9.972 * [taylor]: Taking taylor expansion of (sqrt (- (pow h 2))) in h 9.972 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 9.972 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.972 * [taylor]: Taking taylor expansion of h in h 9.977 * [taylor]: Taking taylor expansion of 0 in h 9.979 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 9.979 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 9.979 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 9.979 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 9.979 * [taylor]: Taking taylor expansion of (pow g 2) in h 9.979 * [taylor]: Taking taylor expansion of g in h 9.980 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 9.980 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.980 * [taylor]: Taking taylor expansion of h in h 9.982 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.982 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.982 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.982 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.982 * [taylor]: Taking taylor expansion of g in g 9.983 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.983 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.983 * [taylor]: Taking taylor expansion of h in g 9.985 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.985 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.985 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.985 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.985 * [taylor]: Taking taylor expansion of g in g 9.985 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.985 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.985 * [taylor]: Taking taylor expansion of h in g 9.987 * [taylor]: Taking taylor expansion of 1 in h 9.987 * [taylor]: Taking taylor expansion of 0 in h 9.989 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 9.989 * [taylor]: Taking taylor expansion of -1/2 in h 9.990 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.990 * [taylor]: Taking taylor expansion of h in h 9.993 * [taylor]: Taking taylor expansion of 0 in h 9.994 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in (g h) around 0 9.994 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in h 9.994 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 9.994 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 9.994 * [taylor]: Taking taylor expansion of (pow g 2) in h 9.994 * [taylor]: Taking taylor expansion of g in h 9.994 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 9.994 * [taylor]: Taking taylor expansion of (pow h 2) in h 9.994 * [taylor]: Taking taylor expansion of h in h 9.997 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 9.997 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 9.997 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 9.997 * [taylor]: Taking taylor expansion of (pow g 2) in g 9.997 * [taylor]: Taking taylor expansion of g in g 9.998 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 9.998 * [taylor]: Taking taylor expansion of (pow h 2) in g 9.998 * [taylor]: Taking taylor expansion of h in g 10.000 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow g 2)) (/ 1 (pow h 2)))) in g 10.000 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.000 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.000 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.000 * [taylor]: Taking taylor expansion of g in g 10.001 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.001 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.001 * [taylor]: Taking taylor expansion of h in g 10.005 * [taylor]: Taking taylor expansion of 1 in h 10.006 * [taylor]: Taking taylor expansion of 0 in h 10.008 * [taylor]: Taking taylor expansion of (/ -1/2 (pow h 2)) in h 10.008 * [taylor]: Taking taylor expansion of -1/2 in h 10.008 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.008 * [taylor]: Taking taylor expansion of h in h 10.011 * [taylor]: Taking taylor expansion of 0 in h 10.012 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1) 10.013 * [approximate]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in (g h) around 0 10.013 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 10.013 * [taylor]: Taking taylor expansion of (pow g 2) in h 10.013 * [taylor]: Taking taylor expansion of g in h 10.013 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.013 * [taylor]: Taking taylor expansion of h in h 10.013 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 10.013 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.013 * [taylor]: Taking taylor expansion of g in g 10.013 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.013 * [taylor]: Taking taylor expansion of h in g 10.013 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 10.013 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.013 * [taylor]: Taking taylor expansion of g in g 10.013 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.013 * [taylor]: Taking taylor expansion of h in g 10.013 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 10.013 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.013 * [taylor]: Taking taylor expansion of h in h 10.014 * [taylor]: Taking taylor expansion of 0 in h 10.015 * [taylor]: Taking taylor expansion of 1 in h 10.016 * [taylor]: Taking taylor expansion of 0 in h 10.019 * [taylor]: Taking taylor expansion of 0 in h 10.019 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 10.019 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 10.019 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 10.019 * [taylor]: Taking taylor expansion of (pow g 2) in h 10.019 * [taylor]: Taking taylor expansion of g in h 10.019 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.019 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.019 * [taylor]: Taking taylor expansion of h in h 10.020 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.020 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.020 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.020 * [taylor]: Taking taylor expansion of g in g 10.020 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.020 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.020 * [taylor]: Taking taylor expansion of h in g 10.020 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.020 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.020 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.020 * [taylor]: Taking taylor expansion of g in g 10.021 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.021 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.021 * [taylor]: Taking taylor expansion of h in g 10.021 * [taylor]: Taking taylor expansion of 1 in h 10.022 * [taylor]: Taking taylor expansion of 0 in h 10.023 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 10.024 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.024 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.024 * [taylor]: Taking taylor expansion of h in h 10.026 * [taylor]: Taking taylor expansion of 0 in h 10.029 * [taylor]: Taking taylor expansion of 0 in h 10.030 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 10.030 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 10.031 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 10.031 * [taylor]: Taking taylor expansion of (pow g 2) in h 10.031 * [taylor]: Taking taylor expansion of g in h 10.031 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.031 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.031 * [taylor]: Taking taylor expansion of h in h 10.031 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.031 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.031 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.031 * [taylor]: Taking taylor expansion of g in g 10.032 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.032 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.032 * [taylor]: Taking taylor expansion of h in g 10.032 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.032 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.032 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.032 * [taylor]: Taking taylor expansion of g in g 10.032 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.032 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.032 * [taylor]: Taking taylor expansion of h in g 10.033 * [taylor]: Taking taylor expansion of 1 in h 10.034 * [taylor]: Taking taylor expansion of 0 in h 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 10.035 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.035 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.035 * [taylor]: Taking taylor expansion of h in h 10.037 * [taylor]: Taking taylor expansion of 0 in h 10.040 * [taylor]: Taking taylor expansion of 0 in h 10.042 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 10.042 * [approximate]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in (g h) around 0 10.042 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in h 10.042 * [taylor]: Taking taylor expansion of (pow g 2) in h 10.042 * [taylor]: Taking taylor expansion of g in h 10.042 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.042 * [taylor]: Taking taylor expansion of h in h 10.042 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 10.042 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.042 * [taylor]: Taking taylor expansion of g in g 10.042 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.042 * [taylor]: Taking taylor expansion of h in g 10.042 * [taylor]: Taking taylor expansion of (- (pow g 2) (pow h 2)) in g 10.042 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.042 * [taylor]: Taking taylor expansion of g in g 10.042 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.042 * [taylor]: Taking taylor expansion of h in g 10.043 * [taylor]: Taking taylor expansion of (- (pow h 2)) in h 10.043 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.043 * [taylor]: Taking taylor expansion of h in h 10.043 * [taylor]: Taking taylor expansion of 0 in h 10.044 * [taylor]: Taking taylor expansion of 1 in h 10.046 * [taylor]: Taking taylor expansion of 0 in h 10.048 * [taylor]: Taking taylor expansion of 0 in h 10.049 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 10.049 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 10.049 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 10.049 * [taylor]: Taking taylor expansion of (pow g 2) in h 10.049 * [taylor]: Taking taylor expansion of g in h 10.049 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.049 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.049 * [taylor]: Taking taylor expansion of h in h 10.049 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.049 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.049 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.049 * [taylor]: Taking taylor expansion of g in g 10.050 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.050 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.050 * [taylor]: Taking taylor expansion of h in g 10.050 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.050 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.050 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.050 * [taylor]: Taking taylor expansion of g in g 10.051 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.051 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.051 * [taylor]: Taking taylor expansion of h in g 10.051 * [taylor]: Taking taylor expansion of 1 in h 10.052 * [taylor]: Taking taylor expansion of 0 in h 10.053 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 10.053 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.053 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.054 * [taylor]: Taking taylor expansion of h in h 10.056 * [taylor]: Taking taylor expansion of 0 in h 10.059 * [taylor]: Taking taylor expansion of 0 in h 10.061 * [approximate]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in (g h) around 0 10.061 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in h 10.061 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in h 10.061 * [taylor]: Taking taylor expansion of (pow g 2) in h 10.061 * [taylor]: Taking taylor expansion of g in h 10.061 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.061 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.061 * [taylor]: Taking taylor expansion of h in h 10.061 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.062 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.062 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.062 * [taylor]: Taking taylor expansion of g in g 10.062 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.062 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.062 * [taylor]: Taking taylor expansion of h in g 10.062 * [taylor]: Taking taylor expansion of (- (/ 1 (pow g 2)) (/ 1 (pow h 2))) in g 10.062 * [taylor]: Taking taylor expansion of (/ 1 (pow g 2)) in g 10.062 * [taylor]: Taking taylor expansion of (pow g 2) in g 10.062 * [taylor]: Taking taylor expansion of g in g 10.063 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in g 10.063 * [taylor]: Taking taylor expansion of (pow h 2) in g 10.063 * [taylor]: Taking taylor expansion of h in g 10.063 * [taylor]: Taking taylor expansion of 1 in h 10.064 * [taylor]: Taking taylor expansion of 0 in h 10.065 * [taylor]: Taking taylor expansion of (- (/ 1 (pow h 2))) in h 10.065 * [taylor]: Taking taylor expansion of (/ 1 (pow h 2)) in h 10.065 * [taylor]: Taking taylor expansion of (pow h 2) in h 10.065 * [taylor]: Taking taylor expansion of h in h 10.068 * [taylor]: Taking taylor expansion of 0 in h 10.071 * [taylor]: Taking taylor expansion of 0 in h 10.072 * * * [progress]: simplifying candidates 10.073 * [simplify]: Simplifying using # : (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (* (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h)))) (sqrt (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h))))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt 1) (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow (* g g) 3) (pow (* h h) 3))) (sqrt (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h))))) (sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h)))) (sqrt (+ (* g g) (* h h))) (/ 1 2) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (/ (exp (* g g)) (exp (* h h))) (log (- (* g g) (* h h))) (exp (- (* g g) (* h h))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow (* g g) 3) (pow (* h h) 3)) (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))) (- (* h h)) (- (* (* g g) (* g g)) (* (* h h) (* h h))) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (/ (exp (* g g)) (exp (* h h))) (log (- (* g g) (* h h))) (exp (- (* g g) (* h h))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (* (* (- (* g g) (* h h)) (- (* g g) (* h h))) (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow (* g g) 3) (pow (* h h) 3)) (+ (* (* g g) (* g g)) (+ (* (* h h) (* h h)) (* (* g g) (* h h)))) (- (* h h)) (- (* (* g g) (* g g)) (* (* h h) (* h h))) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (* (sqrt -1) h) g (* -1 g) (* (sqrt -1) h) g (* -1 g) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) 10.075 * * [simplify]: iteration 0 : 55 enodes (cost 808 ) 10.087 * * [simplify]: iteration 1 : 122 enodes (cost 744 ) 10.109 * * [simplify]: iteration 2 : 380 enodes (cost 640 ) 10.233 * * [simplify]: iteration 3 : 1502 enodes (cost 640 ) 10.699 * * [simplify]: iteration done : 5000 enodes (cost 640 ) 10.700 * [simplify]: Simplified to: (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4)))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (log (sqrt (- (* g g) (* h h)))) (exp (sqrt (- (* g g) (* h h)))) (* (cbrt (sqrt (- (* g g) (* h h)))) (cbrt (sqrt (- (* g g) (* h h))))) (cbrt (sqrt (- (* g g) (* h h)))) (pow (sqrt (- (* g g) (* h h))) 3) (fabs (cbrt (- (* g g) (* h h)))) (sqrt (cbrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) 1 (sqrt (- (* g g) (* h h))) (sqrt (+ g h)) (sqrt (- g h)) (sqrt (- (pow g 6) (pow h 6))) (sqrt (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4)))) (sqrt (- (pow g 4) (pow h 4))) (sqrt (+ (* g g) (* h h))) 1/2 (sqrt (sqrt (- (* g g) (* h h)))) (sqrt (sqrt (- (* g g) (* h h)))) (exp (- (pow g 2) (pow h 2))) (log (- (* g g) (* h h))) (exp (- (pow g 2) (pow h 2))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (pow (- (pow g 2) (pow h 2)) 3) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow g 6) (pow h 6)) (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4))) (- (* h h)) (- (pow g 4) (pow h 4)) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (exp (- (pow g 2) (pow h 2))) (log (- (* g g) (* h h))) (exp (- (pow g 2) (pow h 2))) (* (cbrt (- (* g g) (* h h))) (cbrt (- (* g g) (* h h)))) (cbrt (- (* g g) (* h h))) (pow (- (pow g 2) (pow h 2)) 3) (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h))) (- (pow g 6) (pow h 6)) (+ (* (* g g) (* h h)) (+ (pow h 4) (pow g 4))) (- (* h h)) (- (pow g 4) (pow h 4)) (+ (* g g) (* h h)) (+ g h) (- g h) (- (* h h)) (* (sqrt -1) h) g (- g) (* (sqrt -1) h) g (- g) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) (- (pow g 2) (pow h 2)) 10.700 * * * [progress]: adding candidates to table 11.003 * [progress]: [Phase 3 of 3] Extracting. 11.004 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 11.020 * * * [regime-changes]: Trying 6 branch expressions: ((* h h) (* 2.0 a) (/ 1.0 (* 2.0 a)) a h g) 11.020 * * * * [regimes]: Trying to branch on (* h h) from (# # # # # # # # # # # # # # # # #) 11.107 * * * * [regimes]: Trying to branch on (* 2.0 a) from (# # # # # # # # # # # # # # # # #) 11.199 * * * * [regimes]: Trying to branch on (/ 1.0 (* 2.0 a)) from (# # # # # # # # # # # # # # # # #) 11.288 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # # #) 11.380 * * * * [regimes]: Trying to branch on h from (# # # # # # # # # # # # # # # # #) 11.467 * * * * [regimes]: Trying to branch on g from (# # # # # # # # # # # # # # # # #) 11.570 * * * [regime]: Found split indices: #