13.235 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.067 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.068 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.070 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 0.072 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 0.085 * * [simplify]: iteration 3 : 122 enodes (cost 11 ) 0.124 * * [simplify]: iteration 4 : 229 enodes (cost 10 ) 0.203 * * [simplify]: iteration 5 : 296 enodes (cost 10 ) 0.277 * * [simplify]: iteration 6 : 406 enodes (cost 10 ) 0.425 * * [simplify]: iteration 7 : 583 enodes (cost 10 ) 0.636 * * [simplify]: iteration 8 : 654 enodes (cost 10 ) 0.773 * * [simplify]: iteration 9 : 660 enodes (cost 10 ) 0.901 * * [simplify]: iteration done : 660 enodes (cost 10 ) 0.901 * [simplify]: Simplified to: (- (fma (log y) x (log t)) (+ y z)) 0.905 * * [progress]: iteration 1 / 4 0.905 * * * [progress]: picking best candidate 0.908 * * * * [pick]: Picked # 0.908 * * * [progress]: localizing error 0.918 * * * [progress]: generating rewritten candidates 0.918 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 0.922 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.927 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.010 * * * [progress]: generating series expansions 1.010 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 1.010 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 1.010 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.010 * [taylor]: Taking taylor expansion of x in y 1.010 * [taylor]: Taking taylor expansion of (log y) in y 1.010 * [taylor]: Taking taylor expansion of y in y 1.011 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.011 * [taylor]: Taking taylor expansion of x in x 1.011 * [taylor]: Taking taylor expansion of (log y) in x 1.011 * [taylor]: Taking taylor expansion of y in x 1.011 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.011 * [taylor]: Taking taylor expansion of x in x 1.011 * [taylor]: Taking taylor expansion of (log y) in x 1.011 * [taylor]: Taking taylor expansion of y in x 1.011 * [taylor]: Taking taylor expansion of 0 in y 1.012 * [taylor]: Taking taylor expansion of (log y) in y 1.012 * [taylor]: Taking taylor expansion of y in y 1.015 * [taylor]: Taking taylor expansion of 0 in y 1.018 * [taylor]: Taking taylor expansion of 0 in y 1.019 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 1.019 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.019 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.019 * [taylor]: Taking taylor expansion of y in y 1.019 * [taylor]: Taking taylor expansion of x in y 1.020 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.020 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.020 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.020 * [taylor]: Taking taylor expansion of y in x 1.020 * [taylor]: Taking taylor expansion of x in x 1.020 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.020 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.020 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.020 * [taylor]: Taking taylor expansion of y in x 1.020 * [taylor]: Taking taylor expansion of x in x 1.021 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.021 * [taylor]: Taking taylor expansion of y in y 1.023 * [taylor]: Taking taylor expansion of 0 in y 1.026 * [taylor]: Taking taylor expansion of 0 in y 1.031 * [taylor]: Taking taylor expansion of 0 in y 1.031 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 1.031 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 1.031 * [taylor]: Taking taylor expansion of -1 in y 1.031 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.031 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.031 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.031 * [taylor]: Taking taylor expansion of -1 in y 1.031 * [taylor]: Taking taylor expansion of y in y 1.032 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.033 * [taylor]: Taking taylor expansion of -1 in x 1.033 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.033 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.033 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.033 * [taylor]: Taking taylor expansion of -1 in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.034 * [taylor]: Taking taylor expansion of -1 in x 1.034 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.034 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.034 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.034 * [taylor]: Taking taylor expansion of -1 in x 1.034 * [taylor]: Taking taylor expansion of y in x 1.034 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 1.034 * [taylor]: Taking taylor expansion of -1 in y 1.034 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.034 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.034 * [taylor]: Taking taylor expansion of -1 in y 1.034 * [taylor]: Taking taylor expansion of y in y 1.040 * [taylor]: Taking taylor expansion of 0 in y 1.045 * [taylor]: Taking taylor expansion of 0 in y 1.052 * [taylor]: Taking taylor expansion of 0 in y 1.053 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.053 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 1.053 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 1.053 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.053 * [taylor]: Taking taylor expansion of x in y 1.053 * [taylor]: Taking taylor expansion of (log y) in y 1.053 * [taylor]: Taking taylor expansion of y in y 1.053 * [taylor]: Taking taylor expansion of y in y 1.053 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 1.053 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (log y) in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.054 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 1.054 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of (log y) in x 1.054 * [taylor]: Taking taylor expansion of y in x 1.054 * [taylor]: Taking taylor expansion of y in x 1.054 * [taylor]: Taking taylor expansion of (- y) in y 1.054 * [taylor]: Taking taylor expansion of y in y 1.055 * [taylor]: Taking taylor expansion of (log y) in y 1.055 * [taylor]: Taking taylor expansion of y in y 1.058 * [taylor]: Taking taylor expansion of 0 in y 1.062 * [taylor]: Taking taylor expansion of 0 in y 1.064 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 1.064 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 1.064 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.064 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.064 * [taylor]: Taking taylor expansion of y in y 1.064 * [taylor]: Taking taylor expansion of x in y 1.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.065 * [taylor]: Taking taylor expansion of y in y 1.065 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 1.065 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.065 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.065 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.065 * [taylor]: Taking taylor expansion of y in x 1.066 * [taylor]: Taking taylor expansion of x in x 1.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.066 * [taylor]: Taking taylor expansion of y in x 1.066 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 1.066 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.066 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.066 * [taylor]: Taking taylor expansion of y in x 1.066 * [taylor]: Taking taylor expansion of x in x 1.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.066 * [taylor]: Taking taylor expansion of y in x 1.066 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.066 * [taylor]: Taking taylor expansion of y in y 1.068 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.068 * [taylor]: Taking taylor expansion of y in y 1.072 * [taylor]: Taking taylor expansion of 0 in y 1.077 * [taylor]: Taking taylor expansion of 0 in y 1.085 * [taylor]: Taking taylor expansion of 0 in y 1.085 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 1.085 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.085 * [taylor]: Taking taylor expansion of y in y 1.086 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.086 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.086 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.086 * [taylor]: Taking taylor expansion of -1 in y 1.086 * [taylor]: Taking taylor expansion of y in y 1.086 * [taylor]: Taking taylor expansion of x in y 1.088 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 1.088 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.088 * [taylor]: Taking taylor expansion of y in x 1.088 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.088 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.088 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.088 * [taylor]: Taking taylor expansion of -1 in x 1.088 * [taylor]: Taking taylor expansion of y in x 1.088 * [taylor]: Taking taylor expansion of x in x 1.088 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 1.088 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.088 * [taylor]: Taking taylor expansion of y in x 1.088 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.088 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.088 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.088 * [taylor]: Taking taylor expansion of -1 in x 1.088 * [taylor]: Taking taylor expansion of y in x 1.088 * [taylor]: Taking taylor expansion of x in x 1.088 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 1.088 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.088 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.088 * [taylor]: Taking taylor expansion of -1 in y 1.088 * [taylor]: Taking taylor expansion of y in y 1.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.090 * [taylor]: Taking taylor expansion of y in y 1.094 * [taylor]: Taking taylor expansion of 0 in y 1.100 * [taylor]: Taking taylor expansion of 0 in y 1.108 * [taylor]: Taking taylor expansion of 0 in y 1.108 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.109 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 1.109 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 1.109 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 1.109 * [taylor]: Taking taylor expansion of (* x (log y)) in t 1.109 * [taylor]: Taking taylor expansion of x in t 1.109 * [taylor]: Taking taylor expansion of (log y) in t 1.109 * [taylor]: Taking taylor expansion of y in t 1.109 * [taylor]: Taking taylor expansion of (log t) in t 1.109 * [taylor]: Taking taylor expansion of t in t 1.109 * [taylor]: Taking taylor expansion of (+ z y) in t 1.109 * [taylor]: Taking taylor expansion of z in t 1.109 * [taylor]: Taking taylor expansion of y in t 1.109 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 1.109 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 1.109 * [taylor]: Taking taylor expansion of (* x (log y)) in z 1.109 * [taylor]: Taking taylor expansion of x in z 1.109 * [taylor]: Taking taylor expansion of (log y) in z 1.109 * [taylor]: Taking taylor expansion of y in z 1.109 * [taylor]: Taking taylor expansion of (log t) in z 1.109 * [taylor]: Taking taylor expansion of t in z 1.109 * [taylor]: Taking taylor expansion of (+ z y) in z 1.109 * [taylor]: Taking taylor expansion of z in z 1.109 * [taylor]: Taking taylor expansion of y in z 1.109 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 1.109 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 1.109 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.109 * [taylor]: Taking taylor expansion of x in y 1.110 * [taylor]: Taking taylor expansion of (log y) in y 1.110 * [taylor]: Taking taylor expansion of y in y 1.110 * [taylor]: Taking taylor expansion of (log t) in y 1.110 * [taylor]: Taking taylor expansion of t in y 1.110 * [taylor]: Taking taylor expansion of (+ z y) in y 1.110 * [taylor]: Taking taylor expansion of z in y 1.110 * [taylor]: Taking taylor expansion of y in y 1.110 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 1.110 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 1.110 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of (log y) in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.110 * [taylor]: Taking taylor expansion of (log t) in x 1.110 * [taylor]: Taking taylor expansion of t in x 1.110 * [taylor]: Taking taylor expansion of (+ z y) in x 1.110 * [taylor]: Taking taylor expansion of z in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.110 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 1.110 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 1.110 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [taylor]: Taking taylor expansion of (log y) in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.110 * [taylor]: Taking taylor expansion of (log t) in x 1.110 * [taylor]: Taking taylor expansion of t in x 1.110 * [taylor]: Taking taylor expansion of (+ z y) in x 1.110 * [taylor]: Taking taylor expansion of z in x 1.110 * [taylor]: Taking taylor expansion of y in x 1.111 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 1.111 * [taylor]: Taking taylor expansion of (log t) in y 1.111 * [taylor]: Taking taylor expansion of t in y 1.111 * [taylor]: Taking taylor expansion of (+ z y) in y 1.111 * [taylor]: Taking taylor expansion of z in y 1.111 * [taylor]: Taking taylor expansion of y in y 1.111 * [taylor]: Taking taylor expansion of (- (log t) z) in z 1.111 * [taylor]: Taking taylor expansion of (log t) in z 1.111 * [taylor]: Taking taylor expansion of t in z 1.111 * [taylor]: Taking taylor expansion of z in z 1.111 * [taylor]: Taking taylor expansion of (log t) in t 1.111 * [taylor]: Taking taylor expansion of t in t 1.114 * [taylor]: Taking taylor expansion of (log y) in y 1.114 * [taylor]: Taking taylor expansion of y in y 1.114 * [taylor]: Taking taylor expansion of (log y) in z 1.114 * [taylor]: Taking taylor expansion of y in z 1.114 * [taylor]: Taking taylor expansion of (log y) in t 1.114 * [taylor]: Taking taylor expansion of y in t 1.116 * [taylor]: Taking taylor expansion of -1 in z 1.116 * [taylor]: Taking taylor expansion of -1 in t 1.116 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 1.116 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 1.116 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 1.116 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 1.116 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.116 * [taylor]: Taking taylor expansion of t in t 1.117 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 1.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 1.117 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.117 * [taylor]: Taking taylor expansion of y in t 1.117 * [taylor]: Taking taylor expansion of x in t 1.117 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 1.117 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.117 * [taylor]: Taking taylor expansion of y in t 1.117 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.117 * [taylor]: Taking taylor expansion of z in t 1.117 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 1.117 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 1.117 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 1.117 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.117 * [taylor]: Taking taylor expansion of t in z 1.117 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 1.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.117 * [taylor]: Taking taylor expansion of y in z 1.117 * [taylor]: Taking taylor expansion of x in z 1.118 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 1.118 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.118 * [taylor]: Taking taylor expansion of y in z 1.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.118 * [taylor]: Taking taylor expansion of z in z 1.118 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 1.118 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 1.118 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.118 * [taylor]: Taking taylor expansion of t in y 1.118 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.118 * [taylor]: Taking taylor expansion of y in y 1.119 * [taylor]: Taking taylor expansion of x in y 1.119 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.119 * [taylor]: Taking taylor expansion of y in y 1.120 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.120 * [taylor]: Taking taylor expansion of z in y 1.120 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 1.120 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 1.120 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.120 * [taylor]: Taking taylor expansion of t in x 1.120 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.120 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.120 * [taylor]: Taking taylor expansion of y in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.120 * [taylor]: Taking taylor expansion of y in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.120 * [taylor]: Taking taylor expansion of z in x 1.120 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 1.120 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 1.120 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.120 * [taylor]: Taking taylor expansion of t in x 1.120 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.120 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.120 * [taylor]: Taking taylor expansion of y in x 1.121 * [taylor]: Taking taylor expansion of x in x 1.121 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.121 * [taylor]: Taking taylor expansion of y in x 1.121 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.121 * [taylor]: Taking taylor expansion of z in x 1.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.121 * [taylor]: Taking taylor expansion of y in y 1.123 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 1.123 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 1.123 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.123 * [taylor]: Taking taylor expansion of t in y 1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.123 * [taylor]: Taking taylor expansion of y in y 1.123 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.123 * [taylor]: Taking taylor expansion of z in y 1.125 * [taylor]: Taking taylor expansion of -1 in z 1.125 * [taylor]: Taking taylor expansion of (- (log y)) in z 1.125 * [taylor]: Taking taylor expansion of (log y) in z 1.125 * [taylor]: Taking taylor expansion of y in z 1.132 * [taylor]: Taking taylor expansion of 0 in y 1.132 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 1.132 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 1.132 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.132 * [taylor]: Taking taylor expansion of t in z 1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.133 * [taylor]: Taking taylor expansion of z in z 1.133 * [taylor]: Taking taylor expansion of -1 in t 1.134 * [taylor]: Taking taylor expansion of 0 in z 1.135 * [taylor]: Taking taylor expansion of -1 in t 1.135 * [taylor]: Taking taylor expansion of (- (log y)) in t 1.135 * [taylor]: Taking taylor expansion of (log y) in t 1.135 * [taylor]: Taking taylor expansion of y in t 1.136 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 1.136 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 1.136 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 1.136 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 1.136 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.136 * [taylor]: Taking taylor expansion of -1 in t 1.136 * [taylor]: Taking taylor expansion of t in t 1.136 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 1.136 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.136 * [taylor]: Taking taylor expansion of y in t 1.136 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.136 * [taylor]: Taking taylor expansion of z in t 1.136 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 1.136 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 1.136 * [taylor]: Taking taylor expansion of (/ -1 y) in t 1.136 * [taylor]: Taking taylor expansion of -1 in t 1.137 * [taylor]: Taking taylor expansion of y in t 1.137 * [taylor]: Taking taylor expansion of x in t 1.137 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 1.137 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 1.137 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 1.137 * [taylor]: Taking taylor expansion of (/ -1 t) in z 1.137 * [taylor]: Taking taylor expansion of -1 in z 1.137 * [taylor]: Taking taylor expansion of t in z 1.137 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 1.137 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.137 * [taylor]: Taking taylor expansion of y in z 1.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.137 * [taylor]: Taking taylor expansion of z in z 1.137 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 1.137 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.137 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.137 * [taylor]: Taking taylor expansion of -1 in z 1.137 * [taylor]: Taking taylor expansion of y in z 1.137 * [taylor]: Taking taylor expansion of x in z 1.137 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 1.137 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 1.137 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 1.137 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.137 * [taylor]: Taking taylor expansion of -1 in y 1.138 * [taylor]: Taking taylor expansion of t in y 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.138 * [taylor]: Taking taylor expansion of y in y 1.138 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.138 * [taylor]: Taking taylor expansion of z in y 1.138 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.138 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.138 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.138 * [taylor]: Taking taylor expansion of -1 in y 1.138 * [taylor]: Taking taylor expansion of y in y 1.139 * [taylor]: Taking taylor expansion of x in y 1.140 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 1.140 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 1.140 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 1.140 * [taylor]: Taking taylor expansion of (/ -1 t) in x 1.140 * [taylor]: Taking taylor expansion of -1 in x 1.140 * [taylor]: Taking taylor expansion of t in x 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.140 * [taylor]: Taking taylor expansion of y in x 1.140 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.140 * [taylor]: Taking taylor expansion of z in x 1.140 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.140 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.140 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.140 * [taylor]: Taking taylor expansion of -1 in x 1.140 * [taylor]: Taking taylor expansion of y in x 1.140 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 1.140 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 1.140 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 1.140 * [taylor]: Taking taylor expansion of (/ -1 t) in x 1.140 * [taylor]: Taking taylor expansion of -1 in x 1.140 * [taylor]: Taking taylor expansion of t in x 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.141 * [taylor]: Taking taylor expansion of y in x 1.141 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.141 * [taylor]: Taking taylor expansion of z in x 1.141 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.141 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.141 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.141 * [taylor]: Taking taylor expansion of -1 in x 1.141 * [taylor]: Taking taylor expansion of y in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 1.141 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.141 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.141 * [taylor]: Taking taylor expansion of -1 in y 1.141 * [taylor]: Taking taylor expansion of y in y 1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 1.143 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.143 * [taylor]: Taking taylor expansion of z in y 1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 1.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.143 * [taylor]: Taking taylor expansion of y in y 1.144 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 1.144 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.144 * [taylor]: Taking taylor expansion of -1 in y 1.144 * [taylor]: Taking taylor expansion of t in y 1.144 * [taylor]: Taking taylor expansion of 1 in z 1.145 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.145 * [taylor]: Taking taylor expansion of (log y) in z 1.145 * [taylor]: Taking taylor expansion of y in z 1.145 * [taylor]: Taking taylor expansion of (log -1) in z 1.145 * [taylor]: Taking taylor expansion of -1 in z 1.149 * [taylor]: Taking taylor expansion of 0 in y 1.150 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 1.150 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 1.150 * [taylor]: Taking taylor expansion of (/ -1 t) in z 1.150 * [taylor]: Taking taylor expansion of -1 in z 1.150 * [taylor]: Taking taylor expansion of t in z 1.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.150 * [taylor]: Taking taylor expansion of z in z 1.151 * [taylor]: Taking taylor expansion of 1 in t 1.152 * [taylor]: Taking taylor expansion of 0 in z 1.152 * [taylor]: Taking taylor expansion of 1 in t 1.153 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 1.153 * [taylor]: Taking taylor expansion of (log y) in t 1.153 * [taylor]: Taking taylor expansion of y in t 1.153 * [taylor]: Taking taylor expansion of (log -1) in t 1.153 * [taylor]: Taking taylor expansion of -1 in t 1.156 * * * [progress]: simplifying candidates 1.158 * [simplify]: Simplifying using # : (expm1 (* x (log y))) (log1p (* x (log y))) (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (fma x (log y) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma x (log y) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma x (log y) (- (* y 1))) (fma (- y) 1 (* y 1)) (expm1 (- (* x (log y)) y)) (log1p (- (* x (log y)) y)) (- y) (/ (exp (* x (log y))) (exp y)) (log (- (* x (log y)) y)) (exp (- (* x (log y)) y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (* (* (- (* x (log y)) y) (- (* x (log y)) y)) (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* y y) (* (* x (log y)) y))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- y) (expm1 (+ (- (- (* x (log y)) y) z) (log t))) (log1p (+ (- (- (* x (log y)) y) z) (log t))) (* (/ (/ (exp (* x (log y))) (exp y)) (exp z)) t) (* (/ (exp (- (* x (log y)) y)) (exp z)) t) (* (exp (- (- (* x (log y)) y) z)) t) (log (+ (- (- (* x (log y)) y) z) (log t))) (exp (+ (- (- (* x (log y)) y) z) (log t))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (* (log t) (log t)) (* (- (- (* x (log y)) y) z) (log t)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log (* (cbrt t) (cbrt t)))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (+ (- (- (* x (log y)) y) z) (log 1)) (+ (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (log t)) (+ (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (log t)) (+ (fma (- z) 1 (* z 1)) (log t)) (+ (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (log t)) (+ (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (log t)) (+ (fma (- z) 1 (* z 1)) (log t)) (+ (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (log t)) (+ (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (log t)) (+ (fma (- z) 1 (* z 1)) (log t)) (+ (- z) (log t)) (+ (- (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) z) (log t)) (+ (- (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) z) (log t)) (+ (- (fma (- y) 1 (* y 1)) z) (log t)) (+ (- (- y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- y) z) (log t)) (+ (- z) (log t)) (- z (log t)) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) y) (- (+ (* x (log (/ 1 y))) y)) (- (* (log -1) x) (+ y (* x (log (/ -1 y))))) (- (+ (* x (log y)) (log t)) y) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) 1.162 * * [simplify]: iteration 0 : 188 enodes (cost 1155 ) 1.209 * * [simplify]: iteration 1 : 420 enodes (cost 1044 ) 1.334 * * [simplify]: iteration 2 : 996 enodes (cost 899 ) 1.983 * * [simplify]: iteration 3 : 3437 enodes (cost 858 ) 2.865 * * [simplify]: iteration done : 5001 enodes (cost 858 ) 2.866 * [simplify]: Simplified to: (expm1 (* x (log y))) (log1p (* x (log y))) (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (fma x (log y) (- y)) (- y y) (fma x (log y) (- y)) (- y y) (fma x (log y) (- y)) (- y y) (expm1 (- (* x (log y)) y)) (log1p (- (* x (log y)) y)) (- y) (/ (pow y x) (exp y)) (log (- (* x (log y)) y)) (/ (pow y x) (exp y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (pow (- (* (log y) x) y) 3) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (fma y y (* (* x (log y)) (fma x (log y) y))) (- y) (* (fma x (log y) y) (- (* (log y) x) y)) (fma x (log y) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (fma x (log y) (- y)) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (fma x (log y) (- y)) (- y) (expm1 (- (- (fma x (log y) (log t)) y) z)) (log1p (- (- (fma x (log y) (log t)) y) z)) (/ (* t (pow y x)) (exp (+ z y))) (/ (* t (pow y x)) (exp (+ z y))) (/ (* t (pow y x)) (exp (+ z y))) (log (- (- (fma x (log y) (log t)) y) z)) (/ (* t (pow y x)) (exp (+ z y))) (* (cbrt (- (- (fma x (log y) (log t)) y) z)) (cbrt (- (- (fma x (log y) (log t)) y) z))) (cbrt (- (- (fma x (log y) (log t)) y) z)) (pow (- (- (fma x (log y) (log t)) y) z) 3) (sqrt (- (- (fma x (log y) (log t)) y) z)) (sqrt (- (- (fma x (log y) (log t)) y) z)) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (fma (log t) (log t) (* (fma (log y) x (- (- y) z)) (- (- (- (* x (log y)) y) z) (log t)))) (* (- (- (fma x (log y) (log t)) y) z) (- (- (- (* x (log y)) y) z) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (- (- (fma x (log y) (log t)) y) z) (- (- (fma x (log y) (log t)) y) z) (- (- (fma x (log y) (log t)) y) z) (- (- (fma x (log y) (log t)) y) z) (fma 2 (log (cbrt t)) (fma (log y) x (- (- y) z))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (fma x (log y) (- (+ z y))) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (+ (- (log t) z) z) (- (log t) z) (+ y (- (- (log t) y) z)) (+ y (- (- (log t) y) z)) (+ y (- (- (log t) y) z)) (- (- (log t) y) z) (fma (log (cbrt y)) x (- (- (log t) y) z)) (fma (log (sqrt y)) x (- (- (log t) y) z)) (- (- (fma x (log y) (log t)) y) z) (fma (log (cbrt y)) x (- (- (log t) y) z)) (fma (log (sqrt y)) x (- (- (log t) y) z)) (- (- (fma x (log y) (log t)) y) z) (- (- (log t) y) z) (- (log t) z) (- z (log t)) (* x (log y)) (* x (log y)) (* x (log y)) (fma x (log y) (- y)) (fma x (log y) (- y)) (fma x (log y) (- y)) (- (fma x (log y) (log t)) y) (fma x (log y) (- (+ z y))) (fma x (log y) (- (+ z y))) 2.867 * * * [progress]: adding candidates to table 3.163 * * [progress]: iteration 2 / 4 3.163 * * * [progress]: picking best candidate 3.178 * * * * [pick]: Picked # 3.178 * * * [progress]: localizing error 3.192 * * * [progress]: generating rewritten candidates 3.192 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 3.197 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 3.197 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.200 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.203 * * * [progress]: generating series expansions 3.203 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 3.203 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (y x) around 0 3.203 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 3.203 * [taylor]: Taking taylor expansion of x in x 3.203 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.203 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.203 * [taylor]: Taking taylor expansion of y in x 3.203 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 3.203 * [taylor]: Taking taylor expansion of x in y 3.203 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.203 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.203 * [taylor]: Taking taylor expansion of y in y 3.205 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 3.205 * [taylor]: Taking taylor expansion of x in y 3.205 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.205 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.205 * [taylor]: Taking taylor expansion of y in y 3.207 * [taylor]: Taking taylor expansion of (* (+ (log +nan.0) (log y)) x) in x 3.207 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in x 3.207 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.207 * [taylor]: Taking taylor expansion of +nan.0 in x 3.207 * [taylor]: Taking taylor expansion of (log y) in x 3.207 * [taylor]: Taking taylor expansion of y in x 3.207 * [taylor]: Taking taylor expansion of x in x 3.218 * [taylor]: Taking taylor expansion of (- (* +nan.0 x)) in x 3.218 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 3.218 * [taylor]: Taking taylor expansion of +nan.0 in x 3.218 * [taylor]: Taking taylor expansion of x in x 3.232 * [taylor]: Taking taylor expansion of (- (* +nan.0 x)) in x 3.232 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 3.232 * [taylor]: Taking taylor expansion of +nan.0 in x 3.232 * [taylor]: Taking taylor expansion of x in x 3.259 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) (- (* +nan.0 (/ x (pow +nan.0 2)))))) in x 3.259 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) (- (* +nan.0 (/ x (pow +nan.0 2))))) in x 3.259 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 3.259 * [taylor]: Taking taylor expansion of +nan.0 in x 3.259 * [taylor]: Taking taylor expansion of x in x 3.259 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ x (pow +nan.0 2)))) in x 3.259 * [taylor]: Taking taylor expansion of (* +nan.0 (/ x (pow +nan.0 2))) in x 3.259 * [taylor]: Taking taylor expansion of +nan.0 in x 3.259 * [taylor]: Taking taylor expansion of (/ x (pow +nan.0 2)) in x 3.259 * [taylor]: Taking taylor expansion of x in x 3.259 * [taylor]: Taking taylor expansion of (pow +nan.0 2) in x 3.259 * [taylor]: Taking taylor expansion of +nan.0 in x 3.263 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (y x) around 0 3.263 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 3.263 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.263 * [taylor]: Taking taylor expansion of y in x 3.263 * [taylor]: Taking taylor expansion of x in x 3.263 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 3.263 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.265 * [taylor]: Taking taylor expansion of x in y 3.265 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 3.265 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.265 * [taylor]: Taking taylor expansion of y in y 3.267 * [taylor]: Taking taylor expansion of x in y 3.267 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 3.267 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.267 * [taylor]: Taking taylor expansion of +nan.0 in x 3.268 * [taylor]: Taking taylor expansion of x in x 3.275 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.275 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.275 * [taylor]: Taking taylor expansion of +nan.0 in x 3.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.275 * [taylor]: Taking taylor expansion of x in x 3.289 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.289 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.289 * [taylor]: Taking taylor expansion of +nan.0 in x 3.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.289 * [taylor]: Taking taylor expansion of x in x 3.291 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (y x) around 0 3.291 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 3.291 * [taylor]: Taking taylor expansion of -1 in x 3.291 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 3.291 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 3.291 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 3.291 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.291 * [taylor]: Taking taylor expansion of -1 in x 3.291 * [taylor]: Taking taylor expansion of y in x 3.291 * [taylor]: Taking taylor expansion of x in x 3.291 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 3.291 * [taylor]: Taking taylor expansion of -1 in y 3.292 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 3.292 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.292 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.292 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.292 * [taylor]: Taking taylor expansion of -1 in y 3.292 * [taylor]: Taking taylor expansion of y in y 3.293 * [taylor]: Taking taylor expansion of x in y 3.293 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 3.293 * [taylor]: Taking taylor expansion of -1 in y 3.293 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 3.294 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.294 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.294 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.294 * [taylor]: Taking taylor expansion of -1 in y 3.294 * [taylor]: Taking taylor expansion of y in y 3.295 * [taylor]: Taking taylor expansion of x in y 3.296 * [taylor]: Taking taylor expansion of (* -1 (/ (log +nan.0) x)) in x 3.296 * [taylor]: Taking taylor expansion of -1 in x 3.296 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 3.296 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.296 * [taylor]: Taking taylor expansion of +nan.0 in x 3.299 * [taylor]: Taking taylor expansion of x in x 3.308 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.308 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.308 * [taylor]: Taking taylor expansion of +nan.0 in x 3.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.308 * [taylor]: Taking taylor expansion of x in x 3.323 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.323 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.323 * [taylor]: Taking taylor expansion of +nan.0 in x 3.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.323 * [taylor]: Taking taylor expansion of x in x 3.326 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 3.326 * [approximate]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in (y x t z) around 0 3.326 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in z 3.326 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.326 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in z 3.326 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 3.326 * [taylor]: Taking taylor expansion of (sqrt y) in z 3.326 * [taylor]: Taking taylor expansion of y in z 3.326 * [taylor]: Taking taylor expansion of x in z 3.326 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in z 3.326 * [taylor]: Taking taylor expansion of (log t) in z 3.326 * [taylor]: Taking taylor expansion of t in z 3.326 * [taylor]: Taking taylor expansion of (+ z y) in z 3.326 * [taylor]: Taking taylor expansion of z in z 3.326 * [taylor]: Taking taylor expansion of y in z 3.326 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in t 3.326 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.326 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in t 3.326 * [taylor]: Taking taylor expansion of (log (sqrt y)) in t 3.326 * [taylor]: Taking taylor expansion of (sqrt y) in t 3.326 * [taylor]: Taking taylor expansion of y in t 3.327 * [taylor]: Taking taylor expansion of x in t 3.327 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in t 3.327 * [taylor]: Taking taylor expansion of (log t) in t 3.327 * [taylor]: Taking taylor expansion of t in t 3.327 * [taylor]: Taking taylor expansion of (+ z y) in t 3.327 * [taylor]: Taking taylor expansion of z in t 3.327 * [taylor]: Taking taylor expansion of y in t 3.327 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in x 3.327 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.327 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in x 3.327 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.327 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.327 * [taylor]: Taking taylor expansion of y in x 3.327 * [taylor]: Taking taylor expansion of x in x 3.327 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in x 3.327 * [taylor]: Taking taylor expansion of (log t) in x 3.327 * [taylor]: Taking taylor expansion of t in x 3.327 * [taylor]: Taking taylor expansion of (+ z y) in x 3.327 * [taylor]: Taking taylor expansion of z in x 3.327 * [taylor]: Taking taylor expansion of y in x 3.327 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in y 3.327 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.327 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in y 3.327 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.327 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.328 * [taylor]: Taking taylor expansion of y in y 3.329 * [taylor]: Taking taylor expansion of x in y 3.329 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 3.329 * [taylor]: Taking taylor expansion of (log t) in y 3.329 * [taylor]: Taking taylor expansion of t in y 3.329 * [taylor]: Taking taylor expansion of (+ z y) in y 3.329 * [taylor]: Taking taylor expansion of z in y 3.329 * [taylor]: Taking taylor expansion of y in y 3.329 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in y 3.329 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.329 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in y 3.329 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.329 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.329 * [taylor]: Taking taylor expansion of y in y 3.330 * [taylor]: Taking taylor expansion of x in y 3.331 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 3.331 * [taylor]: Taking taylor expansion of (log t) in y 3.331 * [taylor]: Taking taylor expansion of t in y 3.331 * [taylor]: Taking taylor expansion of (+ z y) in y 3.331 * [taylor]: Taking taylor expansion of z in y 3.331 * [taylor]: Taking taylor expansion of y in y 3.332 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (+ (log t) (* x (log +nan.0)))) z) in x 3.332 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ (log t) (* x (log +nan.0)))) in x 3.332 * [taylor]: Taking taylor expansion of (* x (log y)) in x 3.332 * [taylor]: Taking taylor expansion of x in x 3.332 * [taylor]: Taking taylor expansion of (log y) in x 3.332 * [taylor]: Taking taylor expansion of y in x 3.332 * [taylor]: Taking taylor expansion of (+ (log t) (* x (log +nan.0))) in x 3.332 * [taylor]: Taking taylor expansion of (log t) in x 3.332 * [taylor]: Taking taylor expansion of t in x 3.332 * [taylor]: Taking taylor expansion of (* x (log +nan.0)) in x 3.332 * [taylor]: Taking taylor expansion of x in x 3.332 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.332 * [taylor]: Taking taylor expansion of +nan.0 in x 3.332 * [taylor]: Taking taylor expansion of z in x 3.333 * [taylor]: Taking taylor expansion of (- (log t) z) in t 3.333 * [taylor]: Taking taylor expansion of (log t) in t 3.333 * [taylor]: Taking taylor expansion of t in t 3.333 * [taylor]: Taking taylor expansion of z in t 3.333 * [taylor]: Taking taylor expansion of (- (log t) z) in z 3.334 * [taylor]: Taking taylor expansion of (log t) in z 3.334 * [taylor]: Taking taylor expansion of t in z 3.334 * [taylor]: Taking taylor expansion of z in z 3.341 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) 1)) in x 3.341 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) 1) in x 3.341 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 3.341 * [taylor]: Taking taylor expansion of +nan.0 in x 3.341 * [taylor]: Taking taylor expansion of x in x 3.341 * [taylor]: Taking taylor expansion of 1 in x 3.342 * [taylor]: Taking taylor expansion of -1 in t 3.342 * [taylor]: Taking taylor expansion of -1 in z 3.347 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in t 3.347 * [taylor]: Taking taylor expansion of (log +nan.0) in t 3.347 * [taylor]: Taking taylor expansion of +nan.0 in t 3.347 * [taylor]: Taking taylor expansion of (log y) in t 3.347 * [taylor]: Taking taylor expansion of y in t 3.348 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in z 3.348 * [taylor]: Taking taylor expansion of (log +nan.0) in z 3.348 * [taylor]: Taking taylor expansion of +nan.0 in z 3.348 * [taylor]: Taking taylor expansion of (log y) in z 3.348 * [taylor]: Taking taylor expansion of y in z 3.349 * [approximate]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in (y x t z) around 0 3.349 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in z 3.349 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.349 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in z 3.349 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 3.349 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 3.349 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.349 * [taylor]: Taking taylor expansion of y in z 3.350 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.350 * [taylor]: Taking taylor expansion of x in z 3.350 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in z 3.350 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 3.350 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.350 * [taylor]: Taking taylor expansion of t in z 3.350 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 3.350 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.350 * [taylor]: Taking taylor expansion of z in z 3.350 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.350 * [taylor]: Taking taylor expansion of y in z 3.350 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in t 3.350 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.350 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in t 3.350 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in t 3.350 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in t 3.350 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.350 * [taylor]: Taking taylor expansion of y in t 3.351 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.351 * [taylor]: Taking taylor expansion of x in t 3.351 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in t 3.351 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 3.351 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.351 * [taylor]: Taking taylor expansion of t in t 3.351 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 3.351 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.351 * [taylor]: Taking taylor expansion of z in t 3.351 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.351 * [taylor]: Taking taylor expansion of y in t 3.351 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in x 3.351 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.351 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in x 3.351 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.352 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.352 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.352 * [taylor]: Taking taylor expansion of y in x 3.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.352 * [taylor]: Taking taylor expansion of x in x 3.352 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in x 3.352 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 3.352 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.352 * [taylor]: Taking taylor expansion of t in x 3.352 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.352 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.352 * [taylor]: Taking taylor expansion of z in x 3.352 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.352 * [taylor]: Taking taylor expansion of y in x 3.352 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.352 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.352 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in y 3.352 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.352 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.352 * [taylor]: Taking taylor expansion of y in y 3.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.354 * [taylor]: Taking taylor expansion of x in y 3.354 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.354 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 3.354 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.354 * [taylor]: Taking taylor expansion of t in y 3.354 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.354 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.354 * [taylor]: Taking taylor expansion of z in y 3.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.355 * [taylor]: Taking taylor expansion of y in y 3.355 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.355 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.355 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in y 3.355 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.355 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.355 * [taylor]: Taking taylor expansion of y in y 3.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.357 * [taylor]: Taking taylor expansion of x in y 3.357 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.357 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 3.357 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.357 * [taylor]: Taking taylor expansion of t in y 3.357 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.357 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.357 * [taylor]: Taking taylor expansion of z in y 3.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.357 * [taylor]: Taking taylor expansion of y in y 3.358 * [taylor]: Taking taylor expansion of -1 in x 3.359 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log +nan.0) x)) (/ 1 z)) in x 3.359 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log +nan.0) x)) in x 3.359 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 3.359 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.359 * [taylor]: Taking taylor expansion of t in x 3.359 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 3.359 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.360 * [taylor]: Taking taylor expansion of +nan.0 in x 3.360 * [taylor]: Taking taylor expansion of x in x 3.360 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.360 * [taylor]: Taking taylor expansion of z in x 3.362 * [taylor]: Taking taylor expansion of (log +nan.0) in t 3.362 * [taylor]: Taking taylor expansion of +nan.0 in t 3.362 * [taylor]: Taking taylor expansion of (log +nan.0) in z 3.362 * [taylor]: Taking taylor expansion of +nan.0 in z 3.362 * [taylor]: Taking taylor expansion of -1 in t 3.362 * [taylor]: Taking taylor expansion of -1 in z 3.370 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.371 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.371 * [taylor]: Taking taylor expansion of +nan.0 in x 3.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.371 * [taylor]: Taking taylor expansion of x in x 3.371 * [taylor]: Taking taylor expansion of (- +nan.0) in t 3.371 * [taylor]: Taking taylor expansion of +nan.0 in t 3.372 * [taylor]: Taking taylor expansion of (- +nan.0) in z 3.372 * [taylor]: Taking taylor expansion of +nan.0 in z 3.373 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in t 3.373 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 3.373 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.373 * [taylor]: Taking taylor expansion of t in t 3.374 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.374 * [taylor]: Taking taylor expansion of z in t 3.374 * [taylor]: Taking taylor expansion of (- (+ (log t) (/ 1 z))) in z 3.374 * [taylor]: Taking taylor expansion of (+ (log t) (/ 1 z)) in z 3.374 * [taylor]: Taking taylor expansion of (log t) in z 3.374 * [taylor]: Taking taylor expansion of t in z 3.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.375 * [taylor]: Taking taylor expansion of z in z 3.375 * [taylor]: Taking taylor expansion of 0 in t 3.375 * [taylor]: Taking taylor expansion of 0 in z 3.376 * [taylor]: Taking taylor expansion of 0 in z 3.376 * [taylor]: Taking taylor expansion of 0 in z 3.377 * [approximate]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in (y x t z) around 0 3.378 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in z 3.378 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.378 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in z 3.378 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 3.378 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 3.378 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.378 * [taylor]: Taking taylor expansion of -1 in z 3.378 * [taylor]: Taking taylor expansion of y in z 3.378 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.378 * [taylor]: Taking taylor expansion of -1 in z 3.378 * [taylor]: Taking taylor expansion of x in z 3.378 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in z 3.378 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 3.378 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.378 * [taylor]: Taking taylor expansion of -1 in z 3.378 * [taylor]: Taking taylor expansion of t in z 3.378 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 3.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.378 * [taylor]: Taking taylor expansion of z in z 3.378 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.379 * [taylor]: Taking taylor expansion of y in z 3.379 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in t 3.379 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.379 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in t 3.379 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in t 3.379 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in t 3.379 * [taylor]: Taking taylor expansion of (/ -1 y) in t 3.379 * [taylor]: Taking taylor expansion of -1 in t 3.379 * [taylor]: Taking taylor expansion of y in t 3.379 * [taylor]: Taking taylor expansion of (/ -1 x) in t 3.379 * [taylor]: Taking taylor expansion of -1 in t 3.379 * [taylor]: Taking taylor expansion of x in t 3.379 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in t 3.379 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 3.379 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.379 * [taylor]: Taking taylor expansion of -1 in t 3.379 * [taylor]: Taking taylor expansion of t in t 3.380 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 3.380 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.380 * [taylor]: Taking taylor expansion of z in t 3.380 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.380 * [taylor]: Taking taylor expansion of y in t 3.380 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in x 3.380 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.380 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in x 3.380 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 3.380 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 3.380 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.380 * [taylor]: Taking taylor expansion of -1 in x 3.380 * [taylor]: Taking taylor expansion of y in x 3.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.380 * [taylor]: Taking taylor expansion of -1 in x 3.380 * [taylor]: Taking taylor expansion of x in x 3.381 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in x 3.381 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 3.381 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.381 * [taylor]: Taking taylor expansion of -1 in x 3.381 * [taylor]: Taking taylor expansion of t in x 3.381 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.381 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.381 * [taylor]: Taking taylor expansion of z in x 3.381 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.381 * [taylor]: Taking taylor expansion of y in x 3.381 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.381 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.381 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in y 3.381 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.381 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.381 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.381 * [taylor]: Taking taylor expansion of -1 in y 3.381 * [taylor]: Taking taylor expansion of y in y 3.383 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.383 * [taylor]: Taking taylor expansion of -1 in y 3.383 * [taylor]: Taking taylor expansion of x in y 3.383 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.383 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 3.383 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.383 * [taylor]: Taking taylor expansion of -1 in y 3.383 * [taylor]: Taking taylor expansion of t in y 3.383 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.383 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.383 * [taylor]: Taking taylor expansion of z in y 3.383 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.383 * [taylor]: Taking taylor expansion of y in y 3.383 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.383 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.384 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in y 3.384 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.384 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.384 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.384 * [taylor]: Taking taylor expansion of -1 in y 3.384 * [taylor]: Taking taylor expansion of y in y 3.385 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.385 * [taylor]: Taking taylor expansion of -1 in y 3.385 * [taylor]: Taking taylor expansion of x in y 3.385 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.385 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 3.385 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.385 * [taylor]: Taking taylor expansion of -1 in y 3.385 * [taylor]: Taking taylor expansion of t in y 3.385 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.385 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.385 * [taylor]: Taking taylor expansion of z in y 3.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.385 * [taylor]: Taking taylor expansion of y in y 3.387 * [taylor]: Taking taylor expansion of 1 in x 3.388 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (log (/ -1 t))) (/ (log +nan.0) x)) in x 3.388 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ -1 t))) in x 3.388 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.388 * [taylor]: Taking taylor expansion of z in x 3.388 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 3.388 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.388 * [taylor]: Taking taylor expansion of -1 in x 3.388 * [taylor]: Taking taylor expansion of t in x 3.388 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 3.388 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.388 * [taylor]: Taking taylor expansion of +nan.0 in x 3.388 * [taylor]: Taking taylor expansion of x in x 3.394 * [taylor]: Taking taylor expansion of (- (log +nan.0)) in t 3.394 * [taylor]: Taking taylor expansion of (log +nan.0) in t 3.394 * [taylor]: Taking taylor expansion of +nan.0 in t 3.395 * [taylor]: Taking taylor expansion of (- (log +nan.0)) in z 3.395 * [taylor]: Taking taylor expansion of (log +nan.0) in z 3.395 * [taylor]: Taking taylor expansion of +nan.0 in z 3.395 * [taylor]: Taking taylor expansion of 1 in t 3.395 * [taylor]: Taking taylor expansion of 1 in z 3.403 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.403 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.403 * [taylor]: Taking taylor expansion of +nan.0 in x 3.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.403 * [taylor]: Taking taylor expansion of x in x 3.404 * [taylor]: Taking taylor expansion of (- +nan.0) in t 3.404 * [taylor]: Taking taylor expansion of +nan.0 in t 3.405 * [taylor]: Taking taylor expansion of (- +nan.0) in z 3.405 * [taylor]: Taking taylor expansion of +nan.0 in z 3.406 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in t 3.406 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 3.406 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.406 * [taylor]: Taking taylor expansion of -1 in t 3.406 * [taylor]: Taking taylor expansion of t in t 3.407 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.407 * [taylor]: Taking taylor expansion of z in t 3.408 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 z)) (log t)) in z 3.408 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 z)) in z 3.408 * [taylor]: Taking taylor expansion of (log -1) in z 3.408 * [taylor]: Taking taylor expansion of -1 in z 3.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.408 * [taylor]: Taking taylor expansion of z in z 3.409 * [taylor]: Taking taylor expansion of (log t) in z 3.409 * [taylor]: Taking taylor expansion of t in z 3.409 * [taylor]: Taking taylor expansion of 0 in t 3.409 * [taylor]: Taking taylor expansion of 0 in z 3.410 * [taylor]: Taking taylor expansion of 0 in z 3.410 * [taylor]: Taking taylor expansion of 0 in z 3.413 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.413 * [approximate]: Taking taylor expansion of (+ (fma (log (sqrt y)) x (- (log t) (+ z y))) (* x (log (sqrt y)))) in (y x t z) around 0 3.413 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt y)) x (- (log t) (+ z y))) (* x (log (sqrt y)))) in z 3.413 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in z 3.413 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.413 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in z 3.413 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 3.413 * [taylor]: Taking taylor expansion of (sqrt y) in z 3.413 * [taylor]: Taking taylor expansion of y in z 3.413 * [taylor]: Taking taylor expansion of x in z 3.413 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in z 3.413 * [taylor]: Taking taylor expansion of (log t) in z 3.413 * [taylor]: Taking taylor expansion of t in z 3.413 * [taylor]: Taking taylor expansion of (+ z y) in z 3.413 * [taylor]: Taking taylor expansion of z in z 3.413 * [taylor]: Taking taylor expansion of y in z 3.413 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 3.413 * [taylor]: Taking taylor expansion of x in z 3.414 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 3.414 * [taylor]: Taking taylor expansion of (sqrt y) in z 3.414 * [taylor]: Taking taylor expansion of y in z 3.414 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt y)) x (- (log t) (+ z y))) (* x (log (sqrt y)))) in t 3.414 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in t 3.414 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.414 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in t 3.414 * [taylor]: Taking taylor expansion of (log (sqrt y)) in t 3.414 * [taylor]: Taking taylor expansion of (sqrt y) in t 3.414 * [taylor]: Taking taylor expansion of y in t 3.414 * [taylor]: Taking taylor expansion of x in t 3.414 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in t 3.414 * [taylor]: Taking taylor expansion of (log t) in t 3.414 * [taylor]: Taking taylor expansion of t in t 3.414 * [taylor]: Taking taylor expansion of (+ z y) in t 3.414 * [taylor]: Taking taylor expansion of z in t 3.414 * [taylor]: Taking taylor expansion of y in t 3.414 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in t 3.414 * [taylor]: Taking taylor expansion of x in t 3.414 * [taylor]: Taking taylor expansion of (log (sqrt y)) in t 3.414 * [taylor]: Taking taylor expansion of (sqrt y) in t 3.414 * [taylor]: Taking taylor expansion of y in t 3.414 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt y)) x (- (log t) (+ z y))) (* x (log (sqrt y)))) in x 3.414 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in x 3.415 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.415 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in x 3.415 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.415 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.415 * [taylor]: Taking taylor expansion of y in x 3.415 * [taylor]: Taking taylor expansion of x in x 3.415 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in x 3.415 * [taylor]: Taking taylor expansion of (log t) in x 3.415 * [taylor]: Taking taylor expansion of t in x 3.415 * [taylor]: Taking taylor expansion of (+ z y) in x 3.415 * [taylor]: Taking taylor expansion of z in x 3.415 * [taylor]: Taking taylor expansion of y in x 3.415 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 3.415 * [taylor]: Taking taylor expansion of x in x 3.415 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 3.415 * [taylor]: Taking taylor expansion of (sqrt y) in x 3.415 * [taylor]: Taking taylor expansion of y in x 3.415 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt y)) x (- (log t) (+ z y))) (* x (log (sqrt y)))) in y 3.415 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in y 3.415 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.415 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in y 3.415 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.415 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.415 * [taylor]: Taking taylor expansion of y in y 3.417 * [taylor]: Taking taylor expansion of x in y 3.417 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 3.417 * [taylor]: Taking taylor expansion of (log t) in y 3.417 * [taylor]: Taking taylor expansion of t in y 3.417 * [taylor]: Taking taylor expansion of (+ z y) in y 3.417 * [taylor]: Taking taylor expansion of z in y 3.417 * [taylor]: Taking taylor expansion of y in y 3.417 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 3.417 * [taylor]: Taking taylor expansion of x in y 3.417 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.417 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.417 * [taylor]: Taking taylor expansion of y in y 3.418 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt y)) x (- (log t) (+ z y))) (* x (log (sqrt y)))) in y 3.418 * [taylor]: Taking taylor expansion of (fma (log (sqrt y)) x (- (log t) (+ z y))) in y 3.418 * [taylor]: Rewrote expression to (+ (* (log (sqrt y)) x) (- (log t) (+ z y))) 3.418 * [taylor]: Taking taylor expansion of (* (log (sqrt y)) x) in y 3.418 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.418 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.418 * [taylor]: Taking taylor expansion of y in y 3.420 * [taylor]: Taking taylor expansion of x in y 3.420 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 3.420 * [taylor]: Taking taylor expansion of (log t) in y 3.420 * [taylor]: Taking taylor expansion of t in y 3.420 * [taylor]: Taking taylor expansion of (+ z y) in y 3.420 * [taylor]: Taking taylor expansion of z in y 3.420 * [taylor]: Taking taylor expansion of y in y 3.420 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 3.420 * [taylor]: Taking taylor expansion of x in y 3.420 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.420 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.420 * [taylor]: Taking taylor expansion of y in y 3.424 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* x (log y))) (+ (* 2 (* x (log +nan.0))) (log t))) z) in x 3.424 * [taylor]: Taking taylor expansion of (+ (* 2 (* x (log y))) (+ (* 2 (* x (log +nan.0))) (log t))) in x 3.424 * [taylor]: Taking taylor expansion of (* 2 (* x (log y))) in x 3.424 * [taylor]: Taking taylor expansion of 2 in x 3.424 * [taylor]: Taking taylor expansion of (* x (log y)) in x 3.424 * [taylor]: Taking taylor expansion of x in x 3.424 * [taylor]: Taking taylor expansion of (log y) in x 3.424 * [taylor]: Taking taylor expansion of y in x 3.424 * [taylor]: Taking taylor expansion of (+ (* 2 (* x (log +nan.0))) (log t)) in x 3.424 * [taylor]: Taking taylor expansion of (* 2 (* x (log +nan.0))) in x 3.424 * [taylor]: Taking taylor expansion of 2 in x 3.424 * [taylor]: Taking taylor expansion of (* x (log +nan.0)) in x 3.424 * [taylor]: Taking taylor expansion of x in x 3.425 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.425 * [taylor]: Taking taylor expansion of +nan.0 in x 3.425 * [taylor]: Taking taylor expansion of (log t) in x 3.425 * [taylor]: Taking taylor expansion of t in x 3.425 * [taylor]: Taking taylor expansion of z in x 3.426 * [taylor]: Taking taylor expansion of (- (log t) z) in t 3.426 * [taylor]: Taking taylor expansion of (log t) in t 3.426 * [taylor]: Taking taylor expansion of t in t 3.426 * [taylor]: Taking taylor expansion of z in t 3.426 * [taylor]: Taking taylor expansion of (- (log t) z) in z 3.426 * [taylor]: Taking taylor expansion of (log t) in z 3.426 * [taylor]: Taking taylor expansion of t in z 3.427 * [taylor]: Taking taylor expansion of z in z 3.441 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) 1)) in x 3.441 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) 1) in x 3.441 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x 3.441 * [taylor]: Taking taylor expansion of +nan.0 in x 3.441 * [taylor]: Taking taylor expansion of x in x 3.441 * [taylor]: Taking taylor expansion of 1 in x 3.442 * [taylor]: Taking taylor expansion of -1 in t 3.442 * [taylor]: Taking taylor expansion of -1 in z 3.449 * [taylor]: Taking taylor expansion of (+ (* 2 (log +nan.0)) (* 2 (log y))) in t 3.449 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 3.449 * [taylor]: Taking taylor expansion of 2 in t 3.449 * [taylor]: Taking taylor expansion of (log +nan.0) in t 3.449 * [taylor]: Taking taylor expansion of +nan.0 in t 3.449 * [taylor]: Taking taylor expansion of (* 2 (log y)) in t 3.449 * [taylor]: Taking taylor expansion of 2 in t 3.449 * [taylor]: Taking taylor expansion of (log y) in t 3.449 * [taylor]: Taking taylor expansion of y in t 3.450 * [taylor]: Taking taylor expansion of (+ (* 2 (log +nan.0)) (* 2 (log y))) in z 3.451 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 3.451 * [taylor]: Taking taylor expansion of 2 in z 3.451 * [taylor]: Taking taylor expansion of (log +nan.0) in z 3.451 * [taylor]: Taking taylor expansion of +nan.0 in z 3.451 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 3.451 * [taylor]: Taking taylor expansion of 2 in z 3.451 * [taylor]: Taking taylor expansion of (log y) in z 3.451 * [taylor]: Taking taylor expansion of y in z 3.454 * [approximate]: Taking taylor expansion of (+ (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ 1 y))) x)) in (y x t z) around 0 3.454 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ 1 y))) x)) in z 3.454 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in z 3.454 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.454 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in z 3.454 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 3.454 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 3.454 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.454 * [taylor]: Taking taylor expansion of y in z 3.455 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.455 * [taylor]: Taking taylor expansion of x in z 3.455 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in z 3.455 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 3.455 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.455 * [taylor]: Taking taylor expansion of t in z 3.455 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 3.455 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.455 * [taylor]: Taking taylor expansion of z in z 3.455 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.455 * [taylor]: Taking taylor expansion of y in z 3.455 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 3.455 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 3.455 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 3.455 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.455 * [taylor]: Taking taylor expansion of y in z 3.455 * [taylor]: Taking taylor expansion of x in z 3.455 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ 1 y))) x)) in t 3.455 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in t 3.456 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.456 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in t 3.456 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in t 3.456 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.456 * [taylor]: Taking taylor expansion of y in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 x) in t 3.456 * [taylor]: Taking taylor expansion of x in t 3.456 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in t 3.456 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.456 * [taylor]: Taking taylor expansion of t in t 3.456 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.456 * [taylor]: Taking taylor expansion of z in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.457 * [taylor]: Taking taylor expansion of y in t 3.457 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in t 3.457 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in t 3.457 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in t 3.457 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.457 * [taylor]: Taking taylor expansion of y in t 3.457 * [taylor]: Taking taylor expansion of x in t 3.457 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ 1 y))) x)) in x 3.457 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in x 3.457 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.457 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in x 3.457 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.457 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.457 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.457 * [taylor]: Taking taylor expansion of y in x 3.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.457 * [taylor]: Taking taylor expansion of x in x 3.458 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in x 3.458 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.458 * [taylor]: Taking taylor expansion of t in x 3.458 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.458 * [taylor]: Taking taylor expansion of z in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.458 * [taylor]: Taking taylor expansion of y in x 3.458 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 3.458 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 3.458 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.458 * [taylor]: Taking taylor expansion of y in x 3.458 * [taylor]: Taking taylor expansion of x in x 3.458 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ 1 y))) x)) in y 3.458 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.458 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.458 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in y 3.458 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.458 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.459 * [taylor]: Taking taylor expansion of y in y 3.460 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.460 * [taylor]: Taking taylor expansion of x in y 3.460 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.460 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 3.460 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.460 * [taylor]: Taking taylor expansion of t in y 3.460 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.460 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.460 * [taylor]: Taking taylor expansion of z in y 3.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.460 * [taylor]: Taking taylor expansion of y in y 3.461 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 3.461 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.461 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.461 * [taylor]: Taking taylor expansion of y in y 3.462 * [taylor]: Taking taylor expansion of x in y 3.463 * [taylor]: Taking taylor expansion of (+ (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ 1 y))) x)) in y 3.463 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ 1 y))) (/ 1 x) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.463 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ 1 y))) (/ 1 x)) (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y)))) 3.463 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ 1 y))) (/ 1 x)) in y 3.463 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.463 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.463 * [taylor]: Taking taylor expansion of y in y 3.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.464 * [taylor]: Taking taylor expansion of x in y 3.464 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.464 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 3.464 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.464 * [taylor]: Taking taylor expansion of t in y 3.465 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.465 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.465 * [taylor]: Taking taylor expansion of z in y 3.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.465 * [taylor]: Taking taylor expansion of y in y 3.465 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 3.465 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.465 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.465 * [taylor]: Taking taylor expansion of y in y 3.466 * [taylor]: Taking taylor expansion of x in y 3.468 * [taylor]: Taking taylor expansion of -1 in x 3.470 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (* 2 (/ (log +nan.0) x))) (/ 1 z)) in x 3.470 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (* 2 (/ (log +nan.0) x))) in x 3.470 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 3.470 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.470 * [taylor]: Taking taylor expansion of t in x 3.470 * [taylor]: Taking taylor expansion of (* 2 (/ (log +nan.0) x)) in x 3.470 * [taylor]: Taking taylor expansion of 2 in x 3.470 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 3.470 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.470 * [taylor]: Taking taylor expansion of +nan.0 in x 3.470 * [taylor]: Taking taylor expansion of x in x 3.471 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.471 * [taylor]: Taking taylor expansion of z in x 3.474 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 3.474 * [taylor]: Taking taylor expansion of 2 in t 3.474 * [taylor]: Taking taylor expansion of (log +nan.0) in t 3.474 * [taylor]: Taking taylor expansion of +nan.0 in t 3.474 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 3.474 * [taylor]: Taking taylor expansion of 2 in z 3.474 * [taylor]: Taking taylor expansion of (log +nan.0) in z 3.474 * [taylor]: Taking taylor expansion of +nan.0 in z 3.475 * [taylor]: Taking taylor expansion of -1 in t 3.475 * [taylor]: Taking taylor expansion of -1 in z 3.493 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.493 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.493 * [taylor]: Taking taylor expansion of +nan.0 in x 3.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.493 * [taylor]: Taking taylor expansion of x in x 3.494 * [taylor]: Taking taylor expansion of (- +nan.0) in t 3.494 * [taylor]: Taking taylor expansion of +nan.0 in t 3.494 * [taylor]: Taking taylor expansion of (- +nan.0) in z 3.494 * [taylor]: Taking taylor expansion of +nan.0 in z 3.497 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in t 3.497 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 3.497 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.497 * [taylor]: Taking taylor expansion of t in t 3.497 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.497 * [taylor]: Taking taylor expansion of z in t 3.498 * [taylor]: Taking taylor expansion of (- (+ (log t) (/ 1 z))) in z 3.498 * [taylor]: Taking taylor expansion of (+ (log t) (/ 1 z)) in z 3.498 * [taylor]: Taking taylor expansion of (log t) in z 3.498 * [taylor]: Taking taylor expansion of t in z 3.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.498 * [taylor]: Taking taylor expansion of z in z 3.499 * [taylor]: Taking taylor expansion of 0 in t 3.499 * [taylor]: Taking taylor expansion of 0 in z 3.500 * [taylor]: Taking taylor expansion of 0 in z 3.500 * [taylor]: Taking taylor expansion of 0 in z 3.503 * [approximate]: Taking taylor expansion of (- (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ -1 y))) x)) in (y x t z) around 0 3.503 * [taylor]: Taking taylor expansion of (- (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ -1 y))) x)) in z 3.503 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in z 3.503 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.503 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in z 3.503 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 3.503 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 3.503 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.503 * [taylor]: Taking taylor expansion of -1 in z 3.503 * [taylor]: Taking taylor expansion of y in z 3.503 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.503 * [taylor]: Taking taylor expansion of -1 in z 3.503 * [taylor]: Taking taylor expansion of x in z 3.503 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in z 3.503 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 3.503 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.503 * [taylor]: Taking taylor expansion of -1 in z 3.503 * [taylor]: Taking taylor expansion of t in z 3.503 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 3.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.503 * [taylor]: Taking taylor expansion of z in z 3.504 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.504 * [taylor]: Taking taylor expansion of y in z 3.504 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 3.504 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 3.504 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 3.504 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.504 * [taylor]: Taking taylor expansion of -1 in z 3.504 * [taylor]: Taking taylor expansion of y in z 3.504 * [taylor]: Taking taylor expansion of x in z 3.504 * [taylor]: Taking taylor expansion of (- (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ -1 y))) x)) in t 3.504 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in t 3.505 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.505 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in t 3.505 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in t 3.505 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in t 3.505 * [taylor]: Taking taylor expansion of (/ -1 y) in t 3.505 * [taylor]: Taking taylor expansion of -1 in t 3.505 * [taylor]: Taking taylor expansion of y in t 3.505 * [taylor]: Taking taylor expansion of (/ -1 x) in t 3.505 * [taylor]: Taking taylor expansion of -1 in t 3.505 * [taylor]: Taking taylor expansion of x in t 3.505 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in t 3.505 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 3.505 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.505 * [taylor]: Taking taylor expansion of -1 in t 3.505 * [taylor]: Taking taylor expansion of t in t 3.506 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 3.506 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.506 * [taylor]: Taking taylor expansion of z in t 3.506 * [taylor]: Taking taylor expansion of (/ 1 y) in t 3.506 * [taylor]: Taking taylor expansion of y in t 3.506 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in t 3.506 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in t 3.506 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in t 3.506 * [taylor]: Taking taylor expansion of (/ -1 y) in t 3.506 * [taylor]: Taking taylor expansion of -1 in t 3.506 * [taylor]: Taking taylor expansion of y in t 3.506 * [taylor]: Taking taylor expansion of x in t 3.506 * [taylor]: Taking taylor expansion of (- (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ -1 y))) x)) in x 3.506 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in x 3.506 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.506 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in x 3.506 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 3.506 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 3.506 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.506 * [taylor]: Taking taylor expansion of -1 in x 3.506 * [taylor]: Taking taylor expansion of y in x 3.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.507 * [taylor]: Taking taylor expansion of -1 in x 3.507 * [taylor]: Taking taylor expansion of x in x 3.507 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in x 3.507 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 3.507 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.507 * [taylor]: Taking taylor expansion of -1 in x 3.507 * [taylor]: Taking taylor expansion of t in x 3.507 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.507 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.507 * [taylor]: Taking taylor expansion of z in x 3.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.507 * [taylor]: Taking taylor expansion of y in x 3.507 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 3.507 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 3.507 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 3.507 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.507 * [taylor]: Taking taylor expansion of -1 in x 3.507 * [taylor]: Taking taylor expansion of y in x 3.508 * [taylor]: Taking taylor expansion of x in x 3.508 * [taylor]: Taking taylor expansion of (- (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ -1 y))) x)) in y 3.508 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.508 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.508 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in y 3.508 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.508 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.508 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.508 * [taylor]: Taking taylor expansion of -1 in y 3.508 * [taylor]: Taking taylor expansion of y in y 3.510 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.510 * [taylor]: Taking taylor expansion of -1 in y 3.510 * [taylor]: Taking taylor expansion of x in y 3.510 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.510 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 3.510 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.510 * [taylor]: Taking taylor expansion of -1 in y 3.510 * [taylor]: Taking taylor expansion of t in y 3.510 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.510 * [taylor]: Taking taylor expansion of z in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.510 * [taylor]: Taking taylor expansion of y in y 3.510 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 3.510 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.510 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.510 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.510 * [taylor]: Taking taylor expansion of -1 in y 3.510 * [taylor]: Taking taylor expansion of y in y 3.512 * [taylor]: Taking taylor expansion of x in y 3.512 * [taylor]: Taking taylor expansion of (- (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) (/ (log (sqrt (/ -1 y))) x)) in y 3.512 * [taylor]: Taking taylor expansion of (fma (log (sqrt (/ -1 y))) (/ -1 x) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) in y 3.512 * [taylor]: Rewrote expression to (+ (* (log (sqrt (/ -1 y))) (/ -1 x)) (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y)))) 3.512 * [taylor]: Taking taylor expansion of (* (log (sqrt (/ -1 y))) (/ -1 x)) in y 3.512 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.512 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.512 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.512 * [taylor]: Taking taylor expansion of -1 in y 3.512 * [taylor]: Taking taylor expansion of y in y 3.514 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.514 * [taylor]: Taking taylor expansion of -1 in y 3.514 * [taylor]: Taking taylor expansion of x in y 3.514 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 z) (/ 1 y))) in y 3.514 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 3.514 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.514 * [taylor]: Taking taylor expansion of -1 in y 3.514 * [taylor]: Taking taylor expansion of t in y 3.514 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.514 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.514 * [taylor]: Taking taylor expansion of z in y 3.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.514 * [taylor]: Taking taylor expansion of y in y 3.514 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 3.514 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.515 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.515 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.515 * [taylor]: Taking taylor expansion of -1 in y 3.515 * [taylor]: Taking taylor expansion of y in y 3.516 * [taylor]: Taking taylor expansion of x in y 3.517 * [taylor]: Taking taylor expansion of 1 in x 3.520 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (/ 1 z)) (* 2 (/ (log +nan.0) x))) in x 3.520 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in x 3.520 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 3.520 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.520 * [taylor]: Taking taylor expansion of -1 in x 3.520 * [taylor]: Taking taylor expansion of t in x 3.520 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.520 * [taylor]: Taking taylor expansion of z in x 3.520 * [taylor]: Taking taylor expansion of (* 2 (/ (log +nan.0) x)) in x 3.520 * [taylor]: Taking taylor expansion of 2 in x 3.520 * [taylor]: Taking taylor expansion of (/ (log +nan.0) x) in x 3.520 * [taylor]: Taking taylor expansion of (log +nan.0) in x 3.520 * [taylor]: Taking taylor expansion of +nan.0 in x 3.520 * [taylor]: Taking taylor expansion of x in x 3.524 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in t 3.524 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in t 3.524 * [taylor]: Taking taylor expansion of 2 in t 3.524 * [taylor]: Taking taylor expansion of (log +nan.0) in t 3.524 * [taylor]: Taking taylor expansion of +nan.0 in t 3.526 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in z 3.526 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z 3.526 * [taylor]: Taking taylor expansion of 2 in z 3.526 * [taylor]: Taking taylor expansion of (log +nan.0) in z 3.526 * [taylor]: Taking taylor expansion of +nan.0 in z 3.526 * [taylor]: Taking taylor expansion of 1 in t 3.526 * [taylor]: Taking taylor expansion of 1 in z 3.541 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 x))) in x 3.541 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x 3.541 * [taylor]: Taking taylor expansion of +nan.0 in x 3.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.541 * [taylor]: Taking taylor expansion of x in x 3.542 * [taylor]: Taking taylor expansion of (- +nan.0) in t 3.542 * [taylor]: Taking taylor expansion of +nan.0 in t 3.542 * [taylor]: Taking taylor expansion of (- +nan.0) in z 3.542 * [taylor]: Taking taylor expansion of +nan.0 in z 3.544 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ -1 t))) in t 3.544 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.544 * [taylor]: Taking taylor expansion of z in t 3.544 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 3.544 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.544 * [taylor]: Taking taylor expansion of -1 in t 3.544 * [taylor]: Taking taylor expansion of t in t 3.546 * [taylor]: Taking taylor expansion of (- (+ (log -1) (/ 1 z)) (log t)) in z 3.546 * [taylor]: Taking taylor expansion of (+ (log -1) (/ 1 z)) in z 3.546 * [taylor]: Taking taylor expansion of (log -1) in z 3.546 * [taylor]: Taking taylor expansion of -1 in z 3.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.546 * [taylor]: Taking taylor expansion of z in z 3.546 * [taylor]: Taking taylor expansion of (log t) in z 3.546 * [taylor]: Taking taylor expansion of t in z 3.547 * [taylor]: Taking taylor expansion of 0 in t 3.547 * [taylor]: Taking taylor expansion of 0 in z 3.548 * [taylor]: Taking taylor expansion of 0 in z 3.549 * [taylor]: Taking taylor expansion of 0 in z 3.553 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.553 * [approximate]: Taking taylor expansion of (log (sqrt y)) in (y) around 0 3.553 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.553 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.553 * [taylor]: Taking taylor expansion of y in y 3.554 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 3.555 * [taylor]: Taking taylor expansion of (sqrt y) in y 3.555 * [taylor]: Taking taylor expansion of y in y 3.577 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 y))) in (y) around 0 3.577 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.577 * [taylor]: Taking taylor expansion of y in y 3.579 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 3.579 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 3.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.579 * [taylor]: Taking taylor expansion of y in y 3.598 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 y))) in (y) around 0 3.598 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.598 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.598 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.598 * [taylor]: Taking taylor expansion of -1 in y 3.598 * [taylor]: Taking taylor expansion of y in y 3.599 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 3.599 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 3.600 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.600 * [taylor]: Taking taylor expansion of -1 in y 3.600 * [taylor]: Taking taylor expansion of y in y 3.619 * * * [progress]: simplifying candidates 3.620 * [simplify]: Simplifying using # : (expm1 (* (log (sqrt y)) x)) (log1p (* (log (sqrt y)) x)) (* (log (sqrt y)) x) (+ (log (log (sqrt y))) (log x)) (log (* (log (sqrt y)) x)) (exp (* (log (sqrt y)) x)) (* (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))) (* (* x x) x)) (* (cbrt (* (log (sqrt y)) x)) (cbrt (* (log (sqrt y)) x))) (cbrt (* (log (sqrt y)) x)) (* (* (* (log (sqrt y)) x) (* (log (sqrt y)) x)) (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (* (sqrt (log (sqrt y))) (sqrt x)) (* (sqrt (log (sqrt y))) (sqrt x)) (* (log (sqrt y)) (* (cbrt x) (cbrt x))) (* (log (sqrt y)) (sqrt x)) (* (log (sqrt y)) 1) (* (log y) x) (* (log (sqrt y)) x) (* (log y) x) (* (cbrt (log (sqrt y))) x) (* (sqrt (log (sqrt y))) x) (* (log (sqrt y)) x) (expm1 (fma (log (sqrt y)) x (- (- (log t) y) z))) (log1p (fma (log (sqrt y)) x (- (- (log t) y) z))) (* (log (sqrt y)) x) (log (fma (log (sqrt y)) x (- (- (log t) y) z))) (exp (fma (log (sqrt y)) x (- (- (log t) y) z))) (* (cbrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (cbrt (fma (log (sqrt y)) x (- (- (log t) y) z)))) (cbrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (* (* (fma (log (sqrt y)) x (- (- (log t) y) z)) (fma (log (sqrt y)) x (- (- (log t) y) z))) (fma (log (sqrt y)) x (- (- (log t) y) z))) (sqrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (sqrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (expm1 (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (log1p (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (* (exp (* (log (sqrt y)) x)) (exp (fma (log (sqrt y)) x (- (- (log t) y) z)))) (log (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (exp (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (* (cbrt (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (cbrt (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z))))) (cbrt (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (* (* (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z))) (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (sqrt (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (sqrt (+ (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (+ (pow (* (log (sqrt y)) x) 3) (pow (fma (log (sqrt y)) x (- (- (log t) y) z)) 3)) (+ (* (* (log (sqrt y)) x) (* (log (sqrt y)) x)) (- (* (fma (log (sqrt y)) x (- (- (log t) y) z)) (fma (log (sqrt y)) x (- (- (log t) y) z))) (* (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z))))) (- (* (* (log (sqrt y)) x) (* (log (sqrt y)) x)) (* (fma (log (sqrt y)) x (- (- (log t) y) z)) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (- (* (log (sqrt y)) x) (fma (log (sqrt y)) x (- (- (log t) y) z))) (+ (* (log (sqrt y)) x) (* (log (sqrt y)) x)) (expm1 (log (sqrt y))) (log1p (log (sqrt y))) (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (log (cbrt (sqrt y))) (log (sqrt (* (cbrt y) (cbrt y)))) (log (sqrt (cbrt y))) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log (sqrt 1)) (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log 1) (log (sqrt y)) (log y) (log (sqrt y)) (log y) (log (log (sqrt y))) (exp (log (sqrt y))) (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))) (cbrt (log (sqrt y))) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))) (sqrt (log (sqrt y))) (sqrt (log (sqrt y))) (- (+ (* x (log y)) (* x (log +nan.0))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y))))) (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2)))))) (- (+ (* x (log y)) (+ (log t) (* x (log +nan.0)))) y) (- (* x (log +nan.0)) (+ z y)) (- (* x (log +nan.0)) (+ z y)) (- (+ (* 2 (* x (log y))) (+ (log t) (* 2 (* x (log +nan.0))))) y) (- (* 2 (* x (log +nan.0))) (+ z y)) (- (* 2 (* x (log +nan.0))) (+ z y)) (- (+ (log +nan.0) (log y)) (+ (* +nan.0 y) (- (* +nan.0 (pow y 2))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) 3.624 * * [simplify]: iteration 0 : 136 enodes (cost 971 ) 3.650 * * [simplify]: iteration 1 : 328 enodes (cost 885 ) 3.733 * * [simplify]: iteration 2 : 908 enodes (cost 791 ) 4.297 * * [simplify]: iteration 3 : 2825 enodes (cost 745 ) 5.142 * * [simplify]: iteration done : 5001 enodes (cost 745 ) 5.143 * [simplify]: Simplified to: (expm1 (* (log (sqrt y)) x)) (log1p (* (log (sqrt y)) x)) (* (log (sqrt y)) x) (log (* (log (sqrt y)) x)) (log (* (log (sqrt y)) x)) (pow (sqrt y) x) (pow (* (log (sqrt y)) x) 3) (* (cbrt (* (log (sqrt y)) x)) (cbrt (* (log (sqrt y)) x))) (cbrt (* (log (sqrt y)) x)) (pow (* (log (sqrt y)) x) 3) (sqrt (* (log (sqrt y)) x)) (sqrt (* (log (sqrt y)) x)) (* (sqrt (log (sqrt y))) (sqrt x)) (* (sqrt (log (sqrt y))) (sqrt x)) (* (log (sqrt y)) (* (cbrt x) (cbrt x))) (* (log (sqrt y)) (sqrt x)) (log (sqrt y)) (* x (log y)) (* (log (sqrt y)) x) (* x (log y)) (* (cbrt (log (sqrt y))) x) (* (sqrt (log (sqrt y))) x) (* (log (sqrt y)) x) (expm1 (fma (log (sqrt y)) x (- (- (log t) y) z))) (log1p (fma (log (sqrt y)) x (- (- (log t) y) z))) (* (log (sqrt y)) x) (log (fma (log (sqrt y)) x (- (- (log t) y) z))) (exp (fma (log (sqrt y)) x (- (- (log t) y) z))) (* (cbrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (cbrt (fma (log (sqrt y)) x (- (- (log t) y) z)))) (cbrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (pow (fma (log (sqrt y)) x (- (- (log t) y) z)) 3) (sqrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (sqrt (fma (log (sqrt y)) x (- (- (log t) y) z))) (expm1 (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (log1p (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (exp (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (log (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (exp (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (* (cbrt (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (cbrt (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z)))) (cbrt (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (pow (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z)) 3) (sqrt (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (sqrt (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z))) (+ (pow (* (log (sqrt y)) x) 3) (pow (fma (log (sqrt y)) x (- (- (log t) y) z)) 3)) (fma (* (log (sqrt y)) (* x x)) (log (sqrt y)) (* (+ (- (- (log t) y) z) 0) (fma (log (sqrt y)) x (- (- (log t) y) z)))) (* (fma x (* 2 (log (sqrt y))) (- (- (log t) y) z)) (- 0 (- (- (log t) y) z))) (- 0 (- (- (log t) y) z)) (* 2 (* (log (sqrt y)) x)) (expm1 (log (sqrt y))) (log1p (log (sqrt y))) (* 2 (log (cbrt (sqrt y)))) (log (cbrt (sqrt y))) (log (fabs (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log 1) (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) 0 (log (sqrt y)) (log y) (log (sqrt y)) (log y) (log (log (sqrt y))) (sqrt y) (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))) (cbrt (log (sqrt y))) (pow (log (sqrt y)) 3) (sqrt (log (sqrt y))) (sqrt (log (sqrt y))) (- (* x (+ (log +nan.0) (log y))) (* (* +nan.0 x) (- (pow y 2) y))) (fma x (log +nan.0) (- (* (/ x y) (- +nan.0 (/ +nan.0 y))))) (fma x (log +nan.0) (- (* (/ x y) (- +nan.0 (/ +nan.0 y))))) (- (fma x (+ (log +nan.0) (log y)) (log t)) y) (- (* x (log +nan.0)) (+ z y)) (- (* x (log +nan.0)) (+ z y)) (+ (* 2 (* x (+ (log +nan.0) (log y)))) (- (log t) y)) (- (* 2 (* x (log +nan.0))) (+ z y)) (- (* 2 (* x (log +nan.0))) (+ z y)) (+ (log +nan.0) (- (log y) (* +nan.0 (- y (pow y 2))))) (- (log +nan.0) (- (/ +nan.0 y) (/ +nan.0 (pow y 2)))) (- (log +nan.0) (- (/ +nan.0 y) (/ +nan.0 (pow y 2)))) 5.143 * * * [progress]: adding candidates to table 5.421 * * [progress]: iteration 3 / 4 5.421 * * * [progress]: picking best candidate 5.435 * * * * [pick]: Picked # 5.435 * * * [progress]: localizing error 5.451 * * * [progress]: generating rewritten candidates 5.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 5.452 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 5.452 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 5.457 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 5.473 * * * [progress]: generating series expansions 5.473 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 5.473 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.473 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.473 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.473 * [taylor]: Taking taylor expansion of 1/3 in y 5.473 * [taylor]: Taking taylor expansion of (log y) in y 5.473 * [taylor]: Taking taylor expansion of y in y 5.474 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.474 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.474 * [taylor]: Taking taylor expansion of 1/3 in y 5.474 * [taylor]: Taking taylor expansion of (log y) in y 5.474 * [taylor]: Taking taylor expansion of y in y 5.523 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.523 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.523 * [taylor]: Taking taylor expansion of 1/3 in y 5.523 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.523 * [taylor]: Taking taylor expansion of y in y 5.524 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.524 * [taylor]: Taking taylor expansion of 1/3 in y 5.524 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.524 * [taylor]: Taking taylor expansion of y in y 5.578 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.578 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.578 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.578 * [taylor]: Taking taylor expansion of -1 in y 5.579 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.579 * [taylor]: Taking taylor expansion of 1/3 in y 5.579 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.579 * [taylor]: Taking taylor expansion of y in y 5.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.580 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.580 * [taylor]: Taking taylor expansion of -1 in y 5.581 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.581 * [taylor]: Taking taylor expansion of 1/3 in y 5.581 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.581 * [taylor]: Taking taylor expansion of y in y 5.646 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1) 5.646 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.646 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.646 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.646 * [taylor]: Taking taylor expansion of 1/3 in y 5.646 * [taylor]: Taking taylor expansion of (log y) in y 5.646 * [taylor]: Taking taylor expansion of y in y 5.647 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.647 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.647 * [taylor]: Taking taylor expansion of 1/3 in y 5.647 * [taylor]: Taking taylor expansion of (log y) in y 5.647 * [taylor]: Taking taylor expansion of y in y 5.699 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.699 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.699 * [taylor]: Taking taylor expansion of 1/3 in y 5.699 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.699 * [taylor]: Taking taylor expansion of y in y 5.700 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.700 * [taylor]: Taking taylor expansion of 1/3 in y 5.700 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.700 * [taylor]: Taking taylor expansion of y in y 5.753 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.753 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.753 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.753 * [taylor]: Taking taylor expansion of -1 in y 5.754 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.754 * [taylor]: Taking taylor expansion of 1/3 in y 5.754 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.754 * [taylor]: Taking taylor expansion of y in y 5.755 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.755 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.755 * [taylor]: Taking taylor expansion of -1 in y 5.756 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.756 * [taylor]: Taking taylor expansion of 1/3 in y 5.756 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.756 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.756 * [taylor]: Taking taylor expansion of y in y 5.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 5.828 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 5.828 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 5.828 * [taylor]: Taking taylor expansion of x in y 5.828 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 5.828 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.828 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.828 * [taylor]: Taking taylor expansion of 1/3 in y 5.828 * [taylor]: Taking taylor expansion of (log y) in y 5.828 * [taylor]: Taking taylor expansion of y in y 5.829 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 5.829 * [taylor]: Taking taylor expansion of x in x 5.829 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 5.829 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.829 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.829 * [taylor]: Taking taylor expansion of 1/3 in x 5.829 * [taylor]: Taking taylor expansion of (log y) in x 5.829 * [taylor]: Taking taylor expansion of y in x 5.829 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 5.829 * [taylor]: Taking taylor expansion of x in x 5.829 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 5.829 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.829 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.829 * [taylor]: Taking taylor expansion of 1/3 in x 5.829 * [taylor]: Taking taylor expansion of (log y) in x 5.829 * [taylor]: Taking taylor expansion of y in x 5.829 * [taylor]: Taking taylor expansion of 0 in y 5.832 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 5.832 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.832 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.832 * [taylor]: Taking taylor expansion of 1/3 in y 5.832 * [taylor]: Taking taylor expansion of (log y) in y 5.832 * [taylor]: Taking taylor expansion of y in y 5.836 * [taylor]: Taking taylor expansion of 0 in y 5.851 * [taylor]: Taking taylor expansion of 0 in y 5.851 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 5.851 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 5.851 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 5.851 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.851 * [taylor]: Taking taylor expansion of 1/3 in y 5.851 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.851 * [taylor]: Taking taylor expansion of y in y 5.852 * [taylor]: Taking taylor expansion of x in y 5.853 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 5.853 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 5.853 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.853 * [taylor]: Taking taylor expansion of 1/3 in x 5.853 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.853 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.853 * [taylor]: Taking taylor expansion of y in x 5.853 * [taylor]: Taking taylor expansion of x in x 5.853 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 5.853 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 5.853 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.853 * [taylor]: Taking taylor expansion of 1/3 in x 5.853 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.853 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.853 * [taylor]: Taking taylor expansion of y in x 5.853 * [taylor]: Taking taylor expansion of x in x 5.854 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 5.854 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.854 * [taylor]: Taking taylor expansion of 1/3 in y 5.854 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.854 * [taylor]: Taking taylor expansion of y in y 5.857 * [taylor]: Taking taylor expansion of 0 in y 5.865 * [taylor]: Taking taylor expansion of 0 in y 5.876 * [taylor]: Taking taylor expansion of 0 in y 5.877 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 5.877 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 5.877 * [taylor]: Taking taylor expansion of -1 in y 5.877 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 5.877 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 5.877 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.877 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.877 * [taylor]: Taking taylor expansion of -1 in y 5.878 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.878 * [taylor]: Taking taylor expansion of 1/3 in y 5.878 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.878 * [taylor]: Taking taylor expansion of y in y 5.879 * [taylor]: Taking taylor expansion of x in y 5.880 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 5.880 * [taylor]: Taking taylor expansion of -1 in x 5.880 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 5.880 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 5.880 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 5.880 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.880 * [taylor]: Taking taylor expansion of -1 in x 5.881 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.881 * [taylor]: Taking taylor expansion of 1/3 in x 5.881 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.881 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.881 * [taylor]: Taking taylor expansion of y in x 5.882 * [taylor]: Taking taylor expansion of x in x 5.882 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 5.882 * [taylor]: Taking taylor expansion of -1 in x 5.882 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 5.882 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 5.882 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 5.882 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.882 * [taylor]: Taking taylor expansion of -1 in x 5.883 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.883 * [taylor]: Taking taylor expansion of 1/3 in x 5.883 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.883 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.883 * [taylor]: Taking taylor expansion of y in x 5.884 * [taylor]: Taking taylor expansion of x in x 5.885 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 5.885 * [taylor]: Taking taylor expansion of -1 in y 5.885 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 5.885 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.885 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.885 * [taylor]: Taking taylor expansion of -1 in y 5.886 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.886 * [taylor]: Taking taylor expansion of 1/3 in y 5.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.886 * [taylor]: Taking taylor expansion of y in y 5.892 * [taylor]: Taking taylor expansion of 0 in y 5.904 * [taylor]: Taking taylor expansion of 0 in y 5.923 * [taylor]: Taking taylor expansion of 0 in y 5.923 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 5.923 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (x y) around 0 5.923 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 5.923 * [taylor]: Taking taylor expansion of 2 in y 5.923 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 5.923 * [taylor]: Taking taylor expansion of x in y 5.923 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 5.923 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.923 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.923 * [taylor]: Taking taylor expansion of 1/3 in y 5.924 * [taylor]: Taking taylor expansion of (log y) in y 5.924 * [taylor]: Taking taylor expansion of y in y 5.924 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 5.924 * [taylor]: Taking taylor expansion of 2 in x 5.924 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 5.924 * [taylor]: Taking taylor expansion of x in x 5.924 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 5.924 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.924 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.924 * [taylor]: Taking taylor expansion of 1/3 in x 5.924 * [taylor]: Taking taylor expansion of (log y) in x 5.924 * [taylor]: Taking taylor expansion of y in x 5.924 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 5.925 * [taylor]: Taking taylor expansion of 2 in x 5.925 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 5.925 * [taylor]: Taking taylor expansion of x in x 5.925 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 5.925 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.925 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.925 * [taylor]: Taking taylor expansion of 1/3 in x 5.925 * [taylor]: Taking taylor expansion of (log y) in x 5.925 * [taylor]: Taking taylor expansion of y in x 5.925 * [taylor]: Taking taylor expansion of 0 in y 5.928 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y 5.928 * [taylor]: Taking taylor expansion of 2 in y 5.928 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 5.928 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.928 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.928 * [taylor]: Taking taylor expansion of 1/3 in y 5.928 * [taylor]: Taking taylor expansion of (log y) in y 5.928 * [taylor]: Taking taylor expansion of y in y 5.933 * [taylor]: Taking taylor expansion of 0 in y 5.949 * [taylor]: Taking taylor expansion of 0 in y 5.949 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0 5.949 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 5.949 * [taylor]: Taking taylor expansion of 2 in y 5.949 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 5.949 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 5.949 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.950 * [taylor]: Taking taylor expansion of 1/3 in y 5.950 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.950 * [taylor]: Taking taylor expansion of y in y 5.950 * [taylor]: Taking taylor expansion of x in y 5.951 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 5.951 * [taylor]: Taking taylor expansion of 2 in x 5.951 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 5.951 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 5.951 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.951 * [taylor]: Taking taylor expansion of 1/3 in x 5.951 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.951 * [taylor]: Taking taylor expansion of y in x 5.951 * [taylor]: Taking taylor expansion of x in x 5.951 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 5.951 * [taylor]: Taking taylor expansion of 2 in x 5.951 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 5.951 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 5.951 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.951 * [taylor]: Taking taylor expansion of 1/3 in x 5.951 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.951 * [taylor]: Taking taylor expansion of y in x 5.951 * [taylor]: Taking taylor expansion of x in x 5.952 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y 5.952 * [taylor]: Taking taylor expansion of 2 in y 5.952 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 5.952 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.952 * [taylor]: Taking taylor expansion of 1/3 in y 5.952 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.952 * [taylor]: Taking taylor expansion of y in y 5.956 * [taylor]: Taking taylor expansion of 0 in y 5.965 * [taylor]: Taking taylor expansion of 0 in y 5.977 * [taylor]: Taking taylor expansion of 0 in y 5.978 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 5.978 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 5.978 * [taylor]: Taking taylor expansion of -2 in y 5.978 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 5.978 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 5.978 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.978 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.978 * [taylor]: Taking taylor expansion of -1 in y 5.978 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.979 * [taylor]: Taking taylor expansion of 1/3 in y 5.979 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.979 * [taylor]: Taking taylor expansion of y in y 5.980 * [taylor]: Taking taylor expansion of x in y 5.981 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 5.981 * [taylor]: Taking taylor expansion of -2 in x 5.981 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 5.981 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 5.981 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 5.981 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.981 * [taylor]: Taking taylor expansion of -1 in x 5.981 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.981 * [taylor]: Taking taylor expansion of 1/3 in x 5.981 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.981 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.982 * [taylor]: Taking taylor expansion of y in x 5.982 * [taylor]: Taking taylor expansion of x in x 5.983 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 5.983 * [taylor]: Taking taylor expansion of -2 in x 5.983 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 5.983 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 5.983 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 5.983 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.983 * [taylor]: Taking taylor expansion of -1 in x 5.984 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.984 * [taylor]: Taking taylor expansion of 1/3 in x 5.984 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.984 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.984 * [taylor]: Taking taylor expansion of y in x 5.985 * [taylor]: Taking taylor expansion of x in x 5.986 * [taylor]: Taking taylor expansion of (* -2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 5.986 * [taylor]: Taking taylor expansion of -2 in y 5.986 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 5.986 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.986 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.986 * [taylor]: Taking taylor expansion of -1 in y 5.987 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.987 * [taylor]: Taking taylor expansion of 1/3 in y 5.987 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.987 * [taylor]: Taking taylor expansion of y in y 5.994 * [taylor]: Taking taylor expansion of 0 in y 6.006 * [taylor]: Taking taylor expansion of 0 in y 6.025 * [taylor]: Taking taylor expansion of 0 in y 6.026 * * * [progress]: simplifying candidates 6.027 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* x (log (cbrt y)))) (log1p (* x (log (cbrt y)))) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (exp (* x (log (cbrt y)))) (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt 1))) (* x (log (cbrt y))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt 1)) x) (* (log (cbrt y)) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) (* x 1) (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (expm1 (* x (* 2 (log (cbrt y))))) (log1p (* x (* 2 (log (cbrt y))))) (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y)))) (+ (log x) (+ (log 2) (log (log (cbrt y))))) (+ (log x) (log (* 2 (log (cbrt y))))) (log (* x (* 2 (log (cbrt y))))) (exp (* x (* 2 (log (cbrt y))))) (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))) (* (* (* x x) x) (* (* (* 2 (log (cbrt y))) (* 2 (log (cbrt y)))) (* 2 (log (cbrt y))))) (* (cbrt (* x (* 2 (log (cbrt y))))) (cbrt (* x (* 2 (log (cbrt y)))))) (cbrt (* x (* 2 (log (cbrt y))))) (* (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* x (* 2 (log (cbrt y))))) (sqrt (* x (* 2 (log (cbrt y))))) (sqrt (* x (* 2 (log (cbrt y))))) (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (* 2 (log (cbrt (cbrt y))))) (* x (* 2 (log (cbrt (sqrt y))))) (* x (* 2 (log (cbrt (sqrt y))))) (* x (* 2 (log (cbrt 1)))) (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (* x (* 2 (log (cbrt (cbrt y))))) (* x (* 2 (log (sqrt (cbrt y))))) (* x (* 2 (log (sqrt (cbrt y))))) (* x (* 2 (log 1))) (* x (* 2 (log (cbrt y)))) (* x (* (log (cbrt (* (cbrt y) (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt 1)) 2)) (* x (* (log (cbrt y)) 2)) (* x (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log 1) 2)) (* x (* (log (cbrt y)) 2)) (* (* 2 (log (cbrt (* (cbrt y) (cbrt y))))) x) (* (* 2 (log (cbrt (cbrt y)))) x) (* (* 2 (log (cbrt (sqrt y)))) x) (* (* 2 (log (cbrt (sqrt y)))) x) (* (* 2 (log (cbrt 1))) x) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) x) (* (* 2 (log (cbrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log 1)) x) (* (* 2 (log (cbrt y))) x) (* (* (log (cbrt (* (cbrt y) (cbrt y)))) 2) x) (* (* (log (cbrt (cbrt y))) 2) x) (* (* (log (cbrt (sqrt y))) 2) x) (* (* (log (cbrt (sqrt y))) 2) x) (* (* (log (cbrt 1)) 2) x) (* (* (log (cbrt y)) 2) x) (* (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) 2) x) (* (* (log (cbrt (cbrt y))) 2) x) (* (* (log (sqrt (cbrt y))) 2) x) (* (* (log (sqrt (cbrt y))) 2) x) (* (* (log 1) 2) x) (* (* (log (cbrt y)) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt y)))) (* (sqrt x) (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y)))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* x (log (pow y 1/3))) (* x (log (pow (/ 1 y) -1/3))) (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 2 (* x (log (pow y 1/3)))) (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* 2 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) 6.037 * * [simplify]: iteration 0 : 161 enodes (cost 1097 ) 6.074 * * [simplify]: iteration 1 : 300 enodes (cost 1057 ) 6.142 * * [simplify]: iteration 2 : 706 enodes (cost 912 ) 6.674 * * [simplify]: iteration 3 : 2599 enodes (cost 895 ) 8.019 * * [simplify]: iteration done : 5000 enodes (cost 895 ) 8.020 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* x (log (cbrt y)))) (log1p (* x (log (cbrt y)))) (* x (log (cbrt y))) (log (* x (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (cbrt y) x) (pow (* x (log (cbrt y))) 3) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (pow (* x (log (cbrt y))) 3) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (log (cbrt (pow y 2/3))) x) (* x (log (cbrt (cbrt y)))) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (cbrt y))) (* x 2)) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (cbrt y))) (* (log (cbrt (pow y 2/3))) x) (* x (log (cbrt (cbrt y)))) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (cbrt y))) (* x 2)) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (cbrt y))) (* x 1/3) x (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) x (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (expm1 (* x (* 2/3 (log y)))) (log1p (* x (* 2/3 (log y)))) (* (log y) (* x 2/3)) (* (log y) (* x 2/3)) (log (* x (* 2/3 (log y)))) (log (* x (* 2/3 (log y)))) (log (* x (* 2/3 (log y)))) (pow (pow y 2/3) x) (pow (* x (* 2/3 (log y))) 3) (pow (* x (* 2/3 (log y))) 3) (* (cbrt (* x (* 2/3 (log y)))) (cbrt (* x (* 2/3 (log y))))) (cbrt (* x (* 2/3 (log y)))) (pow (* x (* 2/3 (log y))) 3) (sqrt (* x (* 2/3 (log y)))) (sqrt (* x (* 2/3 (log y)))) (* (log (cbrt (pow y 2/3))) (* x 2)) (* (log (cbrt (cbrt y))) (* x 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* (* x (log 1)) 2) (* (log y) (* x 2/3)) (* (* x (log (cbrt (cbrt y)))) 4) (* (log (cbrt (cbrt y))) (* x 2)) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) 0 (* (log y) (* x 2/3)) (* (log (cbrt (pow y 2/3))) (* x 2)) (* (log (cbrt (cbrt y))) (* x 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* (* x (log 1)) 2) (* (log y) (* x 2/3)) (* (* x (log (cbrt (cbrt y)))) 4) (* (log (cbrt (cbrt y))) (* x 2)) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) 0 (* (log y) (* x 2/3)) (* (log (cbrt (pow y 2/3))) (* x 2)) (* (log (cbrt (cbrt y))) (* x 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* (* x (log 1)) 2) (* (log y) (* x 2/3)) (* (* x (log (cbrt (cbrt y)))) 4) (* (log (cbrt (cbrt y))) (* x 2)) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) 0 (* (log y) (* x 2/3)) (* (log (cbrt (pow y 2/3))) (* x 2)) (* (log (cbrt (cbrt y))) (* x 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* (* x (log 1)) 2) (* (log y) (* x 2/3)) (* (* x (log (cbrt (cbrt y)))) 4) (* (log (cbrt (cbrt y))) (* x 2)) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) 0 (* (log y) (* x 2/3)) (* x 2) (* (* 2/3 (log y)) (cbrt x)) (* (* 2/3 (log y)) (sqrt x)) (* (log y) (* x 2/3)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* x (log (cbrt y))) (* x (* -1/3 (- (log y)))) (* x (log (* (cbrt -1) (cbrt (- y))))) (* (log y) (* x 2/3)) (* (- (log y)) (* x -2/3)) (* (* x 2) (log (* (cbrt -1) (cbrt (- y))))) 8.021 * * * [progress]: adding candidates to table 8.381 * * [progress]: iteration 4 / 4 8.381 * * * [progress]: picking best candidate 8.394 * * * * [pick]: Picked # 8.395 * * * [progress]: localizing error 8.423 * * * [progress]: generating rewritten candidates 8.423 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 8.424 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1) 8.424 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2 1 1) 8.425 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 1) 8.426 * * * [progress]: generating series expansions 8.426 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 8.426 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.426 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.426 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.426 * [taylor]: Taking taylor expansion of 1/3 in y 8.426 * [taylor]: Taking taylor expansion of (log y) in y 8.427 * [taylor]: Taking taylor expansion of y in y 8.427 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.427 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.427 * [taylor]: Taking taylor expansion of 1/3 in y 8.428 * [taylor]: Taking taylor expansion of (log y) in y 8.428 * [taylor]: Taking taylor expansion of y in y 8.477 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.477 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.477 * [taylor]: Taking taylor expansion of 1/3 in y 8.477 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.477 * [taylor]: Taking taylor expansion of y in y 8.478 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.478 * [taylor]: Taking taylor expansion of 1/3 in y 8.478 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.478 * [taylor]: Taking taylor expansion of y in y 8.537 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.537 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.537 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.537 * [taylor]: Taking taylor expansion of -1 in y 8.538 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.538 * [taylor]: Taking taylor expansion of 1/3 in y 8.538 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.538 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.538 * [taylor]: Taking taylor expansion of y in y 8.539 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.539 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.539 * [taylor]: Taking taylor expansion of -1 in y 8.540 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.540 * [taylor]: Taking taylor expansion of 1/3 in y 8.540 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.540 * [taylor]: Taking taylor expansion of y in y 8.609 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1 1 1) 8.609 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.609 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.609 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.609 * [taylor]: Taking taylor expansion of 1/3 in y 8.609 * [taylor]: Taking taylor expansion of (log y) in y 8.609 * [taylor]: Taking taylor expansion of y in y 8.610 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.610 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.610 * [taylor]: Taking taylor expansion of 1/3 in y 8.610 * [taylor]: Taking taylor expansion of (log y) in y 8.610 * [taylor]: Taking taylor expansion of y in y 8.664 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.665 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.665 * [taylor]: Taking taylor expansion of 1/3 in y 8.665 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.665 * [taylor]: Taking taylor expansion of y in y 8.666 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.666 * [taylor]: Taking taylor expansion of 1/3 in y 8.666 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.666 * [taylor]: Taking taylor expansion of y in y 8.724 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.724 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.724 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.724 * [taylor]: Taking taylor expansion of -1 in y 8.725 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.725 * [taylor]: Taking taylor expansion of 1/3 in y 8.725 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.725 * [taylor]: Taking taylor expansion of y in y 8.726 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.726 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.726 * [taylor]: Taking taylor expansion of -1 in y 8.727 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.727 * [taylor]: Taking taylor expansion of 1/3 in y 8.727 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.727 * [taylor]: Taking taylor expansion of y in y 8.791 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2 1 1) 8.791 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.791 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.791 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.791 * [taylor]: Taking taylor expansion of 1/3 in y 8.791 * [taylor]: Taking taylor expansion of (log y) in y 8.791 * [taylor]: Taking taylor expansion of y in y 8.792 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.792 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.792 * [taylor]: Taking taylor expansion of 1/3 in y 8.792 * [taylor]: Taking taylor expansion of (log y) in y 8.792 * [taylor]: Taking taylor expansion of y in y 8.847 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.847 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.847 * [taylor]: Taking taylor expansion of 1/3 in y 8.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.847 * [taylor]: Taking taylor expansion of y in y 8.848 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.848 * [taylor]: Taking taylor expansion of 1/3 in y 8.848 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.848 * [taylor]: Taking taylor expansion of y in y 8.906 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.906 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.906 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.906 * [taylor]: Taking taylor expansion of -1 in y 8.907 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.907 * [taylor]: Taking taylor expansion of 1/3 in y 8.907 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.907 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.907 * [taylor]: Taking taylor expansion of y in y 8.907 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.907 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.908 * [taylor]: Taking taylor expansion of -1 in y 8.908 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.908 * [taylor]: Taking taylor expansion of 1/3 in y 8.908 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.908 * [taylor]: Taking taylor expansion of y in y 8.980 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 1) 8.981 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 8.981 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 8.981 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 8.981 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 8.981 * [taylor]: Taking taylor expansion of 1/9 in y 8.981 * [taylor]: Taking taylor expansion of (log y) in y 8.981 * [taylor]: Taking taylor expansion of y in y 8.981 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 8.981 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 8.981 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 8.981 * [taylor]: Taking taylor expansion of 1/9 in y 8.981 * [taylor]: Taking taylor expansion of (log y) in y 8.981 * [taylor]: Taking taylor expansion of y in y 9.038 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 9.038 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.038 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.038 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.038 * [taylor]: Taking taylor expansion of 1/9 in y 9.038 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.038 * [taylor]: Taking taylor expansion of y in y 9.039 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.039 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.039 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.039 * [taylor]: Taking taylor expansion of 1/9 in y 9.039 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.039 * [taylor]: Taking taylor expansion of y in y 9.093 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 9.093 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 9.093 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 9.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 9.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 9.093 * [taylor]: Taking taylor expansion of 1/3 in y 9.093 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 9.093 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.093 * [taylor]: Taking taylor expansion of -1 in y 9.097 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.098 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.098 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.098 * [taylor]: Taking taylor expansion of 1/9 in y 9.098 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.098 * [taylor]: Taking taylor expansion of y in y 9.099 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 9.099 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 9.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 9.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 9.099 * [taylor]: Taking taylor expansion of 1/3 in y 9.099 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 9.099 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.099 * [taylor]: Taking taylor expansion of -1 in y 9.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.103 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.103 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.103 * [taylor]: Taking taylor expansion of 1/9 in y 9.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.103 * [taylor]: Taking taylor expansion of y in y 9.242 * * * [progress]: simplifying candidates 9.243 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 9.244 * * [simplify]: iteration 0 : 46 enodes (cost 329 ) 9.252 * * [simplify]: iteration 1 : 79 enodes (cost 313 ) 9.265 * * [simplify]: iteration 2 : 151 enodes (cost 287 ) 9.297 * * [simplify]: iteration 3 : 306 enodes (cost 275 ) 9.374 * * [simplify]: iteration 4 : 858 enodes (cost 275 ) 10.263 * * [simplify]: iteration 5 : 3530 enodes (cost 275 ) 11.623 * * [simplify]: iteration done : 5000 enodes (cost 275 ) 11.624 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt 1) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (cbrt (cbrt -1)) (pow (- y) 1/9)) 11.624 * * * [progress]: adding candidates to table 11.969 * [progress]: [Phase 3 of 3] Extracting. 11.969 * * [regime]: Finding splitpoints for: (# # # # # #) 11.971 * * * [regime-changes]: Trying 5 branch expressions: ((log t) t z y x) 11.971 * * * * [regimes]: Trying to branch on (log t) from (# # # # # #) 12.009 * * * * [regimes]: Trying to branch on t from (# # # # # #) 12.043 * * * * [regimes]: Trying to branch on z from (# # # # # #) 12.075 * * * * [regimes]: Trying to branch on y from (# # # # # #) 12.109 * * * * [regimes]: Trying to branch on x from (# # # # # #) 12.144 * * * [regime]: Found split indices: #