76.142 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.121 * * * [progress]: [2/2] Setting up program. 0.127 * [progress]: [Phase 2 of 3] Improving. 0.128 * [simplify]: Simplifying using # : (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0))) 0.130 * * [simplify]: iteration 0 : 32 enodes (cost 10 ) 0.131 * * [simplify]: iteration 1 : 55 enodes (cost 10 ) 0.133 * * [simplify]: iteration 2 : 76 enodes (cost 10 ) 0.134 * * [simplify]: iteration 3 : 89 enodes (cost 10 ) 0.136 * * [simplify]: iteration 4 : 92 enodes (cost 10 ) 0.137 * * [simplify]: iteration 5 : 92 enodes (cost 10 ) 0.137 * [simplify]: Simplified to: (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0))) 0.138 * * [progress]: iteration 1 / 4 0.138 * * * [progress]: picking best candidate 0.144 * * * * [pick]: Picked # 0.144 * * * [progress]: localizing error 0.160 * * * [progress]: generating rewritten candidates 0.160 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.165 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.178 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 0.184 * * * [progress]: generating series expansions 0.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.185 * [approximate]: Approximating (cos (- y (* 0.3333333333333333 (* t z)))) in (y z t) around 0 0.187 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in z 0.189 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.192 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in z 0.193 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.194 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.198 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in z 0.200 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.201 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.201 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.207 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in z 0.209 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.210 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t 0.211 * [approximate]: Approximating (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in (y z t) around 0 0.214 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in z 0.215 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in t 0.215 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in z 0.215 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in t 0.216 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in t 0.216 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in z 0.216 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in t 0.216 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in t 0.216 * [taylor]: Taking taylor expansion of (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))) in t 0.216 * [approximate]: Approximating (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in (y z t) around 0 0.220 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in z 0.221 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in t 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in z 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in t 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in t 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in z 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in t 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in t 0.222 * [taylor]: Taking taylor expansion of (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) in t 0.222 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.223 * [approximate]: Approximating (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in (x y z t) around 0 0.229 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in y 0.229 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in z 0.229 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.234 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in y 0.235 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in z 0.237 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.238 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in z 0.238 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.238 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.248 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in y 0.251 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in z 0.255 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.265 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in z 0.268 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.268 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in z 0.268 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.269 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.269 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.269 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (cos (- y (* 0.3333333333333333 (* t z)))))) in t 0.272 * [approximate]: Approximating (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in (x y z t) around 0 0.279 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in y 0.279 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in z 0.279 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.284 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in y 0.285 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in z 0.286 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.287 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in z 0.287 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.287 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.298 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in y 0.301 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in z 0.304 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.308 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in z 0.308 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.309 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in z 0.309 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.310 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.310 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.310 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (cos (- (/ 1 y) (* 0.3333333333333333 (/ 1 (* t z))))))) in t 0.312 * [approximate]: Approximating (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in (x y z t) around 0 0.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in y 0.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in z 0.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.325 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in y 0.326 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in z 0.327 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.328 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in z 0.328 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.329 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.342 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in y 0.346 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in z 0.349 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.354 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in z 0.354 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.354 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in z 0.354 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.355 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.355 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.355 * [taylor]: Taking taylor expansion of (* 2.0 (* (cos (neg (+ (* 0.3333333333333333 (/ 1 (* t z))) (/ 1 y)))) (sqrt (/ -1 x)))) in t 0.357 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.357 * [approximate]: Approximating (* 0.3333333333333333 (/ a b)) in (a b) around 0 0.357 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ a b)) in b 0.358 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ a b)) in b 0.360 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ a b)) in b 0.362 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ a b)) in b 0.362 * [approximate]: Approximating (* 0.3333333333333333 (/ b a)) in (a b) around 0 0.363 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.365 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.367 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.371 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.371 * [approximate]: Approximating (* 0.3333333333333333 (/ b a)) in (a b) around 0 0.371 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.374 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.376 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.379 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ b a)) in b 0.379 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 0.380 * [approximate]: Approximating (* 0.3333333333333333 (* t z)) in (z t) around 0 0.380 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in t 0.381 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in t 0.383 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in t 0.385 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in t 0.388 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in t 0.388 * [approximate]: Approximating (/ 0.3333333333333333 (* t z)) in (z t) around 0 0.389 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.390 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.391 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.393 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.394 * [approximate]: Approximating (/ 0.3333333333333333 (* t z)) in (z t) around 0 0.395 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.396 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.397 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.398 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* t z)) in t 0.399 * * * [progress]: simplifying candidates 0.401 * [simplify]: Simplifying using # : (* (cos y) (cos (neg (/ (* z t) 3.0)))) (* (sin y) (sin (neg (/ (* z t) 3.0)))) (* (cos y) (cos (neg (/ (* z t) 3.0)))) (* (sin y) (sin (neg (/ (* z t) 3.0)))) (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))) (log (cos (- y (/ (* z t) 3.0)))) (exp (cos (- y (/ (* z t) 3.0)))) (* (cbrt (cos (- y (/ (* z t) 3.0)))) (cbrt (cos (- y (/ (* z t) 3.0))))) (cbrt (cos (- y (/ (* z t) 3.0)))) (* (* (cos (- y (/ (* z t) 3.0))) (cos (- y (/ (* z t) 3.0)))) (cos (- y (/ (* z t) 3.0)))) (sqrt (cos (- y (/ (* z t) 3.0)))) (sqrt (cos (- y (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (+ (+ (log 2.0) (log (sqrt x))) (log (cos (- y (/ (* z t) 3.0))))) (+ (log (* 2.0 (sqrt x))) (log (cos (- y (/ (* z t) 3.0))))) (log (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (exp (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (* (* (* (* 2.0 2.0) 2.0) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (cos (- y (/ (* z t) 3.0))) (cos (- y (/ (* z t) 3.0)))) (cos (- y (/ (* z t) 3.0))))) (* (* (* (* 2.0 (sqrt x)) (* 2.0 (sqrt x))) (* 2.0 (sqrt x))) (* (* (cos (- y (/ (* z t) 3.0))) (cos (- y (/ (* z t) 3.0)))) (cos (- y (/ (* z t) 3.0))))) (* (cbrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (cbrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))))) (cbrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (* (* (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (sqrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (sqrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (cos y) (cos (/ (* z t) 3.0))) (* 2.0 (sqrt x))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* 2.0 (sqrt x))) (* (* 2.0 (sqrt x)) (* (cbrt (cos (- y (/ (* z t) 3.0)))) (cbrt (cos (- y (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (sqrt (cos (- y (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) 1) (* (sqrt x) (cos (- y (/ (* z t) 3.0)))) (- (log a) (+ (log b) (log 3.0))) (- (log a) (log (* b 3.0))) (log (/ a (* b 3.0))) (exp (/ a (* b 3.0))) (/ (* (* a a) a) (* (* (* b b) b) (* (* 3.0 3.0) 3.0))) (/ (* (* a a) a) (* (* (* b 3.0) (* b 3.0)) (* b 3.0))) (* (cbrt (/ a (* b 3.0))) (cbrt (/ a (* b 3.0)))) (cbrt (/ a (* b 3.0))) (* (* (/ a (* b 3.0)) (/ a (* b 3.0))) (/ a (* b 3.0))) (sqrt (/ a (* b 3.0))) (sqrt (/ a (* b 3.0))) (neg a) (neg (* b 3.0)) (/ (* (cbrt a) (cbrt a)) b) (/ (cbrt a) 3.0) (/ (sqrt a) b) (/ (sqrt a) 3.0) (/ 1 b) (/ a 3.0) (/ 1 (* b 3.0)) (/ (* b 3.0) a) (/ a b) (/ (* b 3.0) (cbrt a)) (/ (* b 3.0) (sqrt a)) (/ (* b 3.0) a) (- (+ (log z) (log t)) (log 3.0)) (- (log (* z t)) (log 3.0)) (log (/ (* z t) 3.0)) (exp (/ (* z t) 3.0)) (/ (* (* (* z z) z) (* (* t t) t)) (* (* 3.0 3.0) 3.0)) (/ (* (* (* z t) (* z t)) (* z t)) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)) (* (* (/ (* z t) 3.0) (/ (* z t) 3.0)) (/ (* z t) 3.0)) (sqrt (/ (* z t) 3.0)) (sqrt (/ (* z t) 3.0)) (neg (* z t)) (neg 3.0) (/ z (* (cbrt 3.0) (cbrt 3.0))) (/ t (cbrt 3.0)) (/ z (sqrt 3.0)) (/ t (sqrt 3.0)) (/ z 1) (/ t 3.0) (/ 1 3.0) (/ 3.0 (* z t)) (/ (* z t) (* (cbrt 3.0) (cbrt 3.0))) (/ (* z t) (sqrt 3.0)) (/ (* z t) 1) (/ 3.0 t) (- 1 (* 1/2 (pow y 2))) (cos (- y (* 0.3333333333333333 (* t z)))) (cos (- y (* 0.3333333333333333 (* t z)))) (+ (* 2.0 (* x NAN)) (* 2.0 (* (pow x 2) (pow NAN 3)))) (+ (* 2.0 (* NAN (cos (- y (* 0.3333333333333333 (* t z)))))) (* 2.0 (/ (* (pow NAN 3) (cos (- y (* 0.3333333333333333 (* t z))))) x))) (- (* 2.0 (* NAN (cos (- y (* 0.3333333333333333 (* t z)))))) (* 2.0 (/ (* (pow NAN 3) (cos (- y (* 0.3333333333333333 (* t z))))) x))) (* 0.3333333333333333 (/ a b)) (* 0.3333333333333333 (/ a b)) (* 0.3333333333333333 (/ a b)) (* 0.3333333333333333 (* t z)) (* 0.3333333333333333 (* t z)) (* 0.3333333333333333 (* t z)) 0.406 * * [simplify]: iteration 0 : 419 enodes (cost 507 ) 0.415 * * [simplify]: iteration 1 : 1751 enodes (cost 432 ) 0.444 * * [simplify]: iteration 2 : 5001 enodes (cost 432 ) 0.447 * [simplify]: Simplified to: (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (neg (/ (* z t) 3.0)))) (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (neg (/ (* z t) 3.0)))) (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))) (log (cos (- y (/ (* z t) 3.0)))) (exp (cos (- y (/ (* z t) 3.0)))) (* (cbrt (cos (- y (/ (* z t) 3.0)))) (cbrt (cos (- y (/ (* z t) 3.0))))) (cbrt (cos (- y (/ (* z t) 3.0)))) (pow (cos (- y (/ (* z t) 3.0))) 3) (sqrt (cos (- y (/ (* z t) 3.0)))) (sqrt (cos (- y (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (log (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (log (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (log (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (exp (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (pow (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) 3) (pow (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) 3) (* (cbrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (cbrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))))) (cbrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (pow (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) 3) (sqrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (sqrt (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (cbrt (cos (- y (/ (* z t) 3.0)))) (cbrt (cos (- y (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (sqrt (cos (- y (/ (* z t) 3.0))))) (* 2.0 (sqrt x)) (* (sqrt x) (cos (- y (/ (* z t) 3.0)))) (log (/ a (* b 3.0))) (log (/ a (* b 3.0))) (log (/ a (* b 3.0))) (exp (/ a (* b 3.0))) (pow (/ a (* b 3.0)) 3) (pow (/ a (* b 3.0)) 3) (* (cbrt (/ a (* b 3.0))) (cbrt (/ a (* b 3.0)))) (cbrt (/ a (* b 3.0))) (pow (/ a (* b 3.0)) 3) (sqrt (/ a (* b 3.0))) (sqrt (/ a (* b 3.0))) (neg a) (neg (* b 3.0)) (/ (* (cbrt a) (cbrt a)) b) (/ (cbrt a) 3.0) (/ (sqrt a) b) (/ (sqrt a) 3.0) (/ 1 b) (/ a 3.0) (/ 1 (* b 3.0)) (/ (* b 3.0) a) (/ a b) (/ (* b 3.0) (cbrt a)) (/ (* b 3.0) (sqrt a)) (/ (* b 3.0) a) (log (/ (* z t) 3.0)) (log (/ (* z t) 3.0)) (log (/ (* z t) 3.0)) (exp (/ (* z t) 3.0)) (pow (/ (* z t) 3.0) 3) (pow (/ (* z t) 3.0) 3) (* (cbrt (/ (* z t) 3.0)) (cbrt (/ (* z t) 3.0))) (cbrt (/ (* z t) 3.0)) (pow (/ (* z t) 3.0) 3) (sqrt (/ (* z t) 3.0)) (sqrt (/ (* z t) 3.0)) (neg (* z t)) (neg 3.0) (/ z (* (cbrt 3.0) (cbrt 3.0))) (/ t (cbrt 3.0)) (/ z (sqrt 3.0)) (/ t (sqrt 3.0)) z (/ t 3.0) (/ 1 3.0) (/ 3.0 (* z t)) (/ (* z t) (* (cbrt 3.0) (cbrt 3.0))) (/ (* z t) (sqrt 3.0)) (* z t) (/ 3.0 t) (- 1 (* 1/2 (pow y 2))) (cos (- y (* 0.3333333333333333 (* t z)))) (cos (- y (* 0.3333333333333333 (* t z)))) (* 2.0 (+ (* x NAN) (* (pow x 2) (pow NAN 3)))) (* 2.0 (+ (* NAN (cos (- y (* 0.3333333333333333 (* t z))))) (/ (* (pow NAN 3) (cos (- y (* 0.3333333333333333 (* t z))))) x))) (* 2.0 (- (* NAN (cos (- y (* 0.3333333333333333 (* t z))))) (/ (* (pow NAN 3) (cos (- y (* 0.3333333333333333 (* t z))))) x))) (* 0.3333333333333333 (/ a b)) (* 0.3333333333333333 (/ a b)) (* 0.3333333333333333 (/ a b)) (* 0.3333333333333333 (* t z)) (* 0.3333333333333333 (* t z)) (* 0.3333333333333333 (* t z)) 0.448 * * * [progress]: adding candidates to table 0.836 * * [progress]: iteration 2 / 4 0.836 * * * [progress]: picking best candidate 1.143 * * * * [pick]: Picked # 1.144 * * * [progress]: localizing error 1.168 * * * [progress]: generating rewritten candidates 1.168 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 1.170 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 1.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 1.187 * * * [progress]: generating series expansions 1.187 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 1.187 * [approximate]: Approximating (sin (* 0.3333333333333333 (* t z))) in (z t) around 0 1.190 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 1.191 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 1.193 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 1.196 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 1.200 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 1.200 * [approximate]: Approximating (sin (/ 0.3333333333333333 (* t z))) in (z t) around 0 1.201 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.202 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.202 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.202 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.202 * [approximate]: Approximating (sin (/ 0.3333333333333333 (* t z))) in (z t) around 0 1.203 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.204 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.204 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.204 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 1.204 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 1.204 * [approximate]: Approximating (cos (* 0.3333333333333333 (* t z))) in (z t) around 0 1.207 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in t 1.208 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in t 1.208 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in t 1.210 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in t 1.210 * [approximate]: Approximating (cos (/ 0.3333333333333333 (* t z))) in (z t) around 0 1.211 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.211 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.212 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.212 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.212 * [approximate]: Approximating (cos (/ 0.3333333333333333 (* t z))) in (z t) around 0 1.213 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.214 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.214 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.214 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in t 1.214 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.214 * [approximate]: Approximating (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in (x y z t) around 0 1.227 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 1.227 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 1.227 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.237 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 1.239 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 1.241 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.242 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 1.242 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.242 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.261 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 1.268 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 1.273 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.285 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 1.287 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.287 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 1.287 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.288 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.288 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.288 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 1.291 * [approximate]: Approximating (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in (x y z t) around 0 1.303 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 1.303 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 1.303 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.313 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 1.316 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 1.318 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 1.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.339 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 1.348 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 1.356 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.374 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 1.374 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.374 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 1.374 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.381 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.381 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.381 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 1.390 * [approximate]: Approximating (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in (x y z t) around 0 1.399 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 1.399 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 1.399 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.409 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 1.412 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 1.414 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.416 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 1.416 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.416 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.435 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 1.443 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 1.453 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.469 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 1.469 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.469 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 1.469 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.475 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.476 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.476 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 1.484 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1.484 * [approximate]: Approximating (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in (y z t) around 0 1.487 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 1.487 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 1.490 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 1.491 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 1.491 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 1.496 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 1.496 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 1.496 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 1.496 * [approximate]: Approximating (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in (y z t) around 0 1.499 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 1.500 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.505 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 1.505 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.508 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.517 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 1.517 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.517 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.521 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.522 * [approximate]: Approximating (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in (y z t) around 0 1.526 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 1.527 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.531 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 1.531 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.535 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.543 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 1.543 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.543 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.546 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 1.546 * * * [progress]: simplifying candidates 1.547 * [simplify]: Simplifying using # : (log (sin (/ (* z t) 3.0))) (exp (sin (/ (* z t) 3.0))) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0)))) (cbrt (sin (/ (* z t) 3.0))) (* (* (sin (/ (* z t) 3.0)) (sin (/ (* z t) 3.0))) (sin (/ (* z t) 3.0))) (sqrt (sin (/ (* z t) 3.0))) (sqrt (sin (/ (* z t) 3.0))) (log (cos (/ (* z t) 3.0))) (exp (cos (/ (* z t) 3.0))) (* (cbrt (cos (/ (* z t) 3.0))) (cbrt (cos (/ (* z t) 3.0)))) (cbrt (cos (/ (* z t) 3.0))) (* (* (cos (/ (* z t) 3.0)) (cos (/ (* z t) 3.0))) (cos (/ (* z t) 3.0))) (sqrt (cos (/ (* z t) 3.0))) (sqrt (cos (/ (* z t) 3.0))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (+ (+ (log 2.0) (log (sqrt x))) (log (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (+ (log (* 2.0 (sqrt x))) (log (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (exp (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* (* (* 2.0 2.0) 2.0) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* (* (* 2.0 (sqrt x)) (* 2.0 (sqrt x))) (* 2.0 (sqrt x))) (* (* (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (cos y) (cos (/ (* z t) 3.0))) (* 2.0 (sqrt x))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* 2.0 (sqrt x))) (* (* 2.0 (sqrt x)) (* (cbrt (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (sqrt (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) 1) (* (sqrt x) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (+ (cos (+ y (/ (* z t) 3.0))) (cos (- y (/ (* z t) 3.0)))) 2) (* 2 (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (+ (pow (* (cos y) (cos (/ (* z t) 3.0))) 3) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3))) (* (* 2.0 (sqrt x)) (- (* (* (cos y) (cos (/ (* z t) 3.0))) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0)))) (* (sin y) (sin (/ (* z t) 3.0))) (+ (log (sin y)) (log (sin (/ (* z t) 3.0)))) (log (* (sin y) (sin (/ (* z t) 3.0)))) (exp (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (* (sin y) (sin y)) (sin y)) (* (* (sin (/ (* z t) 3.0)) (sin (/ (* z t) 3.0))) (sin (/ (* z t) 3.0)))) (* (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (cbrt (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (* (sin y) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))) (* (sin y) (sin (/ (* z t) 3.0)))) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sin y) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0))))) (* (sin y) (sqrt (sin (/ (* z t) 3.0)))) (* (sin y) 1) (* (cbrt (sin y)) (sin (/ (* z t) 3.0))) (* (sqrt (sin y)) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))) (* 0.3333333333333333 (* t z)) (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z))) 1 (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z))) (+ (* 2.0 (* x NAN)) (* 2.0 (* (pow x 2) (pow NAN 3)))) (+ (* 2.0 (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y)))) (+ (* 2.0 (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (+ (* 2.0 (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)) (* 2.0 (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y))))))) (- (+ (* 2.0 (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y)))) (* 2.0 (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y))))) (+ (* 2.0 (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (* 2.0 (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)))) 0 (* (sin (* 0.3333333333333333 (* t z))) (sin y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y)) 1.553 * * [simplify]: iteration 0 : 392 enodes (cost 756 ) 1.561 * * [simplify]: iteration 1 : 1908 enodes (cost 649 ) 1.598 * * [simplify]: iteration 2 : 5002 enodes (cost 648 ) 1.602 * [simplify]: Simplified to: (log (sin (/ (* z t) 3.0))) (exp (sin (/ (* z t) 3.0))) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0)))) (cbrt (sin (/ (* z t) 3.0))) (pow (sin (/ (* z t) 3.0)) 3) (sqrt (sin (/ (* z t) 3.0))) (sqrt (sin (/ (* z t) 3.0))) (log (cos (/ (* z t) 3.0))) (exp (cos (/ (* z t) 3.0))) (* (cbrt (cos (/ (* z t) 3.0))) (cbrt (cos (/ (* z t) 3.0)))) (cbrt (cos (/ (* z t) 3.0))) (pow (cos (/ (* z t) 3.0)) 3) (sqrt (cos (/ (* z t) 3.0))) (sqrt (cos (/ (* z t) 3.0))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (exp (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) 3) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) 3) (* (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) 3) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (cbrt (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (sqrt (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* 2.0 (sqrt x)) (* (sqrt x) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (* 2 (+ (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0)))) (+ (cos (+ y (/ (* z t) 3.0))) (cos (- y (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (+ (pow (* (cos y) (cos (/ (* z t) 3.0))) 3) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3))) (* (* 2.0 (sqrt x)) (- (* (* (cos y) (cos (/ (* z t) 3.0))) (* (cos y) (cos (/ (* z t) 3.0)))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0)))) (* (sin y) (sin (/ (* z t) 3.0))) (log (* (sin y) (sin (/ (* z t) 3.0)))) (log (* (sin y) (sin (/ (* z t) 3.0)))) (exp (* (sin y) (sin (/ (* z t) 3.0)))) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3) (* (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (cbrt (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sin y) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0))))) (* (sin y) (sqrt (sin (/ (* z t) 3.0)))) (sin y) (* (cbrt (sin y)) (sin (/ (* z t) 3.0))) (* (sqrt (sin y)) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))) (* 0.3333333333333333 (* t z)) (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z))) 1 (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z))) (* 2.0 (+ (* x NAN) (* (pow x 2) (pow NAN 3)))) (* 2.0 (+ (+ (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y))) (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (+ (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x) (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y)))))) (* 2.0 (- (+ (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y))) (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y)))) (+ (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x) (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)))) 0 (* (sin (* 0.3333333333333333 (* t z))) (sin y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y)) 1.602 * * * [progress]: adding candidates to table 1.962 * * [progress]: iteration 3 / 4 1.962 * * * [progress]: picking best candidate 2.141 * * * * [pick]: Picked # 2.141 * * * [progress]: localizing error 2.168 * * * [progress]: generating rewritten candidates 2.168 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 2.170 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 2.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.185 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 2.191 * * * [progress]: generating series expansions 2.191 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 2.191 * [approximate]: Approximating (sin (* 0.3333333333333333 (* t z))) in (z t) around 0 2.195 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 2.195 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 2.197 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 2.200 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 2.204 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in t 2.205 * [approximate]: Approximating (sin (/ 0.3333333333333333 (* t z))) in (z t) around 0 2.206 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.207 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.207 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.207 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.207 * [approximate]: Approximating (sin (/ 0.3333333333333333 (* t z))) in (z t) around 0 2.208 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.209 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.209 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.209 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in t 2.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 2.209 * [approximate]: Approximating (cos (* 0.3333333333333333 (* t z))) in (t z) around 0 2.212 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 2.213 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 2.213 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 2.215 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 2.216 * [approximate]: Approximating (cos (/ 0.3333333333333333 (* t z))) in (t z) around 0 2.217 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.217 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.218 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.218 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.218 * [approximate]: Approximating (cos (/ 0.3333333333333333 (* t z))) in (t z) around 0 2.219 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.220 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.220 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.220 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 2.220 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.220 * [approximate]: Approximating (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in (x y t z) around 0 2.230 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 2.230 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 2.230 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.241 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 2.243 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 2.245 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.246 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 2.246 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.246 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.270 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 2.277 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 2.282 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.293 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 2.295 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.295 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 2.295 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.297 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.297 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.297 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 2.299 * [approximate]: Approximating (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in (x y t z) around 0 2.309 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 2.309 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 2.309 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 2.323 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 2.325 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.327 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 2.327 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.327 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.350 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 2.358 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 2.366 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.382 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 2.382 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.382 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 2.382 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.389 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.389 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.389 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 2.398 * [approximate]: Approximating (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in (x y t z) around 0 2.407 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 2.407 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 2.407 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.418 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 2.420 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 2.425 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.428 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 2.428 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.428 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.446 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 2.455 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 2.462 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.478 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 2.478 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.478 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 2.478 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.485 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.485 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.485 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 2.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 2.494 * [approximate]: Approximating (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in (y z t) around 0 2.496 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 2.496 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 2.503 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 2.504 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 2.504 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 2.509 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 2.509 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 2.509 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 2.509 * [approximate]: Approximating (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in (y z t) around 0 2.512 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 2.512 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.515 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 2.515 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.517 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.523 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 2.523 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.523 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.526 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.526 * [approximate]: Approximating (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in (y z t) around 0 2.528 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 2.529 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.532 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 2.532 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.534 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.539 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 2.540 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.540 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.542 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 2.543 * * * [progress]: simplifying candidates 2.544 * [simplify]: Simplifying using # : (log (sin (/ (* z t) 3.0))) (exp (sin (/ (* z t) 3.0))) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0)))) (cbrt (sin (/ (* z t) 3.0))) (* (* (sin (/ (* z t) 3.0)) (sin (/ (* z t) 3.0))) (sin (/ (* z t) 3.0))) (sqrt (sin (/ (* z t) 3.0))) (sqrt (sin (/ (* z t) 3.0))) (log (cos (* 0.3333333333333333 (* t z)))) (exp (cos (* 0.3333333333333333 (* t z)))) (* (cbrt (cos (* 0.3333333333333333 (* t z)))) (cbrt (cos (* 0.3333333333333333 (* t z))))) (cbrt (cos (* 0.3333333333333333 (* t z)))) (* (* (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z)))) (cos (* 0.3333333333333333 (* t z)))) (sqrt (cos (* 0.3333333333333333 (* t z)))) (sqrt (cos (* 0.3333333333333333 (* t z)))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (+ (+ (log 2.0) (log (sqrt x))) (log (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (+ (log (* 2.0 (sqrt x))) (log (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (exp (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* (* (* 2.0 2.0) 2.0) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* (* (* 2.0 (sqrt x)) (* 2.0 (sqrt x))) (* 2.0 (sqrt x))) (* (* (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* 2.0 (sqrt x))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* 2.0 (sqrt x))) (* (* 2.0 (sqrt x)) (* (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (sqrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) 1) (* (sqrt x) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (+ (cos (+ y (* 0.3333333333333333 (* t z)))) (cos (- y (* 0.3333333333333333 (* t z))))) 2) (* 2 (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (+ (pow (* (cos y) (cos (* 0.3333333333333333 (* t z)))) 3) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3))) (* (* 2.0 (sqrt x)) (- (* (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0)))) (* (sin y) (sin (/ (* z t) 3.0))) (+ (log (sin y)) (log (sin (/ (* z t) 3.0)))) (log (* (sin y) (sin (/ (* z t) 3.0)))) (exp (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (* (sin y) (sin y)) (sin y)) (* (* (sin (/ (* z t) 3.0)) (sin (/ (* z t) 3.0))) (sin (/ (* z t) 3.0)))) (* (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (cbrt (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (* (* (* (sin y) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))) (* (sin y) (sin (/ (* z t) 3.0)))) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sin y) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0))))) (* (sin y) (sqrt (sin (/ (* z t) 3.0)))) (* (sin y) 1) (* (cbrt (sin y)) (sin (/ (* z t) 3.0))) (* (sqrt (sin y)) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))) (* 0.3333333333333333 (* t z)) (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z))) 1 (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z))) (+ (* 2.0 (* x NAN)) (* 2.0 (* (pow x 2) (pow NAN 3)))) (+ (* 2.0 (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y)))) (+ (* 2.0 (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (+ (* 2.0 (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)) (* 2.0 (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y))))))) (- (+ (* 2.0 (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y)))) (* 2.0 (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y))))) (+ (* 2.0 (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (* 2.0 (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)))) 0 (* (sin (* 0.3333333333333333 (* t z))) (sin y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y)) 2.550 * * [simplify]: iteration 0 : 398 enodes (cost 756 ) 2.558 * * [simplify]: iteration 1 : 1922 enodes (cost 649 ) 2.597 * * [simplify]: iteration 2 : 5002 enodes (cost 648 ) 2.601 * [simplify]: Simplified to: (log (sin (/ (* z t) 3.0))) (exp (sin (/ (* z t) 3.0))) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0)))) (cbrt (sin (/ (* z t) 3.0))) (pow (sin (/ (* z t) 3.0)) 3) (sqrt (sin (/ (* z t) 3.0))) (sqrt (sin (/ (* z t) 3.0))) (log (cos (* 0.3333333333333333 (* t z)))) (exp (cos (* 0.3333333333333333 (* t z)))) (* (cbrt (cos (* 0.3333333333333333 (* t z)))) (cbrt (cos (* 0.3333333333333333 (* t z))))) (cbrt (cos (* 0.3333333333333333 (* t z)))) (pow (cos (* 0.3333333333333333 (* t z))) 3) (sqrt (cos (* 0.3333333333333333 (* t z)))) (sqrt (cos (* 0.3333333333333333 (* t z)))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (exp (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) 3) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) 3) (* (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) 3) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0)))) (* (* 2.0 (sqrt x)) (* (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))))) (* (* 2.0 (sqrt x)) (sqrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))) (* 2.0 (sqrt x)) (* (sqrt x) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0))))) (* (* 2.0 (sqrt x)) (* 2 (+ (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0)))) (+ (cos (+ y (* 0.3333333333333333 (* t z)))) (cos (- y (* 0.3333333333333333 (* t z)))))))) (* (* 2.0 (sqrt x)) (+ (pow (* (cos y) (cos (* 0.3333333333333333 (* t z)))) 3) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3))) (* (* 2.0 (sqrt x)) (- (* (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* (sin y) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))) (- (cos (- y (/ (* z t) 3.0))) (cos (+ y (/ (* z t) 3.0)))) (* (sin y) (sin (/ (* z t) 3.0))) (log (* (sin y) (sin (/ (* z t) 3.0)))) (log (* (sin y) (sin (/ (* z t) 3.0)))) (exp (* (sin y) (sin (/ (* z t) 3.0)))) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3) (* (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (cbrt (* (sin y) (sin (/ (* z t) 3.0))))) (cbrt (* (sin y) (sin (/ (* z t) 3.0)))) (pow (* (sin y) (sin (/ (* z t) 3.0))) 3) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (sqrt (* (sin y) (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sqrt (sin y)) (sqrt (sin (/ (* z t) 3.0)))) (* (sin y) (* (cbrt (sin (/ (* z t) 3.0))) (cbrt (sin (/ (* z t) 3.0))))) (* (sin y) (sqrt (sin (/ (* z t) 3.0)))) (sin y) (* (cbrt (sin y)) (sin (/ (* z t) 3.0))) (* (sqrt (sin y)) (sin (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0))) (* 0.3333333333333333 (* t z)) (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z))) 1 (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z))) (* 2.0 (+ (* x NAN) (* (pow x 2) (pow NAN 3)))) (* 2.0 (+ (+ (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y))) (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (+ (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x) (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y)))))) (* 2.0 (- (+ (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y))) (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y)))) (+ (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x) (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)))) 0 (* (sin (* 0.3333333333333333 (* t z))) (sin y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y)) 2.601 * * * [progress]: adding candidates to table 2.946 * * [progress]: iteration 4 / 4 2.946 * * * [progress]: picking best candidate 3.129 * * * * [pick]: Picked # 3.129 * * * [progress]: localizing error 3.156 * * * [progress]: generating rewritten candidates 3.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 3.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 3.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 3.172 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 3.178 * * * [progress]: generating series expansions 3.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 3.179 * [approximate]: Approximating (sin (* 0.3333333333333333 (* t z))) in (t z) around 0 3.182 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in z 3.182 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in z 3.184 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in z 3.188 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in z 3.192 * [taylor]: Taking taylor expansion of (sin (* 0.3333333333333333 (* t z))) in z 3.193 * [approximate]: Approximating (sin (/ 0.3333333333333333 (* t z))) in (t z) around 0 3.194 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.194 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.195 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.195 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.195 * [approximate]: Approximating (sin (/ 0.3333333333333333 (* t z))) in (t z) around 0 3.196 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.197 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.197 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.197 * [taylor]: Taking taylor expansion of (sin (/ 0.3333333333333333 (* t z))) in z 3.197 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 3.197 * [approximate]: Approximating (cos (* 0.3333333333333333 (* t z))) in (t z) around 0 3.200 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 3.200 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 3.200 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 3.202 * [taylor]: Taking taylor expansion of (cos (* 0.3333333333333333 (* t z))) in z 3.203 * [approximate]: Approximating (cos (/ 0.3333333333333333 (* t z))) in (t z) around 0 3.204 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.204 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.204 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.204 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.205 * [approximate]: Approximating (cos (/ 0.3333333333333333 (* t z))) in (t z) around 0 3.206 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.206 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.206 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.207 * [taylor]: Taking taylor expansion of (cos (/ 0.3333333333333333 (* t z))) in z 3.207 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 3.207 * [approximate]: Approximating (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in (x y t z) around 0 3.216 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 3.217 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 3.217 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.227 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 3.229 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 3.231 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.232 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 3.232 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.232 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.254 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in y 3.260 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 3.264 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.276 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 3.278 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.278 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in t 3.278 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.279 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.279 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.279 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt x) (+ (* (cos (* 0.3333333333333333 (* t z))) (cos y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y))))) in z 3.281 * [approximate]: Approximating (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in (x y t z) around 0 3.291 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 3.291 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 3.291 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.301 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 3.303 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 3.305 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.308 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 3.308 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.308 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.329 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in y 3.337 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 3.345 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.360 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 3.360 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.360 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in t 3.360 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.367 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.367 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.367 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ 1 x)) (+ (* (cos (/ 1 y)) (cos (/ 0.3333333333333333 (* t z)))) (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z))))))) in z 3.375 * [approximate]: Approximating (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in (x y t z) around 0 3.388 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 3.388 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 3.388 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.398 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 3.400 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 3.402 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.405 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 3.405 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.405 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.424 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in y 3.432 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 3.439 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.455 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 3.455 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.455 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in t 3.455 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.464 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.464 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.464 * [taylor]: Taking taylor expansion of (* 2.0 (* (+ (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) (* (cos (/ -1 y)) (cos (/ 0.3333333333333333 (* t z))))) (sqrt (/ -1 x)))) in z 3.473 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 3.473 * [approximate]: Approximating (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in (y t z) around 0 3.476 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 3.476 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 3.479 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 3.480 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 3.480 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 3.484 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in t 3.485 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 3.485 * [taylor]: Taking taylor expansion of (* (sin (* 0.3333333333333333 (* t z))) (sin y)) in z 3.485 * [approximate]: Approximating (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in (y t z) around 0 3.487 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 3.488 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.491 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 3.491 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.493 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.498 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 3.498 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.498 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.501 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.502 * [approximate]: Approximating (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in (y t z) around 0 3.504 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 3.504 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.507 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 3.507 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.509 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.515 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in t 3.515 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.515 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.518 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (sin (/ 0.3333333333333333 (* t z)))) in z 3.518 * * * [progress]: simplifying candidates 3.519 * [simplify]: Simplifying using # : (log (sin (* 0.3333333333333333 (* t z)))) (exp (sin (* 0.3333333333333333 (* t z)))) (* (cbrt (sin (* 0.3333333333333333 (* t z)))) (cbrt (sin (* 0.3333333333333333 (* t z))))) (cbrt (sin (* 0.3333333333333333 (* t z)))) (* (* (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z)))) (sin (* 0.3333333333333333 (* t z)))) (sqrt (sin (* 0.3333333333333333 (* t z)))) (sqrt (sin (* 0.3333333333333333 (* t z)))) (log (cos (* 0.3333333333333333 (* t z)))) (exp (cos (* 0.3333333333333333 (* t z)))) (* (cbrt (cos (* 0.3333333333333333 (* t z)))) (cbrt (cos (* 0.3333333333333333 (* t z))))) (cbrt (cos (* 0.3333333333333333 (* t z)))) (* (* (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z)))) (cos (* 0.3333333333333333 (* t z)))) (sqrt (cos (* 0.3333333333333333 (* t z)))) (sqrt (cos (* 0.3333333333333333 (* t z)))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (+ (+ (log 2.0) (log (sqrt x))) (log (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (+ (log (* 2.0 (sqrt x))) (log (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (exp (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* (* (* 2.0 2.0) 2.0) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* (* (* 2.0 (sqrt x)) (* 2.0 (sqrt x))) (* 2.0 (sqrt x))) (* (* (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* 2.0 (sqrt x))) (* (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* 2.0 (sqrt x))) (* (* 2.0 (sqrt x)) (* (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))))) (* (* 2.0 (sqrt x)) (sqrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* 2.0 (sqrt x)) 1) (* (sqrt x) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (* (* 2.0 (sqrt x)) (+ (* (+ (cos (+ y (* 0.3333333333333333 (* t z)))) (cos (- y (* 0.3333333333333333 (* t z))))) 2) (* 2 (- (cos (- y (* 0.3333333333333333 (* t z)))) (cos (+ y (* 0.3333333333333333 (* t z)))))))) (* (* 2.0 (sqrt x)) (+ (pow (* (cos y) (cos (* 0.3333333333333333 (* t z)))) 3) (pow (* (sin y) (sin (* 0.3333333333333333 (* t z)))) 3))) (* (* 2.0 (sqrt x)) (- (* (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (- (cos (- y (* 0.3333333333333333 (* t z)))) (cos (+ y (* 0.3333333333333333 (* t z))))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (+ (log (sin y)) (log (sin (* 0.3333333333333333 (* t z))))) (log (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (exp (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (* (* (sin y) (sin y)) (sin y)) (* (* (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z)))) (sin (* 0.3333333333333333 (* t z))))) (* (cbrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (cbrt (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (cbrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (* (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (sqrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (sqrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (sqrt (sin y)) (sqrt (sin (* 0.3333333333333333 (* t z))))) (* (sqrt (sin y)) (sqrt (sin (* 0.3333333333333333 (* t z))))) (* (sin y) (* (cbrt (sin (* 0.3333333333333333 (* t z)))) (cbrt (sin (* 0.3333333333333333 (* t z)))))) (* (sin y) (sqrt (sin (* 0.3333333333333333 (* t z))))) (* (sin y) 1) (* (cbrt (sin y)) (sin (* 0.3333333333333333 (* t z)))) (* (sqrt (sin y)) (sin (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* 0.3333333333333333 (* t z)) (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z))) 1 (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z))) (+ (* 2.0 (* x NAN)) (* 2.0 (* (pow x 2) (pow NAN 3)))) (+ (* 2.0 (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y)))) (+ (* 2.0 (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (+ (* 2.0 (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)) (* 2.0 (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y))))))) (- (+ (* 2.0 (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y)))) (* 2.0 (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y))))) (+ (* 2.0 (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (* 2.0 (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)))) 0 (* (sin (* 0.3333333333333333 (* t z))) (sin y)) (* (sin (* 0.3333333333333333 (* t z))) (sin y)) 3.525 * * [simplify]: iteration 0 : 384 enodes (cost 756 ) 3.533 * * [simplify]: iteration 1 : 1893 enodes (cost 649 ) 3.570 * * [simplify]: iteration 2 : 5002 enodes (cost 648 ) 3.573 * [simplify]: Simplified to: (log (sin (* 0.3333333333333333 (* t z)))) (exp (sin (* 0.3333333333333333 (* t z)))) (* (cbrt (sin (* 0.3333333333333333 (* t z)))) (cbrt (sin (* 0.3333333333333333 (* t z))))) (cbrt (sin (* 0.3333333333333333 (* t z)))) (pow (sin (* 0.3333333333333333 (* t z))) 3) (sqrt (sin (* 0.3333333333333333 (* t z)))) (sqrt (sin (* 0.3333333333333333 (* t z)))) (log (cos (* 0.3333333333333333 (* t z)))) (exp (cos (* 0.3333333333333333 (* t z)))) (* (cbrt (cos (* 0.3333333333333333 (* t z)))) (cbrt (cos (* 0.3333333333333333 (* t z))))) (cbrt (cos (* 0.3333333333333333 (* t z)))) (pow (cos (* 0.3333333333333333 (* t z))) 3) (sqrt (cos (* 0.3333333333333333 (* t z)))) (sqrt (cos (* 0.3333333333333333 (* t z)))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (log (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (exp (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) 3) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) 3) (* (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))))) (cbrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (pow (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) 3) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (sqrt (* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (* 2.0 (sqrt x)) (* (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (cbrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))))) (* (* 2.0 (sqrt x)) (sqrt (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (* 2.0 (sqrt x)) (* (sqrt x) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (* (* 2.0 (sqrt x)) (* 2 (+ (- (cos (- y (* 0.3333333333333333 (* t z)))) (cos (+ y (* 0.3333333333333333 (* t z))))) (+ (cos (+ y (* 0.3333333333333333 (* t z)))) (cos (- y (* 0.3333333333333333 (* t z)))))))) (* (* 2.0 (sqrt x)) (+ (pow (* (cos y) (cos (* 0.3333333333333333 (* t z)))) 3) (pow (* (sin y) (sin (* 0.3333333333333333 (* t z)))) 3))) (* (* 2.0 (sqrt x)) (- (* (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (cos y) (cos (* 0.3333333333333333 (* t z))))) (* (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z))))))) (- (cos (- y (* 0.3333333333333333 (* t z)))) (cos (+ y (* 0.3333333333333333 (* t z))))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (log (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (log (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (exp (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (pow (* (sin y) (sin (* 0.3333333333333333 (* t z)))) 3) (* (cbrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (cbrt (* (sin y) (sin (* 0.3333333333333333 (* t z)))))) (cbrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (pow (* (sin y) (sin (* 0.3333333333333333 (* t z)))) 3) (sqrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (sqrt (* (sin y) (sin (* 0.3333333333333333 (* t z))))) (* (sqrt (sin y)) (sqrt (sin (* 0.3333333333333333 (* t z))))) (* (sqrt (sin y)) (sqrt (sin (* 0.3333333333333333 (* t z))))) (* (sin y) (* (cbrt (sin (* 0.3333333333333333 (* t z)))) (cbrt (sin (* 0.3333333333333333 (* t z)))))) (* (sin y) (sqrt (sin (* 0.3333333333333333 (* t z))))) (sin y) (* (cbrt (sin y)) (sin (* 0.3333333333333333 (* t z)))) (* (sqrt (sin y)) (sin (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* 0.3333333333333333 (* t z)) (sin (* 0.3333333333333333 (* t z))) (sin (* 0.3333333333333333 (* t z))) 1 (cos (* 0.3333333333333333 (* t z))) (cos (* 0.3333333333333333 (* t z))) (* 2.0 (+ (* x NAN) (* (pow x 2) (pow NAN 3)))) (* 2.0 (+ (+ (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y))) (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x)) (+ (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x) (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y)))))) (* 2.0 (- (+ (* NAN (* (sin (* 0.3333333333333333 (* t z))) (sin y))) (* (cos (* 0.3333333333333333 (* t z))) (* NAN (cos y)))) (+ (/ (* (cos (* 0.3333333333333333 (* t z))) (* (pow NAN 3) (cos y))) x) (/ (* (pow NAN 3) (* (sin (* 0.3333333333333333 (* t z))) (sin y))) x)))) 0 (* (sin y) (sin (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (* 0.3333333333333333 (* t z)))) 3.574 * * * [progress]: adding candidates to table 3.893 * [progress]: [Phase 3 of 3] Extracting. 3.893 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 3.914 * * * [regime-changes]: Trying 15 branch expressions: ((* b 3.0) (/ a (* b 3.0)) (* z t) (/ (* z t) 3.0) (- y (/ (* z t) 3.0)) (cos (- y (/ (* z t) 3.0))) (sqrt x) (* 2.0 (sqrt x)) (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) b a t z y x) 3.914 * * * * [regimes]: Trying to branch on (* b 3.0) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 4.180 * * * * [regimes]: Trying to branch on (/ a (* b 3.0)) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 4.459 * * * * [regimes]: Trying to branch on (* z t) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 4.745 * * * * [regimes]: Trying to branch on (* z t) from (# # # # # # # # # # # # # # # # # # # #) 4.960 * * * * [regimes]: Trying to branch on (/ (* z t) 3.0) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 5.238 * * * * [regimes]: Trying to branch on (/ (* z t) 3.0) from (# # # # # # # # # # # # # # # # # # # #) 5.454 * * * * [regimes]: Trying to branch on (- y (/ (* z t) 3.0)) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 5.737 * * * * [regimes]: Trying to branch on (- y (/ (* z t) 3.0)) from (# # # # # # # # # #) 5.860 * * * * [regimes]: Trying to branch on (cos (- y (/ (* z t) 3.0))) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 6.138 * * * * [regimes]: Trying to branch on (cos (- y (/ (* z t) 3.0))) from (# # # # # # # # # #) 6.271 * * * * [regimes]: Trying to branch on (sqrt x) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 6.550 * * * * [regimes]: Trying to branch on (* 2.0 (sqrt x)) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 6.841 * * * * [regimes]: Trying to branch on (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 7.132 * * * * [regimes]: Trying to branch on (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) from (# # # # # # #) 7.243 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 7.520 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 7.798 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 8.064 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 8.327 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 8.609 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # # # # # # # # # #) 8.879 * * * [regime]: Found split indices: #