21.707 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying using # : (/ (* x (/ (sin y) y)) z) 0.041 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.042 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.044 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 0.047 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 0.054 * * [simplify]: iteration 4 : 67 enodes (cost 8 ) 0.064 * * [simplify]: iteration 5 : 76 enodes (cost 8 ) 0.078 * * [simplify]: iteration done : 76 enodes (cost 8 ) 0.078 * [simplify]: Simplified to: (/ (* x (/ (sin y) y)) z) 0.078 * * [progress]: iteration 1 / 4 0.078 * * * [progress]: picking best candidate 0.080 * * * * [pick]: Picked # 0.080 * * * [progress]: localizing error 0.089 * * * [progress]: generating rewritten candidates 0.089 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.095 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.098 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.108 * * * [progress]: generating series expansions 0.108 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.108 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x y z) around 0 0.108 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z 0.108 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.108 * [taylor]: Taking taylor expansion of x in z 0.108 * [taylor]: Taking taylor expansion of (sin y) in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.108 * [taylor]: Taking taylor expansion of (* z y) in z 0.108 * [taylor]: Taking taylor expansion of z in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y 0.109 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.109 * [taylor]: Taking taylor expansion of x in y 0.109 * [taylor]: Taking taylor expansion of (sin y) in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.109 * [taylor]: Taking taylor expansion of (* z y) in y 0.109 * [taylor]: Taking taylor expansion of z in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 0.111 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of (sin y) in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of (* z y) in x 0.111 * [taylor]: Taking taylor expansion of z in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 0.114 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.114 * [taylor]: Taking taylor expansion of x in x 0.114 * [taylor]: Taking taylor expansion of (sin y) in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of (* z y) in x 0.114 * [taylor]: Taking taylor expansion of z in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in y 0.117 * [taylor]: Taking taylor expansion of (sin y) in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of (* z y) in y 0.117 * [taylor]: Taking taylor expansion of z in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.118 * [taylor]: Taking taylor expansion of z in z 0.121 * [taylor]: Taking taylor expansion of 0 in y 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.122 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z 0.130 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z 0.130 * [taylor]: Taking taylor expansion of 1/6 in z 0.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.130 * [taylor]: Taking taylor expansion of z in z 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.139 * [taylor]: Taking taylor expansion of 0 in z 0.141 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x y z) around 0 0.141 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z 0.141 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 0.141 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.141 * [taylor]: Taking taylor expansion of y in z 0.141 * [taylor]: Taking taylor expansion of (* z y) in z 0.141 * [taylor]: Taking taylor expansion of z in z 0.141 * [taylor]: Taking taylor expansion of y in z 0.141 * [taylor]: Taking taylor expansion of x in z 0.144 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y 0.144 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 0.144 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (* z y) in y 0.145 * [taylor]: Taking taylor expansion of z in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 0.146 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 0.146 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of (* z y) in x 0.146 * [taylor]: Taking taylor expansion of z in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 0.146 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 0.146 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of (* z y) in x 0.146 * [taylor]: Taking taylor expansion of z in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 0.147 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.147 * [taylor]: Taking taylor expansion of (* z y) in y 0.147 * [taylor]: Taking taylor expansion of z in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z 0.148 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.148 * [taylor]: Taking taylor expansion of y in z 0.148 * [taylor]: Taking taylor expansion of z in z 0.153 * [taylor]: Taking taylor expansion of 0 in y 0.153 * [taylor]: Taking taylor expansion of 0 in z 0.154 * [taylor]: Taking taylor expansion of 0 in z 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.167 * [taylor]: Taking taylor expansion of 0 in z 0.168 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (x y z) around 0 0.168 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z 0.168 * [taylor]: Taking taylor expansion of -1 in z 0.168 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z 0.168 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 0.168 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.168 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.168 * [taylor]: Taking taylor expansion of -1 in z 0.168 * [taylor]: Taking taylor expansion of y in z 0.168 * [taylor]: Taking taylor expansion of (* z y) in z 0.168 * [taylor]: Taking taylor expansion of z in z 0.168 * [taylor]: Taking taylor expansion of y in z 0.168 * [taylor]: Taking taylor expansion of x in z 0.171 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y 0.171 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 0.171 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.171 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of (* z y) in y 0.172 * [taylor]: Taking taylor expansion of z in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of x in y 0.173 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 0.173 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 0.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (* z y) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 0.173 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 0.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (* z y) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in y 0.174 * [taylor]: Taking taylor expansion of -1 in y 0.174 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 0.174 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.174 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.174 * [taylor]: Taking taylor expansion of -1 in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of (* z y) in y 0.175 * [taylor]: Taking taylor expansion of z in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) z)) in z 0.176 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z 0.176 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.176 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.176 * [taylor]: Taking taylor expansion of -1 in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.176 * [taylor]: Taking taylor expansion of z in z 0.182 * [taylor]: Taking taylor expansion of 0 in y 0.182 * [taylor]: Taking taylor expansion of 0 in z 0.183 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in y 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.194 * [taylor]: Taking taylor expansion of 0 in z 0.194 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.194 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.194 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.194 * [taylor]: Taking taylor expansion of (sin y) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.195 * [taylor]: Taking taylor expansion of (sin y) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.204 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.204 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.204 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.205 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.210 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.210 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.210 * [taylor]: Taking taylor expansion of -1 in y 0.210 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.210 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.210 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.210 * [taylor]: Taking taylor expansion of -1 in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.211 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.211 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.211 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.225 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.225 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0 0.225 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.225 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.225 * [taylor]: Taking taylor expansion of x in y 0.225 * [taylor]: Taking taylor expansion of (sin y) in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.226 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.226 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (sin y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.228 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.228 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (sin y) in x 0.229 * [taylor]: Taking taylor expansion of y in x 0.229 * [taylor]: Taking taylor expansion of y in x 0.231 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.231 * [taylor]: Taking taylor expansion of (sin y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of 0 in y 0.240 * [taylor]: Taking taylor expansion of 0 in y 0.247 * [taylor]: Taking taylor expansion of 0 in y 0.255 * [taylor]: Taking taylor expansion of 0 in y 0.255 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0 0.255 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.255 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.255 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.255 * [taylor]: Taking taylor expansion of y in y 0.256 * [taylor]: Taking taylor expansion of y in y 0.256 * [taylor]: Taking taylor expansion of x in y 0.257 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.257 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.257 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.257 * [taylor]: Taking taylor expansion of y in x 0.257 * [taylor]: Taking taylor expansion of y in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.257 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.257 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.257 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.257 * [taylor]: Taking taylor expansion of y in x 0.257 * [taylor]: Taking taylor expansion of y in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.258 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of 0 in y 0.266 * [taylor]: Taking taylor expansion of 0 in y 0.275 * [taylor]: Taking taylor expansion of 0 in y 0.276 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0 0.276 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.276 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.276 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.276 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.276 * [taylor]: Taking taylor expansion of -1 in y 0.276 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of x in y 0.277 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.277 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.277 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.277 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.277 * [taylor]: Taking taylor expansion of -1 in x 0.277 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.278 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.278 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.278 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.278 * [taylor]: Taking taylor expansion of -1 in x 0.278 * [taylor]: Taking taylor expansion of y in x 0.278 * [taylor]: Taking taylor expansion of y in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.278 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.278 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.278 * [taylor]: Taking taylor expansion of -1 in y 0.278 * [taylor]: Taking taylor expansion of y in y 0.279 * [taylor]: Taking taylor expansion of y in y 0.282 * [taylor]: Taking taylor expansion of 0 in y 0.286 * [taylor]: Taking taylor expansion of 0 in y 0.292 * [taylor]: Taking taylor expansion of 0 in y 0.292 * * * [progress]: simplifying candidates 0.293 * [simplify]: Simplifying using # : (expm1 (/ (* x (/ (sin y) y)) z)) (log1p (/ (* x (/ (sin y) y)) z)) (- (+ (log x) (- (log (sin y)) (log y))) (log z)) (- (+ (log x) (log (/ (sin y) y))) (log z)) (- (log (* x (/ (sin y) y))) (log z)) (log (/ (* x (/ (sin y) y)) z)) (exp (/ (* x (/ (sin y) y)) z)) (/ (* (* (* x x) x) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* z z) z)) (/ (* (* (* x x) x) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (* z z) z)) (/ (* (* (* x (/ (sin y) y)) (* x (/ (sin y) y))) (* x (/ (sin y) y))) (* (* z z) z)) (* (cbrt (/ (* x (/ (sin y) y)) z)) (cbrt (/ (* x (/ (sin y) y)) z))) (cbrt (/ (* x (/ (sin y) y)) z)) (* (* (/ (* x (/ (sin y) y)) z) (/ (* x (/ (sin y) y)) z)) (/ (* x (/ (sin y) y)) z)) (sqrt (/ (* x (/ (sin y) y)) z)) (sqrt (/ (* x (/ (sin y) y)) z)) (- (* x (/ (sin y) y))) (- z) (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)) (/ x (sqrt z)) (/ (/ (sin y) y) (sqrt z)) (/ x 1) (/ (/ (sin y) y) z) (/ 1 z) (/ z (* x (/ (sin y) y))) (/ (* x (/ (sin y) y)) (* (cbrt z) (cbrt z))) (/ (* x (/ (sin y) y)) (sqrt z)) (/ (* x (/ (sin y) y)) 1) (/ z (/ (sin y) y)) (* z y) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* x (/ (sin y) y))) (log1p (* x (/ (sin y) y))) (* x (/ (sin y) y)) (+ (log x) (- (log (sin y)) (log y))) (+ (log x) (log (/ (sin y) y))) (log (* x (/ (sin y) y))) (exp (* x (/ (sin y) y))) (* (* (* x x) x) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y))) (* (* (* x x) x) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y))) (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y)))) (cbrt (* x (/ (sin y) y))) (* (* (* x (/ (sin y) y)) (* x (/ (sin y) y))) (* x (/ (sin y) y))) (sqrt (* x (/ (sin y) y))) (sqrt (* x (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* x (sqrt (/ (sin y) y))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) 1)) (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* x (/ (sqrt (sin y)) (sqrt y))) (* x (/ (sqrt (sin y)) 1)) (* x (/ 1 (* (cbrt y) (cbrt y)))) (* x (/ 1 (sqrt y))) (* x (/ 1 1)) (* x 1) (* x (sin y)) (* (cbrt x) (/ (sin y) y)) (* (sqrt x) (/ (sin y) y)) (* x (/ (sin y) y)) (* x (sin y)) (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z))) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ (* x (sin y)) y) (/ (* x (sin y)) y) 0.297 * * [simplify]: iteration 0 : 145 enodes (cost 935 ) 0.338 * * [simplify]: iteration 1 : 332 enodes (cost 898 ) 0.431 * * [simplify]: iteration 2 : 1074 enodes (cost 782 ) 1.274 * * [simplify]: iteration done : 5001 enodes (cost 782 ) 1.274 * [simplify]: Simplified to: (expm1 (/ (* x (/ (sin y) y)) z)) (log1p (/ (* x (/ (sin y) y)) z)) (log (/ (* x (/ (sin y) y)) z)) (log (/ (* x (/ (sin y) y)) z)) (log (/ (* x (/ (sin y) y)) z)) (log (/ (* x (/ (sin y) y)) z)) (exp (/ (* x (/ (sin y) y)) z)) (pow (/ (* x (sin y)) (* z y)) 3) (pow (/ (* x (sin y)) (* z y)) 3) (pow (/ (* x (sin y)) (* z y)) 3) (* (cbrt (/ (* x (/ (sin y) y)) z)) (cbrt (/ (* x (/ (sin y) y)) z))) (cbrt (/ (* x (/ (sin y) y)) z)) (pow (/ (* x (sin y)) (* z y)) 3) (sqrt (/ (* x (/ (sin y) y)) z)) (sqrt (/ (* x (/ (sin y) y)) z)) (- (* x (/ (sin y) y))) (- z) (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)) (/ x (sqrt z)) (/ (/ (sin y) y) (sqrt z)) x (/ (/ (sin y) y) z) (/ 1 z) (/ z (* x (/ (sin y) y))) (/ (* x (/ (sin y) y)) (* (cbrt z) (cbrt z))) (/ (* x (/ (sin y) y)) (sqrt z)) (/ (* x (sin y)) y) (* z (/ y (sin y))) (* z y) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* x (/ (sin y) y))) (log1p (* x (/ (sin y) y))) (/ (* x (sin y)) y) (log (* x (/ (sin y) y))) (log (* x (/ (sin y) y))) (log (* x (/ (sin y) y))) (exp (* x (/ (sin y) y))) (pow (/ (* x (sin y)) y) 3) (pow (/ (* x (sin y)) y) 3) (* (cbrt (* x (/ (sin y) y))) (cbrt (* x (/ (sin y) y)))) (cbrt (* x (/ (sin y) y))) (pow (/ (* x (sin y)) y) 3) (sqrt (* x (/ (sin y) y))) (sqrt (* x (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (sqrt (/ (sin y) y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* (sqrt x) (/ (sqrt (sin y)) (sqrt y))) (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* x (sqrt (/ (sin y) y))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (/ (sqrt (sin y)) (* (cbrt y) (cbrt y)))) (* x (/ (sqrt (sin y)) (sqrt y))) (* x (sqrt (sin y))) (/ x (* (cbrt y) (cbrt y))) (/ x (sqrt y)) x x (* x (sin y)) (* (cbrt x) (/ (sin y) y)) (* (sqrt x) (/ (sin y) y)) (/ (* x (sin y)) y) (* x (sin y)) (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z))) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (- (fma 1/120 (pow y 4) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) (- x (* 1/6 (* x (pow y 2)))) (/ (* x (sin y)) y) (/ (* x (sin y)) y) 1.275 * * * [progress]: adding candidates to table 1.514 * * [progress]: iteration 2 / 4 1.514 * * * [progress]: picking best candidate 1.534 * * * * [pick]: Picked # 1.535 * * * [progress]: localizing error 1.546 * * * [progress]: generating rewritten candidates 1.546 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.596 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.597 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 1.597 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.607 * * * [progress]: generating series expansions 1.607 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.607 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x z y) around 0 1.607 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y 1.607 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 1.607 * [taylor]: Taking taylor expansion of x in y 1.607 * [taylor]: Taking taylor expansion of (sin y) in y 1.607 * [taylor]: Taking taylor expansion of y in y 1.607 * [taylor]: Taking taylor expansion of (* z y) in y 1.607 * [taylor]: Taking taylor expansion of z in y 1.607 * [taylor]: Taking taylor expansion of y in y 1.609 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z 1.609 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 1.609 * [taylor]: Taking taylor expansion of x in z 1.609 * [taylor]: Taking taylor expansion of (sin y) in z 1.609 * [taylor]: Taking taylor expansion of y in z 1.609 * [taylor]: Taking taylor expansion of (* z y) in z 1.609 * [taylor]: Taking taylor expansion of z in z 1.609 * [taylor]: Taking taylor expansion of y in z 1.610 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 1.610 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 1.610 * [taylor]: Taking taylor expansion of x in x 1.610 * [taylor]: Taking taylor expansion of (sin y) in x 1.610 * [taylor]: Taking taylor expansion of y in x 1.610 * [taylor]: Taking taylor expansion of (* z y) in x 1.610 * [taylor]: Taking taylor expansion of z in x 1.610 * [taylor]: Taking taylor expansion of y in x 1.612 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 1.613 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 1.613 * [taylor]: Taking taylor expansion of x in x 1.613 * [taylor]: Taking taylor expansion of (sin y) in x 1.613 * [taylor]: Taking taylor expansion of y in x 1.613 * [taylor]: Taking taylor expansion of (* z y) in x 1.613 * [taylor]: Taking taylor expansion of z in x 1.613 * [taylor]: Taking taylor expansion of y in x 1.615 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in z 1.615 * [taylor]: Taking taylor expansion of (sin y) in z 1.615 * [taylor]: Taking taylor expansion of y in z 1.615 * [taylor]: Taking taylor expansion of (* z y) in z 1.615 * [taylor]: Taking taylor expansion of z in z 1.615 * [taylor]: Taking taylor expansion of y in z 1.616 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.616 * [taylor]: Taking taylor expansion of (sin y) in y 1.616 * [taylor]: Taking taylor expansion of y in y 1.616 * [taylor]: Taking taylor expansion of y in y 1.620 * [taylor]: Taking taylor expansion of 0 in z 1.623 * [taylor]: Taking taylor expansion of 0 in y 1.628 * [taylor]: Taking taylor expansion of 0 in z 1.629 * [taylor]: Taking taylor expansion of 0 in y 1.632 * [taylor]: Taking taylor expansion of 0 in y 1.645 * [taylor]: Taking taylor expansion of 0 in z 1.646 * [taylor]: Taking taylor expansion of 0 in y 1.646 * [taylor]: Taking taylor expansion of 0 in y 1.650 * [taylor]: Taking taylor expansion of 0 in y 1.651 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x z y) around 0 1.651 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y 1.651 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 1.651 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.651 * [taylor]: Taking taylor expansion of y in y 1.652 * [taylor]: Taking taylor expansion of (* z y) in y 1.652 * [taylor]: Taking taylor expansion of z in y 1.652 * [taylor]: Taking taylor expansion of y in y 1.652 * [taylor]: Taking taylor expansion of x in y 1.653 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z 1.653 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 1.653 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.653 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.653 * [taylor]: Taking taylor expansion of y in z 1.653 * [taylor]: Taking taylor expansion of (* z y) in z 1.653 * [taylor]: Taking taylor expansion of z in z 1.653 * [taylor]: Taking taylor expansion of y in z 1.653 * [taylor]: Taking taylor expansion of x in z 1.656 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 1.656 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 1.656 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.656 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.656 * [taylor]: Taking taylor expansion of y in x 1.656 * [taylor]: Taking taylor expansion of (* z y) in x 1.656 * [taylor]: Taking taylor expansion of z in x 1.656 * [taylor]: Taking taylor expansion of y in x 1.656 * [taylor]: Taking taylor expansion of x in x 1.657 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 1.657 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 1.657 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.657 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.657 * [taylor]: Taking taylor expansion of y in x 1.657 * [taylor]: Taking taylor expansion of (* z y) in x 1.657 * [taylor]: Taking taylor expansion of z in x 1.657 * [taylor]: Taking taylor expansion of y in x 1.657 * [taylor]: Taking taylor expansion of x in x 1.657 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 1.657 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.657 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.657 * [taylor]: Taking taylor expansion of y in z 1.657 * [taylor]: Taking taylor expansion of (* z y) in z 1.657 * [taylor]: Taking taylor expansion of z in z 1.657 * [taylor]: Taking taylor expansion of y in z 1.660 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.660 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.660 * [taylor]: Taking taylor expansion of y in y 1.661 * [taylor]: Taking taylor expansion of y in y 1.664 * [taylor]: Taking taylor expansion of 0 in z 1.664 * [taylor]: Taking taylor expansion of 0 in y 1.667 * [taylor]: Taking taylor expansion of 0 in y 1.672 * [taylor]: Taking taylor expansion of 0 in z 1.672 * [taylor]: Taking taylor expansion of 0 in y 1.673 * [taylor]: Taking taylor expansion of 0 in y 1.677 * [taylor]: Taking taylor expansion of 0 in y 1.678 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in (x z y) around 0 1.678 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in y 1.678 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 1.678 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.678 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.678 * [taylor]: Taking taylor expansion of -1 in y 1.678 * [taylor]: Taking taylor expansion of y in y 1.679 * [taylor]: Taking taylor expansion of (* z y) in y 1.679 * [taylor]: Taking taylor expansion of z in y 1.679 * [taylor]: Taking taylor expansion of y in y 1.679 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in y 1.679 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.679 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.679 * [taylor]: Taking taylor expansion of -1 in y 1.680 * [taylor]: Taking taylor expansion of x in y 1.684 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in z 1.684 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 1.684 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.684 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.684 * [taylor]: Taking taylor expansion of -1 in z 1.684 * [taylor]: Taking taylor expansion of y in z 1.684 * [taylor]: Taking taylor expansion of (* z y) in z 1.685 * [taylor]: Taking taylor expansion of z in z 1.685 * [taylor]: Taking taylor expansion of y in z 1.685 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in z 1.685 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.685 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.685 * [taylor]: Taking taylor expansion of -1 in z 1.686 * [taylor]: Taking taylor expansion of x in z 1.692 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in x 1.692 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 1.692 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.692 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.692 * [taylor]: Taking taylor expansion of -1 in x 1.692 * [taylor]: Taking taylor expansion of y in x 1.692 * [taylor]: Taking taylor expansion of (* z y) in x 1.692 * [taylor]: Taking taylor expansion of z in x 1.692 * [taylor]: Taking taylor expansion of y in x 1.692 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in x 1.692 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 1.692 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.692 * [taylor]: Taking taylor expansion of -1 in x 1.693 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in x 1.701 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 1.701 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.701 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.701 * [taylor]: Taking taylor expansion of -1 in x 1.701 * [taylor]: Taking taylor expansion of y in x 1.701 * [taylor]: Taking taylor expansion of (* z y) in x 1.701 * [taylor]: Taking taylor expansion of z in x 1.701 * [taylor]: Taking taylor expansion of y in x 1.701 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in x 1.701 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 1.701 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.701 * [taylor]: Taking taylor expansion of -1 in x 1.702 * [taylor]: Taking taylor expansion of x in x 1.709 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in z 1.709 * [taylor]: Taking taylor expansion of -1 in z 1.709 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 1.709 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.709 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.709 * [taylor]: Taking taylor expansion of -1 in z 1.709 * [taylor]: Taking taylor expansion of y in z 1.709 * [taylor]: Taking taylor expansion of (* z y) in z 1.709 * [taylor]: Taking taylor expansion of z in z 1.709 * [taylor]: Taking taylor expansion of y in z 1.713 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) y)) in y 1.713 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.713 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.713 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.713 * [taylor]: Taking taylor expansion of -1 in y 1.713 * [taylor]: Taking taylor expansion of y in y 1.713 * [taylor]: Taking taylor expansion of y in y 1.720 * [taylor]: Taking taylor expansion of 0 in z 1.720 * [taylor]: Taking taylor expansion of 0 in y 1.724 * [taylor]: Taking taylor expansion of 0 in y 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in y 1.733 * [taylor]: Taking taylor expansion of 0 in y 1.738 * [taylor]: Taking taylor expansion of 0 in y 1.739 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.739 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.739 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.739 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.739 * [taylor]: Taking taylor expansion of 1/3 in z 1.739 * [taylor]: Taking taylor expansion of (log z) in z 1.739 * [taylor]: Taking taylor expansion of z in z 1.740 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.740 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.740 * [taylor]: Taking taylor expansion of 1/3 in z 1.740 * [taylor]: Taking taylor expansion of (log z) in z 1.740 * [taylor]: Taking taylor expansion of z in z 1.799 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.799 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.799 * [taylor]: Taking taylor expansion of 1/3 in z 1.799 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.799 * [taylor]: Taking taylor expansion of z in z 1.800 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.800 * [taylor]: Taking taylor expansion of 1/3 in z 1.800 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.800 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.800 * [taylor]: Taking taylor expansion of z in z 1.862 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.862 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.862 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.862 * [taylor]: Taking taylor expansion of -1 in z 1.863 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.863 * [taylor]: Taking taylor expansion of 1/3 in z 1.863 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.863 * [taylor]: Taking taylor expansion of z in z 1.864 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.864 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.864 * [taylor]: Taking taylor expansion of -1 in z 1.865 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.865 * [taylor]: Taking taylor expansion of 1/3 in z 1.865 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.865 * [taylor]: Taking taylor expansion of z in z 1.940 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 1.940 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.940 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.940 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.940 * [taylor]: Taking taylor expansion of 1/3 in z 1.940 * [taylor]: Taking taylor expansion of (log z) in z 1.940 * [taylor]: Taking taylor expansion of z in z 1.941 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.941 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.941 * [taylor]: Taking taylor expansion of 1/3 in z 1.941 * [taylor]: Taking taylor expansion of (log z) in z 1.941 * [taylor]: Taking taylor expansion of z in z 1.997 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.997 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.997 * [taylor]: Taking taylor expansion of 1/3 in z 1.997 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.997 * [taylor]: Taking taylor expansion of z in z 1.998 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.999 * [taylor]: Taking taylor expansion of 1/3 in z 1.999 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.999 * [taylor]: Taking taylor expansion of z in z 2.055 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.055 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.055 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.055 * [taylor]: Taking taylor expansion of -1 in z 2.056 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.056 * [taylor]: Taking taylor expansion of 1/3 in z 2.056 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.056 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.056 * [taylor]: Taking taylor expansion of z in z 2.057 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.057 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.057 * [taylor]: Taking taylor expansion of -1 in z 2.058 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.058 * [taylor]: Taking taylor expansion of 1/3 in z 2.058 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.058 * [taylor]: Taking taylor expansion of z in z 2.132 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 2.133 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.133 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.133 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.133 * [taylor]: Taking taylor expansion of 1/3 in z 2.133 * [taylor]: Taking taylor expansion of (log z) in z 2.133 * [taylor]: Taking taylor expansion of z in z 2.133 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.134 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.134 * [taylor]: Taking taylor expansion of 1/3 in z 2.134 * [taylor]: Taking taylor expansion of (log z) in z 2.134 * [taylor]: Taking taylor expansion of z in z 2.191 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.191 * [taylor]: Taking taylor expansion of 1/3 in z 2.191 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.191 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.191 * [taylor]: Taking taylor expansion of z in z 2.192 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.193 * [taylor]: Taking taylor expansion of 1/3 in z 2.193 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.193 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.193 * [taylor]: Taking taylor expansion of z in z 2.254 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.254 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.254 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.254 * [taylor]: Taking taylor expansion of -1 in z 2.255 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.255 * [taylor]: Taking taylor expansion of 1/3 in z 2.255 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.256 * [taylor]: Taking taylor expansion of z in z 2.257 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.257 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.257 * [taylor]: Taking taylor expansion of -1 in z 2.257 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.258 * [taylor]: Taking taylor expansion of 1/3 in z 2.258 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.258 * [taylor]: Taking taylor expansion of z in z 2.333 * * * [progress]: simplifying candidates 2.336 * [simplify]: Simplifying using # : (expm1 (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (log1p (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z))) (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (- (- (log (sin y)) (log y)) (log (cbrt z)))) (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (- (log (/ (sin y) y)) (log (cbrt z)))) (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (log (/ (/ (sin y) y) (cbrt z)))) (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (- (- (log (sin y)) (log y)) (log (cbrt z)))) (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (- (log (/ (sin y) y)) (log (cbrt z)))) (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (log (/ (/ (sin y) y) (cbrt z)))) (+ (log (/ x (* (cbrt z) (cbrt z)))) (- (- (log (sin y)) (log y)) (log (cbrt z)))) (+ (log (/ x (* (cbrt z) (cbrt z)))) (- (log (/ (sin y) y)) (log (cbrt z)))) (+ (log (/ x (* (cbrt z) (cbrt z)))) (log (/ (/ (sin y) y) (cbrt z)))) (log (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (exp (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (/ (* (* x x) x) (* z z)) (/ (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) z)) (* (/ (* (* x x) x) (* z z)) (/ (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) z)) (* (/ (* (* x x) x) (* z z)) (* (* (/ (/ (sin y) y) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) z)) (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) z)) (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ (/ (sin y) y) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (/ (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) z)) (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (/ (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) z)) (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (* (* (/ (/ (sin y) y) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z))))) (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (sqrt (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (sqrt (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)))) (* x (/ (sin y) y)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (* (cbrt (/ (/ (sin y) y) (cbrt z))) (cbrt (/ (/ (sin y) y) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt (/ (sin y) y)) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt (/ (sin y) y)) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt (/ (sin y) y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt (/ (sin y) y)) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (sqrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) (sqrt y)) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) 1) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) 1) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) 1) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) 1) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) 1) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sqrt (sin y)) 1) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (* (cbrt y) (cbrt y))) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (sqrt y)) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (sqrt y)) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (sqrt y)) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (sqrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (sqrt y)) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 (sqrt y)) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 1) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 1) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 1) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 1) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 1) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ 1 1) 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ 1 1)) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (cbrt (sqrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (cbrt 1))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (sqrt (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) 1)) (* (/ x (* (cbrt z) (cbrt z))) 1) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) y)) (* (cbrt (/ x (* (cbrt z) (cbrt z)))) (/ (/ (sin y) y) (cbrt z))) (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (/ (sin y) y) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (* (/ x (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (* (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z))) (* (/ 1 (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z))) (* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) y)) (* x (/ (/ (sin y) y) (cbrt z))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z))) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 2.347 * * [simplify]: iteration 0 : 310 enodes (cost 2988 ) 2.499 * * [simplify]: iteration 1 : 1027 enodes (cost 2822 ) 3.126 * * [simplify]: iteration 2 : 4542 enodes (cost 2240 ) 4.052 * * [simplify]: iteration done : 5000 enodes (cost 2240 ) 4.053 * [simplify]: Simplified to: (expm1 (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log1p (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (log (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (exp (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (/ (* (pow (/ (sin y) y) 3) (/ (pow x 3) (* z z))) z) (/ (* (pow (/ (sin y) y) 3) (/ (pow x 3) (* z z))) z) (/ (* (pow (/ (/ (sin y) y) (cbrt z)) 3) (pow x 3)) (* z z)) (* (/ (pow (/ (sin y) y) 3) z) (pow (/ x (pow z 2/3)) 3)) (* (/ (pow (/ (sin y) y) 3) z) (pow (/ x (pow z 2/3)) 3)) (pow (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) 3) (* (/ (pow (/ (sin y) y) 3) z) (pow (/ x (pow z 2/3)) 3)) (* (/ (pow (/ (sin y) y) 3) z) (pow (/ x (pow z 2/3)) 3)) (pow (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) 3) (* (cbrt (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (cbrt (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)))) (cbrt (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (pow (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) 3) (sqrt (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (sqrt (/ (* x (/ (sin y) y)) (pow (cbrt z) 3))) (* x (/ (sin y) y)) (pow (cbrt z) 3) (* (sqrt (/ (/ (sin y) y) (cbrt z))) (sqrt (/ x (pow z 2/3)))) (* (sqrt (/ (/ (sin y) y) (cbrt z))) (sqrt (/ x (pow z 2/3)))) (/ (sqrt (/ x (pow z 2/3))) (/ (cbrt (sqrt z)) (sqrt (/ (sin y) y)))) (/ (sqrt (/ x (pow z 2/3))) (/ (cbrt (sqrt z)) (sqrt (/ (sin y) y)))) (* (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z))) (sqrt (/ x (pow z 2/3)))) (* (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z))) (sqrt (/ x (pow z 2/3)))) (* (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z))) (sqrt (/ x (pow z 2/3)))) (* (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z))) (sqrt (/ x (pow z 2/3)))) (* (sqrt (/ x (pow z 2/3))) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (sqrt (/ x (pow z 2/3))) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (sqrt (/ (/ (sin y) y) (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (* (cbrt (/ (/ (sin y) y) (cbrt z))) (/ (* x (cbrt (/ (/ (sin y) y) (cbrt z)))) (pow z 2/3))) (* (/ x (pow z 2/3)) (sqrt (/ (/ (sin y) y) (cbrt z)))) (/ (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (/ x (pow z 2/3)) (/ (cbrt (sqrt z)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (* (/ x (pow z 2/3)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (/ (/ x (pow z 2/3)) (/ (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))))) (* (/ x (pow z 2/3)) (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (sqrt (cbrt z)))) (* (/ x (pow z 2/3)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (/ (* (/ x (pow z 2/3)) (sqrt (/ (sin y) y))) (cbrt (pow z 2/3))) (/ x (/ (pow z 2/3) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z))))) (* (/ x (pow z 2/3)) (sqrt (/ (sin y) y))) (/ (* x (sqrt (/ (sin y) y))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (pow z 2/3))) (/ (* x (/ (sqrt (/ (sin y) y)) (sqrt (cbrt z)))) (pow z 2/3)) (* (/ x (pow z 2/3)) (sqrt (/ (sin y) y))) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (* x (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (cbrt (sqrt z)))) (pow z 2/3)) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (pow z 2/3)) (/ (* x (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (* (/ x (pow z 2/3)) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (sqrt (cbrt z)))) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (pow z 2/3)) (/ (/ (* (cbrt (sin y)) (/ x (pow z 2/3))) (/ (sqrt y) (cbrt (sin y)))) (cbrt (pow z 2/3))) (/ (* x (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (cbrt (sqrt z)))) (pow z 2/3)) (/ (* (cbrt (sin y)) (/ x (pow z 2/3))) (/ (sqrt y) (cbrt (sin y)))) (/ (* (/ x (pow z 2/3)) (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (cbrt (cbrt z)))) (cbrt (cbrt z))) (/ (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (pow z 2/3)) (* (sqrt (cbrt z)) (sqrt y))) (/ (* (cbrt (sin y)) (/ x (pow z 2/3))) (/ (sqrt y) (cbrt (sin y)))) (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sqrt z)))) (pow z 2/3)) (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (pow z 2/3)) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (* (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (cbrt z))) (/ x (pow z 2/3))) (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (pow z 2/3)) (/ (/ x (pow z 2/3)) (/ (cbrt (pow z 2/3)) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))))) (/ (* x (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cbrt (sqrt z)))) (pow z 2/3)) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ x (pow z 2/3))) (/ (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ x (pow z 2/3))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (/ (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ x (pow z 2/3))) (sqrt (cbrt z))) (* (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ x (pow z 2/3))) (/ (/ (* x (/ (sqrt (sin y)) (sqrt y))) (pow z 2/3)) (cbrt (pow z 2/3))) (/ (* x (/ (/ (sqrt (sin y)) (sqrt y)) (cbrt (sqrt z)))) (pow z 2/3)) (/ (* x (/ (sqrt (sin y)) (sqrt y))) (pow z 2/3)) (/ (/ (/ (* x (/ (sqrt (sin y)) (sqrt y))) (pow z 2/3)) (cbrt (cbrt z))) (cbrt (cbrt z))) (/ (/ (* x (/ (sqrt (sin y)) (sqrt y))) (pow z 2/3)) (sqrt (cbrt z))) (/ (* x (/ (sqrt (sin y)) (sqrt y))) (pow z 2/3)) (/ (sqrt (sin y)) (/ (cbrt (pow z 2/3)) (/ x (pow z 2/3)))) (/ (/ x (pow z 2/3)) (/ (cbrt (sqrt z)) (sqrt (sin y)))) (/ (* x (sqrt (sin y))) (pow z 2/3)) (/ (/ x (pow z 2/3)) (/ (* (cbrt (cbrt z)) (cbrt (cbrt z))) (sqrt (sin y)))) (* (/ x (pow z 2/3)) (/ (sqrt (sin y)) (sqrt (cbrt z)))) (/ (* x (sqrt (sin y))) (pow z 2/3)) (/ (/ (/ x (pow z 2/3)) (* (cbrt y) (cbrt y))) (cbrt (pow z 2/3))) (/ (/ (/ x (pow z 2/3)) (* (cbrt y) (cbrt y))) (cbrt (sqrt z))) (/ (/ x (pow z 2/3)) (* (cbrt y) (cbrt y))) (/ (/ x (pow z 2/3)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt y) (cbrt y)))) (/ (/ (/ x (pow z 2/3)) (* (cbrt y) (cbrt y))) (sqrt (cbrt z))) (/ (/ x (pow z 2/3)) (* (cbrt y) (cbrt y))) (/ (/ x (sqrt y)) (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (/ x (* (cbrt (sqrt z)) (sqrt y))) (pow z 2/3)) (/ (/ x (pow z 2/3)) (sqrt y)) (/ (/ x (sqrt y)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (pow z 2/3))) (/ (/ x (pow z 2/3)) (* (sqrt (cbrt z)) (sqrt y))) (/ (/ x (pow z 2/3)) (sqrt y)) (/ (/ x (pow z 2/3)) (cbrt (pow z 2/3))) (/ x (* (cbrt (sqrt z)) (pow z 2/3))) (/ x (pow z 2/3)) (/ (/ (/ x (pow z 2/3)) (cbrt (cbrt z))) (cbrt (cbrt z))) (/ (/ x (sqrt (cbrt z))) (pow z 2/3)) (/ x (pow z 2/3)) (/ (/ x (pow z 2/3)) (cbrt (pow z 2/3))) (/ x (* (cbrt (sqrt z)) (pow z 2/3))) (/ x (pow z 2/3)) (/ (/ (/ x (pow z 2/3)) (cbrt (cbrt z))) (cbrt (cbrt z))) (/ (/ x (sqrt (cbrt z))) (pow z 2/3)) (/ x (pow z 2/3)) (/ (/ x (pow z 2/3)) (/ (cbrt (pow z 2/3)) (sin y))) (/ (* x (/ (sin y) (cbrt (sqrt z)))) (pow z 2/3)) (* (sin y) (/ x (pow z 2/3))) (/ (* x (/ (sin y) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (/ (* x (/ (sin y) (sqrt (cbrt z)))) (pow z 2/3)) (* (sin y) (/ x (pow z 2/3))) (/ x (pow z 2/3)) (/ (/ x (pow z 2/3)) (/ y (sin y))) (* (cbrt (/ x (pow z 2/3))) (/ (/ (sin y) y) (cbrt z))) (/ (* (sqrt (/ x (pow z 2/3))) (sin y)) (* (cbrt z) y)) (* (/ (cbrt x) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (/ (/ x (pow z 2/3)) (/ y (sin y))) (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) (/ (/ (/ (sin y) y) (cbrt z)) (pow z 2/3)) (/ (/ x (pow z 2/3)) (/ y (sin y))) (* x (/ (/ (sin y) y) (cbrt z))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (pow (cbrt z) 3) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (pow (cbrt z) 3) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (pow (cbrt z) 3) (sqrt (cbrt z)) (sqrt (cbrt z)) (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z))) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt -1) (cbrt (- z))) 4.054 * * * [progress]: adding candidates to table 4.657 * * [progress]: iteration 3 / 4 4.657 * * * [progress]: picking best candidate 4.677 * * * * [pick]: Picked # 4.678 * * * [progress]: localizing error 4.689 * * * [progress]: generating rewritten candidates 4.689 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.693 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 4.696 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.699 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 4.702 * * * [progress]: generating series expansions 4.702 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.702 * [approximate]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in (x y z) around 0 4.702 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in z 4.702 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in z 4.702 * [taylor]: Taking taylor expansion of x in z 4.702 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in z 4.703 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.703 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in z 4.703 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in z 4.703 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.703 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in z 4.703 * [taylor]: Taking taylor expansion of 1 in z 4.703 * [taylor]: Taking taylor expansion of (/ (sin y) y) in z 4.703 * [taylor]: Taking taylor expansion of (sin y) in z 4.703 * [taylor]: Taking taylor expansion of y in z 4.703 * [taylor]: Taking taylor expansion of y in z 4.703 * [taylor]: Taking taylor expansion of 1 in z 4.703 * [taylor]: Taking taylor expansion of z in z 4.704 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in y 4.704 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in y 4.704 * [taylor]: Taking taylor expansion of x in y 4.704 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 4.704 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.704 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 4.704 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 4.704 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.704 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 4.704 * [taylor]: Taking taylor expansion of 1 in y 4.704 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.704 * [taylor]: Taking taylor expansion of (sin y) in y 4.704 * [taylor]: Taking taylor expansion of y in y 4.704 * [taylor]: Taking taylor expansion of y in y 4.707 * [taylor]: Taking taylor expansion of 1 in y 4.707 * [taylor]: Taking taylor expansion of z in y 4.708 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in x 4.708 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 4.708 * [taylor]: Taking taylor expansion of x in x 4.708 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 4.708 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.708 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 4.708 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 4.708 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.708 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 4.708 * [taylor]: Taking taylor expansion of 1 in x 4.708 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 4.708 * [taylor]: Taking taylor expansion of (sin y) in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.709 * [taylor]: Taking taylor expansion of 1 in x 4.709 * [taylor]: Taking taylor expansion of z in x 4.714 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in x 4.714 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 4.714 * [taylor]: Taking taylor expansion of x in x 4.714 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 4.714 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.714 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 4.714 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 4.714 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.714 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 4.714 * [taylor]: Taking taylor expansion of 1 in x 4.714 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 4.714 * [taylor]: Taking taylor expansion of (sin y) in x 4.714 * [taylor]: Taking taylor expansion of y in x 4.715 * [taylor]: Taking taylor expansion of y in x 4.715 * [taylor]: Taking taylor expansion of 1 in x 4.715 * [taylor]: Taking taylor expansion of z in x 4.720 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in y 4.720 * [taylor]: Taking taylor expansion of (sin y) in y 4.720 * [taylor]: Taking taylor expansion of y in y 4.721 * [taylor]: Taking taylor expansion of (* z y) in y 4.721 * [taylor]: Taking taylor expansion of z in y 4.721 * [taylor]: Taking taylor expansion of y in y 4.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.722 * [taylor]: Taking taylor expansion of z in z 4.729 * [taylor]: Taking taylor expansion of 0 in y 4.729 * [taylor]: Taking taylor expansion of 0 in z 4.730 * [taylor]: Taking taylor expansion of 0 in z 4.739 * [taylor]: Taking taylor expansion of 0 in y 4.739 * [taylor]: Taking taylor expansion of 0 in z 4.739 * [taylor]: Taking taylor expansion of 0 in z 4.742 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z 4.742 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z 4.742 * [taylor]: Taking taylor expansion of 1/6 in z 4.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.742 * [taylor]: Taking taylor expansion of z in z 4.760 * [taylor]: Taking taylor expansion of 0 in y 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.761 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.765 * [approximate]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in (x y z) around 0 4.765 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in z 4.765 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in z 4.765 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in z 4.765 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.765 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in z 4.765 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in z 4.765 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.765 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in z 4.765 * [taylor]: Taking taylor expansion of 1 in z 4.765 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in z 4.765 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.765 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.765 * [taylor]: Taking taylor expansion of y in z 4.765 * [taylor]: Taking taylor expansion of y in z 4.766 * [taylor]: Taking taylor expansion of 1 in z 4.766 * [taylor]: Taking taylor expansion of z in z 4.766 * [taylor]: Taking taylor expansion of x in z 4.771 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in y 4.771 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in y 4.771 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 4.771 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.771 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 4.771 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 4.771 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.772 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 4.772 * [taylor]: Taking taylor expansion of 1 in y 4.772 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.772 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.772 * [taylor]: Taking taylor expansion of y in y 4.772 * [taylor]: Taking taylor expansion of y in y 4.774 * [taylor]: Taking taylor expansion of 1 in y 4.774 * [taylor]: Taking taylor expansion of z in y 4.774 * [taylor]: Taking taylor expansion of x in y 4.775 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in x 4.775 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in x 4.775 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 4.776 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.776 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 4.776 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 4.776 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.776 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 4.776 * [taylor]: Taking taylor expansion of 1 in x 4.776 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.776 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [taylor]: Taking taylor expansion of y in x 4.776 * [taylor]: Taking taylor expansion of 1 in x 4.776 * [taylor]: Taking taylor expansion of z in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.777 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in x 4.777 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in x 4.777 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 4.777 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.777 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 4.777 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 4.778 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.778 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 4.778 * [taylor]: Taking taylor expansion of 1 in x 4.778 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.778 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.778 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.778 * [taylor]: Taking taylor expansion of y in x 4.778 * [taylor]: Taking taylor expansion of y in x 4.778 * [taylor]: Taking taylor expansion of 1 in x 4.778 * [taylor]: Taking taylor expansion of z in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.779 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 4.779 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.779 * [taylor]: Taking taylor expansion of y in y 4.780 * [taylor]: Taking taylor expansion of (* z y) in y 4.780 * [taylor]: Taking taylor expansion of z in y 4.780 * [taylor]: Taking taylor expansion of y in y 4.781 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z 4.781 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.781 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.781 * [taylor]: Taking taylor expansion of y in z 4.781 * [taylor]: Taking taylor expansion of z in z 4.788 * [taylor]: Taking taylor expansion of 0 in y 4.788 * [taylor]: Taking taylor expansion of 0 in z 4.789 * [taylor]: Taking taylor expansion of 0 in z 4.800 * [taylor]: Taking taylor expansion of 0 in y 4.800 * [taylor]: Taking taylor expansion of 0 in z 4.800 * [taylor]: Taking taylor expansion of 0 in z 4.801 * [taylor]: Taking taylor expansion of 0 in z 4.802 * [approximate]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in (x y z) around 0 4.802 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in z 4.802 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in z 4.802 * [taylor]: Taking taylor expansion of z in z 4.802 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in z 4.802 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.802 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in z 4.802 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in z 4.802 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.802 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in z 4.802 * [taylor]: Taking taylor expansion of 1 in z 4.802 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in z 4.802 * [taylor]: Taking taylor expansion of -1 in z 4.802 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in z 4.802 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.802 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.802 * [taylor]: Taking taylor expansion of -1 in z 4.802 * [taylor]: Taking taylor expansion of y in z 4.803 * [taylor]: Taking taylor expansion of y in z 4.803 * [taylor]: Taking taylor expansion of 1 in z 4.803 * [taylor]: Taking taylor expansion of x in z 4.809 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in y 4.809 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in y 4.809 * [taylor]: Taking taylor expansion of z in y 4.809 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 4.810 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.810 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 4.810 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 4.810 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.810 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 4.810 * [taylor]: Taking taylor expansion of 1 in y 4.810 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.810 * [taylor]: Taking taylor expansion of -1 in y 4.810 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.810 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.810 * [taylor]: Taking taylor expansion of -1 in y 4.810 * [taylor]: Taking taylor expansion of y in y 4.810 * [taylor]: Taking taylor expansion of y in y 4.813 * [taylor]: Taking taylor expansion of 1 in y 4.813 * [taylor]: Taking taylor expansion of x in y 4.814 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in x 4.815 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in x 4.815 * [taylor]: Taking taylor expansion of z in x 4.815 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.815 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.815 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.815 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 4.815 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.815 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 4.815 * [taylor]: Taking taylor expansion of 1 in x 4.815 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 4.815 * [taylor]: Taking taylor expansion of -1 in x 4.815 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 4.815 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.815 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.815 * [taylor]: Taking taylor expansion of -1 in x 4.815 * [taylor]: Taking taylor expansion of y in x 4.815 * [taylor]: Taking taylor expansion of y in x 4.816 * [taylor]: Taking taylor expansion of 1 in x 4.816 * [taylor]: Taking taylor expansion of x in x 4.816 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in x 4.817 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in x 4.817 * [taylor]: Taking taylor expansion of z in x 4.817 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.817 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.817 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.817 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 4.817 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.817 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 4.817 * [taylor]: Taking taylor expansion of 1 in x 4.817 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 4.817 * [taylor]: Taking taylor expansion of -1 in x 4.817 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 4.817 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.817 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.817 * [taylor]: Taking taylor expansion of -1 in x 4.817 * [taylor]: Taking taylor expansion of y in x 4.817 * [taylor]: Taking taylor expansion of y in x 4.818 * [taylor]: Taking taylor expansion of 1 in x 4.818 * [taylor]: Taking taylor expansion of x in x 4.818 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in y 4.819 * [taylor]: Taking taylor expansion of -1 in y 4.819 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 4.819 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.819 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.819 * [taylor]: Taking taylor expansion of -1 in y 4.819 * [taylor]: Taking taylor expansion of y in y 4.819 * [taylor]: Taking taylor expansion of (* z y) in y 4.819 * [taylor]: Taking taylor expansion of z in y 4.819 * [taylor]: Taking taylor expansion of y in y 4.820 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) z)) in z 4.820 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z 4.820 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.820 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.820 * [taylor]: Taking taylor expansion of -1 in z 4.820 * [taylor]: Taking taylor expansion of y in z 4.821 * [taylor]: Taking taylor expansion of z in z 4.828 * [taylor]: Taking taylor expansion of 0 in y 4.828 * [taylor]: Taking taylor expansion of 0 in z 4.830 * [taylor]: Taking taylor expansion of 0 in z 4.842 * [taylor]: Taking taylor expansion of 0 in y 4.842 * [taylor]: Taking taylor expansion of 0 in z 4.842 * [taylor]: Taking taylor expansion of 0 in z 4.844 * [taylor]: Taking taylor expansion of 0 in z 4.844 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 4.845 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 4.845 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.845 * [taylor]: Taking taylor expansion of (sin y) in y 4.845 * [taylor]: Taking taylor expansion of y in y 4.845 * [taylor]: Taking taylor expansion of y in y 4.846 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.846 * [taylor]: Taking taylor expansion of (sin y) in y 4.847 * [taylor]: Taking taylor expansion of y in y 4.847 * [taylor]: Taking taylor expansion of y in y 4.863 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 4.863 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.863 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.863 * [taylor]: Taking taylor expansion of y in y 4.864 * [taylor]: Taking taylor expansion of y in y 4.864 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.864 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.864 * [taylor]: Taking taylor expansion of y in y 4.865 * [taylor]: Taking taylor expansion of y in y 4.876 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 4.876 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.877 * [taylor]: Taking taylor expansion of -1 in y 4.877 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.877 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.877 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.877 * [taylor]: Taking taylor expansion of -1 in y 4.877 * [taylor]: Taking taylor expansion of y in y 4.877 * [taylor]: Taking taylor expansion of y in y 4.877 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.877 * [taylor]: Taking taylor expansion of -1 in y 4.877 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.877 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.877 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.877 * [taylor]: Taking taylor expansion of -1 in y 4.877 * [taylor]: Taking taylor expansion of y in y 4.878 * [taylor]: Taking taylor expansion of y in y 4.890 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.890 * [approximate]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in (x y) around 0 4.890 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in y 4.890 * [taylor]: Taking taylor expansion of x in y 4.890 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 4.890 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.890 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 4.890 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 4.890 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.890 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 4.890 * [taylor]: Taking taylor expansion of 1 in y 4.890 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.891 * [taylor]: Taking taylor expansion of (sin y) in y 4.891 * [taylor]: Taking taylor expansion of y in y 4.891 * [taylor]: Taking taylor expansion of y in y 4.893 * [taylor]: Taking taylor expansion of 1 in y 4.893 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 4.893 * [taylor]: Taking taylor expansion of x in x 4.893 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 4.893 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.893 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 4.893 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 4.893 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.893 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 4.893 * [taylor]: Taking taylor expansion of 1 in x 4.893 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 4.893 * [taylor]: Taking taylor expansion of (sin y) in x 4.893 * [taylor]: Taking taylor expansion of y in x 4.893 * [taylor]: Taking taylor expansion of y in x 4.893 * [taylor]: Taking taylor expansion of 1 in x 4.893 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 4.893 * [taylor]: Taking taylor expansion of x in x 4.894 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 4.894 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.894 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 4.894 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 4.894 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.894 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 4.894 * [taylor]: Taking taylor expansion of 1 in x 4.894 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 4.894 * [taylor]: Taking taylor expansion of (sin y) in x 4.894 * [taylor]: Taking taylor expansion of y in x 4.894 * [taylor]: Taking taylor expansion of y in x 4.894 * [taylor]: Taking taylor expansion of 1 in x 4.895 * [taylor]: Taking taylor expansion of 0 in y 4.899 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.900 * [taylor]: Taking taylor expansion of (sin y) in y 4.900 * [taylor]: Taking taylor expansion of y in y 4.900 * [taylor]: Taking taylor expansion of y in y 4.907 * [taylor]: Taking taylor expansion of 0 in y 4.917 * [taylor]: Taking taylor expansion of 0 in y 4.917 * [approximate]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in (x y) around 0 4.917 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in y 4.917 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 4.917 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.917 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 4.918 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 4.918 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.918 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 4.918 * [taylor]: Taking taylor expansion of 1 in y 4.918 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.918 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.918 * [taylor]: Taking taylor expansion of y in y 4.918 * [taylor]: Taking taylor expansion of y in y 4.920 * [taylor]: Taking taylor expansion of 1 in y 4.920 * [taylor]: Taking taylor expansion of x in y 4.921 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in x 4.921 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 4.921 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.921 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 4.921 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 4.921 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.921 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 4.921 * [taylor]: Taking taylor expansion of 1 in x 4.921 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.921 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.921 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.921 * [taylor]: Taking taylor expansion of y in x 4.921 * [taylor]: Taking taylor expansion of y in x 4.922 * [taylor]: Taking taylor expansion of 1 in x 4.922 * [taylor]: Taking taylor expansion of x in x 4.922 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in x 4.923 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 4.923 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 4.923 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 4.923 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 4.923 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 4.923 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 4.923 * [taylor]: Taking taylor expansion of 1 in x 4.923 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 4.923 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 4.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.923 * [taylor]: Taking taylor expansion of y in x 4.923 * [taylor]: Taking taylor expansion of y in x 4.923 * [taylor]: Taking taylor expansion of 1 in x 4.923 * [taylor]: Taking taylor expansion of x in x 4.924 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 4.924 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.924 * [taylor]: Taking taylor expansion of y in y 4.924 * [taylor]: Taking taylor expansion of y in y 4.930 * [taylor]: Taking taylor expansion of 0 in y 4.938 * [taylor]: Taking taylor expansion of 0 in y 4.948 * [taylor]: Taking taylor expansion of 0 in y 4.948 * [approximate]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in (x y) around 0 4.948 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in y 4.948 * [taylor]: Taking taylor expansion of -1 in y 4.949 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x) in y 4.949 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 4.949 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.949 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 4.949 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 4.949 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.949 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 4.949 * [taylor]: Taking taylor expansion of 1 in y 4.949 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 4.949 * [taylor]: Taking taylor expansion of -1 in y 4.949 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.949 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.949 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.949 * [taylor]: Taking taylor expansion of -1 in y 4.949 * [taylor]: Taking taylor expansion of y in y 4.950 * [taylor]: Taking taylor expansion of y in y 4.952 * [taylor]: Taking taylor expansion of 1 in y 4.952 * [taylor]: Taking taylor expansion of x in y 4.953 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in x 4.953 * [taylor]: Taking taylor expansion of -1 in x 4.953 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x) in x 4.953 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.954 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.954 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.954 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 4.954 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.954 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 4.954 * [taylor]: Taking taylor expansion of 1 in x 4.954 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 4.954 * [taylor]: Taking taylor expansion of -1 in x 4.954 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 4.954 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.954 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.954 * [taylor]: Taking taylor expansion of -1 in x 4.954 * [taylor]: Taking taylor expansion of y in x 4.954 * [taylor]: Taking taylor expansion of y in x 4.954 * [taylor]: Taking taylor expansion of 1 in x 4.954 * [taylor]: Taking taylor expansion of x in x 4.955 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in x 4.955 * [taylor]: Taking taylor expansion of -1 in x 4.955 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x) in x 4.955 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.955 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 4.955 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 4.955 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 4.955 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 4.956 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 4.956 * [taylor]: Taking taylor expansion of 1 in x 4.956 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 4.956 * [taylor]: Taking taylor expansion of -1 in x 4.956 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 4.956 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 4.956 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.956 * [taylor]: Taking taylor expansion of -1 in x 4.956 * [taylor]: Taking taylor expansion of y in x 4.956 * [taylor]: Taking taylor expansion of y in x 4.956 * [taylor]: Taking taylor expansion of 1 in x 4.956 * [taylor]: Taking taylor expansion of x in x 4.957 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 4.957 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.957 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.957 * [taylor]: Taking taylor expansion of -1 in y 4.957 * [taylor]: Taking taylor expansion of y in y 4.958 * [taylor]: Taking taylor expansion of y in y 4.964 * [taylor]: Taking taylor expansion of 0 in y 4.973 * [taylor]: Taking taylor expansion of 0 in y 4.988 * [taylor]: Taking taylor expansion of 0 in y 4.989 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 4.989 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in (y) around 0 4.989 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 4.989 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.989 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 4.989 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 4.989 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.989 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 4.989 * [taylor]: Taking taylor expansion of 1 in y 4.989 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.989 * [taylor]: Taking taylor expansion of (sin y) in y 4.989 * [taylor]: Taking taylor expansion of y in y 4.989 * [taylor]: Taking taylor expansion of y in y 4.992 * [taylor]: Taking taylor expansion of 1 in y 4.992 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 4.992 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 4.992 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 4.992 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 4.992 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 4.992 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 4.992 * [taylor]: Taking taylor expansion of 1 in y 4.992 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 4.992 * [taylor]: Taking taylor expansion of (sin y) in y 4.992 * [taylor]: Taking taylor expansion of y in y 4.992 * [taylor]: Taking taylor expansion of y in y 4.994 * [taylor]: Taking taylor expansion of 1 in y 5.030 * [approximate]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in (y) around 0 5.030 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 5.030 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.030 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 5.030 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 5.030 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.030 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 5.030 * [taylor]: Taking taylor expansion of 1 in y 5.030 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.030 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.030 * [taylor]: Taking taylor expansion of y in y 5.031 * [taylor]: Taking taylor expansion of y in y 5.033 * [taylor]: Taking taylor expansion of 1 in y 5.033 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 5.033 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.033 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 5.033 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 5.033 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.033 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 5.033 * [taylor]: Taking taylor expansion of 1 in y 5.033 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.033 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.033 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.033 * [taylor]: Taking taylor expansion of y in y 5.033 * [taylor]: Taking taylor expansion of y in y 5.035 * [taylor]: Taking taylor expansion of 1 in y 5.101 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in (y) around 0 5.101 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.101 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.101 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.101 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 5.101 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.101 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 5.101 * [taylor]: Taking taylor expansion of 1 in y 5.101 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.102 * [taylor]: Taking taylor expansion of -1 in y 5.102 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.102 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.102 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.102 * [taylor]: Taking taylor expansion of -1 in y 5.102 * [taylor]: Taking taylor expansion of y in y 5.102 * [taylor]: Taking taylor expansion of y in y 5.105 * [taylor]: Taking taylor expansion of 1 in y 5.105 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.105 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.105 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.105 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 5.105 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.105 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 5.105 * [taylor]: Taking taylor expansion of 1 in y 5.105 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.105 * [taylor]: Taking taylor expansion of -1 in y 5.105 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.105 * [taylor]: Taking taylor expansion of -1 in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.106 * [taylor]: Taking taylor expansion of y in y 5.108 * [taylor]: Taking taylor expansion of 1 in y 5.177 * * * [progress]: simplifying candidates 5.178 * [simplify]: Simplifying using # : (expm1 (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (log1p (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (- (+ (log x) (log (expm1 (log1p (/ (sin y) y))))) (log z)) (- (log (* x (expm1 (log1p (/ (sin y) y))))) (log z)) (log (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (exp (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (/ (* (* (* x x) x) (* (* (expm1 (log1p (/ (sin y) y))) (expm1 (log1p (/ (sin y) y)))) (expm1 (log1p (/ (sin y) y))))) (* (* z z) z)) (/ (* (* (* x (expm1 (log1p (/ (sin y) y)))) (* x (expm1 (log1p (/ (sin y) y))))) (* x (expm1 (log1p (/ (sin y) y))))) (* (* z z) z)) (* (cbrt (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (cbrt (/ (* x (expm1 (log1p (/ (sin y) y)))) z))) (cbrt (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (* (* (/ (* x (expm1 (log1p (/ (sin y) y)))) z) (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (sqrt (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (sqrt (/ (* x (expm1 (log1p (/ (sin y) y)))) z)) (- (* x (expm1 (log1p (/ (sin y) y))))) (- z) (/ x (* (cbrt z) (cbrt z))) (/ (expm1 (log1p (/ (sin y) y))) (cbrt z)) (/ x (sqrt z)) (/ (expm1 (log1p (/ (sin y) y))) (sqrt z)) (/ x 1) (/ (expm1 (log1p (/ (sin y) y))) z) (/ 1 z) (/ z (* x (expm1 (log1p (/ (sin y) y))))) (/ (* x (expm1 (log1p (/ (sin y) y)))) (* (cbrt z) (cbrt z))) (/ (* x (expm1 (log1p (/ (sin y) y)))) (sqrt z)) (/ (* x (expm1 (log1p (/ (sin y) y)))) 1) (/ z (expm1 (log1p (/ (sin y) y)))) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (- (log (sin y)) (log y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (/ (* (* (sin y) (sin y)) (sin y)) (* (* y y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (* (* (/ (sin y) y) (/ (sin y) y)) (/ (sin y) y)) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) 1) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) 1) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) (/ 1 1) (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (/ (sin y) 1) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* x (expm1 (log1p (/ (sin y) y))))) (log1p (* x (expm1 (log1p (/ (sin y) y))))) (* x (expm1 (log1p (/ (sin y) y)))) (+ (log x) (log (expm1 (log1p (/ (sin y) y))))) (log (* x (expm1 (log1p (/ (sin y) y))))) (exp (* x (expm1 (log1p (/ (sin y) y))))) (* (* (* x x) x) (* (* (expm1 (log1p (/ (sin y) y))) (expm1 (log1p (/ (sin y) y)))) (expm1 (log1p (/ (sin y) y))))) (* (cbrt (* x (expm1 (log1p (/ (sin y) y))))) (cbrt (* x (expm1 (log1p (/ (sin y) y)))))) (cbrt (* x (expm1 (log1p (/ (sin y) y))))) (* (* (* x (expm1 (log1p (/ (sin y) y)))) (* x (expm1 (log1p (/ (sin y) y))))) (* x (expm1 (log1p (/ (sin y) y))))) (sqrt (* x (expm1 (log1p (/ (sin y) y))))) (sqrt (* x (expm1 (log1p (/ (sin y) y))))) (* (sqrt x) (sqrt (expm1 (log1p (/ (sin y) y))))) (* (sqrt x) (sqrt (expm1 (log1p (/ (sin y) y))))) (* x (* (cbrt (expm1 (log1p (/ (sin y) y)))) (cbrt (expm1 (log1p (/ (sin y) y)))))) (* x (sqrt (expm1 (log1p (/ (sin y) y))))) (* x 1) (* (cbrt x) (expm1 (log1p (/ (sin y) y)))) (* (sqrt x) (expm1 (log1p (/ (sin y) y)))) (* x (expm1 (log1p (/ (sin y) y)))) (exp (log1p (/ (sin y) y))) (expm1 (expm1 (log1p (/ (sin y) y)))) (log1p (expm1 (log1p (/ (sin y) y)))) (log (expm1 (log1p (/ (sin y) y)))) (exp (expm1 (log1p (/ (sin y) y)))) (* (cbrt (expm1 (log1p (/ (sin y) y)))) (cbrt (expm1 (log1p (/ (sin y) y))))) (cbrt (expm1 (log1p (/ (sin y) y)))) (* (* (expm1 (log1p (/ (sin y) y))) (expm1 (log1p (/ (sin y) y)))) (expm1 (log1p (/ (sin y) y)))) (sqrt (expm1 (log1p (/ (sin y) y)))) (sqrt (expm1 (log1p (/ (sin y) y)))) (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z))) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) x (/ (* x (sin y)) y) (/ (* x (sin y)) y) (- (+ (* 1/120 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ (sin y) y) (/ (sin y) y) 5.185 * * [simplify]: iteration 0 : 140 enodes (cost 966 ) 5.214 * * [simplify]: iteration 1 : 273 enodes (cost 813 ) 5.284 * * [simplify]: iteration 2 : 802 enodes (cost 717 ) 6.337 * * [simplify]: iteration 3 : 4317 enodes (cost 714 ) 7.492 * * [simplify]: iteration done : 5000 enodes (cost 714 ) 7.493 * [simplify]: Simplified to: (expm1 (/ (* (/ (sin y) y) x) z)) (log1p (/ (* (/ (sin y) y) x) z)) (log (/ (* (/ (sin y) y) x) z)) (log (/ (* (/ (sin y) y) x) z)) (log (/ (* (/ (sin y) y) x) z)) (exp (/ (* (/ (sin y) y) x) z)) (pow (/ (* x (sin y)) (* z y)) 3) (pow (/ (* x (sin y)) (* z y)) 3) (* (cbrt (/ (* (/ (sin y) y) x) z)) (cbrt (/ (* (/ (sin y) y) x) z))) (cbrt (/ (* (/ (sin y) y) x) z)) (pow (/ (* x (sin y)) (* z y)) 3) (sqrt (/ (* (/ (sin y) y) x) z)) (sqrt (/ (* (/ (sin y) y) x) z)) (- (* (/ (sin y) y) x)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ (/ (sin y) y) (cbrt z)) (/ x (sqrt z)) (/ (/ (sin y) y) (sqrt z)) x (/ (/ (sin y) y) z) (/ 1 z) (/ z (* (/ (sin y) y) x)) (/ (/ (* (/ (sin y) y) x) (cbrt z)) (cbrt z)) (/ (* (/ (sin y) y) x) (sqrt z)) (/ (* x (sin y)) y) (/ z (/ (sin y) y)) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (log (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (pow (/ (sin y) y) 3) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (- (sin y)) (- y) (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sin y)) (cbrt y)) (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (/ (cbrt (sin y)) (sqrt y)) (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y) (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sin y)) (cbrt y)) (/ (sqrt (sin y)) (sqrt y)) (/ (sqrt (sin y)) (sqrt y)) (sqrt (sin y)) (/ (sqrt (sin y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sin y) (cbrt y)) (/ 1 (sqrt y)) (/ (sin y) (sqrt y)) 1 (/ (sin y) y) (/ 1 y) (/ y (sin y)) (/ (sin y) (* (cbrt y) (cbrt y))) (/ (sin y) (sqrt y)) (sin y) (/ y (cbrt (sin y))) (/ y (sqrt (sin y))) (/ y (sin y)) (expm1 (* (/ (sin y) y) x)) (log1p (* (/ (sin y) y) x)) (/ (* x (sin y)) y) (log (* (/ (sin y) y) x)) (log (* (/ (sin y) y) x)) (exp (* (/ (sin y) y) x)) (pow (/ (* x (sin y)) y) 3) (* (cbrt (* (/ (sin y) y) x)) (cbrt (* (/ (sin y) y) x))) (cbrt (* (/ (sin y) y) x)) (pow (/ (* x (sin y)) y) 3) (sqrt (* (/ (sin y) y) x)) (sqrt (* (/ (sin y) y) x)) (* (sqrt (/ (sin y) y)) (sqrt x)) (* (sqrt (/ (sin y) y)) (sqrt x)) (* (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) x) (* (sqrt (/ (sin y) y)) x) x (* (/ (sin y) y) (cbrt x)) (* (/ (sin y) y) (sqrt x)) (/ (* x (sin y)) y) (exp (log1p (/ (sin y) y))) (expm1 (/ (sin y) y)) (log1p (/ (sin y) y)) (log (/ (sin y) y)) (exp (/ (sin y) y)) (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (/ (sin y) y)) (pow (/ (sin y) y) 3) (sqrt (/ (sin y) y)) (sqrt (/ (sin y) y)) (fma (/ (* x (pow y 2)) z) -1/6 (/ x z)) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (fma (* y y) -1/6 (fma 1/120 (pow y 4) 1)) (/ (sin y) y) (/ (sin y) y) x (/ (* x (sin y)) y) (/ (* x (sin y)) y) (fma (* y y) -1/6 (fma 1/120 (pow y 4) 1)) (/ (sin y) y) (/ (sin y) y) 7.493 * * * [progress]: adding candidates to table 7.764 * * [progress]: iteration 4 / 4 7.764 * * * [progress]: picking best candidate 7.787 * * * * [pick]: Picked # 7.787 * * * [progress]: localizing error 7.795 * * * [progress]: generating rewritten candidates 7.795 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 7.800 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 7.802 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 7.813 * * * [progress]: generating series expansions 7.813 * * * * [progress]: [ 1 / 3 ] generating series at (2) 7.813 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x z y) around 0 7.813 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y 7.813 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 7.813 * [taylor]: Taking taylor expansion of x in y 7.813 * [taylor]: Taking taylor expansion of (sin y) in y 7.813 * [taylor]: Taking taylor expansion of y in y 7.813 * [taylor]: Taking taylor expansion of (* z y) in y 7.813 * [taylor]: Taking taylor expansion of z in y 7.813 * [taylor]: Taking taylor expansion of y in y 7.815 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z 7.815 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 7.815 * [taylor]: Taking taylor expansion of x in z 7.815 * [taylor]: Taking taylor expansion of (sin y) in z 7.815 * [taylor]: Taking taylor expansion of y in z 7.815 * [taylor]: Taking taylor expansion of (* z y) in z 7.815 * [taylor]: Taking taylor expansion of z in z 7.815 * [taylor]: Taking taylor expansion of y in z 7.816 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 7.816 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.816 * [taylor]: Taking taylor expansion of x in x 7.816 * [taylor]: Taking taylor expansion of (sin y) in x 7.816 * [taylor]: Taking taylor expansion of y in x 7.816 * [taylor]: Taking taylor expansion of (* z y) in x 7.816 * [taylor]: Taking taylor expansion of z in x 7.816 * [taylor]: Taking taylor expansion of y in x 7.818 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 7.818 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.818 * [taylor]: Taking taylor expansion of x in x 7.818 * [taylor]: Taking taylor expansion of (sin y) in x 7.818 * [taylor]: Taking taylor expansion of y in x 7.818 * [taylor]: Taking taylor expansion of (* z y) in x 7.818 * [taylor]: Taking taylor expansion of z in x 7.818 * [taylor]: Taking taylor expansion of y in x 7.821 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in z 7.821 * [taylor]: Taking taylor expansion of (sin y) in z 7.821 * [taylor]: Taking taylor expansion of y in z 7.821 * [taylor]: Taking taylor expansion of (* z y) in z 7.821 * [taylor]: Taking taylor expansion of z in z 7.821 * [taylor]: Taking taylor expansion of y in z 7.822 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.822 * [taylor]: Taking taylor expansion of (sin y) in y 7.822 * [taylor]: Taking taylor expansion of y in y 7.822 * [taylor]: Taking taylor expansion of y in y 7.825 * [taylor]: Taking taylor expansion of 0 in z 7.828 * [taylor]: Taking taylor expansion of 0 in y 7.832 * [taylor]: Taking taylor expansion of 0 in z 7.833 * [taylor]: Taking taylor expansion of 0 in y 7.835 * [taylor]: Taking taylor expansion of 0 in y 7.843 * [taylor]: Taking taylor expansion of 0 in z 7.843 * [taylor]: Taking taylor expansion of 0 in y 7.843 * [taylor]: Taking taylor expansion of 0 in y 7.846 * [taylor]: Taking taylor expansion of 0 in y 7.847 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x z y) around 0 7.847 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y 7.847 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 7.847 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.847 * [taylor]: Taking taylor expansion of y in y 7.848 * [taylor]: Taking taylor expansion of (* z y) in y 7.848 * [taylor]: Taking taylor expansion of z in y 7.848 * [taylor]: Taking taylor expansion of y in y 7.848 * [taylor]: Taking taylor expansion of x in y 7.848 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z 7.848 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.848 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.848 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.848 * [taylor]: Taking taylor expansion of y in z 7.849 * [taylor]: Taking taylor expansion of (* z y) in z 7.849 * [taylor]: Taking taylor expansion of z in z 7.849 * [taylor]: Taking taylor expansion of y in z 7.849 * [taylor]: Taking taylor expansion of x in z 7.851 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 7.851 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 7.851 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.851 * [taylor]: Taking taylor expansion of y in x 7.851 * [taylor]: Taking taylor expansion of (* z y) in x 7.851 * [taylor]: Taking taylor expansion of z in x 7.851 * [taylor]: Taking taylor expansion of y in x 7.852 * [taylor]: Taking taylor expansion of x in x 7.852 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 7.852 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 7.852 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.852 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.852 * [taylor]: Taking taylor expansion of y in x 7.852 * [taylor]: Taking taylor expansion of (* z y) in x 7.852 * [taylor]: Taking taylor expansion of z in x 7.852 * [taylor]: Taking taylor expansion of y in x 7.852 * [taylor]: Taking taylor expansion of x in x 7.852 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.852 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.852 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.852 * [taylor]: Taking taylor expansion of y in z 7.852 * [taylor]: Taking taylor expansion of (* z y) in z 7.852 * [taylor]: Taking taylor expansion of z in z 7.852 * [taylor]: Taking taylor expansion of y in z 7.855 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.855 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.855 * [taylor]: Taking taylor expansion of y in y 7.855 * [taylor]: Taking taylor expansion of y in y 7.858 * [taylor]: Taking taylor expansion of 0 in z 7.858 * [taylor]: Taking taylor expansion of 0 in y 7.864 * [taylor]: Taking taylor expansion of 0 in y 7.868 * [taylor]: Taking taylor expansion of 0 in z 7.868 * [taylor]: Taking taylor expansion of 0 in y 7.868 * [taylor]: Taking taylor expansion of 0 in y 7.873 * [taylor]: Taking taylor expansion of 0 in y 7.873 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (x z y) around 0 7.873 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y 7.873 * [taylor]: Taking taylor expansion of -1 in y 7.873 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y 7.873 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 7.873 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.873 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.873 * [taylor]: Taking taylor expansion of -1 in y 7.873 * [taylor]: Taking taylor expansion of y in y 7.874 * [taylor]: Taking taylor expansion of (* z y) in y 7.874 * [taylor]: Taking taylor expansion of z in y 7.874 * [taylor]: Taking taylor expansion of y in y 7.874 * [taylor]: Taking taylor expansion of x in y 7.875 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z 7.875 * [taylor]: Taking taylor expansion of -1 in z 7.875 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z 7.875 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 7.875 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 7.875 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.875 * [taylor]: Taking taylor expansion of -1 in z 7.875 * [taylor]: Taking taylor expansion of y in z 7.875 * [taylor]: Taking taylor expansion of (* z y) in z 7.875 * [taylor]: Taking taylor expansion of z in z 7.875 * [taylor]: Taking taylor expansion of y in z 7.875 * [taylor]: Taking taylor expansion of x in z 7.877 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 7.877 * [taylor]: Taking taylor expansion of -1 in x 7.878 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 7.878 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 7.878 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.878 * [taylor]: Taking taylor expansion of -1 in x 7.878 * [taylor]: Taking taylor expansion of y in x 7.878 * [taylor]: Taking taylor expansion of (* z y) in x 7.878 * [taylor]: Taking taylor expansion of z in x 7.878 * [taylor]: Taking taylor expansion of y in x 7.878 * [taylor]: Taking taylor expansion of x in x 7.878 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 7.878 * [taylor]: Taking taylor expansion of -1 in x 7.878 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 7.878 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 7.878 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.878 * [taylor]: Taking taylor expansion of -1 in x 7.878 * [taylor]: Taking taylor expansion of y in x 7.878 * [taylor]: Taking taylor expansion of (* z y) in x 7.878 * [taylor]: Taking taylor expansion of z in x 7.878 * [taylor]: Taking taylor expansion of y in x 7.878 * [taylor]: Taking taylor expansion of x in x 7.879 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in z 7.879 * [taylor]: Taking taylor expansion of -1 in z 7.879 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 7.879 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 7.879 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.879 * [taylor]: Taking taylor expansion of -1 in z 7.879 * [taylor]: Taking taylor expansion of y in z 7.879 * [taylor]: Taking taylor expansion of (* z y) in z 7.879 * [taylor]: Taking taylor expansion of z in z 7.879 * [taylor]: Taking taylor expansion of y in z 7.882 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) y)) in y 7.882 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.882 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.882 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.882 * [taylor]: Taking taylor expansion of -1 in y 7.882 * [taylor]: Taking taylor expansion of y in y 7.882 * [taylor]: Taking taylor expansion of y in y 7.885 * [taylor]: Taking taylor expansion of 0 in z 7.885 * [taylor]: Taking taylor expansion of 0 in y 7.889 * [taylor]: Taking taylor expansion of 0 in y 7.894 * [taylor]: Taking taylor expansion of 0 in z 7.894 * [taylor]: Taking taylor expansion of 0 in y 7.894 * [taylor]: Taking taylor expansion of 0 in y 7.899 * [taylor]: Taking taylor expansion of 0 in y 7.899 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 7.899 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 7.899 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.899 * [taylor]: Taking taylor expansion of y in y 7.899 * [taylor]: Taking taylor expansion of (sin y) in y 7.899 * [taylor]: Taking taylor expansion of y in y 7.900 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.900 * [taylor]: Taking taylor expansion of y in y 7.900 * [taylor]: Taking taylor expansion of (sin y) in y 7.900 * [taylor]: Taking taylor expansion of y in y 7.908 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 7.908 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.908 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.908 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.908 * [taylor]: Taking taylor expansion of y in y 7.909 * [taylor]: Taking taylor expansion of y in y 7.909 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.909 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.909 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.909 * [taylor]: Taking taylor expansion of y in y 7.910 * [taylor]: Taking taylor expansion of y in y 7.915 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.915 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.916 * [taylor]: Taking taylor expansion of -1 in y 7.916 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.916 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.916 * [taylor]: Taking taylor expansion of -1 in y 7.916 * [taylor]: Taking taylor expansion of y in y 7.916 * [taylor]: Taking taylor expansion of y in y 7.916 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.916 * [taylor]: Taking taylor expansion of -1 in y 7.917 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.917 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.917 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.917 * [taylor]: Taking taylor expansion of -1 in y 7.917 * [taylor]: Taking taylor expansion of y in y 7.917 * [taylor]: Taking taylor expansion of y in y 7.923 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 7.923 * [approximate]: Taking taylor expansion of (/ (* z y) (sin y)) in (z y) around 0 7.923 * [taylor]: Taking taylor expansion of (/ (* z y) (sin y)) in y 7.923 * [taylor]: Taking taylor expansion of (* z y) in y 7.923 * [taylor]: Taking taylor expansion of z in y 7.923 * [taylor]: Taking taylor expansion of y in y 7.923 * [taylor]: Taking taylor expansion of (sin y) in y 7.923 * [taylor]: Taking taylor expansion of y in y 7.924 * [taylor]: Taking taylor expansion of (/ (* z y) (sin y)) in z 7.924 * [taylor]: Taking taylor expansion of (* z y) in z 7.924 * [taylor]: Taking taylor expansion of z in z 7.924 * [taylor]: Taking taylor expansion of y in z 7.924 * [taylor]: Taking taylor expansion of (sin y) in z 7.924 * [taylor]: Taking taylor expansion of y in z 7.925 * [taylor]: Taking taylor expansion of (/ (* z y) (sin y)) in z 7.925 * [taylor]: Taking taylor expansion of (* z y) in z 7.925 * [taylor]: Taking taylor expansion of z in z 7.925 * [taylor]: Taking taylor expansion of y in z 7.925 * [taylor]: Taking taylor expansion of (sin y) in z 7.925 * [taylor]: Taking taylor expansion of y in z 7.926 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.926 * [taylor]: Taking taylor expansion of y in y 7.926 * [taylor]: Taking taylor expansion of (sin y) in y 7.926 * [taylor]: Taking taylor expansion of y in y 7.928 * [taylor]: Taking taylor expansion of 0 in y 7.933 * [taylor]: Taking taylor expansion of 0 in y 7.938 * [taylor]: Taking taylor expansion of 0 in y 7.945 * [taylor]: Taking taylor expansion of 0 in y 7.945 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in (z y) around 0 7.945 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in y 7.945 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 7.945 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.945 * [taylor]: Taking taylor expansion of y in y 7.946 * [taylor]: Taking taylor expansion of (* z y) in y 7.946 * [taylor]: Taking taylor expansion of z in y 7.946 * [taylor]: Taking taylor expansion of y in y 7.946 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in z 7.946 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.947 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.947 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.947 * [taylor]: Taking taylor expansion of y in z 7.947 * [taylor]: Taking taylor expansion of (* z y) in z 7.947 * [taylor]: Taking taylor expansion of z in z 7.947 * [taylor]: Taking taylor expansion of y in z 7.949 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in z 7.949 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.949 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.949 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.949 * [taylor]: Taking taylor expansion of y in z 7.949 * [taylor]: Taking taylor expansion of (* z y) in z 7.949 * [taylor]: Taking taylor expansion of z in z 7.949 * [taylor]: Taking taylor expansion of y in z 7.952 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.952 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.952 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.952 * [taylor]: Taking taylor expansion of y in y 7.952 * [taylor]: Taking taylor expansion of y in y 7.959 * [taylor]: Taking taylor expansion of 0 in y 7.964 * [taylor]: Taking taylor expansion of 0 in y 7.971 * [taylor]: Taking taylor expansion of 0 in y 7.972 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in (z y) around 0 7.972 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in y 7.972 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 7.972 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.972 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.972 * [taylor]: Taking taylor expansion of -1 in y 7.972 * [taylor]: Taking taylor expansion of y in y 7.973 * [taylor]: Taking taylor expansion of (* z y) in y 7.973 * [taylor]: Taking taylor expansion of z in y 7.973 * [taylor]: Taking taylor expansion of y in y 7.974 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in z 7.974 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 7.974 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 7.974 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.974 * [taylor]: Taking taylor expansion of -1 in z 7.974 * [taylor]: Taking taylor expansion of y in z 7.974 * [taylor]: Taking taylor expansion of (* z y) in z 7.974 * [taylor]: Taking taylor expansion of z in z 7.974 * [taylor]: Taking taylor expansion of y in z 7.977 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in z 7.977 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 7.977 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 7.977 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.977 * [taylor]: Taking taylor expansion of -1 in z 7.977 * [taylor]: Taking taylor expansion of y in z 7.977 * [taylor]: Taking taylor expansion of (* z y) in z 7.977 * [taylor]: Taking taylor expansion of z in z 7.977 * [taylor]: Taking taylor expansion of y in z 7.980 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) y)) in y 7.980 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.980 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.980 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.980 * [taylor]: Taking taylor expansion of -1 in y 7.980 * [taylor]: Taking taylor expansion of y in y 7.980 * [taylor]: Taking taylor expansion of y in y 7.984 * [taylor]: Taking taylor expansion of 0 in y 7.988 * [taylor]: Taking taylor expansion of 0 in y 7.995 * [taylor]: Taking taylor expansion of 0 in y 7.996 * * * [progress]: simplifying candidates 7.997 * [simplify]: Simplifying using # : (expm1 (/ x (* z (/ y (sin y))))) (log1p (/ x (* z (/ y (sin y))))) (- (log x) (+ (log z) (- (log y) (log (sin y))))) (- (log x) (+ (log z) (log (/ y (sin y))))) (- (log x) (log (* z (/ y (sin y))))) (log (/ x (* z (/ y (sin y))))) (exp (/ x (* z (/ y (sin y))))) (/ (* (* x x) x) (* (* (* z z) z) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))))) (/ (* (* x x) x) (* (* (* z z) z) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))))) (/ (* (* x x) x) (* (* (* z (/ y (sin y))) (* z (/ y (sin y)))) (* z (/ y (sin y))))) (* (cbrt (/ x (* z (/ y (sin y))))) (cbrt (/ x (* z (/ y (sin y)))))) (cbrt (/ x (* z (/ y (sin y))))) (* (* (/ x (* z (/ y (sin y)))) (/ x (* z (/ y (sin y))))) (/ x (* z (/ y (sin y))))) (sqrt (/ x (* z (/ y (sin y))))) (sqrt (/ x (* z (/ y (sin y))))) (- x) (- (* z (/ y (sin y)))) (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) (/ y (sin y))) (/ (sqrt x) z) (/ (sqrt x) (/ y (sin y))) (/ 1 z) (/ x (/ y (sin y))) (/ 1 (* z (/ y (sin y)))) (/ (* z (/ y (sin y))) x) (/ x z) (/ (* z (/ y (sin y))) (cbrt x)) (/ (* z (/ y (sin y))) (sqrt x)) (/ (* z (/ y (sin y))) x) (/ x (* z y)) (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (- (log y) (log (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y))) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) 1) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) (/ 1 1) (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) (/ y 1) (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (* z (/ y (sin y)))) (log1p (* z (/ y (sin y)))) (* z (/ y (sin y))) (+ (log z) (- (log y) (log (sin y)))) (+ (log z) (log (/ y (sin y)))) (log (* z (/ y (sin y)))) (exp (* z (/ y (sin y)))) (* (* (* z z) z) (/ (* (* y y) y) (* (* (sin y) (sin y)) (sin y)))) (* (* (* z z) z) (* (* (/ y (sin y)) (/ y (sin y))) (/ y (sin y)))) (* (cbrt (* z (/ y (sin y)))) (cbrt (* z (/ y (sin y))))) (cbrt (* z (/ y (sin y)))) (* (* (* z (/ y (sin y))) (* z (/ y (sin y)))) (* z (/ y (sin y)))) (sqrt (* z (/ y (sin y)))) (sqrt (* z (/ y (sin y)))) (* (sqrt z) (sqrt (/ y (sin y)))) (* (sqrt z) (sqrt (/ y (sin y)))) (* (sqrt z) (/ (sqrt y) (sqrt (sin y)))) (* (sqrt z) (/ (sqrt y) (sqrt (sin y)))) (* z (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (* z (sqrt (/ y (sin y)))) (* z (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (* z (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (* z (/ (* (cbrt y) (cbrt y)) 1)) (* z (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* z (/ (sqrt y) (sqrt (sin y)))) (* z (/ (sqrt y) 1)) (* z (/ 1 (* (cbrt (sin y)) (cbrt (sin y))))) (* z (/ 1 (sqrt (sin y)))) (* z (/ 1 1)) (* z 1) (* z y) (* (cbrt z) (/ y (sin y))) (* (sqrt z) (/ y (sin y))) (* z (/ y (sin y))) (* z y) (- (/ x z) (* 1/6 (/ (* x (pow y 2)) z))) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (+ (* 1/6 (pow y 2)) (+ (* 7/360 (pow y 4)) 1)) (/ y (sin y)) (/ y (sin y)) (+ z (* 1/6 (* z (pow y 2)))) (/ (* z y) (sin y)) (/ (* z y) (sin y)) 8.001 * * [simplify]: iteration 0 : 145 enodes (cost 935 ) 8.041 * * [simplify]: iteration 1 : 325 enodes (cost 901 ) 8.127 * * [simplify]: iteration 2 : 1025 enodes (cost 784 ) 9.138 * * [simplify]: iteration 3 : 4830 enodes (cost 781 ) 10.152 * * [simplify]: iteration done : 5000 enodes (cost 781 ) 10.153 * [simplify]: Simplified to: (expm1 (/ x (* z (/ y (sin y))))) (log1p (/ x (* z (/ y (sin y))))) (log (/ (* x (sin y)) (* z y))) (log (/ (* x (sin y)) (* z y))) (log (/ (* x (sin y)) (* z y))) (log (/ (* x (sin y)) (* z y))) (exp (/ x (* z (/ y (sin y))))) (pow (/ (* x (sin y)) (* z y)) 3) (pow (/ (* x (sin y)) (* z y)) 3) (pow (/ (* x (sin y)) (* z y)) 3) (* (cbrt (/ x (* z (/ y (sin y))))) (cbrt (/ x (* z (/ y (sin y)))))) (cbrt (/ x (* z (/ y (sin y))))) (pow (/ (* x (sin y)) (* z y)) 3) (sqrt (/ x (* z (/ y (sin y))))) (sqrt (/ x (* z (/ y (sin y))))) (- x) (- (* z (/ y (sin y)))) (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) (/ y (sin y))) (/ (sqrt x) z) (/ (sqrt x) (/ y (sin y))) (/ 1 z) (* (/ (sin y) y) x) (/ (sin y) (* z y)) (/ (* z (/ y (sin y))) x) (/ x z) (/ (* z (/ y (sin y))) (cbrt x)) (/ (* z (/ y (sin y))) (sqrt x)) (/ (* z (/ y (sin y))) x) (/ x (* z y)) (expm1 (/ y (sin y))) (log1p (/ y (sin y))) (log (/ y (sin y))) (log (/ y (sin y))) (exp (/ y (sin y))) (pow (/ y (sin y)) 3) (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))) (pow (/ y (sin y)) 3) (sqrt (/ y (sin y))) (sqrt (/ y (sin y))) (- y) (- (sin y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (cbrt y) (cbrt (sin y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sin y))) (/ (cbrt y) (sqrt (sin y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sin y)) (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y)))) (/ (sqrt y) (cbrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (/ (sqrt y) (sqrt (sin y))) (sqrt y) (/ (sqrt y) (sin y)) (/ 1 (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (cbrt (sin y))) (/ 1 (sqrt (sin y))) (/ y (sqrt (sin y))) 1 (/ y (sin y)) (/ 1 (sin y)) (/ (sin y) y) (/ y (* (cbrt (sin y)) (cbrt (sin y)))) (/ y (sqrt (sin y))) y (/ (sin y) (cbrt y)) (/ (sin y) (sqrt y)) (/ (sin y) y) (expm1 (* z (/ y (sin y)))) (log1p (* z (/ y (sin y)))) (/ (* z y) (sin y)) (log (* z (/ y (sin y)))) (log (* z (/ y (sin y)))) (log (* z (/ y (sin y)))) (exp (* z (/ y (sin y)))) (pow (/ (* z y) (sin y)) 3) (pow (/ (* z y) (sin y)) 3) (* (cbrt (* z (/ y (sin y)))) (cbrt (* z (/ y (sin y))))) (cbrt (* z (/ y (sin y)))) (pow (/ (* z y) (sin y)) 3) (sqrt (* z (/ y (sin y)))) (sqrt (* z (/ y (sin y)))) (* (sqrt z) (sqrt (/ y (sin y)))) (* (sqrt z) (sqrt (/ y (sin y)))) (* (sqrt z) (/ (sqrt y) (sqrt (sin y)))) (* (sqrt z) (/ (sqrt y) (sqrt (sin y)))) (* z (* (cbrt (/ y (sin y))) (cbrt (/ y (sin y))))) (* z (sqrt (/ y (sin y)))) (* z (/ (* (cbrt y) (cbrt y)) (* (cbrt (sin y)) (cbrt (sin y))))) (* z (/ (* (cbrt y) (cbrt y)) (sqrt (sin y)))) (* (* (cbrt y) (cbrt y)) z) (* z (/ (sqrt y) (* (cbrt (sin y)) (cbrt (sin y))))) (* z (/ (sqrt y) (sqrt (sin y)))) (* z (sqrt y)) (/ z (* (cbrt (sin y)) (cbrt (sin y)))) (/ z (sqrt (sin y))) z z (* z y) (* (cbrt z) (/ y (sin y))) (* (sqrt z) (/ y (sin y))) (/ (* z y) (sin y)) (* z y) (fma -1/6 (/ (* x (pow y 2)) z) (/ x z)) (/ (* x (sin y)) (* z y)) (/ (* x (sin y)) (* z y)) (fma 1/6 (* y y) (fma 7/360 (pow y 4) 1)) (/ y (sin y)) (/ y (sin y)) (fma (* z (pow y 2)) 1/6 z) (/ (* z y) (sin y)) (/ (* z y) (sin y)) 10.154 * * * [progress]: adding candidates to table 10.386 * [progress]: [Phase 3 of 3] Extracting. 10.386 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 10.388 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) z y x) 10.388 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # # #) 10.425 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# #) 10.443 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 10.477 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 10.510 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 10.543 * * * [regime]: Found split indices: #