17.185 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [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.043 * * [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.063 * * [simplify]: iteration 5 : 76 enodes (cost 8 ) 0.073 * * [simplify]: iteration done : 76 enodes (cost 8 ) 0.073 * [simplify]: Simplified to: (/ (* x (/ (sin y) y)) z) 0.073 * * [progress]: iteration 1 / 4 0.073 * * * [progress]: picking best candidate 0.075 * * * * [pick]: Picked # 0.075 * * * [progress]: localizing error 0.082 * * * [progress]: generating rewritten candidates 0.082 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.088 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.091 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.104 * * * [progress]: generating series expansions 0.104 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.104 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x y z) around 0 0.104 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z 0.104 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.104 * [taylor]: Taking taylor expansion of x in z 0.104 * [taylor]: Taking taylor expansion of (sin y) in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.105 * [taylor]: Taking taylor expansion of (* z y) in z 0.105 * [taylor]: Taking taylor expansion of z in z 0.105 * [taylor]: Taking taylor expansion of y in z 0.105 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y 0.105 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.105 * [taylor]: Taking taylor expansion of x in y 0.105 * [taylor]: Taking taylor expansion of (sin y) in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of (* z y) in y 0.105 * [taylor]: Taking taylor expansion of z in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 0.106 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (sin y) in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.107 * [taylor]: Taking taylor expansion of (* z y) in x 0.107 * [taylor]: Taking taylor expansion of z in x 0.107 * [taylor]: Taking taylor expansion of y in x 0.109 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 0.109 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [taylor]: Taking taylor expansion of (sin y) in x 0.109 * [taylor]: Taking taylor expansion of y in x 0.109 * [taylor]: Taking taylor expansion of (* z y) in x 0.109 * [taylor]: Taking taylor expansion of z in x 0.109 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in y 0.111 * [taylor]: Taking taylor expansion of (sin y) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of (* z y) in y 0.111 * [taylor]: Taking taylor expansion of z in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.111 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z 0.121 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z 0.121 * [taylor]: Taking taylor expansion of 1/6 in z 0.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.121 * [taylor]: Taking taylor expansion of z in z 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.129 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x y z) around 0 0.130 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z 0.131 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 0.131 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.131 * [taylor]: Taking taylor expansion of y in z 0.131 * [taylor]: Taking taylor expansion of (* z y) in z 0.131 * [taylor]: Taking taylor expansion of z in z 0.131 * [taylor]: Taking taylor expansion of y in z 0.131 * [taylor]: Taking taylor expansion of x in z 0.133 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y 0.133 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 0.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of (* z y) in y 0.133 * [taylor]: Taking taylor expansion of z in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of x in y 0.134 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 0.134 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 0.134 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of (* z y) in x 0.134 * [taylor]: Taking taylor expansion of z in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 0.135 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 0.135 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of (* z y) in x 0.135 * [taylor]: Taking taylor expansion of z in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 0.135 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.136 * [taylor]: Taking taylor expansion of (* z y) in y 0.136 * [taylor]: Taking taylor expansion of z in y 0.136 * [taylor]: Taking taylor expansion of y in y 0.136 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z 0.136 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.136 * [taylor]: Taking taylor expansion of y in z 0.136 * [taylor]: Taking taylor expansion of z in z 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of 0 in z 0.141 * [taylor]: Taking taylor expansion of 0 in z 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of 0 in z 0.147 * [taylor]: Taking taylor expansion of 0 in z 0.148 * [taylor]: Taking taylor expansion of 0 in z 0.148 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (x y z) around 0 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z 0.149 * [taylor]: Taking taylor expansion of -1 in z 0.149 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z 0.149 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 0.149 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.149 * [taylor]: Taking taylor expansion of -1 in z 0.149 * [taylor]: Taking taylor expansion of y in z 0.149 * [taylor]: Taking taylor expansion of (* z y) in z 0.149 * [taylor]: Taking taylor expansion of z in z 0.149 * [taylor]: Taking taylor expansion of y in z 0.149 * [taylor]: Taking taylor expansion of x in z 0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y 0.151 * [taylor]: Taking taylor expansion of -1 in y 0.151 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y 0.151 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 0.151 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.151 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.151 * [taylor]: Taking taylor expansion of -1 in y 0.151 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of (* z y) in y 0.152 * [taylor]: Taking taylor expansion of z in y 0.152 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of x in y 0.152 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 0.152 * [taylor]: Taking taylor expansion of -1 in x 0.152 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 0.152 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 0.152 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.152 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.152 * [taylor]: Taking taylor expansion of -1 in x 0.152 * [taylor]: Taking taylor expansion of y in x 0.153 * [taylor]: Taking taylor expansion of (* z y) in x 0.153 * [taylor]: Taking taylor expansion of z in x 0.153 * [taylor]: Taking taylor expansion of y in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 0.153 * [taylor]: Taking taylor expansion of -1 in x 0.153 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 0.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 0.153 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.153 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.153 * [taylor]: Taking taylor expansion of -1 in x 0.153 * [taylor]: Taking taylor expansion of y in x 0.153 * [taylor]: Taking taylor expansion of (* z y) in x 0.153 * [taylor]: Taking taylor expansion of z in x 0.153 * [taylor]: Taking taylor expansion of y in x 0.153 * [taylor]: Taking taylor expansion of x in x 0.154 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in y 0.154 * [taylor]: Taking taylor expansion of -1 in y 0.154 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 0.154 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.154 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.154 * [taylor]: Taking taylor expansion of -1 in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of (* z y) in y 0.154 * [taylor]: Taking taylor expansion of z in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) z)) in z 0.155 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z 0.155 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.155 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.155 * [taylor]: Taking taylor expansion of -1 in z 0.155 * [taylor]: Taking taylor expansion of y in z 0.155 * [taylor]: Taking taylor expansion of z in z 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.162 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in y 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.170 * [taylor]: Taking taylor expansion of 0 in z 0.171 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.171 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 0.171 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.171 * [taylor]: Taking taylor expansion of (sin y) in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.172 * [taylor]: Taking taylor expansion of (sin y) in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.179 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 0.179 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.179 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.180 * [taylor]: Taking taylor expansion of y in y 0.187 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 0.187 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.187 * [taylor]: Taking taylor expansion of -1 in y 0.187 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.187 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.187 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.187 * [taylor]: Taking taylor expansion of -1 in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 0.187 * [taylor]: Taking taylor expansion of -1 in y 0.187 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.188 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.188 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.188 * [taylor]: Taking taylor expansion of -1 in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.199 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.199 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) y) in (x y) around 0 0.199 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in y 0.199 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.199 * [taylor]: Taking taylor expansion of x in y 0.199 * [taylor]: Taking taylor expansion of (sin y) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.200 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.200 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (sin y) in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.202 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) y) in x 0.202 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.202 * [taylor]: Taking taylor expansion of x in x 0.202 * [taylor]: Taking taylor expansion of (sin y) in x 0.202 * [taylor]: Taking taylor expansion of y in x 0.202 * [taylor]: Taking taylor expansion of y in x 0.204 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 0.204 * [taylor]: Taking taylor expansion of (sin y) in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.217 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in (x y) around 0 0.225 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in y 0.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.225 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of x in y 0.226 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.226 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.226 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) y) x) in x 0.226 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 0.226 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 0.227 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of 0 in y 0.233 * [taylor]: Taking taylor expansion of 0 in y 0.238 * [taylor]: Taking taylor expansion of 0 in y 0.238 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in (x y) around 0 0.238 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in y 0.238 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.238 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.238 * [taylor]: Taking taylor expansion of -1 in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.239 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.239 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.239 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.239 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.239 * [taylor]: Taking taylor expansion of -1 in x 0.239 * [taylor]: Taking taylor expansion of y in x 0.239 * [taylor]: Taking taylor expansion of y in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) y) x) in x 0.239 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 0.239 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.239 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.240 * [taylor]: Taking taylor expansion of -1 in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 0.240 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.240 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.240 * [taylor]: Taking taylor expansion of -1 in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.246 * [taylor]: Taking taylor expansion of 0 in y 0.251 * [taylor]: Taking taylor expansion of 0 in y 0.251 * * * [progress]: simplifying candidates 0.253 * [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.256 * * [simplify]: iteration 0 : 145 enodes (cost 935 ) 0.296 * * [simplify]: iteration 1 : 332 enodes (cost 898 ) 0.392 * * [simplify]: iteration 2 : 1070 enodes (cost 782 ) 1.198 * * [simplify]: iteration done : 5000 enodes (cost 782 ) 1.198 * [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.199 * * * [progress]: adding candidates to table 1.410 * * [progress]: iteration 2 / 4 1.410 * * * [progress]: picking best candidate 1.430 * * * * [pick]: Picked # 1.430 * * * [progress]: localizing error 1.441 * * * [progress]: generating rewritten candidates 1.441 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.490 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 1.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.500 * * * [progress]: generating series expansions 1.500 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.501 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x z y) around 0 1.501 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y 1.501 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 1.501 * [taylor]: Taking taylor expansion of x in y 1.501 * [taylor]: Taking taylor expansion of (sin y) in y 1.501 * [taylor]: Taking taylor expansion of y in y 1.501 * [taylor]: Taking taylor expansion of (* z y) in y 1.501 * [taylor]: Taking taylor expansion of z in y 1.501 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z 1.502 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 1.502 * [taylor]: Taking taylor expansion of x in z 1.502 * [taylor]: Taking taylor expansion of (sin y) in z 1.502 * [taylor]: Taking taylor expansion of y in z 1.502 * [taylor]: Taking taylor expansion of (* z y) in z 1.502 * [taylor]: Taking taylor expansion of z in z 1.502 * [taylor]: Taking taylor expansion of y in z 1.503 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 1.503 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (sin y) in x 1.503 * [taylor]: Taking taylor expansion of y in x 1.503 * [taylor]: Taking taylor expansion of (* z y) in x 1.503 * [taylor]: Taking taylor expansion of z in x 1.503 * [taylor]: Taking taylor expansion of y in x 1.505 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 1.505 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 1.505 * [taylor]: Taking taylor expansion of x in x 1.505 * [taylor]: Taking taylor expansion of (sin y) in x 1.505 * [taylor]: Taking taylor expansion of y in x 1.505 * [taylor]: Taking taylor expansion of (* z y) in x 1.505 * [taylor]: Taking taylor expansion of z in x 1.505 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in z 1.507 * [taylor]: Taking taylor expansion of (sin y) in z 1.507 * [taylor]: Taking taylor expansion of y in z 1.507 * [taylor]: Taking taylor expansion of (* z y) in z 1.507 * [taylor]: Taking taylor expansion of z in z 1.507 * [taylor]: Taking taylor expansion of y in z 1.508 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 1.508 * [taylor]: Taking taylor expansion of (sin y) in y 1.508 * [taylor]: Taking taylor expansion of y in y 1.508 * [taylor]: Taking taylor expansion of y in y 1.511 * [taylor]: Taking taylor expansion of 0 in z 1.513 * [taylor]: Taking taylor expansion of 0 in y 1.517 * [taylor]: Taking taylor expansion of 0 in z 1.517 * [taylor]: Taking taylor expansion of 0 in y 1.520 * [taylor]: Taking taylor expansion of 0 in y 1.526 * [taylor]: Taking taylor expansion of 0 in z 1.526 * [taylor]: Taking taylor expansion of 0 in y 1.526 * [taylor]: Taking taylor expansion of 0 in y 1.530 * [taylor]: Taking taylor expansion of 0 in y 1.530 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x z y) around 0 1.530 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y 1.530 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 1.530 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.531 * [taylor]: Taking taylor expansion of y in y 1.531 * [taylor]: Taking taylor expansion of (* z y) in y 1.531 * [taylor]: Taking taylor expansion of z in y 1.531 * [taylor]: Taking taylor expansion of y in y 1.531 * [taylor]: Taking taylor expansion of x in y 1.532 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z 1.532 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 1.532 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.532 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.532 * [taylor]: Taking taylor expansion of y in z 1.532 * [taylor]: Taking taylor expansion of (* z y) in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.532 * [taylor]: Taking taylor expansion of y in z 1.532 * [taylor]: Taking taylor expansion of x in z 1.534 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 1.534 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 1.534 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.534 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.534 * [taylor]: Taking taylor expansion of y in x 1.534 * [taylor]: Taking taylor expansion of (* z y) in x 1.534 * [taylor]: Taking taylor expansion of z in x 1.534 * [taylor]: Taking taylor expansion of y in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 1.535 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 1.535 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1.535 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.535 * [taylor]: Taking taylor expansion of y in x 1.535 * [taylor]: Taking taylor expansion of (* z y) in x 1.535 * [taylor]: Taking taylor expansion of z in x 1.535 * [taylor]: Taking taylor expansion of y in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 1.535 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.535 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.535 * [taylor]: Taking taylor expansion of y in z 1.535 * [taylor]: Taking taylor expansion of (* z y) in z 1.535 * [taylor]: Taking taylor expansion of z in z 1.535 * [taylor]: Taking taylor expansion of y in z 1.537 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 1.537 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.538 * [taylor]: Taking taylor expansion of y in y 1.538 * [taylor]: Taking taylor expansion of y in y 1.540 * [taylor]: Taking taylor expansion of 0 in z 1.540 * [taylor]: Taking taylor expansion of 0 in y 1.543 * [taylor]: Taking taylor expansion of 0 in y 1.547 * [taylor]: Taking taylor expansion of 0 in z 1.547 * [taylor]: Taking taylor expansion of 0 in y 1.547 * [taylor]: Taking taylor expansion of 0 in y 1.551 * [taylor]: Taking taylor expansion of 0 in y 1.552 * [approximate]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in (x z y) around 0 1.552 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in y 1.552 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 1.552 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.552 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.552 * [taylor]: Taking taylor expansion of -1 in y 1.552 * [taylor]: Taking taylor expansion of y in y 1.552 * [taylor]: Taking taylor expansion of (* z y) in y 1.552 * [taylor]: Taking taylor expansion of z in y 1.552 * [taylor]: Taking taylor expansion of y in y 1.552 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in y 1.552 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.552 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.552 * [taylor]: Taking taylor expansion of -1 in y 1.553 * [taylor]: Taking taylor expansion of x in y 1.557 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in z 1.557 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 1.557 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.557 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.557 * [taylor]: Taking taylor expansion of -1 in z 1.557 * [taylor]: Taking taylor expansion of y in z 1.557 * [taylor]: Taking taylor expansion of (* z y) in z 1.557 * [taylor]: Taking taylor expansion of z in z 1.557 * [taylor]: Taking taylor expansion of y in z 1.557 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in z 1.557 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.557 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.557 * [taylor]: Taking taylor expansion of -1 in z 1.558 * [taylor]: Taking taylor expansion of x in z 1.563 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in x 1.563 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 1.563 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.563 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.563 * [taylor]: Taking taylor expansion of -1 in x 1.563 * [taylor]: Taking taylor expansion of y in x 1.563 * [taylor]: Taking taylor expansion of (* z y) in x 1.563 * [taylor]: Taking taylor expansion of z in x 1.563 * [taylor]: Taking taylor expansion of y in x 1.563 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in x 1.563 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 1.563 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.563 * [taylor]: Taking taylor expansion of -1 in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.574 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) (* (pow (cbrt -1) 3) x)) in x 1.574 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 1.574 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1.574 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.574 * [taylor]: Taking taylor expansion of -1 in x 1.574 * [taylor]: Taking taylor expansion of y in x 1.574 * [taylor]: Taking taylor expansion of (* z y) in x 1.574 * [taylor]: Taking taylor expansion of z in x 1.574 * [taylor]: Taking taylor expansion of y in x 1.574 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) x) in x 1.574 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 1.574 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.574 * [taylor]: Taking taylor expansion of -1 in x 1.575 * [taylor]: Taking taylor expansion of x in x 1.581 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in z 1.581 * [taylor]: Taking taylor expansion of -1 in z 1.581 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 1.581 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.581 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.581 * [taylor]: Taking taylor expansion of -1 in z 1.581 * [taylor]: Taking taylor expansion of y in z 1.581 * [taylor]: Taking taylor expansion of (* z y) in z 1.581 * [taylor]: Taking taylor expansion of z in z 1.581 * [taylor]: Taking taylor expansion of y in z 1.584 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) y)) in y 1.584 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 1.584 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.584 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.584 * [taylor]: Taking taylor expansion of -1 in y 1.584 * [taylor]: Taking taylor expansion of y in y 1.584 * [taylor]: Taking taylor expansion of y in y 1.590 * [taylor]: Taking taylor expansion of 0 in z 1.590 * [taylor]: Taking taylor expansion of 0 in y 1.593 * [taylor]: Taking taylor expansion of 0 in y 1.601 * [taylor]: Taking taylor expansion of 0 in z 1.601 * [taylor]: Taking taylor expansion of 0 in y 1.601 * [taylor]: Taking taylor expansion of 0 in y 1.605 * [taylor]: Taking taylor expansion of 0 in y 1.605 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.606 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.606 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.606 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.606 * [taylor]: Taking taylor expansion of 1/3 in z 1.606 * [taylor]: Taking taylor expansion of (log z) in z 1.606 * [taylor]: Taking taylor expansion of z in z 1.606 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.606 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.606 * [taylor]: Taking taylor expansion of 1/3 in z 1.606 * [taylor]: Taking taylor expansion of (log z) in z 1.606 * [taylor]: Taking taylor expansion of z in z 1.659 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.659 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.659 * [taylor]: Taking taylor expansion of 1/3 in z 1.659 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.659 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.659 * [taylor]: Taking taylor expansion of z in z 1.660 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.660 * [taylor]: Taking taylor expansion of 1/3 in z 1.660 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.660 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.660 * [taylor]: Taking taylor expansion of z in z 1.712 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.712 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.712 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.712 * [taylor]: Taking taylor expansion of -1 in z 1.713 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.713 * [taylor]: Taking taylor expansion of 1/3 in z 1.713 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.713 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.713 * [taylor]: Taking taylor expansion of z in z 1.714 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.714 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.714 * [taylor]: Taking taylor expansion of -1 in z 1.715 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.715 * [taylor]: Taking taylor expansion of 1/3 in z 1.715 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.715 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.715 * [taylor]: Taking taylor expansion of z in z 1.781 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 1.781 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.781 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.781 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.782 * [taylor]: Taking taylor expansion of 1/3 in z 1.782 * [taylor]: Taking taylor expansion of (log z) in z 1.782 * [taylor]: Taking taylor expansion of z in z 1.782 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.782 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.782 * [taylor]: Taking taylor expansion of 1/3 in z 1.782 * [taylor]: Taking taylor expansion of (log z) in z 1.782 * [taylor]: Taking taylor expansion of z in z 1.835 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.835 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.835 * [taylor]: Taking taylor expansion of 1/3 in z 1.835 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.836 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.836 * [taylor]: Taking taylor expansion of z in z 1.836 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.837 * [taylor]: Taking taylor expansion of 1/3 in z 1.837 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.837 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.837 * [taylor]: Taking taylor expansion of z in z 1.894 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.894 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.894 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.894 * [taylor]: Taking taylor expansion of -1 in z 1.895 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.895 * [taylor]: Taking taylor expansion of 1/3 in z 1.895 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.895 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.896 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.896 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.896 * [taylor]: Taking taylor expansion of -1 in z 1.896 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.896 * [taylor]: Taking taylor expansion of 1/3 in z 1.896 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.896 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.896 * [taylor]: Taking taylor expansion of z in z 1.966 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.966 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.966 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.966 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.966 * [taylor]: Taking taylor expansion of 1/3 in z 1.966 * [taylor]: Taking taylor expansion of (log z) in z 1.966 * [taylor]: Taking taylor expansion of z in z 1.967 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.967 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.967 * [taylor]: Taking taylor expansion of 1/3 in z 1.967 * [taylor]: Taking taylor expansion of (log z) in z 1.967 * [taylor]: Taking taylor expansion of z in z 2.017 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.017 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.017 * [taylor]: Taking taylor expansion of 1/3 in z 2.017 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.017 * [taylor]: Taking taylor expansion of z in z 2.018 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.018 * [taylor]: Taking taylor expansion of 1/3 in z 2.018 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.018 * [taylor]: Taking taylor expansion of z in z 2.075 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.075 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.075 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.075 * [taylor]: Taking taylor expansion of -1 in z 2.076 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.076 * [taylor]: Taking taylor expansion of 1/3 in z 2.076 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.076 * [taylor]: Taking taylor expansion of z in z 2.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.077 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.077 * [taylor]: Taking taylor expansion of -1 in z 2.077 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.078 * [taylor]: Taking taylor expansion of 1/3 in z 2.078 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.078 * [taylor]: Taking taylor expansion of z in z 2.144 * * * [progress]: simplifying candidates 2.147 * [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.156 * * [simplify]: iteration 0 : 310 enodes (cost 2988 ) 2.299 * * [simplify]: iteration 1 : 1027 enodes (cost 2848 ) 3.432 * * [simplify]: iteration 2 : 4676 enodes (cost 2240 ) 4.679 * * [simplify]: iteration done : 5000 enodes (cost 2240 ) 4.680 * [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 x 3) (* z z)) (/ z (pow (/ (sin y) y) 3))) (/ (/ (pow x 3) (* z z)) (/ z (pow (/ (sin y) y) 3))) (* (/ (pow x 3) (* z z)) (pow (/ (/ (sin y) y) (cbrt z)) 3)) (/ (pow (/ x (pow z 2/3)) 3) (/ z (pow (/ (sin y) y) 3))) (/ (pow (/ x (pow z 2/3)) 3) (/ z (pow (/ (sin y) y) 3))) (pow (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) 3) (/ (pow (/ x (pow z 2/3)) 3) (/ z (pow (/ (sin y) y) 3))) (/ (pow (/ x (pow z 2/3)) 3) (/ z (pow (/ (sin y) y) 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))) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (* (sqrt (/ x (pow z 2/3))) (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z)))) (/ (sqrt (/ x (pow z 2/3))) (/ (sqrt (cbrt z)) (sqrt (/ (sin y) y)))) (/ (sqrt (/ x (pow z 2/3))) (/ (sqrt (cbrt z)) (sqrt (/ (sin y) y)))) (* (/ (/ (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 (sqrt (/ (/ (sin y) y) (cbrt z)))) (pow z 2/3)) (/ (/ (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (pow z 2/3)) (cbrt (pow z 2/3))) (/ (* x (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (cbrt (sqrt z)))) (pow z 2/3)) (/ (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (pow z 2/3)) (/ (* x (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (/ (* x (/ (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y))) (sqrt (cbrt z)))) (pow z 2/3)) (/ (* x (* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))) (pow z 2/3)) (/ (/ (* x (sqrt (/ (sin y) y))) (pow z 2/3)) (cbrt (pow z 2/3))) (* (/ (sqrt (/ (sin y) y)) (cbrt (sqrt z))) (/ x (pow z 2/3))) (/ (* x (sqrt (/ (sin y) y))) (pow z 2/3)) (/ (* 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 (sqrt (/ (sin y) y))) (pow z 2/3)) (/ (/ x (pow z 2/3)) (/ (cbrt (pow z 2/3)) (/ (cbrt (sin y)) (/ (* (cbrt y) (cbrt y)) (cbrt (sin y)))))) (/ (* 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)))) (pow z 2/3)) (* (cbrt y) (cbrt y))) (/ (* x (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (/ (* x (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y))) (sqrt (cbrt z)))) (pow z 2/3)) (/ (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (pow z 2/3)) (* (cbrt y) (cbrt y))) (/ (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (pow z 2/3)) (cbrt (pow z 2/3))) (/ (* x (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (cbrt (sqrt z)))) (pow z 2/3)) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (pow z 2/3)) (* (/ (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (/ x (pow z 2/3))) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (* (sqrt (cbrt z)) (pow z 2/3))) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt y))) (pow z 2/3)) (/ (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (pow z 2/3)) (cbrt (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)) (/ (* x (/ (* (cbrt (sin y)) (cbrt (sin y))) (sqrt (cbrt z)))) (pow z 2/3)) (/ (* x (* (cbrt (sin y)) (cbrt (sin y)))) (pow z 2/3)) (/ (* (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cbrt (pow z 2/3))) x) (pow z 2/3)) (/ (* x (/ (/ (sqrt (sin y)) (* (cbrt y) (cbrt y))) (cbrt (sqrt z)))) (pow z 2/3)) (/ (/ (* (sqrt (sin y)) x) (pow z 2/3)) (* (cbrt y) (cbrt y))) (/ (/ (/ (* (sqrt (sin y)) x) (pow z 2/3)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (/ (/ (/ (* (sqrt (sin y)) x) (pow z 2/3)) (* (cbrt y) (cbrt y))) (sqrt (cbrt z))) (/ (/ (* (sqrt (sin y)) x) (pow z 2/3)) (* (cbrt y) (cbrt y))) (/ (/ (* 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)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (/ (* x (/ (/ (sqrt (sin y)) (sqrt y)) (sqrt (cbrt z)))) (pow z 2/3)) (/ (* x (/ (sqrt (sin y)) (sqrt y))) (pow z 2/3)) (* (/ x (pow z 2/3)) (/ (sqrt (sin y)) (cbrt (pow z 2/3)))) (/ x (/ (pow z 2/3) (/ (sqrt (sin y)) (cbrt (sqrt z))))) (/ (* (sqrt (sin y)) x) (pow z 2/3)) (/ (* x (/ (sqrt (sin y)) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (pow z 2/3)) (/ (* (sqrt (sin y)) x) (* (sqrt (cbrt z)) (pow z 2/3))) (/ (* (sqrt (sin y)) x) (pow z 2/3)) (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt (sqrt z)) (pow z 2/3))) (/ (/ x (* (cbrt y) (cbrt y))) (pow z 2/3)) (/ (/ (/ x (* (cbrt y) (cbrt y))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (pow z 2/3)) (/ (/ (/ x (* (cbrt y) (cbrt y))) (sqrt (cbrt z))) (pow z 2/3)) (/ (/ x (* (cbrt y) (cbrt y))) (pow z 2/3)) (/ (/ (/ x (sqrt y)) (cbrt (pow z 2/3))) (pow z 2/3)) (/ (/ x (* (cbrt (sqrt z)) (sqrt y))) (pow z 2/3)) (/ (/ x (sqrt y)) (pow z 2/3)) (/ (/ x (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (sqrt y))) (pow z 2/3)) (/ (/ x (pow z 2/3)) (* (sqrt (cbrt z)) (sqrt y))) (/ (/ x (sqrt y)) (pow z 2/3)) (/ x (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (/ x (cbrt (sqrt z))) (pow z 2/3)) (/ x (pow z 2/3)) (/ (/ x (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (pow z 2/3)) (/ x (* (sqrt (cbrt z)) (pow z 2/3))) (/ x (pow z 2/3)) (/ x (* (cbrt (pow z 2/3)) (pow z 2/3))) (/ (/ x (cbrt (sqrt z))) (pow z 2/3)) (/ x (pow z 2/3)) (/ (/ x (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (pow z 2/3)) (/ x (* (sqrt (cbrt z)) (pow z 2/3))) (/ x (pow z 2/3)) (/ (/ (sin y) (/ (pow z 2/3) x)) (cbrt (pow z 2/3))) (/ (* x (/ (sin y) (cbrt (sqrt z)))) (pow z 2/3)) (/ (sin y) (/ (pow z 2/3) x)) (/ (* 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) (/ (pow z 2/3) x)) (/ x (pow z 2/3)) (/ (* x (sin y)) (* y (pow z 2/3))) (* (cbrt (/ x (pow z 2/3))) (/ (/ (sin y) y) (cbrt z))) (* (sqrt (/ x (pow z 2/3))) (/ (/ (sin y) y) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (/ (sin y) y) (cbrt z))) (/ (* x (sin y)) (* y (pow z 2/3))) (/ (* x (/ (sin y) y)) (pow (cbrt z) 3)) (/ (/ (/ (sin y) y) (cbrt z)) (pow z 2/3)) (/ (* x (sin y)) (* y (pow z 2/3))) (* 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.682 * * * [progress]: adding candidates to table 5.180 * * [progress]: iteration 3 / 4 5.180 * * * [progress]: picking best candidate 5.196 * * * * [pick]: Picked # 5.196 * * * [progress]: localizing error 5.206 * * * [progress]: generating rewritten candidates 5.206 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 5.213 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 5.215 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.217 * * * [progress]: generating series expansions 5.217 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.218 * [approximate]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in (x y z) around 0 5.218 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in z 5.218 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in z 5.218 * [taylor]: Taking taylor expansion of x in z 5.218 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in z 5.218 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.218 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in z 5.218 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in z 5.218 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.218 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in z 5.218 * [taylor]: Taking taylor expansion of 1 in z 5.218 * [taylor]: Taking taylor expansion of (/ (sin y) y) in z 5.218 * [taylor]: Taking taylor expansion of (sin y) in z 5.218 * [taylor]: Taking taylor expansion of y in z 5.218 * [taylor]: Taking taylor expansion of y in z 5.218 * [taylor]: Taking taylor expansion of 1 in z 5.218 * [taylor]: Taking taylor expansion of z in z 5.219 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in y 5.219 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in y 5.219 * [taylor]: Taking taylor expansion of x in y 5.219 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 5.219 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.219 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 5.219 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 5.219 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.219 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 5.219 * [taylor]: Taking taylor expansion of 1 in y 5.219 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.219 * [taylor]: Taking taylor expansion of (sin y) in y 5.219 * [taylor]: Taking taylor expansion of y in y 5.219 * [taylor]: Taking taylor expansion of y in y 5.221 * [taylor]: Taking taylor expansion of 1 in y 5.221 * [taylor]: Taking taylor expansion of z in y 5.222 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in x 5.222 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 5.222 * [taylor]: Taking taylor expansion of x in x 5.222 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 5.222 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.222 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 5.222 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 5.222 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.222 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 5.222 * [taylor]: Taking taylor expansion of 1 in x 5.222 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 5.222 * [taylor]: Taking taylor expansion of (sin y) in x 5.222 * [taylor]: Taking taylor expansion of y in x 5.222 * [taylor]: Taking taylor expansion of y in x 5.222 * [taylor]: Taking taylor expansion of 1 in x 5.222 * [taylor]: Taking taylor expansion of z in x 5.226 * [taylor]: Taking taylor expansion of (/ (* x (expm1 (log1p (/ (sin y) y)))) z) in x 5.226 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 5.226 * [taylor]: Taking taylor expansion of x in x 5.226 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 5.226 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.226 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 5.226 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 5.226 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.226 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 5.226 * [taylor]: Taking taylor expansion of 1 in x 5.226 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 5.226 * [taylor]: Taking taylor expansion of (sin y) in x 5.226 * [taylor]: Taking taylor expansion of y in x 5.227 * [taylor]: Taking taylor expansion of y in x 5.227 * [taylor]: Taking taylor expansion of 1 in x 5.227 * [taylor]: Taking taylor expansion of z in x 5.231 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in y 5.231 * [taylor]: Taking taylor expansion of (sin y) in y 5.231 * [taylor]: Taking taylor expansion of y in y 5.231 * [taylor]: Taking taylor expansion of (* z y) in y 5.231 * [taylor]: Taking taylor expansion of z in y 5.231 * [taylor]: Taking taylor expansion of y in y 5.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.232 * [taylor]: Taking taylor expansion of z in z 5.237 * [taylor]: Taking taylor expansion of 0 in y 5.237 * [taylor]: Taking taylor expansion of 0 in z 5.238 * [taylor]: Taking taylor expansion of 0 in z 5.245 * [taylor]: Taking taylor expansion of 0 in y 5.245 * [taylor]: Taking taylor expansion of 0 in z 5.245 * [taylor]: Taking taylor expansion of 0 in z 5.247 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ 1 z))) in z 5.247 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 z)) in z 5.247 * [taylor]: Taking taylor expansion of 1/6 in z 5.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.247 * [taylor]: Taking taylor expansion of z in z 5.261 * [taylor]: Taking taylor expansion of 0 in y 5.261 * [taylor]: Taking taylor expansion of 0 in z 5.262 * [taylor]: Taking taylor expansion of 0 in z 5.262 * [taylor]: Taking taylor expansion of 0 in z 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.264 * [approximate]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in (x y z) around 0 5.264 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in z 5.265 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in z 5.265 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in z 5.265 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.265 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in z 5.265 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in z 5.265 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.265 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in z 5.265 * [taylor]: Taking taylor expansion of 1 in z 5.265 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in z 5.265 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 5.265 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.265 * [taylor]: Taking taylor expansion of y in z 5.265 * [taylor]: Taking taylor expansion of y in z 5.265 * [taylor]: Taking taylor expansion of 1 in z 5.265 * [taylor]: Taking taylor expansion of z in z 5.265 * [taylor]: Taking taylor expansion of x in z 5.269 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in y 5.269 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in y 5.269 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 5.269 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.269 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 5.270 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 5.270 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.270 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 5.270 * [taylor]: Taking taylor expansion of 1 in y 5.270 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.270 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.270 * [taylor]: Taking taylor expansion of y in y 5.270 * [taylor]: Taking taylor expansion of y in y 5.271 * [taylor]: Taking taylor expansion of 1 in y 5.271 * [taylor]: Taking taylor expansion of z in y 5.271 * [taylor]: Taking taylor expansion of x in y 5.272 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in x 5.272 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in x 5.273 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 5.273 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.273 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 5.273 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 5.273 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.273 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 5.273 * [taylor]: Taking taylor expansion of 1 in x 5.273 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 5.273 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.273 * [taylor]: Taking taylor expansion of y in x 5.273 * [taylor]: Taking taylor expansion of y in x 5.273 * [taylor]: Taking taylor expansion of 1 in x 5.273 * [taylor]: Taking taylor expansion of z in x 5.273 * [taylor]: Taking taylor expansion of x in x 5.274 * [taylor]: Taking taylor expansion of (/ (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) x) in x 5.274 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (* (sin (/ 1 y)) y))) z) in x 5.274 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 5.274 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.274 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 5.274 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 5.274 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.274 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 5.274 * [taylor]: Taking taylor expansion of 1 in x 5.274 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 5.274 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.274 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.274 * [taylor]: Taking taylor expansion of y in x 5.274 * [taylor]: Taking taylor expansion of y in x 5.275 * [taylor]: Taking taylor expansion of 1 in x 5.275 * [taylor]: Taking taylor expansion of z in x 5.275 * [taylor]: Taking taylor expansion of x in x 5.275 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 5.275 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.275 * [taylor]: Taking taylor expansion of y in y 5.275 * [taylor]: Taking taylor expansion of (* z y) in y 5.275 * [taylor]: Taking taylor expansion of z in y 5.275 * [taylor]: Taking taylor expansion of y in y 5.276 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) z) in z 5.276 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 5.276 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.276 * [taylor]: Taking taylor expansion of y in z 5.276 * [taylor]: Taking taylor expansion of z in z 5.282 * [taylor]: Taking taylor expansion of 0 in y 5.282 * [taylor]: Taking taylor expansion of 0 in z 5.283 * [taylor]: Taking taylor expansion of 0 in z 5.291 * [taylor]: Taking taylor expansion of 0 in y 5.291 * [taylor]: Taking taylor expansion of 0 in z 5.291 * [taylor]: Taking taylor expansion of 0 in z 5.292 * [taylor]: Taking taylor expansion of 0 in z 5.293 * [approximate]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in (x y z) around 0 5.293 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in z 5.293 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in z 5.293 * [taylor]: Taking taylor expansion of z in z 5.293 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in z 5.293 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.293 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in z 5.293 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in z 5.293 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.293 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in z 5.293 * [taylor]: Taking taylor expansion of 1 in z 5.293 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in z 5.293 * [taylor]: Taking taylor expansion of -1 in z 5.293 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in z 5.293 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 5.293 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.293 * [taylor]: Taking taylor expansion of -1 in z 5.293 * [taylor]: Taking taylor expansion of y in z 5.293 * [taylor]: Taking taylor expansion of y in z 5.294 * [taylor]: Taking taylor expansion of 1 in z 5.294 * [taylor]: Taking taylor expansion of x in z 5.298 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in y 5.298 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in y 5.298 * [taylor]: Taking taylor expansion of z in y 5.298 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.298 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.298 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.298 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 5.298 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.298 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 5.298 * [taylor]: Taking taylor expansion of 1 in y 5.298 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.298 * [taylor]: Taking taylor expansion of -1 in y 5.298 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.298 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.298 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.298 * [taylor]: Taking taylor expansion of -1 in y 5.299 * [taylor]: Taking taylor expansion of y in y 5.299 * [taylor]: Taking taylor expansion of y in y 5.301 * [taylor]: Taking taylor expansion of 1 in y 5.301 * [taylor]: Taking taylor expansion of x in y 5.302 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in x 5.302 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in x 5.302 * [taylor]: Taking taylor expansion of z in x 5.302 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.302 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.302 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.302 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 5.302 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.302 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 5.302 * [taylor]: Taking taylor expansion of 1 in x 5.302 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 5.302 * [taylor]: Taking taylor expansion of -1 in x 5.302 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 5.302 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.302 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.302 * [taylor]: Taking taylor expansion of -1 in x 5.302 * [taylor]: Taking taylor expansion of y in x 5.302 * [taylor]: Taking taylor expansion of y in x 5.303 * [taylor]: Taking taylor expansion of 1 in x 5.303 * [taylor]: Taking taylor expansion of x in x 5.303 * [taylor]: Taking taylor expansion of (/ (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) x) in x 5.303 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (* -1 (* (sin (/ -1 y)) y))))) in x 5.303 * [taylor]: Taking taylor expansion of z in x 5.303 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.303 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.303 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.303 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 5.304 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.304 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 5.304 * [taylor]: Taking taylor expansion of 1 in x 5.304 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 5.304 * [taylor]: Taking taylor expansion of -1 in x 5.304 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 5.304 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.304 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.304 * [taylor]: Taking taylor expansion of -1 in x 5.304 * [taylor]: Taking taylor expansion of y in x 5.304 * [taylor]: Taking taylor expansion of y in x 5.304 * [taylor]: Taking taylor expansion of 1 in x 5.304 * [taylor]: Taking taylor expansion of x in x 5.305 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in y 5.305 * [taylor]: Taking taylor expansion of -1 in y 5.305 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 5.305 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.305 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.305 * [taylor]: Taking taylor expansion of -1 in y 5.305 * [taylor]: Taking taylor expansion of y in y 5.305 * [taylor]: Taking taylor expansion of (* z y) in y 5.305 * [taylor]: Taking taylor expansion of z in y 5.305 * [taylor]: Taking taylor expansion of y in y 5.306 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) z)) in z 5.306 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) z) in z 5.306 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 5.306 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.306 * [taylor]: Taking taylor expansion of -1 in z 5.306 * [taylor]: Taking taylor expansion of y in z 5.306 * [taylor]: Taking taylor expansion of z in z 5.313 * [taylor]: Taking taylor expansion of 0 in y 5.313 * [taylor]: Taking taylor expansion of 0 in z 5.314 * [taylor]: Taking taylor expansion of 0 in z 5.323 * [taylor]: Taking taylor expansion of 0 in y 5.323 * [taylor]: Taking taylor expansion of 0 in z 5.323 * [taylor]: Taking taylor expansion of 0 in z 5.325 * [taylor]: Taking taylor expansion of 0 in z 5.325 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 5.325 * [approximate]: Taking taylor expansion of (/ (sin y) y) in (y) around 0 5.325 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.325 * [taylor]: Taking taylor expansion of (sin y) in y 5.325 * [taylor]: Taking taylor expansion of y in y 5.325 * [taylor]: Taking taylor expansion of y in y 5.326 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.326 * [taylor]: Taking taylor expansion of (sin y) in y 5.326 * [taylor]: Taking taylor expansion of y in y 5.326 * [taylor]: Taking taylor expansion of y in y 5.333 * [approximate]: Taking taylor expansion of (* (sin (/ 1 y)) y) in (y) around 0 5.333 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.333 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.333 * [taylor]: Taking taylor expansion of y in y 5.333 * [taylor]: Taking taylor expansion of y in y 5.333 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.333 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.333 * [taylor]: Taking taylor expansion of y in y 5.334 * [taylor]: Taking taylor expansion of y in y 5.343 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in (y) around 0 5.343 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.343 * [taylor]: Taking taylor expansion of -1 in y 5.343 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.343 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.343 * [taylor]: Taking taylor expansion of -1 in y 5.343 * [taylor]: Taking taylor expansion of y in y 5.343 * [taylor]: Taking taylor expansion of y in y 5.343 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.343 * [taylor]: Taking taylor expansion of -1 in y 5.343 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.343 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.343 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.343 * [taylor]: Taking taylor expansion of -1 in y 5.343 * [taylor]: Taking taylor expansion of y in y 5.344 * [taylor]: Taking taylor expansion of y in y 5.354 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.354 * [approximate]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in (x y) around 0 5.354 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in y 5.354 * [taylor]: Taking taylor expansion of x in y 5.354 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 5.355 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.355 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 5.355 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 5.355 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.355 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 5.355 * [taylor]: Taking taylor expansion of 1 in y 5.355 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.355 * [taylor]: Taking taylor expansion of (sin y) in y 5.355 * [taylor]: Taking taylor expansion of y in y 5.355 * [taylor]: Taking taylor expansion of y in y 5.356 * [taylor]: Taking taylor expansion of 1 in y 5.356 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 5.356 * [taylor]: Taking taylor expansion of x in x 5.356 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 5.357 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.357 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 5.357 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 5.357 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.357 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 5.357 * [taylor]: Taking taylor expansion of 1 in x 5.357 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 5.357 * [taylor]: Taking taylor expansion of (sin y) in x 5.357 * [taylor]: Taking taylor expansion of y in x 5.357 * [taylor]: Taking taylor expansion of y in x 5.357 * [taylor]: Taking taylor expansion of 1 in x 5.357 * [taylor]: Taking taylor expansion of (* x (expm1 (log1p (/ (sin y) y)))) in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in x 5.357 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.357 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in x 5.357 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in x 5.357 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.357 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in x 5.357 * [taylor]: Taking taylor expansion of 1 in x 5.357 * [taylor]: Taking taylor expansion of (/ (sin y) y) in x 5.357 * [taylor]: Taking taylor expansion of (sin y) in x 5.357 * [taylor]: Taking taylor expansion of y in x 5.357 * [taylor]: Taking taylor expansion of y in x 5.358 * [taylor]: Taking taylor expansion of 1 in x 5.358 * [taylor]: Taking taylor expansion of 0 in y 5.362 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.362 * [taylor]: Taking taylor expansion of (sin y) in y 5.362 * [taylor]: Taking taylor expansion of y in y 5.362 * [taylor]: Taking taylor expansion of y in y 5.367 * [taylor]: Taking taylor expansion of 0 in y 5.375 * [taylor]: Taking taylor expansion of 0 in y 5.375 * [approximate]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in (x y) around 0 5.375 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in y 5.375 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 5.375 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.375 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 5.375 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 5.375 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.375 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 5.375 * [taylor]: Taking taylor expansion of 1 in y 5.375 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.375 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.375 * [taylor]: Taking taylor expansion of y in y 5.375 * [taylor]: Taking taylor expansion of y in y 5.377 * [taylor]: Taking taylor expansion of 1 in y 5.377 * [taylor]: Taking taylor expansion of x in y 5.378 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in x 5.378 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 5.378 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.378 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 5.378 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 5.378 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.378 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 5.378 * [taylor]: Taking taylor expansion of 1 in x 5.378 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 5.378 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.378 * [taylor]: Taking taylor expansion of y in x 5.378 * [taylor]: Taking taylor expansion of y in x 5.379 * [taylor]: Taking taylor expansion of 1 in x 5.379 * [taylor]: Taking taylor expansion of x in x 5.379 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (sin (/ 1 y)) y))) x) in x 5.379 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in x 5.379 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.379 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in x 5.379 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in x 5.379 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.379 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in x 5.379 * [taylor]: Taking taylor expansion of 1 in x 5.379 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in x 5.379 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.379 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.379 * [taylor]: Taking taylor expansion of y in x 5.379 * [taylor]: Taking taylor expansion of y in x 5.380 * [taylor]: Taking taylor expansion of 1 in x 5.380 * [taylor]: Taking taylor expansion of x in x 5.380 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.380 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.380 * [taylor]: Taking taylor expansion of y in y 5.381 * [taylor]: Taking taylor expansion of y in y 5.385 * [taylor]: Taking taylor expansion of 0 in y 5.391 * [taylor]: Taking taylor expansion of 0 in y 5.399 * [taylor]: Taking taylor expansion of 0 in y 5.399 * [approximate]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in (x y) around 0 5.399 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in y 5.399 * [taylor]: Taking taylor expansion of -1 in y 5.399 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x) in y 5.399 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.399 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.399 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.399 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 5.399 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.399 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 5.399 * [taylor]: Taking taylor expansion of 1 in y 5.399 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.399 * [taylor]: Taking taylor expansion of -1 in y 5.399 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.399 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.399 * [taylor]: Taking taylor expansion of -1 in y 5.399 * [taylor]: Taking taylor expansion of y in y 5.400 * [taylor]: Taking taylor expansion of y in y 5.401 * [taylor]: Taking taylor expansion of 1 in y 5.401 * [taylor]: Taking taylor expansion of x in y 5.402 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in x 5.402 * [taylor]: Taking taylor expansion of -1 in x 5.402 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x) in x 5.402 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.402 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.402 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.402 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 5.402 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.403 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 5.403 * [taylor]: Taking taylor expansion of 1 in x 5.403 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 5.403 * [taylor]: Taking taylor expansion of -1 in x 5.403 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 5.403 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.403 * [taylor]: Taking taylor expansion of -1 in x 5.403 * [taylor]: Taking taylor expansion of y in x 5.403 * [taylor]: Taking taylor expansion of y in x 5.403 * [taylor]: Taking taylor expansion of 1 in x 5.403 * [taylor]: Taking taylor expansion of x in x 5.404 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x)) in x 5.404 * [taylor]: Taking taylor expansion of -1 in x 5.404 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) x) in x 5.404 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.404 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.404 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in x 5.404 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in x 5.404 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.404 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in x 5.404 * [taylor]: Taking taylor expansion of 1 in x 5.404 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in x 5.404 * [taylor]: Taking taylor expansion of -1 in x 5.404 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in x 5.404 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.404 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.404 * [taylor]: Taking taylor expansion of -1 in x 5.404 * [taylor]: Taking taylor expansion of y in x 5.404 * [taylor]: Taking taylor expansion of y in x 5.405 * [taylor]: Taking taylor expansion of 1 in x 5.405 * [taylor]: Taking taylor expansion of x in x 5.405 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.405 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.405 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.405 * [taylor]: Taking taylor expansion of -1 in y 5.405 * [taylor]: Taking taylor expansion of y in y 5.405 * [taylor]: Taking taylor expansion of y in y 5.410 * [taylor]: Taking taylor expansion of 0 in y 5.417 * [taylor]: Taking taylor expansion of 0 in y 5.432 * [taylor]: Taking taylor expansion of 0 in y 5.432 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.432 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in (y) around 0 5.432 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 5.432 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.432 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 5.432 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 5.433 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.433 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 5.433 * [taylor]: Taking taylor expansion of 1 in y 5.433 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.433 * [taylor]: Taking taylor expansion of (sin y) in y 5.433 * [taylor]: Taking taylor expansion of y in y 5.433 * [taylor]: Taking taylor expansion of y in y 5.434 * [taylor]: Taking taylor expansion of 1 in y 5.434 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (sin y) y))) in y 5.434 * [taylor]: Rewrote expression to (- (exp (log1p (/ (sin y) y))) 1) 5.434 * [taylor]: Taking taylor expansion of (exp (log1p (/ (sin y) y))) in y 5.434 * [taylor]: Taking taylor expansion of (log1p (/ (sin y) y)) in y 5.434 * [taylor]: Rewrote expression to (log (+ 1 (/ (sin y) y))) 5.434 * [taylor]: Taking taylor expansion of (+ 1 (/ (sin y) y)) in y 5.434 * [taylor]: Taking taylor expansion of 1 in y 5.435 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 5.435 * [taylor]: Taking taylor expansion of (sin y) in y 5.435 * [taylor]: Taking taylor expansion of y in y 5.435 * [taylor]: Taking taylor expansion of y in y 5.436 * [taylor]: Taking taylor expansion of 1 in y 5.464 * [approximate]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in (y) around 0 5.464 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 5.464 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.464 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 5.464 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 5.464 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.464 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 5.464 * [taylor]: Taking taylor expansion of 1 in y 5.464 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.464 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.464 * [taylor]: Taking taylor expansion of y in y 5.465 * [taylor]: Taking taylor expansion of y in y 5.466 * [taylor]: Taking taylor expansion of 1 in y 5.466 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 y)) y))) in y 5.466 * [taylor]: Rewrote expression to (- (exp (log1p (* (sin (/ 1 y)) y))) 1) 5.466 * [taylor]: Taking taylor expansion of (exp (log1p (* (sin (/ 1 y)) y))) in y 5.466 * [taylor]: Taking taylor expansion of (log1p (* (sin (/ 1 y)) y)) in y 5.466 * [taylor]: Rewrote expression to (log (+ 1 (* (sin (/ 1 y)) y))) 5.466 * [taylor]: Taking taylor expansion of (+ 1 (* (sin (/ 1 y)) y)) in y 5.466 * [taylor]: Taking taylor expansion of 1 in y 5.466 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 5.466 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.466 * [taylor]: Taking taylor expansion of y in y 5.467 * [taylor]: Taking taylor expansion of y in y 5.468 * [taylor]: Taking taylor expansion of 1 in y 5.521 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in (y) around 0 5.521 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.521 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.522 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.522 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 5.522 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.522 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 5.522 * [taylor]: Taking taylor expansion of 1 in y 5.522 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.522 * [taylor]: Taking taylor expansion of -1 in y 5.522 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.522 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.522 * [taylor]: Taking taylor expansion of -1 in y 5.522 * [taylor]: Taking taylor expansion of y in y 5.522 * [taylor]: Taking taylor expansion of y in y 5.524 * [taylor]: Taking taylor expansion of 1 in y 5.524 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.524 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) 1) 5.524 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* (sin (/ -1 y)) y)))) in y 5.524 * [taylor]: Taking taylor expansion of (log1p (* -1 (* (sin (/ -1 y)) y))) in y 5.524 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* (sin (/ -1 y)) y)))) 5.524 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* (sin (/ -1 y)) y))) in y 5.524 * [taylor]: Taking taylor expansion of 1 in y 5.524 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) y)) in y 5.524 * [taylor]: Taking taylor expansion of -1 in y 5.524 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 5.524 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.524 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.524 * [taylor]: Taking taylor expansion of -1 in y 5.524 * [taylor]: Taking taylor expansion of y in y 5.525 * [taylor]: Taking taylor expansion of y in y 5.526 * [taylor]: Taking taylor expansion of 1 in y 5.581 * * * [progress]: simplifying candidates 5.583 * [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.591 * * [simplify]: iteration 0 : 140 enodes (cost 966 ) 5.618 * * [simplify]: iteration 1 : 273 enodes (cost 813 ) 5.681 * * [simplify]: iteration 2 : 794 enodes (cost 717 ) 6.590 * * [simplify]: iteration 3 : 4278 enodes (cost 714 ) 7.588 * * [simplify]: iteration done : 5000 enodes (cost 714 ) 7.589 * [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 -1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (/ (sin y) y) (/ (sin y) y) x (/ (* x (sin y)) y) (/ (* x (sin y)) y) (fma -1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (/ (sin y) y) (/ (sin y) y) 7.589 * * * [progress]: adding candidates to table 7.813 * * [progress]: iteration 4 / 4 7.813 * * * [progress]: picking best candidate 7.829 * * * * [pick]: Picked # 7.829 * * * [progress]: localizing error 7.836 * * * [progress]: generating rewritten candidates 7.836 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 7.841 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 7.843 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 7.853 * * * [progress]: generating series expansions 7.853 * * * * [progress]: [ 1 / 3 ] generating series at (2) 7.853 * [approximate]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in (x z y) around 0 7.853 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in y 7.854 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 7.854 * [taylor]: Taking taylor expansion of x in y 7.854 * [taylor]: Taking taylor expansion of (sin y) in y 7.854 * [taylor]: Taking taylor expansion of y in y 7.854 * [taylor]: Taking taylor expansion of (* z y) in y 7.854 * [taylor]: Taking taylor expansion of z in y 7.854 * [taylor]: Taking taylor expansion of y in y 7.855 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in z 7.855 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 7.855 * [taylor]: Taking taylor expansion of x in z 7.855 * [taylor]: Taking taylor expansion of (sin y) in z 7.855 * [taylor]: Taking taylor expansion of y in z 7.855 * [taylor]: Taking taylor expansion of (* z y) in z 7.855 * [taylor]: Taking taylor expansion of z in z 7.855 * [taylor]: Taking taylor expansion of y in z 7.855 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 7.855 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.855 * [taylor]: Taking taylor expansion of x in x 7.856 * [taylor]: Taking taylor expansion of (sin y) in x 7.856 * [taylor]: Taking taylor expansion of y in x 7.856 * [taylor]: Taking taylor expansion of (* z y) in x 7.856 * [taylor]: Taking taylor expansion of z in x 7.856 * [taylor]: Taking taylor expansion of y in x 7.857 * [taylor]: Taking taylor expansion of (/ (* x (sin y)) (* z y)) in x 7.858 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.858 * [taylor]: Taking taylor expansion of x in x 7.858 * [taylor]: Taking taylor expansion of (sin y) in x 7.858 * [taylor]: Taking taylor expansion of y in x 7.858 * [taylor]: Taking taylor expansion of (* z y) in x 7.858 * [taylor]: Taking taylor expansion of z in x 7.858 * [taylor]: Taking taylor expansion of y in x 7.860 * [taylor]: Taking taylor expansion of (/ (sin y) (* z y)) in z 7.860 * [taylor]: Taking taylor expansion of (sin y) in z 7.860 * [taylor]: Taking taylor expansion of y in z 7.860 * [taylor]: Taking taylor expansion of (* z y) in z 7.860 * [taylor]: Taking taylor expansion of z in z 7.860 * [taylor]: Taking taylor expansion of y in z 7.860 * [taylor]: Taking taylor expansion of (/ (sin y) y) in y 7.860 * [taylor]: Taking taylor expansion of (sin y) in y 7.860 * [taylor]: Taking taylor expansion of y in y 7.860 * [taylor]: Taking taylor expansion of y in y 7.863 * [taylor]: Taking taylor expansion of 0 in z 7.866 * [taylor]: Taking taylor expansion of 0 in y 7.870 * [taylor]: Taking taylor expansion of 0 in z 7.870 * [taylor]: Taking taylor expansion of 0 in y 7.872 * [taylor]: Taking taylor expansion of 0 in y 7.879 * [taylor]: Taking taylor expansion of 0 in z 7.879 * [taylor]: Taking taylor expansion of 0 in y 7.879 * [taylor]: Taking taylor expansion of 0 in y 7.886 * [taylor]: Taking taylor expansion of 0 in y 7.887 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in (x z y) around 0 7.887 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in y 7.887 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 7.887 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.887 * [taylor]: Taking taylor expansion of y in y 7.887 * [taylor]: Taking taylor expansion of (* z y) in y 7.887 * [taylor]: Taking taylor expansion of z in y 7.887 * [taylor]: Taking taylor expansion of y in y 7.887 * [taylor]: Taking taylor expansion of x in y 7.888 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in z 7.888 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.888 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.888 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.888 * [taylor]: Taking taylor expansion of y in z 7.888 * [taylor]: Taking taylor expansion of (* z y) in z 7.888 * [taylor]: Taking taylor expansion of z in z 7.888 * [taylor]: Taking taylor expansion of y in z 7.888 * [taylor]: Taking taylor expansion of x in z 7.890 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 7.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 7.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.891 * [taylor]: Taking taylor expansion of y in x 7.891 * [taylor]: Taking taylor expansion of (* z y) in x 7.891 * [taylor]: Taking taylor expansion of z in x 7.891 * [taylor]: Taking taylor expansion of y in x 7.891 * [taylor]: Taking taylor expansion of x in x 7.891 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 y)) (* z y)) x) in x 7.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in x 7.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.891 * [taylor]: Taking taylor expansion of y in x 7.891 * [taylor]: Taking taylor expansion of (* z y) in x 7.891 * [taylor]: Taking taylor expansion of z in x 7.891 * [taylor]: Taking taylor expansion of y in x 7.891 * [taylor]: Taking taylor expansion of x in x 7.891 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.891 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.892 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.892 * [taylor]: Taking taylor expansion of y in z 7.892 * [taylor]: Taking taylor expansion of (* z y) in z 7.892 * [taylor]: Taking taylor expansion of z in z 7.892 * [taylor]: Taking taylor expansion of y in z 7.894 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.894 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.894 * [taylor]: Taking taylor expansion of y in y 7.894 * [taylor]: Taking taylor expansion of y in y 7.897 * [taylor]: Taking taylor expansion of 0 in z 7.897 * [taylor]: Taking taylor expansion of 0 in y 7.899 * [taylor]: Taking taylor expansion of 0 in y 7.903 * [taylor]: Taking taylor expansion of 0 in z 7.903 * [taylor]: Taking taylor expansion of 0 in y 7.903 * [taylor]: Taking taylor expansion of 0 in y 7.907 * [taylor]: Taking taylor expansion of 0 in y 7.908 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in (x z y) around 0 7.908 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in y 7.908 * [taylor]: Taking taylor expansion of -1 in y 7.908 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in y 7.908 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z 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 -1 in y 7.908 * [taylor]: Taking taylor expansion of y in y 7.908 * [taylor]: Taking taylor expansion of (* z y) in y 7.908 * [taylor]: Taking taylor expansion of z in y 7.908 * [taylor]: Taking taylor expansion of y in y 7.908 * [taylor]: Taking taylor expansion of x in y 7.909 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in z 7.909 * [taylor]: Taking taylor expansion of -1 in z 7.909 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in z 7.909 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 7.909 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 7.909 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.909 * [taylor]: Taking taylor expansion of -1 in z 7.909 * [taylor]: Taking taylor expansion of y in z 7.909 * [taylor]: Taking taylor expansion of (* z y) in z 7.909 * [taylor]: Taking taylor expansion of z in z 7.909 * [taylor]: Taking taylor expansion of y in z 7.909 * [taylor]: Taking taylor expansion of x in z 7.911 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 7.912 * [taylor]: Taking taylor expansion of -1 in x 7.912 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 7.912 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 7.912 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.912 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.912 * [taylor]: Taking taylor expansion of -1 in x 7.912 * [taylor]: Taking taylor expansion of y in x 7.912 * [taylor]: Taking taylor expansion of (* z y) in x 7.912 * [taylor]: Taking taylor expansion of z in x 7.912 * [taylor]: Taking taylor expansion of y in x 7.912 * [taylor]: Taking taylor expansion of x in x 7.912 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (/ -1 y)) (* z y)) x)) in x 7.912 * [taylor]: Taking taylor expansion of -1 in x 7.912 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 y)) (* z y)) x) in x 7.912 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in x 7.912 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.912 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.912 * [taylor]: Taking taylor expansion of -1 in x 7.912 * [taylor]: Taking taylor expansion of y in x 7.912 * [taylor]: Taking taylor expansion of (* z y) in x 7.912 * [taylor]: Taking taylor expansion of z in x 7.912 * [taylor]: Taking taylor expansion of y in x 7.912 * [taylor]: Taking taylor expansion of x in x 7.913 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 y)) (* z y))) in z 7.913 * [taylor]: Taking taylor expansion of -1 in z 7.913 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 7.913 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 7.913 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.913 * [taylor]: Taking taylor expansion of -1 in z 7.913 * [taylor]: Taking taylor expansion of y in z 7.913 * [taylor]: Taking taylor expansion of (* z y) in z 7.913 * [taylor]: Taking taylor expansion of z in z 7.913 * [taylor]: Taking taylor expansion of y in z 7.916 * [taylor]: Taking taylor expansion of (- (* (sin (/ -1 y)) y)) 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.920 * [taylor]: Taking taylor expansion of 0 in z 7.920 * [taylor]: Taking taylor expansion of 0 in y 7.923 * [taylor]: Taking taylor expansion of 0 in y 7.928 * [taylor]: Taking taylor expansion of 0 in z 7.928 * [taylor]: Taking taylor expansion of 0 in y 7.928 * [taylor]: Taking taylor expansion of 0 in y 7.932 * [taylor]: Taking taylor expansion of 0 in y 7.933 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 7.933 * [approximate]: Taking taylor expansion of (/ y (sin y)) in (y) around 0 7.933 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.933 * [taylor]: Taking taylor expansion of y in y 7.933 * [taylor]: Taking taylor expansion of (sin y) in y 7.933 * [taylor]: Taking taylor expansion of y in y 7.933 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.934 * [taylor]: Taking taylor expansion of y in y 7.934 * [taylor]: Taking taylor expansion of (sin y) in y 7.934 * [taylor]: Taking taylor expansion of y in y 7.941 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in (y) around 0 7.941 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.941 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.941 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.941 * [taylor]: Taking taylor expansion of y in y 7.941 * [taylor]: Taking taylor expansion of y in y 7.942 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.942 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.942 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.942 * [taylor]: Taking taylor expansion of y in y 7.942 * [taylor]: Taking taylor expansion of y in y 7.947 * [approximate]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in (y) around 0 7.947 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.947 * [taylor]: Taking taylor expansion of -1 in y 7.947 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.947 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.947 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.947 * [taylor]: Taking taylor expansion of -1 in y 7.947 * [taylor]: Taking taylor expansion of y in y 7.948 * [taylor]: Taking taylor expansion of y in y 7.948 * [taylor]: Taking taylor expansion of (/ -1 (* (sin (/ -1 y)) y)) in y 7.948 * [taylor]: Taking taylor expansion of -1 in y 7.948 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 7.948 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.948 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.948 * [taylor]: Taking taylor expansion of -1 in y 7.948 * [taylor]: Taking taylor expansion of y in y 7.948 * [taylor]: Taking taylor expansion of y in y 7.954 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 7.954 * [approximate]: Taking taylor expansion of (/ (* z y) (sin y)) in (z y) around 0 7.954 * [taylor]: Taking taylor expansion of (/ (* z y) (sin y)) in y 7.954 * [taylor]: Taking taylor expansion of (* z y) in y 7.954 * [taylor]: Taking taylor expansion of z in y 7.954 * [taylor]: Taking taylor expansion of y in y 7.954 * [taylor]: Taking taylor expansion of (sin y) in y 7.954 * [taylor]: Taking taylor expansion of y in y 7.955 * [taylor]: Taking taylor expansion of (/ (* z y) (sin y)) in z 7.955 * [taylor]: Taking taylor expansion of (* z y) in z 7.955 * [taylor]: Taking taylor expansion of z in z 7.955 * [taylor]: Taking taylor expansion of y in z 7.955 * [taylor]: Taking taylor expansion of (sin y) in z 7.955 * [taylor]: Taking taylor expansion of y in z 7.955 * [taylor]: Taking taylor expansion of (/ (* z y) (sin y)) in z 7.955 * [taylor]: Taking taylor expansion of (* z y) in z 7.955 * [taylor]: Taking taylor expansion of z in z 7.955 * [taylor]: Taking taylor expansion of y in z 7.955 * [taylor]: Taking taylor expansion of (sin y) in z 7.955 * [taylor]: Taking taylor expansion of y in z 7.956 * [taylor]: Taking taylor expansion of (/ y (sin y)) in y 7.956 * [taylor]: Taking taylor expansion of y in y 7.956 * [taylor]: Taking taylor expansion of (sin y) in y 7.956 * [taylor]: Taking taylor expansion of y in y 7.959 * [taylor]: Taking taylor expansion of 0 in y 7.962 * [taylor]: Taking taylor expansion of 0 in y 7.967 * [taylor]: Taking taylor expansion of 0 in y 7.979 * [taylor]: Taking taylor expansion of 0 in y 7.979 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in (z y) around 0 7.979 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in y 7.979 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in y 7.979 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.979 * [taylor]: Taking taylor expansion of y in y 7.979 * [taylor]: Taking taylor expansion of (* z y) in y 7.979 * [taylor]: Taking taylor expansion of z in y 7.979 * [taylor]: Taking taylor expansion of y in y 7.980 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in z 7.980 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.980 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.980 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.980 * [taylor]: Taking taylor expansion of y in z 7.980 * [taylor]: Taking taylor expansion of (* z y) in z 7.980 * [taylor]: Taking taylor expansion of z in z 7.980 * [taylor]: Taking taylor expansion of y in z 7.983 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) (* z y))) in z 7.983 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (* z y)) in z 7.983 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 7.983 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.983 * [taylor]: Taking taylor expansion of y in z 7.983 * [taylor]: Taking taylor expansion of (* z y) in z 7.983 * [taylor]: Taking taylor expansion of z in z 7.983 * [taylor]: Taking taylor expansion of y in z 7.985 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ 1 y)) y)) in y 7.985 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) y) in y 7.985 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.985 * [taylor]: Taking taylor expansion of y in y 7.985 * [taylor]: Taking taylor expansion of y in y 7.989 * [taylor]: Taking taylor expansion of 0 in y 7.993 * [taylor]: Taking taylor expansion of 0 in y 7.999 * [taylor]: Taking taylor expansion of 0 in y 8.000 * [approximate]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in (z y) around 0 8.000 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in y 8.000 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in y 8.000 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.000 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.000 * [taylor]: Taking taylor expansion of -1 in y 8.000 * [taylor]: Taking taylor expansion of y in y 8.000 * [taylor]: Taking taylor expansion of (* z y) in y 8.000 * [taylor]: Taking taylor expansion of z in y 8.000 * [taylor]: Taking taylor expansion of y in y 8.001 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in z 8.001 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 8.001 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 8.001 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.001 * [taylor]: Taking taylor expansion of -1 in z 8.001 * [taylor]: Taking taylor expansion of y in z 8.001 * [taylor]: Taking taylor expansion of (* z y) in z 8.001 * [taylor]: Taking taylor expansion of z in z 8.001 * [taylor]: Taking taylor expansion of y in z 8.003 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) (* z y))) in z 8.004 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) (* z y)) in z 8.004 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 8.004 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.004 * [taylor]: Taking taylor expansion of -1 in z 8.004 * [taylor]: Taking taylor expansion of y in z 8.004 * [taylor]: Taking taylor expansion of (* z y) in z 8.004 * [taylor]: Taking taylor expansion of z in z 8.004 * [taylor]: Taking taylor expansion of y in z 8.006 * [taylor]: Taking taylor expansion of (/ 1 (* (sin (/ -1 y)) y)) in y 8.006 * [taylor]: Taking taylor expansion of (* (sin (/ -1 y)) y) in y 8.006 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.006 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.006 * [taylor]: Taking taylor expansion of -1 in y 8.006 * [taylor]: Taking taylor expansion of y in y 8.006 * [taylor]: Taking taylor expansion of y in y 8.010 * [taylor]: Taking taylor expansion of 0 in y 8.014 * [taylor]: Taking taylor expansion of 0 in y 8.020 * [taylor]: Taking taylor expansion of 0 in y 8.021 * * * [progress]: simplifying candidates 8.022 * [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.026 * * [simplify]: iteration 0 : 145 enodes (cost 935 ) 8.063 * * [simplify]: iteration 1 : 325 enodes (cost 901 ) 8.142 * * [simplify]: iteration 2 : 1023 enodes (cost 784 ) 9.289 * * [simplify]: iteration 3 : 4799 enodes (cost 781 ) 10.238 * * [simplify]: iteration done : 5000 enodes (cost 781 ) 10.238 * [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.239 * * * [progress]: adding candidates to table 10.452 * [progress]: [Phase 3 of 3] Extracting. 10.452 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 10.453 * * * [regime-changes]: Trying 4 branch expressions: ((/ (sin y) y) z y x) 10.453 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# # # # # # # # #) 10.486 * * * * [regimes]: Trying to branch on (/ (sin y) y) from (# #) 10.503 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 10.533 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 10.564 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 10.593 * * * [regime]: Found split indices: #