9.100 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (+ (/ (* x x) (* y y)) (/ (* z z) (* t t))) 0.042 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.044 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 0.047 * * [simplify]: iteration 2 : 44 enodes (cost 14 ) 0.052 * * [simplify]: iteration 3 : 58 enodes (cost 14 ) 0.058 * * [simplify]: iteration 4 : 60 enodes (cost 14 ) 0.064 * * [simplify]: iteration done : 60 enodes (cost 14 ) 0.064 * [simplify]: Simplified to: (fma (/ x y) (/ x y) (/ (* z z) (* t t))) 0.068 * * [progress]: iteration 1 / 4 0.068 * * * [progress]: picking best candidate 0.072 * * * * [pick]: Picked # 0.072 * * * [progress]: localizing error 0.081 * * * [progress]: generating rewritten candidates 0.081 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.086 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.087 * * * [progress]: generating series expansions 0.087 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.088 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0 0.088 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 0.088 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.088 * [taylor]: Taking taylor expansion of z in t 0.088 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.088 * [taylor]: Taking taylor expansion of t in t 0.088 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.089 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.089 * [taylor]: Taking taylor expansion of z in z 0.089 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.089 * [taylor]: Taking taylor expansion of t in z 0.089 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.089 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.089 * [taylor]: Taking taylor expansion of z in z 0.089 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.089 * [taylor]: Taking taylor expansion of t in z 0.090 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.090 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.090 * [taylor]: Taking taylor expansion of t in t 0.091 * [taylor]: Taking taylor expansion of 0 in t 0.093 * [taylor]: Taking taylor expansion of 0 in t 0.096 * [taylor]: Taking taylor expansion of 0 in t 0.099 * [taylor]: Taking taylor expansion of 0 in t 0.100 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0 0.100 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.100 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.100 * [taylor]: Taking taylor expansion of t in t 0.100 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.100 * [taylor]: Taking taylor expansion of z in t 0.100 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.100 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.100 * [taylor]: Taking taylor expansion of t in z 0.100 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.101 * [taylor]: Taking taylor expansion of z in z 0.101 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.101 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.101 * [taylor]: Taking taylor expansion of t in z 0.101 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.101 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.102 * [taylor]: Taking taylor expansion of t in t 0.103 * [taylor]: Taking taylor expansion of 0 in t 0.109 * [taylor]: Taking taylor expansion of 0 in t 0.112 * [taylor]: Taking taylor expansion of 0 in t 0.113 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0 0.113 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.113 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.113 * [taylor]: Taking taylor expansion of t in t 0.113 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.113 * [taylor]: Taking taylor expansion of z in t 0.113 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.113 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.113 * [taylor]: Taking taylor expansion of t in z 0.113 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.113 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.114 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.114 * [taylor]: Taking taylor expansion of t in z 0.114 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.114 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.114 * [taylor]: Taking taylor expansion of t in t 0.116 * [taylor]: Taking taylor expansion of 0 in t 0.118 * [taylor]: Taking taylor expansion of 0 in t 0.121 * [taylor]: Taking taylor expansion of 0 in t 0.122 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.122 * [approximate]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in (x y z t) around 0 0.122 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in t 0.122 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.122 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in t 0.122 * [taylor]: Taking taylor expansion of (/ x y) in t 0.122 * [taylor]: Taking taylor expansion of x in t 0.122 * [taylor]: Taking taylor expansion of y in t 0.122 * [taylor]: Taking taylor expansion of (/ x y) in t 0.122 * [taylor]: Taking taylor expansion of x in t 0.122 * [taylor]: Taking taylor expansion of y in t 0.122 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 0.122 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.122 * [taylor]: Taking taylor expansion of z in t 0.122 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.123 * [taylor]: Taking taylor expansion of t in t 0.123 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in z 0.123 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.123 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in z 0.123 * [taylor]: Taking taylor expansion of (/ x y) in z 0.123 * [taylor]: Taking taylor expansion of x in z 0.123 * [taylor]: Taking taylor expansion of y in z 0.123 * [taylor]: Taking taylor expansion of (/ x y) in z 0.123 * [taylor]: Taking taylor expansion of x in z 0.123 * [taylor]: Taking taylor expansion of y in z 0.123 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.123 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.123 * [taylor]: Taking taylor expansion of z in z 0.123 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.123 * [taylor]: Taking taylor expansion of t in z 0.124 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in y 0.124 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.124 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in y 0.124 * [taylor]: Taking taylor expansion of (/ x y) in y 0.124 * [taylor]: Taking taylor expansion of x in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of (/ x y) in y 0.124 * [taylor]: Taking taylor expansion of x in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 0.124 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.124 * [taylor]: Taking taylor expansion of z in y 0.124 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.124 * [taylor]: Taking taylor expansion of t in y 0.124 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in x 0.124 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.125 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in x 0.125 * [taylor]: Taking taylor expansion of (/ x y) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (/ x y) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 0.125 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.125 * [taylor]: Taking taylor expansion of z in x 0.125 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.125 * [taylor]: Taking taylor expansion of t in x 0.125 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in x 0.125 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.125 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in x 0.125 * [taylor]: Taking taylor expansion of (/ x y) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (/ x y) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 0.125 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.125 * [taylor]: Taking taylor expansion of z in x 0.125 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.125 * [taylor]: Taking taylor expansion of t in x 0.126 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 0.126 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.126 * [taylor]: Taking taylor expansion of z in y 0.126 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.126 * [taylor]: Taking taylor expansion of t in y 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.128 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of 1 in z 0.129 * [taylor]: Taking taylor expansion of 1 in t 0.129 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.129 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.129 * [taylor]: Taking taylor expansion of z in z 0.129 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.129 * [taylor]: Taking taylor expansion of t in z 0.131 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.132 * [taylor]: Taking taylor expansion of 0 in t 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.132 * [taylor]: Taking taylor expansion of 0 in t 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of 0 in t 0.133 * [taylor]: Taking taylor expansion of 0 in t 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in t 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in t 0.138 * [taylor]: Taking taylor expansion of 0 in z 0.138 * [taylor]: Taking taylor expansion of 0 in t 0.138 * [taylor]: Taking taylor expansion of 0 in t 0.138 * [taylor]: Taking taylor expansion of 0 in t 0.138 * [taylor]: Taking taylor expansion of 0 in t 0.138 * [taylor]: Taking taylor expansion of 0 in t 0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.138 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.138 * [taylor]: Taking taylor expansion of t in t 0.143 * [taylor]: Taking taylor expansion of 0 in y 0.143 * [taylor]: Taking taylor expansion of 0 in z 0.143 * [taylor]: Taking taylor expansion of 0 in t 0.144 * [taylor]: Taking taylor expansion of 0 in z 0.144 * [taylor]: Taking taylor expansion of 0 in t 0.144 * [taylor]: Taking taylor expansion of 0 in z 0.144 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in z 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.147 * [taylor]: Taking taylor expansion of 0 in t 0.149 * [approximate]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in (x y z t) around 0 0.150 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in t 0.150 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.150 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in t 0.150 * [taylor]: Taking taylor expansion of (/ y x) in t 0.150 * [taylor]: Taking taylor expansion of y in t 0.150 * [taylor]: Taking taylor expansion of x in t 0.150 * [taylor]: Taking taylor expansion of (/ y x) in t 0.150 * [taylor]: Taking taylor expansion of y in t 0.150 * [taylor]: Taking taylor expansion of x in t 0.150 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.150 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.150 * [taylor]: Taking taylor expansion of t in t 0.150 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.150 * [taylor]: Taking taylor expansion of z in t 0.150 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in z 0.151 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.151 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in z 0.151 * [taylor]: Taking taylor expansion of (/ y x) in z 0.151 * [taylor]: Taking taylor expansion of y in z 0.151 * [taylor]: Taking taylor expansion of x in z 0.151 * [taylor]: Taking taylor expansion of (/ y x) in z 0.151 * [taylor]: Taking taylor expansion of y in z 0.151 * [taylor]: Taking taylor expansion of x in z 0.151 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.151 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.151 * [taylor]: Taking taylor expansion of t in z 0.151 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.151 * [taylor]: Taking taylor expansion of z in z 0.151 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in y 0.151 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.151 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in y 0.151 * [taylor]: Taking taylor expansion of (/ y x) in y 0.151 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of x in y 0.151 * [taylor]: Taking taylor expansion of (/ y x) in y 0.152 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of x in y 0.152 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.152 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.152 * [taylor]: Taking taylor expansion of t in y 0.152 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.152 * [taylor]: Taking taylor expansion of z in y 0.152 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.152 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.152 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.152 * [taylor]: Taking taylor expansion of (/ y x) in x 0.152 * [taylor]: Taking taylor expansion of y in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.152 * [taylor]: Taking taylor expansion of (/ y x) in x 0.152 * [taylor]: Taking taylor expansion of y in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.152 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.152 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.152 * [taylor]: Taking taylor expansion of t in x 0.152 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.152 * [taylor]: Taking taylor expansion of z in x 0.152 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.152 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.152 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.152 * [taylor]: Taking taylor expansion of (/ y x) in x 0.152 * [taylor]: Taking taylor expansion of y in x 0.152 * [taylor]: Taking taylor expansion of x in x 0.153 * [taylor]: Taking taylor expansion of (/ y x) in x 0.153 * [taylor]: Taking taylor expansion of y in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.153 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.153 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.153 * [taylor]: Taking taylor expansion of t in x 0.153 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.153 * [taylor]: Taking taylor expansion of z in x 0.153 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in z 0.157 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.157 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.157 * [taylor]: Taking taylor expansion of t in y 0.157 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.157 * [taylor]: Taking taylor expansion of z in y 0.157 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.157 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.157 * [taylor]: Taking taylor expansion of t in z 0.157 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.158 * [taylor]: Taking taylor expansion of z in z 0.158 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.158 * [taylor]: Taking taylor expansion of t in t 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 1 in z 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of 0 in z 0.163 * [taylor]: Taking taylor expansion of 0 in z 0.163 * [taylor]: Taking taylor expansion of 0 in z 0.163 * [taylor]: Taking taylor expansion of 0 in z 0.164 * [taylor]: Taking taylor expansion of 0 in t 0.164 * [taylor]: Taking taylor expansion of 0 in t 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [taylor]: Taking taylor expansion of 0 in z 0.170 * [taylor]: Taking taylor expansion of 0 in z 0.171 * [taylor]: Taking taylor expansion of 0 in z 0.171 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [taylor]: Taking taylor expansion of 0 in z 0.174 * [taylor]: Taking taylor expansion of 0 in t 0.174 * [taylor]: Taking taylor expansion of 0 in t 0.174 * [taylor]: Taking taylor expansion of 1 in t 0.174 * [taylor]: Taking taylor expansion of 0 in t 0.181 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [taylor]: Taking taylor expansion of 0 in z 0.181 * [taylor]: Taking taylor expansion of 0 in z 0.181 * [taylor]: Taking taylor expansion of 0 in z 0.182 * [taylor]: Taking taylor expansion of 0 in z 0.182 * [taylor]: Taking taylor expansion of 0 in z 0.183 * [taylor]: Taking taylor expansion of 0 in z 0.183 * [taylor]: Taking taylor expansion of 0 in t 0.183 * [taylor]: Taking taylor expansion of 0 in t 0.183 * [taylor]: Taking taylor expansion of 0 in t 0.183 * [taylor]: Taking taylor expansion of 0 in t 0.186 * [taylor]: Taking taylor expansion of 0 in t 0.186 * [taylor]: Taking taylor expansion of 0 in t 0.187 * [approximate]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in (x y z t) around 0 0.187 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in t 0.187 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.187 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in t 0.187 * [taylor]: Taking taylor expansion of (/ y x) in t 0.187 * [taylor]: Taking taylor expansion of y in t 0.187 * [taylor]: Taking taylor expansion of x in t 0.187 * [taylor]: Taking taylor expansion of (/ y x) in t 0.187 * [taylor]: Taking taylor expansion of y in t 0.187 * [taylor]: Taking taylor expansion of x in t 0.187 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.187 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.187 * [taylor]: Taking taylor expansion of t in t 0.188 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.188 * [taylor]: Taking taylor expansion of z in t 0.188 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in z 0.188 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.188 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in z 0.188 * [taylor]: Taking taylor expansion of (/ y x) in z 0.188 * [taylor]: Taking taylor expansion of y in z 0.188 * [taylor]: Taking taylor expansion of x in z 0.188 * [taylor]: Taking taylor expansion of (/ y x) in z 0.188 * [taylor]: Taking taylor expansion of y in z 0.188 * [taylor]: Taking taylor expansion of x in z 0.188 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.188 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.188 * [taylor]: Taking taylor expansion of t in z 0.188 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.188 * [taylor]: Taking taylor expansion of z in z 0.189 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in y 0.189 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.189 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in y 0.189 * [taylor]: Taking taylor expansion of (/ y x) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.189 * [taylor]: Taking taylor expansion of x in y 0.189 * [taylor]: Taking taylor expansion of (/ y x) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.189 * [taylor]: Taking taylor expansion of x in y 0.189 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.189 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.189 * [taylor]: Taking taylor expansion of t in y 0.189 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.189 * [taylor]: Taking taylor expansion of z in y 0.189 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.190 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.190 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.190 * [taylor]: Taking taylor expansion of (/ y x) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (/ y x) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.190 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.190 * [taylor]: Taking taylor expansion of t in x 0.190 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.190 * [taylor]: Taking taylor expansion of z in x 0.190 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.190 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.190 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.190 * [taylor]: Taking taylor expansion of (/ y x) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (/ y x) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.190 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.190 * [taylor]: Taking taylor expansion of t in x 0.190 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.190 * [taylor]: Taking taylor expansion of z in x 0.191 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.191 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of 0 in y 0.192 * [taylor]: Taking taylor expansion of 0 in z 0.195 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.195 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.195 * [taylor]: Taking taylor expansion of t in y 0.195 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.195 * [taylor]: Taking taylor expansion of z in y 0.195 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.195 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.195 * [taylor]: Taking taylor expansion of t in z 0.195 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.195 * [taylor]: Taking taylor expansion of z in z 0.196 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.196 * [taylor]: Taking taylor expansion of t in t 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 1 in z 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.201 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in t 0.202 * [taylor]: Taking taylor expansion of 0 in t 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [taylor]: Taking taylor expansion of 0 in z 0.208 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.216 * [taylor]: Taking taylor expansion of 0 in t 0.216 * [taylor]: Taking taylor expansion of 0 in t 0.216 * [taylor]: Taking taylor expansion of 1 in t 0.216 * [taylor]: Taking taylor expansion of 0 in t 0.224 * [taylor]: Taking taylor expansion of 0 in y 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in t 0.226 * [taylor]: Taking taylor expansion of 0 in t 0.226 * [taylor]: Taking taylor expansion of 0 in t 0.226 * [taylor]: Taking taylor expansion of 0 in t 0.229 * [taylor]: Taking taylor expansion of 0 in t 0.229 * [taylor]: Taking taylor expansion of 0 in t 0.230 * * * [progress]: simplifying candidates 0.231 * [simplify]: Simplifying using # : (expm1 (/ (* z z) (* t t))) (log1p (/ (* z z) (* t t))) (- (+ (log z) (log z)) (+ (log t) (log t))) (- (+ (log z) (log z)) (log (* t t))) (- (log (* z z)) (+ (log t) (log t))) (- (log (* z z)) (log (* t t))) (log (/ (* z z) (* t t))) (exp (/ (* z z) (* t t))) (/ (* (* (* z z) z) (* (* z z) z)) (* (* (* t t) t) (* (* t t) t))) (/ (* (* (* z z) z) (* (* z z) z)) (* (* (* t t) (* t t)) (* t t))) (/ (* (* (* z z) (* z z)) (* z z)) (* (* (* t t) t) (* (* t t) t))) (/ (* (* (* z z) (* z z)) (* z z)) (* (* (* t t) (* t t)) (* t t))) (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t)))) (cbrt (/ (* z z) (* t t))) (* (* (/ (* z z) (* t t)) (/ (* z z) (* t t))) (/ (* z z) (* t t))) (sqrt (/ (* z z) (* t t))) (sqrt (/ (* z z) (* t t))) (- (* z z)) (- (* t t)) (/ z t) (/ z t) (/ 1 (* t t)) (/ (* t t) (* z z)) (/ (* z z) t) (/ (* t t) z) (expm1 (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (log1p (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (* (/ x y) (/ x y)) (log (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (exp (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (* (cbrt (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (cbrt (fma (/ x y) (/ x y) (/ (* z z) (* t t))))) (cbrt (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (* (* (fma (/ x y) (/ x y) (/ (* z z) (* t t))) (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (sqrt (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (sqrt (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (+ (/ (pow z 2) (pow t 2)) (/ (pow x 2) (pow y 2))) (+ (/ (pow z 2) (pow t 2)) (/ (pow x 2) (pow y 2))) (+ (/ (pow z 2) (pow t 2)) (/ (pow x 2) (pow y 2))) 0.233 * * [simplify]: iteration 0 : 66 enodes (cost 517 ) 0.243 * * [simplify]: iteration 1 : 172 enodes (cost 509 ) 0.285 * * [simplify]: iteration 2 : 709 enodes (cost 379 ) 0.606 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 0.606 * [simplify]: Simplified to: (expm1 (/ (* z z) (* t t))) (log1p (/ (* z z) (* t t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (exp (/ (* z z) (* t t))) (pow (/ (pow z 2) (pow t 2)) 3) (pow (/ (pow z 2) (pow t 2)) 3) (pow (/ (pow z 2) (pow t 2)) 3) (pow (/ (pow z 2) (pow t 2)) 3) (* (cbrt (/ (* z z) (* t t))) (cbrt (/ (* z z) (* t t)))) (cbrt (/ (* z z) (* t t))) (pow (/ (pow z 2) (pow t 2)) 3) (fabs (/ z t)) (fabs (/ z t)) (- (* z z)) (- (* t t)) (/ z t) (/ z t) (/ 1 (* t t)) (/ (* t t) (* z z)) (* (/ z t) z) (/ (* t t) z) (expm1 (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (log1p (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (* (/ x y) (/ x y)) (log (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (exp (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (* (cbrt (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (cbrt (fma (/ x y) (/ x y) (/ (* z z) (* t t))))) (cbrt (fma (/ x y) (/ x y) (/ (* z z) (* t t)))) (pow (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) 3) (hypot (/ x y) (/ z t)) (hypot (/ x y) (/ z t)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) 0.606 * * * [progress]: adding candidates to table 0.696 * * [progress]: iteration 2 / 4 0.696 * * * [progress]: picking best candidate 0.718 * * * * [pick]: Picked # 0.718 * * * [progress]: localizing error 0.726 * * * [progress]: generating rewritten candidates 0.726 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.740 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.743 * * * [progress]: generating series expansions 0.743 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.744 * [approximate]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in (z t) around 0 0.744 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 0.744 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.744 * [taylor]: Taking taylor expansion of z in t 0.744 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.745 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.745 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.745 * [taylor]: Taking taylor expansion of z in z 0.745 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.745 * [taylor]: Taking taylor expansion of t in z 0.745 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.745 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.745 * [taylor]: Taking taylor expansion of z in z 0.745 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.745 * [taylor]: Taking taylor expansion of t in z 0.746 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.746 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.746 * [taylor]: Taking taylor expansion of t in t 0.747 * [taylor]: Taking taylor expansion of 0 in t 0.749 * [taylor]: Taking taylor expansion of 0 in t 0.752 * [taylor]: Taking taylor expansion of 0 in t 0.756 * [taylor]: Taking taylor expansion of 0 in t 0.756 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0 0.756 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.756 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.756 * [taylor]: Taking taylor expansion of t in t 0.756 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.756 * [taylor]: Taking taylor expansion of z in t 0.757 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.757 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.757 * [taylor]: Taking taylor expansion of t in z 0.757 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.757 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.757 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.757 * [taylor]: Taking taylor expansion of t in z 0.757 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.758 * [taylor]: Taking taylor expansion of t in t 0.759 * [taylor]: Taking taylor expansion of 0 in t 0.761 * [taylor]: Taking taylor expansion of 0 in t 0.764 * [taylor]: Taking taylor expansion of 0 in t 0.765 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in (z t) around 0 0.765 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.765 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.765 * [taylor]: Taking taylor expansion of t in t 0.765 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.765 * [taylor]: Taking taylor expansion of z in t 0.765 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.766 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.766 * [taylor]: Taking taylor expansion of t in z 0.766 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.766 * [taylor]: Taking taylor expansion of z in z 0.766 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.766 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.766 * [taylor]: Taking taylor expansion of t in z 0.766 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.766 * [taylor]: Taking taylor expansion of z in z 0.767 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.767 * [taylor]: Taking taylor expansion of t in t 0.768 * [taylor]: Taking taylor expansion of 0 in t 0.771 * [taylor]: Taking taylor expansion of 0 in t 0.774 * [taylor]: Taking taylor expansion of 0 in t 0.774 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.774 * [approximate]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in (x y z t) around 0 0.774 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in t 0.774 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.774 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in t 0.774 * [taylor]: Taking taylor expansion of (/ x y) in t 0.774 * [taylor]: Taking taylor expansion of x in t 0.774 * [taylor]: Taking taylor expansion of y in t 0.774 * [taylor]: Taking taylor expansion of (/ x y) in t 0.774 * [taylor]: Taking taylor expansion of x in t 0.774 * [taylor]: Taking taylor expansion of y in t 0.774 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 0.774 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.775 * [taylor]: Taking taylor expansion of z in t 0.775 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.775 * [taylor]: Taking taylor expansion of t in t 0.775 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in z 0.775 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.775 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in z 0.775 * [taylor]: Taking taylor expansion of (/ x y) in z 0.775 * [taylor]: Taking taylor expansion of x in z 0.775 * [taylor]: Taking taylor expansion of y in z 0.775 * [taylor]: Taking taylor expansion of (/ x y) in z 0.775 * [taylor]: Taking taylor expansion of x in z 0.775 * [taylor]: Taking taylor expansion of y in z 0.775 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.775 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.775 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.775 * [taylor]: Taking taylor expansion of t in z 0.776 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in y 0.776 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.776 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in y 0.776 * [taylor]: Taking taylor expansion of (/ x y) in y 0.776 * [taylor]: Taking taylor expansion of x in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (/ x y) in y 0.776 * [taylor]: Taking taylor expansion of x in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 0.776 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.776 * [taylor]: Taking taylor expansion of t in y 0.777 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in x 0.777 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.777 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in x 0.777 * [taylor]: Taking taylor expansion of (/ x y) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (/ x y) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 0.777 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.777 * [taylor]: Taking taylor expansion of z in x 0.777 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.777 * [taylor]: Taking taylor expansion of t in x 0.777 * [taylor]: Taking taylor expansion of (fma (/ x y) (/ x y) (/ (pow z 2) (pow t 2))) in x 0.777 * [taylor]: Rewrote expression to (+ (* (/ x y) (/ x y)) (/ (pow z 2) (pow t 2))) 0.777 * [taylor]: Taking taylor expansion of (* (/ x y) (/ x y)) in x 0.777 * [taylor]: Taking taylor expansion of (/ x y) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (/ x y) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 0.777 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.777 * [taylor]: Taking taylor expansion of z in x 0.777 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.777 * [taylor]: Taking taylor expansion of t in x 0.778 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 0.778 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.778 * [taylor]: Taking taylor expansion of z in y 0.778 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.778 * [taylor]: Taking taylor expansion of t in y 0.779 * [taylor]: Taking taylor expansion of 0 in y 0.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.780 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.780 * [taylor]: Taking taylor expansion of y in y 0.781 * [taylor]: Taking taylor expansion of 1 in z 0.781 * [taylor]: Taking taylor expansion of 1 in t 0.781 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 0.781 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.781 * [taylor]: Taking taylor expansion of z in z 0.781 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.781 * [taylor]: Taking taylor expansion of t in z 0.783 * [taylor]: Taking taylor expansion of 0 in y 0.784 * [taylor]: Taking taylor expansion of 0 in z 0.784 * [taylor]: Taking taylor expansion of 0 in t 0.784 * [taylor]: Taking taylor expansion of 0 in z 0.784 * [taylor]: Taking taylor expansion of 0 in t 0.785 * [taylor]: Taking taylor expansion of 0 in z 0.785 * [taylor]: Taking taylor expansion of 0 in t 0.785 * [taylor]: Taking taylor expansion of 0 in t 0.788 * [taylor]: Taking taylor expansion of 0 in y 0.789 * [taylor]: Taking taylor expansion of 0 in z 0.789 * [taylor]: Taking taylor expansion of 0 in t 0.789 * [taylor]: Taking taylor expansion of 0 in z 0.789 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of 0 in z 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.790 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.790 * [taylor]: Taking taylor expansion of t in t 0.800 * [taylor]: Taking taylor expansion of 0 in y 0.800 * [taylor]: Taking taylor expansion of 0 in z 0.800 * [taylor]: Taking taylor expansion of 0 in t 0.801 * [taylor]: Taking taylor expansion of 0 in z 0.801 * [taylor]: Taking taylor expansion of 0 in t 0.801 * [taylor]: Taking taylor expansion of 0 in z 0.801 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in z 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.804 * [taylor]: Taking taylor expansion of 0 in t 0.806 * [approximate]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in (x y z t) around 0 0.806 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in t 0.807 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.807 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in t 0.807 * [taylor]: Taking taylor expansion of (/ y x) in t 0.807 * [taylor]: Taking taylor expansion of y in t 0.807 * [taylor]: Taking taylor expansion of x in t 0.807 * [taylor]: Taking taylor expansion of (/ y x) in t 0.807 * [taylor]: Taking taylor expansion of y in t 0.807 * [taylor]: Taking taylor expansion of x in t 0.807 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.807 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.807 * [taylor]: Taking taylor expansion of t in t 0.807 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.807 * [taylor]: Taking taylor expansion of z in t 0.807 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in z 0.807 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.807 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in z 0.807 * [taylor]: Taking taylor expansion of (/ y x) in z 0.807 * [taylor]: Taking taylor expansion of y in z 0.807 * [taylor]: Taking taylor expansion of x in z 0.808 * [taylor]: Taking taylor expansion of (/ y x) in z 0.808 * [taylor]: Taking taylor expansion of y in z 0.808 * [taylor]: Taking taylor expansion of x in z 0.808 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.808 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.808 * [taylor]: Taking taylor expansion of t in z 0.808 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.808 * [taylor]: Taking taylor expansion of z in z 0.808 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in y 0.808 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.808 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in y 0.808 * [taylor]: Taking taylor expansion of (/ y x) in y 0.808 * [taylor]: Taking taylor expansion of y in y 0.808 * [taylor]: Taking taylor expansion of x in y 0.808 * [taylor]: Taking taylor expansion of (/ y x) in y 0.808 * [taylor]: Taking taylor expansion of y in y 0.808 * [taylor]: Taking taylor expansion of x in y 0.808 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.808 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.808 * [taylor]: Taking taylor expansion of t in y 0.809 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.809 * [taylor]: Taking taylor expansion of z in y 0.809 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.809 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.809 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.809 * [taylor]: Taking taylor expansion of (/ y x) in x 0.809 * [taylor]: Taking taylor expansion of y in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (/ y x) in x 0.809 * [taylor]: Taking taylor expansion of y in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.809 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.809 * [taylor]: Taking taylor expansion of t in x 0.809 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.809 * [taylor]: Taking taylor expansion of z in x 0.809 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.809 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.809 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.809 * [taylor]: Taking taylor expansion of (/ y x) in x 0.809 * [taylor]: Taking taylor expansion of y in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (/ y x) in x 0.809 * [taylor]: Taking taylor expansion of y in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.809 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.810 * [taylor]: Taking taylor expansion of t in x 0.810 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.810 * [taylor]: Taking taylor expansion of z in x 0.810 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.812 * [taylor]: Taking taylor expansion of 0 in y 0.812 * [taylor]: Taking taylor expansion of 0 in z 0.814 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.814 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.814 * [taylor]: Taking taylor expansion of t in y 0.814 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.814 * [taylor]: Taking taylor expansion of z in y 0.814 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.814 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.814 * [taylor]: Taking taylor expansion of t in z 0.814 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.814 * [taylor]: Taking taylor expansion of z in z 0.815 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.815 * [taylor]: Taking taylor expansion of t in t 0.815 * [taylor]: Taking taylor expansion of 0 in z 0.815 * [taylor]: Taking taylor expansion of 1 in z 0.819 * [taylor]: Taking taylor expansion of 0 in y 0.819 * [taylor]: Taking taylor expansion of 0 in z 0.819 * [taylor]: Taking taylor expansion of 0 in z 0.819 * [taylor]: Taking taylor expansion of 0 in z 0.820 * [taylor]: Taking taylor expansion of 0 in z 0.821 * [taylor]: Taking taylor expansion of 0 in t 0.822 * [taylor]: Taking taylor expansion of 0 in t 0.827 * [taylor]: Taking taylor expansion of 0 in y 0.827 * [taylor]: Taking taylor expansion of 0 in z 0.827 * [taylor]: Taking taylor expansion of 0 in z 0.828 * [taylor]: Taking taylor expansion of 0 in z 0.828 * [taylor]: Taking taylor expansion of 0 in z 0.829 * [taylor]: Taking taylor expansion of 0 in z 0.830 * [taylor]: Taking taylor expansion of 0 in t 0.831 * [taylor]: Taking taylor expansion of 0 in t 0.831 * [taylor]: Taking taylor expansion of 1 in t 0.831 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in y 0.838 * [taylor]: Taking taylor expansion of 0 in z 0.838 * [taylor]: Taking taylor expansion of 0 in z 0.838 * [taylor]: Taking taylor expansion of 0 in z 0.839 * [taylor]: Taking taylor expansion of 0 in z 0.840 * [taylor]: Taking taylor expansion of 0 in z 0.840 * [taylor]: Taking taylor expansion of 0 in z 0.840 * [taylor]: Taking taylor expansion of 0 in t 0.840 * [taylor]: Taking taylor expansion of 0 in t 0.840 * [taylor]: Taking taylor expansion of 0 in t 0.840 * [taylor]: Taking taylor expansion of 0 in t 0.843 * [taylor]: Taking taylor expansion of 0 in t 0.843 * [taylor]: Taking taylor expansion of 0 in t 0.844 * [approximate]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in (x y z t) around 0 0.844 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in t 0.844 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.844 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in t 0.844 * [taylor]: Taking taylor expansion of (/ y x) in t 0.844 * [taylor]: Taking taylor expansion of y in t 0.844 * [taylor]: Taking taylor expansion of x in t 0.844 * [taylor]: Taking taylor expansion of (/ y x) in t 0.844 * [taylor]: Taking taylor expansion of y in t 0.844 * [taylor]: Taking taylor expansion of x in t 0.844 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 0.845 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.845 * [taylor]: Taking taylor expansion of t in t 0.845 * [taylor]: Taking taylor expansion of (pow z 2) in t 0.845 * [taylor]: Taking taylor expansion of z in t 0.845 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in z 0.845 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.845 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in z 0.845 * [taylor]: Taking taylor expansion of (/ y x) in z 0.845 * [taylor]: Taking taylor expansion of y in z 0.845 * [taylor]: Taking taylor expansion of x in z 0.845 * [taylor]: Taking taylor expansion of (/ y x) in z 0.845 * [taylor]: Taking taylor expansion of y in z 0.845 * [taylor]: Taking taylor expansion of x in z 0.845 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.845 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.845 * [taylor]: Taking taylor expansion of t in z 0.845 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.845 * [taylor]: Taking taylor expansion of z in z 0.846 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in y 0.846 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.846 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in y 0.846 * [taylor]: Taking taylor expansion of (/ y x) in y 0.846 * [taylor]: Taking taylor expansion of y in y 0.846 * [taylor]: Taking taylor expansion of x in y 0.846 * [taylor]: Taking taylor expansion of (/ y x) in y 0.846 * [taylor]: Taking taylor expansion of y in y 0.846 * [taylor]: Taking taylor expansion of x in y 0.846 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.846 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.846 * [taylor]: Taking taylor expansion of t in y 0.846 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.846 * [taylor]: Taking taylor expansion of z in y 0.846 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.847 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.847 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.847 * [taylor]: Taking taylor expansion of (/ y x) in x 0.847 * [taylor]: Taking taylor expansion of y in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (/ y x) in x 0.847 * [taylor]: Taking taylor expansion of y in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.847 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.847 * [taylor]: Taking taylor expansion of t in x 0.847 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.847 * [taylor]: Taking taylor expansion of z in x 0.847 * [taylor]: Taking taylor expansion of (fma (/ y x) (/ y x) (/ (pow t 2) (pow z 2))) in x 0.847 * [taylor]: Rewrote expression to (+ (* (/ y x) (/ y x)) (/ (pow t 2) (pow z 2))) 0.847 * [taylor]: Taking taylor expansion of (* (/ y x) (/ y x)) in x 0.847 * [taylor]: Taking taylor expansion of (/ y x) in x 0.847 * [taylor]: Taking taylor expansion of y in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (/ y x) in x 0.847 * [taylor]: Taking taylor expansion of y in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 0.847 * [taylor]: Taking taylor expansion of (pow t 2) in x 0.847 * [taylor]: Taking taylor expansion of t in x 0.847 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.847 * [taylor]: Taking taylor expansion of z in x 0.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.848 * [taylor]: Taking taylor expansion of y in y 0.849 * [taylor]: Taking taylor expansion of 0 in y 0.849 * [taylor]: Taking taylor expansion of 0 in z 0.852 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 0.852 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.852 * [taylor]: Taking taylor expansion of t in y 0.852 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.852 * [taylor]: Taking taylor expansion of z in y 0.852 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 0.852 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.852 * [taylor]: Taking taylor expansion of t in z 0.852 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.852 * [taylor]: Taking taylor expansion of z in z 0.853 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.853 * [taylor]: Taking taylor expansion of t in t 0.853 * [taylor]: Taking taylor expansion of 0 in z 0.853 * [taylor]: Taking taylor expansion of 1 in z 0.857 * [taylor]: Taking taylor expansion of 0 in y 0.857 * [taylor]: Taking taylor expansion of 0 in z 0.857 * [taylor]: Taking taylor expansion of 0 in z 0.857 * [taylor]: Taking taylor expansion of 0 in z 0.858 * [taylor]: Taking taylor expansion of 0 in z 0.859 * [taylor]: Taking taylor expansion of 0 in t 0.859 * [taylor]: Taking taylor expansion of 0 in t 0.864 * [taylor]: Taking taylor expansion of 0 in y 0.864 * [taylor]: Taking taylor expansion of 0 in z 0.864 * [taylor]: Taking taylor expansion of 0 in z 0.865 * [taylor]: Taking taylor expansion of 0 in z 0.865 * [taylor]: Taking taylor expansion of 0 in z 0.866 * [taylor]: Taking taylor expansion of 0 in z 0.868 * [taylor]: Taking taylor expansion of 0 in t 0.868 * [taylor]: Taking taylor expansion of 0 in t 0.868 * [taylor]: Taking taylor expansion of 1 in t 0.868 * [taylor]: Taking taylor expansion of 0 in t 0.875 * [taylor]: Taking taylor expansion of 0 in y 0.875 * [taylor]: Taking taylor expansion of 0 in z 0.875 * [taylor]: Taking taylor expansion of 0 in z 0.875 * [taylor]: Taking taylor expansion of 0 in z 0.877 * [taylor]: Taking taylor expansion of 0 in z 0.877 * [taylor]: Taking taylor expansion of 0 in z 0.878 * [taylor]: Taking taylor expansion of 0 in z 0.878 * [taylor]: Taking taylor expansion of 0 in t 0.878 * [taylor]: Taking taylor expansion of 0 in t 0.878 * [taylor]: Taking taylor expansion of 0 in t 0.878 * [taylor]: Taking taylor expansion of 0 in t 0.880 * [taylor]: Taking taylor expansion of 0 in t 0.881 * [taylor]: Taking taylor expansion of 0 in t 0.881 * * * [progress]: simplifying candidates 0.883 * [simplify]: Simplifying using # : (expm1 (* (/ z t) (/ z t))) (log1p (* (/ z t) (/ z t))) (+ 1 1) (* (/ z t) (/ z t)) (+ 1 1) (+ (- (log z) (log t)) (- (log z) (log t))) (+ (- (log z) (log t)) (log (/ z t))) (+ (log (/ z t)) (- (log z) (log t))) (+ (log (/ z t)) (log (/ z t))) (log (* (/ z t) (/ z t))) (exp (* (/ z t) (/ z t))) (* (/ (* (* z z) z) (* (* t t) t)) (/ (* (* z z) z) (* (* t t) t))) (* (/ (* (* z z) z) (* (* t t) t)) (* (* (/ z t) (/ z t)) (/ z t))) (* (* (* (/ z t) (/ z t)) (/ z t)) (/ (* (* z z) z) (* (* t t) t))) (* (* (* (/ z t) (/ z t)) (/ z t)) (* (* (/ z t) (/ z t)) (/ z t))) (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))) (* (* (* (/ z t) (/ z t)) (* (/ z t) (/ z t))) (* (/ z t) (/ z t))) (sqrt (* (/ z t) (/ z t))) (sqrt (* (/ z t) (/ z t))) (* z z) (* t t) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (sqrt (/ z t)) (sqrt (/ z t))) (* (sqrt (/ z t)) (sqrt (/ z t))) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (* (/ (* (cbrt z) (cbrt z)) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (/ (cbrt z) (sqrt t)) (/ (cbrt z) (sqrt t))) (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (cbrt z)) 1)) (* (/ (cbrt z) t) (/ (cbrt z) t)) (* (/ (sqrt z) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (cbrt t))) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))) (* (/ (sqrt z) 1) (/ (sqrt z) 1)) (* (/ (sqrt z) t) (/ (sqrt z) t)) (* (/ 1 (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt t) (cbrt t)))) (* (/ z (cbrt t)) (/ z (cbrt t))) (* (/ 1 (sqrt t)) (/ 1 (sqrt t))) (* (/ z (sqrt t)) (/ z (sqrt t))) (* (/ 1 1) (/ 1 1)) (* (/ z t) (/ z t)) (* 1 1) (* (/ z t) (/ z t)) (* z z) (* (/ 1 t) (/ 1 t)) (* (sqrt (/ z t)) (sqrt (/ z t))) (* (sqrt (/ z t)) (sqrt (/ z t))) (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t))) (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t))) (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t))) (* (/ (sqrt z) (sqrt t)) (sqrt (/ z t))) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))) (* 2 1) (* (/ z t) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (/ z t) (sqrt (/ z t))) (* (/ z t) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (/ z t) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (/ z t) (/ (* (cbrt z) (cbrt z)) 1)) (* (/ z t) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (/ z t) (/ (sqrt z) (sqrt t))) (* (/ z t) (/ (sqrt z) 1)) (* (/ z t) (/ 1 (* (cbrt t) (cbrt t)))) (* (/ z t) (/ 1 (sqrt t))) (* (/ z t) (/ 1 1)) (* (/ z t) 1) (* (/ z t) z) (* (cbrt (/ z t)) (/ z t)) (* (sqrt (/ z t)) (/ z t)) (* (/ (cbrt z) (cbrt t)) (/ z t)) (* (/ (cbrt z) (sqrt t)) (/ z t)) (* (/ (cbrt z) t) (/ z t)) (* (/ (sqrt z) (cbrt t)) (/ z t)) (* (/ (sqrt z) (sqrt t)) (/ z t)) (* (/ (sqrt z) t) (/ z t)) (* (/ z (cbrt t)) (/ z t)) (* (/ z (sqrt t)) (/ z t)) (* (/ z t) (/ z t)) (* (/ z t) (/ z t)) (* (/ 1 t) (/ z t)) (* (/ z t) z) (* z (/ z t)) (expm1 (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (log1p (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (* (/ x y) (/ x y)) (log (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (exp (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (* (cbrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (cbrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t))))) (cbrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (* (* (fma (/ x y) (/ x y) (* (/ z t) (/ z t))) (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (sqrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (sqrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (+ (/ (pow z 2) (pow t 2)) (/ (pow x 2) (pow y 2))) (+ (/ (pow z 2) (pow t 2)) (/ (pow x 2) (pow y 2))) (+ (/ (pow z 2) (pow t 2)) (/ (pow x 2) (pow y 2))) 0.886 * * [simplify]: iteration 0 : 129 enodes (cost 1098 ) 0.915 * * [simplify]: iteration 1 : 372 enodes (cost 1010 ) 1.002 * * [simplify]: iteration 2 : 1519 enodes (cost 843 ) 1.426 * * [simplify]: iteration done : 5000 enodes (cost 843 ) 1.427 * [simplify]: Simplified to: (expm1 (* (/ z t) (/ z t))) (log1p (* (/ z t) (/ z t))) 2 (/ (pow z 2) (pow t 2)) 2 (* 2 (log (/ z t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (* 2 (log (/ z t))) (exp (* (/ z t) (/ z t))) (pow (/ (pow z 2) (pow t 2)) 3) (pow (/ (pow z 2) (pow t 2)) 3) (pow (/ (pow z 2) (pow t 2)) 3) (pow (/ (pow z 2) (pow t 2)) 3) (* (cbrt (* (/ z t) (/ z t))) (cbrt (* (/ z t) (/ z t)))) (cbrt (* (/ z t) (/ z t))) (pow (/ (pow z 2) (pow t 2)) 3) (fabs (/ z t)) (fabs (/ z t)) (* z z) (* t t) (* (pow (cbrt (/ z t)) 3) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (/ z t) (/ z t) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (* (/ (* (cbrt z) (cbrt z)) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (/ (cbrt z) (sqrt t)) (/ (cbrt z) (sqrt t))) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (/ (cbrt z) t) (/ (cbrt z) t)) (/ (/ z (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (/ z (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)) z (/ (/ z t) t) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ z (cbrt t))) (/ (/ 1 (sqrt t)) (sqrt t)) (* (/ z (sqrt t)) (/ z (sqrt t))) 1 (/ (pow z 2) (pow t 2)) 1 (/ (pow z 2) (pow t 2)) (* z z) (/ (/ 1 t) t) (/ z t) (/ z t) (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t))) (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t))) (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t))) (* (sqrt (/ z t)) (/ (sqrt z) (sqrt t))) (/ (/ z (sqrt t)) (sqrt t)) (/ (/ z (sqrt t)) (sqrt t)) 2 (* (/ z t) (* (cbrt (/ z t)) (cbrt (/ z t)))) (pow (sqrt (/ z t)) 3) (* (/ z t) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (/ z t) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (/ z t) (* (cbrt z) (cbrt z))) (* (/ z t) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (/ z t) (/ (sqrt z) (sqrt t))) (* (sqrt z) (/ z t)) (/ (/ z t) (* (cbrt t) (cbrt t))) (/ (/ z t) (sqrt t)) (/ z t) (/ z t) (* (/ z t) z) (* (cbrt (/ z t)) (/ z t)) (pow (sqrt (/ z t)) 3) (* (/ (cbrt z) (cbrt t)) (/ z t)) (* (/ (cbrt z) (sqrt t)) (/ z t)) (* (/ (cbrt z) t) (/ z t)) (* (/ (sqrt z) (cbrt t)) (/ z t)) (* (/ z t) (/ (sqrt z) (sqrt t))) (* (/ (sqrt z) t) (/ z t)) (* (/ z (cbrt t)) (/ z t)) (* (/ z (sqrt t)) (/ z t)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (/ (/ z t) t) (* (/ z t) z) (* (/ z t) z) (expm1 (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (log1p (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (* (/ x y) (/ x y)) (log (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (exp (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (* (cbrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (cbrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t))))) (cbrt (fma (/ x y) (/ x y) (* (/ z t) (/ z t)))) (pow (fma (/ x y) (/ x y) (* (/ z t) (/ z t))) 3) (hypot (/ x y) (/ z t)) (hypot (/ x y) (/ z t)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (/ (pow z 2) (pow t 2)) (fma (/ x y) (/ x y) (* (/ z t) (/ z t))) (fma (/ x y) (/ x y) (* (/ z t) (/ z t))) (fma (/ x y) (/ x y) (* (/ z t) (/ z t))) 1.427 * * * [progress]: adding candidates to table 1.620 * * [progress]: iteration 3 / 4 1.620 * * * [progress]: picking best candidate 1.655 * * * * [pick]: Picked # 1.655 * * * [progress]: localizing error 1.670 * * * [progress]: generating rewritten candidates 1.670 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 1.671 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2) 1.673 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1) 1.674 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2) 1.699 * * * [progress]: generating series expansions 1.699 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 1.699 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 1.699 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 1.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 1.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 1.699 * [taylor]: Taking taylor expansion of 1/3 in t 1.699 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 1.699 * [taylor]: Taking taylor expansion of (/ z t) in t 1.699 * [taylor]: Taking taylor expansion of z in t 1.699 * [taylor]: Taking taylor expansion of t in t 1.700 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 1.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 1.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 1.700 * [taylor]: Taking taylor expansion of 1/3 in z 1.700 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 1.700 * [taylor]: Taking taylor expansion of (/ z t) in z 1.700 * [taylor]: Taking taylor expansion of z in z 1.700 * [taylor]: Taking taylor expansion of t in z 1.701 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 1.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 1.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 1.701 * [taylor]: Taking taylor expansion of 1/3 in z 1.701 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 1.701 * [taylor]: Taking taylor expansion of (/ z t) in z 1.701 * [taylor]: Taking taylor expansion of z in z 1.701 * [taylor]: Taking taylor expansion of t in z 1.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 1.701 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 1.701 * [taylor]: Taking taylor expansion of 1/3 in t 1.701 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 1.702 * [taylor]: Taking taylor expansion of (log z) in t 1.702 * [taylor]: Taking taylor expansion of z in t 1.702 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 1.702 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.702 * [taylor]: Taking taylor expansion of t in t 1.705 * [taylor]: Taking taylor expansion of 0 in t 1.710 * [taylor]: Taking taylor expansion of 0 in t 1.719 * [taylor]: Taking taylor expansion of 0 in t 1.720 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 1.720 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 1.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 1.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 1.720 * [taylor]: Taking taylor expansion of 1/3 in t 1.720 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 1.720 * [taylor]: Taking taylor expansion of (/ t z) in t 1.720 * [taylor]: Taking taylor expansion of t in t 1.720 * [taylor]: Taking taylor expansion of z in t 1.720 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.720 * [taylor]: Taking taylor expansion of 1/3 in z 1.720 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.720 * [taylor]: Taking taylor expansion of (/ t z) in z 1.720 * [taylor]: Taking taylor expansion of t in z 1.720 * [taylor]: Taking taylor expansion of z in z 1.721 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.721 * [taylor]: Taking taylor expansion of 1/3 in z 1.721 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.721 * [taylor]: Taking taylor expansion of (/ t z) in z 1.721 * [taylor]: Taking taylor expansion of t in z 1.721 * [taylor]: Taking taylor expansion of z in z 1.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 1.722 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 1.722 * [taylor]: Taking taylor expansion of 1/3 in t 1.722 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 1.722 * [taylor]: Taking taylor expansion of (log t) in t 1.722 * [taylor]: Taking taylor expansion of t in t 1.722 * [taylor]: Taking taylor expansion of (log z) in t 1.722 * [taylor]: Taking taylor expansion of z in t 1.725 * [taylor]: Taking taylor expansion of 0 in t 1.731 * [taylor]: Taking taylor expansion of 0 in t 1.747 * [taylor]: Taking taylor expansion of 0 in t 1.747 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 1.747 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 1.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 1.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 1.747 * [taylor]: Taking taylor expansion of 1/3 in t 1.747 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 1.747 * [taylor]: Taking taylor expansion of (/ t z) in t 1.747 * [taylor]: Taking taylor expansion of t in t 1.747 * [taylor]: Taking taylor expansion of z in t 1.748 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.748 * [taylor]: Taking taylor expansion of 1/3 in z 1.748 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.748 * [taylor]: Taking taylor expansion of (/ t z) in z 1.748 * [taylor]: Taking taylor expansion of t in z 1.748 * [taylor]: Taking taylor expansion of z in z 1.748 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.748 * [taylor]: Taking taylor expansion of 1/3 in z 1.748 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.748 * [taylor]: Taking taylor expansion of (/ t z) in z 1.748 * [taylor]: Taking taylor expansion of t in z 1.748 * [taylor]: Taking taylor expansion of z in z 1.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 1.749 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 1.749 * [taylor]: Taking taylor expansion of 1/3 in t 1.749 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 1.749 * [taylor]: Taking taylor expansion of (log t) in t 1.749 * [taylor]: Taking taylor expansion of t in t 1.749 * [taylor]: Taking taylor expansion of (log z) in t 1.749 * [taylor]: Taking taylor expansion of z in t 1.752 * [taylor]: Taking taylor expansion of 0 in t 1.758 * [taylor]: Taking taylor expansion of 0 in t 1.768 * [taylor]: Taking taylor expansion of 0 in t 1.768 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2) 1.768 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 1.768 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 1.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 1.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 1.768 * [taylor]: Taking taylor expansion of 1/3 in t 1.768 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 1.768 * [taylor]: Taking taylor expansion of (/ z t) in t 1.768 * [taylor]: Taking taylor expansion of z in t 1.768 * [taylor]: Taking taylor expansion of t in t 1.769 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 1.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 1.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 1.769 * [taylor]: Taking taylor expansion of 1/3 in z 1.769 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 1.769 * [taylor]: Taking taylor expansion of (/ z t) in z 1.769 * [taylor]: Taking taylor expansion of z in z 1.769 * [taylor]: Taking taylor expansion of t in z 1.769 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 1.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 1.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 1.769 * [taylor]: Taking taylor expansion of 1/3 in z 1.769 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 1.769 * [taylor]: Taking taylor expansion of (/ z t) in z 1.770 * [taylor]: Taking taylor expansion of z in z 1.770 * [taylor]: Taking taylor expansion of t in z 1.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 1.770 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 1.770 * [taylor]: Taking taylor expansion of 1/3 in t 1.770 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 1.770 * [taylor]: Taking taylor expansion of (log z) in t 1.770 * [taylor]: Taking taylor expansion of z in t 1.770 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 1.770 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.770 * [taylor]: Taking taylor expansion of t in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.779 * [taylor]: Taking taylor expansion of 0 in t 1.788 * [taylor]: Taking taylor expansion of 0 in t 1.788 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 1.788 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 1.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 1.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 1.788 * [taylor]: Taking taylor expansion of 1/3 in t 1.788 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 1.788 * [taylor]: Taking taylor expansion of (/ t z) in t 1.788 * [taylor]: Taking taylor expansion of t in t 1.788 * [taylor]: Taking taylor expansion of z in t 1.789 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.789 * [taylor]: Taking taylor expansion of 1/3 in z 1.789 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.789 * [taylor]: Taking taylor expansion of (/ t z) in z 1.789 * [taylor]: Taking taylor expansion of t in z 1.789 * [taylor]: Taking taylor expansion of z in z 1.789 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.790 * [taylor]: Taking taylor expansion of 1/3 in z 1.790 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.790 * [taylor]: Taking taylor expansion of (/ t z) in z 1.790 * [taylor]: Taking taylor expansion of t in z 1.790 * [taylor]: Taking taylor expansion of z in z 1.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 1.790 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 1.790 * [taylor]: Taking taylor expansion of 1/3 in t 1.790 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 1.790 * [taylor]: Taking taylor expansion of (log t) in t 1.790 * [taylor]: Taking taylor expansion of t in t 1.790 * [taylor]: Taking taylor expansion of (log z) in t 1.791 * [taylor]: Taking taylor expansion of z in t 1.793 * [taylor]: Taking taylor expansion of 0 in t 1.800 * [taylor]: Taking taylor expansion of 0 in t 1.809 * [taylor]: Taking taylor expansion of 0 in t 1.809 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 1.810 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 1.810 * [taylor]: Taking taylor expansion of 1/3 in t 1.810 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 1.810 * [taylor]: Taking taylor expansion of (/ t z) in t 1.810 * [taylor]: Taking taylor expansion of t in t 1.810 * [taylor]: Taking taylor expansion of z in t 1.810 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.810 * [taylor]: Taking taylor expansion of 1/3 in z 1.810 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.810 * [taylor]: Taking taylor expansion of (/ t z) in z 1.810 * [taylor]: Taking taylor expansion of t in z 1.810 * [taylor]: Taking taylor expansion of z in z 1.811 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.811 * [taylor]: Taking taylor expansion of 1/3 in z 1.811 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.811 * [taylor]: Taking taylor expansion of (/ t z) in z 1.811 * [taylor]: Taking taylor expansion of t in z 1.811 * [taylor]: Taking taylor expansion of z in z 1.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 1.812 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 1.812 * [taylor]: Taking taylor expansion of 1/3 in t 1.812 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 1.812 * [taylor]: Taking taylor expansion of (log t) in t 1.812 * [taylor]: Taking taylor expansion of t in t 1.812 * [taylor]: Taking taylor expansion of (log z) in t 1.812 * [taylor]: Taking taylor expansion of z in t 1.815 * [taylor]: Taking taylor expansion of 0 in t 1.821 * [taylor]: Taking taylor expansion of 0 in t 1.831 * [taylor]: Taking taylor expansion of 0 in t 1.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1) 1.831 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 1.831 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 1.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 1.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 1.831 * [taylor]: Taking taylor expansion of 1/3 in t 1.831 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 1.831 * [taylor]: Taking taylor expansion of (/ z t) in t 1.831 * [taylor]: Taking taylor expansion of z in t 1.831 * [taylor]: Taking taylor expansion of t in t 1.832 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 1.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 1.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 1.832 * [taylor]: Taking taylor expansion of 1/3 in z 1.832 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 1.832 * [taylor]: Taking taylor expansion of (/ z t) in z 1.832 * [taylor]: Taking taylor expansion of z in z 1.832 * [taylor]: Taking taylor expansion of t in z 1.838 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 1.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 1.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 1.838 * [taylor]: Taking taylor expansion of 1/3 in z 1.838 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 1.838 * [taylor]: Taking taylor expansion of (/ z t) in z 1.838 * [taylor]: Taking taylor expansion of z in z 1.838 * [taylor]: Taking taylor expansion of t in z 1.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 1.839 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 1.839 * [taylor]: Taking taylor expansion of 1/3 in t 1.839 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 1.839 * [taylor]: Taking taylor expansion of (log z) in t 1.839 * [taylor]: Taking taylor expansion of z in t 1.839 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 1.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.839 * [taylor]: Taking taylor expansion of t in t 1.842 * [taylor]: Taking taylor expansion of 0 in t 1.848 * [taylor]: Taking taylor expansion of 0 in t 1.856 * [taylor]: Taking taylor expansion of 0 in t 1.857 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 1.857 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 1.857 * [taylor]: Taking taylor expansion of 1/3 in t 1.857 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 1.857 * [taylor]: Taking taylor expansion of (/ t z) in t 1.857 * [taylor]: Taking taylor expansion of t in t 1.857 * [taylor]: Taking taylor expansion of z in t 1.857 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.857 * [taylor]: Taking taylor expansion of 1/3 in z 1.857 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.857 * [taylor]: Taking taylor expansion of (/ t z) in z 1.857 * [taylor]: Taking taylor expansion of t in z 1.857 * [taylor]: Taking taylor expansion of z in z 1.858 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.858 * [taylor]: Taking taylor expansion of 1/3 in z 1.858 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.858 * [taylor]: Taking taylor expansion of (/ t z) in z 1.858 * [taylor]: Taking taylor expansion of t in z 1.858 * [taylor]: Taking taylor expansion of z in z 1.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 1.859 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 1.859 * [taylor]: Taking taylor expansion of 1/3 in t 1.859 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 1.859 * [taylor]: Taking taylor expansion of (log t) in t 1.859 * [taylor]: Taking taylor expansion of t in t 1.859 * [taylor]: Taking taylor expansion of (log z) in t 1.859 * [taylor]: Taking taylor expansion of z in t 1.862 * [taylor]: Taking taylor expansion of 0 in t 1.868 * [taylor]: Taking taylor expansion of 0 in t 1.878 * [taylor]: Taking taylor expansion of 0 in t 1.878 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 1.878 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 1.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 1.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 1.878 * [taylor]: Taking taylor expansion of 1/3 in t 1.878 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 1.878 * [taylor]: Taking taylor expansion of (/ t z) in t 1.878 * [taylor]: Taking taylor expansion of t in t 1.878 * [taylor]: Taking taylor expansion of z in t 1.879 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.879 * [taylor]: Taking taylor expansion of 1/3 in z 1.879 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.879 * [taylor]: Taking taylor expansion of (/ t z) in z 1.879 * [taylor]: Taking taylor expansion of t in z 1.879 * [taylor]: Taking taylor expansion of z in z 1.879 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 1.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 1.880 * [taylor]: Taking taylor expansion of 1/3 in z 1.880 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 1.880 * [taylor]: Taking taylor expansion of (/ t z) in z 1.880 * [taylor]: Taking taylor expansion of t in z 1.880 * [taylor]: Taking taylor expansion of z in z 1.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 1.880 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 1.880 * [taylor]: Taking taylor expansion of 1/3 in t 1.880 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 1.880 * [taylor]: Taking taylor expansion of (log t) in t 1.880 * [taylor]: Taking taylor expansion of t in t 1.880 * [taylor]: Taking taylor expansion of (log z) in t 1.881 * [taylor]: Taking taylor expansion of z in t 1.883 * [taylor]: Taking taylor expansion of 0 in t 1.889 * [taylor]: Taking taylor expansion of 0 in t 1.899 * [taylor]: Taking taylor expansion of 0 in t 1.899 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2) 1.899 * [approximate]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in (z t) around 0 1.899 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 1.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 1.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 1.899 * [taylor]: Taking taylor expansion of 1/3 in t 1.899 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 1.899 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 1.899 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.899 * [taylor]: Taking taylor expansion of z in t 1.900 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.900 * [taylor]: Taking taylor expansion of t in t 1.901 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 1.901 * [taylor]: Taking taylor expansion of 1/3 in z 1.901 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 1.901 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 1.901 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.901 * [taylor]: Taking taylor expansion of z in z 1.901 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.901 * [taylor]: Taking taylor expansion of t in z 1.902 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 1.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 1.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 1.902 * [taylor]: Taking taylor expansion of 1/3 in z 1.902 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 1.902 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 1.902 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.902 * [taylor]: Taking taylor expansion of z in z 1.902 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.902 * [taylor]: Taking taylor expansion of t in z 1.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 1.903 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 1.903 * [taylor]: Taking taylor expansion of 1/3 in t 1.903 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 1.903 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 1.903 * [taylor]: Taking taylor expansion of 2 in t 1.903 * [taylor]: Taking taylor expansion of (log z) in t 1.903 * [taylor]: Taking taylor expansion of z in t 1.903 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 1.903 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.903 * [taylor]: Taking taylor expansion of t in t 1.908 * [taylor]: Taking taylor expansion of 0 in t 1.915 * [taylor]: Taking taylor expansion of 0 in t 1.932 * [taylor]: Taking taylor expansion of 0 in t 1.932 * [approximate]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in (z t) around 0 1.932 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 1.932 * [taylor]: Taking taylor expansion of 1/3 in t 1.932 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 1.932 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 1.932 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.933 * [taylor]: Taking taylor expansion of t in t 1.933 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.933 * [taylor]: Taking taylor expansion of z in t 1.934 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 1.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 1.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 1.934 * [taylor]: Taking taylor expansion of 1/3 in z 1.934 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 1.934 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 1.934 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.934 * [taylor]: Taking taylor expansion of t in z 1.934 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.934 * [taylor]: Taking taylor expansion of z in z 1.935 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 1.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 1.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 1.935 * [taylor]: Taking taylor expansion of 1/3 in z 1.935 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 1.935 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 1.935 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.935 * [taylor]: Taking taylor expansion of t in z 1.935 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.935 * [taylor]: Taking taylor expansion of z in z 1.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 1.937 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 1.937 * [taylor]: Taking taylor expansion of 1/3 in t 1.937 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 1.937 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 1.937 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.937 * [taylor]: Taking taylor expansion of t in t 1.937 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 1.937 * [taylor]: Taking taylor expansion of 2 in t 1.937 * [taylor]: Taking taylor expansion of (log z) in t 1.937 * [taylor]: Taking taylor expansion of z in t 1.941 * [taylor]: Taking taylor expansion of 0 in t 1.949 * [taylor]: Taking taylor expansion of 0 in t 1.961 * [taylor]: Taking taylor expansion of 0 in t 1.961 * [approximate]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in (z t) around 0 1.962 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 1.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 1.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 1.962 * [taylor]: Taking taylor expansion of 1/3 in t 1.962 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 1.962 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 1.962 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.962 * [taylor]: Taking taylor expansion of t in t 1.962 * [taylor]: Taking taylor expansion of (pow z 2) in t 1.962 * [taylor]: Taking taylor expansion of z in t 1.963 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 1.963 * [taylor]: Taking taylor expansion of 1/3 in z 1.963 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 1.963 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 1.963 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.963 * [taylor]: Taking taylor expansion of t in z 1.963 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.963 * [taylor]: Taking taylor expansion of z in z 1.964 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 1.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 1.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 1.964 * [taylor]: Taking taylor expansion of 1/3 in z 1.964 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 1.964 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 1.964 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.964 * [taylor]: Taking taylor expansion of t in z 1.964 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.964 * [taylor]: Taking taylor expansion of z in z 1.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 1.965 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 1.965 * [taylor]: Taking taylor expansion of 1/3 in t 1.965 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 1.965 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 1.966 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.966 * [taylor]: Taking taylor expansion of t in t 1.966 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 1.966 * [taylor]: Taking taylor expansion of 2 in t 1.966 * [taylor]: Taking taylor expansion of (log z) in t 1.966 * [taylor]: Taking taylor expansion of z in t 1.970 * [taylor]: Taking taylor expansion of 0 in t 1.978 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * * * [progress]: simplifying candidates 1.993 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (cbrt (/ z t)) (cbrt (/ z t)))) (log1p (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ 1/3 1/3) (+ 1 1) (* (/ z t) (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))) (+ 1 1) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t)))) (log (* (cbrt (/ z t)) (cbrt (/ z t)))) (exp (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (/ z t) (/ z t)) (* (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (sqrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (sqrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)) (* (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (* (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t)))) (* (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t)))) (* (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (cbrt z) (cbrt t)))) (* (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))) (* (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t)))) (* (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (* (cbrt z) (cbrt z)) 1))) (* (cbrt (/ (cbrt z) t)) (cbrt (/ (cbrt z) t))) (* (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))) (* (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (cbrt t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) 1))) (* (cbrt (/ (sqrt z) t)) (cbrt (/ (sqrt z) t))) (* (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ 1 (* (cbrt t) (cbrt t))))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t)))) (* (cbrt (/ 1 (sqrt t))) (cbrt (/ 1 (sqrt t)))) (* (cbrt (/ z (sqrt t))) (cbrt (/ z (sqrt t)))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt z) (cbrt z)) (* (cbrt (/ 1 t)) (cbrt (/ 1 t))) (* (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (* (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t)))) (* (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t)))) (* 1 1) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t)))) (* (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t)))) (* (cbrt (sqrt (/ z t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (sqrt (/ z t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (sqrt (/ z t))) (sqrt (cbrt (/ z t)))) (* (cbrt (sqrt (/ z t))) (sqrt (cbrt (/ z t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt (/ z t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt (/ z t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (sqrt (cbrt (/ z t)))) (* (cbrt (/ (sqrt z) (sqrt t))) (sqrt (cbrt (/ z t)))) (* (sqrt (cbrt (/ z t))) (cbrt (sqrt (/ z t)))) (* (sqrt (cbrt (/ z t))) (cbrt (sqrt (/ z t)))) (* (sqrt (cbrt (/ z t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (sqrt (cbrt (/ z t))) (cbrt (/ (sqrt z) (sqrt t)))) (* (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t)))) (* (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t)))) (* 2 1/3) (* 2 1) (* (cbrt (/ z t)) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (/ z t)) (cbrt (sqrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))) (* (cbrt (/ z t)) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t)))) (* (cbrt (/ z t)) (cbrt (/ (* (cbrt z) (cbrt z)) 1))) (* (cbrt (/ z t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t))))) (* (cbrt (/ z t)) (cbrt (/ (sqrt z) (sqrt t)))) (* (cbrt (/ z t)) (cbrt (/ (sqrt z) 1))) (* (cbrt (/ z t)) (cbrt (/ 1 (* (cbrt t) (cbrt t))))) (* (cbrt (/ z t)) (cbrt (/ 1 (sqrt t)))) (* (cbrt (/ z t)) (cbrt (/ 1 1))) (* (cbrt (/ z t)) (cbrt 1)) (* (cbrt (/ z t)) (cbrt z)) (* (cbrt (/ z t)) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t))))) (* (cbrt (/ z t)) (sqrt (cbrt (/ z t)))) (* (cbrt (/ z t)) 1) (* (cbrt (cbrt (/ z t))) (cbrt (/ z t))) (* (cbrt (sqrt (/ z t))) (cbrt (/ z t))) (* (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ z t))) (* (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ z t))) (* (cbrt (/ (cbrt z) t)) (cbrt (/ z t))) (* (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ z t))) (* (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ z t))) (* (cbrt (/ (sqrt z) t)) (cbrt (/ z t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z t))) (* (cbrt (/ z (sqrt t))) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ 1 t)) (cbrt (/ z t))) (* (cbrt (cbrt (/ z t))) (cbrt (/ z t))) (* (sqrt (cbrt (/ z t))) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt z)) (* (cbrt z) (cbrt (/ z t))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))) 1.998 * * [simplify]: iteration 0 : 165 enodes (cost 1926 ) 2.028 * * [simplify]: iteration 1 : 269 enodes (cost 1805 ) 2.087 * * [simplify]: iteration 2 : 783 enodes (cost 1725 ) 2.278 * * [simplify]: iteration 3 : 2031 enodes (cost 1647 )