0.980 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.809 * * * [progress]: [2/2] Setting up program. 0.813 * [progress]: [Phase 2 of 3] Improving. 0.815 * [simplify]: Simplifying using # : (+.f64 (neg.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (/.f64 1.0 (sin.f64 B))) 1.246 * * [simplify]: iteration 0 : 382 enodes (cost 11 ) 1.247 * * [simplify]: iteration 1 : 382 enodes (cost 11 ) 1.247 * [simplify]: Simplified to: (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))) 1.255 * * [progress]: iteration 1 / 4 1.255 * * * [progress]: picking best candidate 1.258 * * * * [pick]: Picked # 1.258 * * * [progress]: localizing error 1.279 * * * [progress]: generating rewritten candidates 1.279 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.289 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.293 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.297 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.308 * * * [progress]: generating series expansions 1.308 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.313 * [approximate]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in (x B) around 0 1.314 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.314 * [taylor]: Taking taylor expansion of 1.0 in B 1.314 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.314 * [taylor]: Taking taylor expansion of x in B 1.314 * [taylor]: Taking taylor expansion of (tan B) in B 1.317 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.317 * [taylor]: Taking taylor expansion of (sin B) in B 1.317 * [taylor]: Taking taylor expansion of B in B 1.317 * [taylor]: Taking taylor expansion of (cos B) in B 1.317 * [taylor]: Taking taylor expansion of B in B 1.318 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.318 * [taylor]: Taking taylor expansion of 1.0 in x 1.318 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.318 * [taylor]: Taking taylor expansion of x in x 1.318 * [taylor]: Taking taylor expansion of (tan B) in x 1.318 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.318 * [taylor]: Taking taylor expansion of (sin B) in x 1.318 * [taylor]: Taking taylor expansion of B in x 1.318 * [taylor]: Taking taylor expansion of (cos B) in x 1.318 * [taylor]: Taking taylor expansion of B in x 1.320 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.320 * [taylor]: Taking taylor expansion of 1.0 in x 1.320 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of (tan B) in x 1.320 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.320 * [taylor]: Taking taylor expansion of (sin B) in x 1.320 * [taylor]: Taking taylor expansion of B in x 1.320 * [taylor]: Taking taylor expansion of (cos B) in x 1.320 * [taylor]: Taking taylor expansion of B in x 1.321 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 1.321 * [taylor]: Taking taylor expansion of 1.0 in B 1.321 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.321 * [taylor]: Taking taylor expansion of (cos B) in B 1.321 * [taylor]: Taking taylor expansion of B in B 1.321 * [taylor]: Taking taylor expansion of (sin B) in B 1.321 * [taylor]: Taking taylor expansion of B in B 1.322 * [taylor]: Taking taylor expansion of 0 in B 1.323 * [taylor]: Taking taylor expansion of 0 in B 1.325 * [taylor]: Taking taylor expansion of 0 in B 1.327 * [taylor]: Taking taylor expansion of 0 in B 1.328 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in (x B) around 0 1.328 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 1.328 * [taylor]: Taking taylor expansion of 1.0 in B 1.328 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.328 * [taylor]: Taking taylor expansion of x in B 1.328 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.328 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.328 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.328 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.328 * [taylor]: Taking taylor expansion of B in B 1.328 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.328 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.328 * [taylor]: Taking taylor expansion of B in B 1.329 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.329 * [taylor]: Taking taylor expansion of 1.0 in x 1.329 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.329 * [taylor]: Taking taylor expansion of x in x 1.329 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.329 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.329 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.329 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.329 * [taylor]: Taking taylor expansion of B in x 1.330 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.330 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.330 * [taylor]: Taking taylor expansion of B in x 1.331 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.331 * [taylor]: Taking taylor expansion of 1.0 in x 1.331 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.331 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.331 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.331 * [taylor]: Taking taylor expansion of B in x 1.331 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.331 * [taylor]: Taking taylor expansion of B in x 1.333 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.333 * [taylor]: Taking taylor expansion of 1.0 in B 1.333 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.333 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.333 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.333 * [taylor]: Taking taylor expansion of B in B 1.333 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.333 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.333 * [taylor]: Taking taylor expansion of B in B 1.335 * [taylor]: Taking taylor expansion of 0 in B 1.338 * [taylor]: Taking taylor expansion of 0 in B 1.344 * [taylor]: Taking taylor expansion of 0 in B 1.344 * [approximate]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in (x B) around 0 1.344 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 1.344 * [taylor]: Taking taylor expansion of -1.0 in B 1.344 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.344 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.344 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.344 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.344 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.344 * [taylor]: Taking taylor expansion of -1 in B 1.344 * [taylor]: Taking taylor expansion of B in B 1.344 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.344 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.344 * [taylor]: Taking taylor expansion of -1 in B 1.344 * [taylor]: Taking taylor expansion of B in B 1.345 * [taylor]: Taking taylor expansion of x in B 1.345 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.345 * [taylor]: Taking taylor expansion of -1.0 in x 1.345 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.345 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.345 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.345 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of B in x 1.345 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.345 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.345 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of B in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.346 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.346 * [taylor]: Taking taylor expansion of -1.0 in x 1.346 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.346 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.347 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.347 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.347 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.347 * [taylor]: Taking taylor expansion of -1 in x 1.347 * [taylor]: Taking taylor expansion of B in x 1.347 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.347 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.347 * [taylor]: Taking taylor expansion of -1 in x 1.347 * [taylor]: Taking taylor expansion of B in x 1.347 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of (* -1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.348 * [taylor]: Taking taylor expansion of -1.0 in B 1.348 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.348 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.348 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.348 * [taylor]: Taking taylor expansion of -1 in B 1.348 * [taylor]: Taking taylor expansion of B in B 1.348 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.348 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.348 * [taylor]: Taking taylor expansion of -1 in B 1.348 * [taylor]: Taking taylor expansion of B in B 1.350 * [taylor]: Taking taylor expansion of 0 in B 1.352 * [taylor]: Taking taylor expansion of 0 in B 1.354 * [taylor]: Taking taylor expansion of 0 in B 1.354 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.354 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 1.354 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.354 * [taylor]: Taking taylor expansion of 1.0 in B 1.354 * [taylor]: Taking taylor expansion of (sin B) in B 1.354 * [taylor]: Taking taylor expansion of B in B 1.355 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.355 * [taylor]: Taking taylor expansion of 1.0 in B 1.355 * [taylor]: Taking taylor expansion of (sin B) in B 1.355 * [taylor]: Taking taylor expansion of B in B 1.356 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 1.356 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.356 * [taylor]: Taking taylor expansion of 1.0 in B 1.356 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.356 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.356 * [taylor]: Taking taylor expansion of B in B 1.356 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.356 * [taylor]: Taking taylor expansion of 1.0 in B 1.356 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.356 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.356 * [taylor]: Taking taylor expansion of B in B 1.358 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 1.358 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.358 * [taylor]: Taking taylor expansion of 1.0 in B 1.358 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.358 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.358 * [taylor]: Taking taylor expansion of -1 in B 1.358 * [taylor]: Taking taylor expansion of B in B 1.358 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.358 * [taylor]: Taking taylor expansion of 1.0 in B 1.359 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.359 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.359 * [taylor]: Taking taylor expansion of -1 in B 1.359 * [taylor]: Taking taylor expansion of B in B 1.360 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.360 * [approximate]: Taking taylor expansion of (/ 1.0 (tan B)) in (B) around 0 1.360 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 1.360 * [taylor]: Taking taylor expansion of 1.0 in B 1.361 * [taylor]: Taking taylor expansion of (tan B) in B 1.361 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.361 * [taylor]: Taking taylor expansion of (sin B) in B 1.361 * [taylor]: Taking taylor expansion of B in B 1.361 * [taylor]: Taking taylor expansion of (cos B) in B 1.361 * [taylor]: Taking taylor expansion of B in B 1.361 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 1.361 * [taylor]: Taking taylor expansion of 1.0 in B 1.361 * [taylor]: Taking taylor expansion of (tan B) in B 1.361 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.361 * [taylor]: Taking taylor expansion of (sin B) in B 1.361 * [taylor]: Taking taylor expansion of B in B 1.361 * [taylor]: Taking taylor expansion of (cos B) in B 1.361 * [taylor]: Taking taylor expansion of B in B 1.363 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in (B) around 0 1.363 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 1.363 * [taylor]: Taking taylor expansion of 1.0 in B 1.363 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.363 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.363 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.363 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.363 * [taylor]: Taking taylor expansion of B in B 1.363 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.363 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.363 * [taylor]: Taking taylor expansion of B in B 1.363 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 1.363 * [taylor]: Taking taylor expansion of 1.0 in B 1.363 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.363 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.363 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.363 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.363 * [taylor]: Taking taylor expansion of B in B 1.363 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.363 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.363 * [taylor]: Taking taylor expansion of B in B 1.368 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in (B) around 0 1.368 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 1.368 * [taylor]: Taking taylor expansion of 1.0 in B 1.368 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.368 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.368 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.368 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.368 * [taylor]: Taking taylor expansion of -1 in B 1.368 * [taylor]: Taking taylor expansion of B in B 1.368 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.369 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.369 * [taylor]: Taking taylor expansion of -1 in B 1.369 * [taylor]: Taking taylor expansion of B in B 1.369 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 1.369 * [taylor]: Taking taylor expansion of 1.0 in B 1.369 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.369 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.369 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.369 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.369 * [taylor]: Taking taylor expansion of -1 in B 1.369 * [taylor]: Taking taylor expansion of B in B 1.369 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.369 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.369 * [taylor]: Taking taylor expansion of -1 in B 1.369 * [taylor]: Taking taylor expansion of B in B 1.374 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.374 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in (B x) around 0 1.374 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in x 1.374 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 1.374 * [taylor]: Taking taylor expansion of 1.0 in x 1.374 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 1.374 * [taylor]: Taking taylor expansion of (sin B) in x 1.374 * [taylor]: Taking taylor expansion of B in x 1.374 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.374 * [taylor]: Taking taylor expansion of 1.0 in x 1.374 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.374 * [taylor]: Taking taylor expansion of x in x 1.374 * [taylor]: Taking taylor expansion of (tan B) in x 1.374 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.375 * [taylor]: Taking taylor expansion of (sin B) in x 1.375 * [taylor]: Taking taylor expansion of B in x 1.375 * [taylor]: Taking taylor expansion of (cos B) in x 1.375 * [taylor]: Taking taylor expansion of B in x 1.375 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.375 * [taylor]: Taking taylor expansion of 1.0 in B 1.375 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.375 * [taylor]: Taking taylor expansion of (sin B) in B 1.375 * [taylor]: Taking taylor expansion of B in B 1.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.375 * [taylor]: Taking taylor expansion of 1.0 in B 1.375 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.375 * [taylor]: Taking taylor expansion of x in B 1.375 * [taylor]: Taking taylor expansion of (tan B) in B 1.375 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.375 * [taylor]: Taking taylor expansion of (sin B) in B 1.375 * [taylor]: Taking taylor expansion of B in B 1.375 * [taylor]: Taking taylor expansion of (cos B) in B 1.375 * [taylor]: Taking taylor expansion of B in B 1.375 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.375 * [taylor]: Taking taylor expansion of 1.0 in B 1.375 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.375 * [taylor]: Taking taylor expansion of (sin B) in B 1.375 * [taylor]: Taking taylor expansion of B in B 1.376 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.376 * [taylor]: Taking taylor expansion of 1.0 in B 1.376 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.376 * [taylor]: Taking taylor expansion of x in B 1.376 * [taylor]: Taking taylor expansion of (tan B) in B 1.376 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.376 * [taylor]: Taking taylor expansion of (sin B) in B 1.376 * [taylor]: Taking taylor expansion of B in B 1.376 * [taylor]: Taking taylor expansion of (cos B) in B 1.376 * [taylor]: Taking taylor expansion of B in B 1.376 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 1.376 * [taylor]: Taking taylor expansion of 1.0 in x 1.376 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.376 * [taylor]: Taking taylor expansion of 1.0 in x 1.376 * [taylor]: Taking taylor expansion of x in x 1.376 * [taylor]: Taking taylor expansion of 0 in x 1.377 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 1.377 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.377 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.377 * [taylor]: Taking taylor expansion of x in x 1.377 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.382 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in (B x) around 0 1.382 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in x 1.382 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.382 * [taylor]: Taking taylor expansion of 1.0 in x 1.382 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.382 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.382 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.382 * [taylor]: Taking taylor expansion of B in x 1.383 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in x 1.383 * [taylor]: Taking taylor expansion of 1.0 in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in x 1.383 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.383 * [taylor]: Taking taylor expansion of x in x 1.383 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.383 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.383 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.383 * [taylor]: Taking taylor expansion of B in x 1.383 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.383 * [taylor]: Taking taylor expansion of B in x 1.384 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.384 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.384 * [taylor]: Taking taylor expansion of 1.0 in B 1.384 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.384 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.384 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.385 * [taylor]: Taking taylor expansion of B in B 1.385 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.385 * [taylor]: Taking taylor expansion of 1.0 in B 1.385 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.385 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.385 * [taylor]: Taking taylor expansion of x in B 1.385 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.385 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.385 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.385 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.385 * [taylor]: Taking taylor expansion of B in B 1.385 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.385 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.385 * [taylor]: Taking taylor expansion of B in B 1.385 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.385 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.385 * [taylor]: Taking taylor expansion of 1.0 in B 1.385 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.385 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.385 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.385 * [taylor]: Taking taylor expansion of B in B 1.385 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.385 * [taylor]: Taking taylor expansion of 1.0 in B 1.385 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.385 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.386 * [taylor]: Taking taylor expansion of x in B 1.386 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.386 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.386 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.386 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.386 * [taylor]: Taking taylor expansion of B in B 1.386 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.386 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.386 * [taylor]: Taking taylor expansion of B in B 1.386 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 1.386 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.386 * [taylor]: Taking taylor expansion of 1.0 in x 1.386 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.386 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.386 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.386 * [taylor]: Taking taylor expansion of B in x 1.387 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.387 * [taylor]: Taking taylor expansion of 1.0 in x 1.387 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.387 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.387 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.387 * [taylor]: Taking taylor expansion of B in x 1.387 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.387 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.387 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.387 * [taylor]: Taking taylor expansion of B in x 1.387 * [taylor]: Taking taylor expansion of x in x 1.389 * [taylor]: Taking taylor expansion of 0 in x 1.391 * [taylor]: Taking taylor expansion of 0 in x 1.395 * [taylor]: Taking taylor expansion of 0 in x 1.402 * [taylor]: Taking taylor expansion of 0 in x 1.403 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in (B x) around 0 1.403 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in x 1.403 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.403 * [taylor]: Taking taylor expansion of 1.0 in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.403 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.403 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.403 * [taylor]: Taking taylor expansion of -1 in x 1.403 * [taylor]: Taking taylor expansion of B in x 1.403 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in x 1.403 * [taylor]: Taking taylor expansion of 1.0 in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in x 1.403 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.403 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.403 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.403 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.403 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.403 * [taylor]: Taking taylor expansion of -1 in x 1.403 * [taylor]: Taking taylor expansion of B in x 1.404 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.404 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.404 * [taylor]: Taking taylor expansion of -1 in x 1.404 * [taylor]: Taking taylor expansion of B in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.405 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 1.405 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.405 * [taylor]: Taking taylor expansion of 1.0 in B 1.405 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.405 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.405 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.405 * [taylor]: Taking taylor expansion of -1 in B 1.405 * [taylor]: Taking taylor expansion of B in B 1.405 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 1.405 * [taylor]: Taking taylor expansion of 1.0 in B 1.405 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 1.405 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.405 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.405 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.405 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.405 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.405 * [taylor]: Taking taylor expansion of -1 in B 1.405 * [taylor]: Taking taylor expansion of B in B 1.405 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.405 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.405 * [taylor]: Taking taylor expansion of -1 in B 1.405 * [taylor]: Taking taylor expansion of B in B 1.406 * [taylor]: Taking taylor expansion of x in B 1.406 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 1.406 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.406 * [taylor]: Taking taylor expansion of 1.0 in B 1.406 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.406 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.406 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.406 * [taylor]: Taking taylor expansion of -1 in B 1.406 * [taylor]: Taking taylor expansion of B in B 1.406 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 1.406 * [taylor]: Taking taylor expansion of 1.0 in B 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 1.406 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.406 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.406 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.406 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.406 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.406 * [taylor]: Taking taylor expansion of -1 in B 1.406 * [taylor]: Taking taylor expansion of B in B 1.406 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.406 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.406 * [taylor]: Taking taylor expansion of -1 in B 1.406 * [taylor]: Taking taylor expansion of B in B 1.406 * [taylor]: Taking taylor expansion of x in B 1.407 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)))) in x 1.407 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.407 * [taylor]: Taking taylor expansion of 1.0 in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.407 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.407 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.407 * [taylor]: Taking taylor expansion of -1 in x 1.407 * [taylor]: Taking taylor expansion of B in x 1.407 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 1.407 * [taylor]: Taking taylor expansion of 1.0 in x 1.407 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 1.407 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.407 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.407 * [taylor]: Taking taylor expansion of -1 in x 1.407 * [taylor]: Taking taylor expansion of B in x 1.408 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.408 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.408 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.408 * [taylor]: Taking taylor expansion of -1 in x 1.408 * [taylor]: Taking taylor expansion of B in x 1.408 * [taylor]: Taking taylor expansion of x in x 1.409 * [taylor]: Taking taylor expansion of 0 in x 1.411 * [taylor]: Taking taylor expansion of 0 in x 1.414 * [taylor]: Taking taylor expansion of 0 in x 1.419 * [taylor]: Taking taylor expansion of 0 in x 1.420 * * * [progress]: simplifying candidates 1.421 * [simplify]: Simplifying using # : (*.f64 x (/.f64 1.0 (tan.f64 B))) (+.f64 (log.f64 x) (-.f64 (log.f64 1.0) (log.f64 (tan.f64 B)))) (+.f64 (log.f64 x) (log.f64 (/.f64 1.0 (tan.f64 B)))) (log.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (exp.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (*.f64 (*.f64 (*.f64 x x) x) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (/.f64 1.0 (tan.f64 B)) (/.f64 1.0 (tan.f64 B))) (/.f64 1.0 (tan.f64 B)))) (*.f64 (cbrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (cbrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))))) (cbrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (*.f64 (*.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) (*.f64 x (/.f64 1.0 (tan.f64 B)))) (*.f64 x (/.f64 1.0 (tan.f64 B)))) (sqrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (sqrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1.0 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1.0 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B)))) (*.f64 x (*.f64 (cbrt.f64 (/.f64 1.0 (tan.f64 B))) (cbrt.f64 (/.f64 1.0 (tan.f64 B))))) (*.f64 x (sqrt.f64 (/.f64 1.0 (tan.f64 B)))) (*.f64 x (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))) (*.f64 x (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (tan.f64 B)))) (*.f64 x (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1)) (*.f64 x (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))) (*.f64 x (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B)))) (*.f64 x (/.f64 (sqrt.f64 1.0) 1)) (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))) (*.f64 x (/.f64 1 (sqrt.f64 (tan.f64 B)))) (*.f64 x (/.f64 1 1)) (*.f64 x 1) (*.f64 x 1.0) (*.f64 x (/.f64 1.0 (sin.f64 B))) (*.f64 (cbrt.f64 x) (/.f64 1.0 (tan.f64 B))) (*.f64 (sqrt.f64 x) (/.f64 1.0 (tan.f64 B))) (*.f64 x (/.f64 1.0 (tan.f64 B))) (*.f64 x 1.0) (-.f64 (log.f64 1.0) (log.f64 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (sin.f64 B) (sin.f64 B)) (sin.f64 B))) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) 1) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1 1) (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 1) (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (-.f64 (log.f64 1.0) (log.f64 (tan.f64 B))) (log.f64 (/.f64 1.0 (tan.f64 B))) (exp.f64 (/.f64 1.0 (tan.f64 B))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B))) (*.f64 (cbrt.f64 (/.f64 1.0 (tan.f64 B))) (cbrt.f64 (/.f64 1.0 (tan.f64 B)))) (cbrt.f64 (/.f64 1.0 (tan.f64 B))) (*.f64 (*.f64 (/.f64 1.0 (tan.f64 B)) (/.f64 1.0 (tan.f64 B))) (/.f64 1.0 (tan.f64 B))) (sqrt.f64 (/.f64 1.0 (tan.f64 B))) (sqrt.f64 (/.f64 1.0 (tan.f64 B))) (neg.f64 1.0) (neg.f64 (tan.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (tan.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (tan.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (tan.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) (/.f64 (cbrt.f64 1.0) (tan.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (tan.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B))) (/.f64 (sqrt.f64 1.0) 1) (/.f64 (sqrt.f64 1.0) (tan.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (cbrt.f64 (tan.f64 B))) (/.f64 1 (sqrt.f64 (tan.f64 B))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) (/.f64 1 1) (/.f64 1.0 (tan.f64 B)) (/.f64 1 (tan.f64 B)) (/.f64 (tan.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) (/.f64 1.0 1) (/.f64 (tan.f64 B) (cbrt.f64 1.0)) (/.f64 (tan.f64 B) (sqrt.f64 1.0)) (/.f64 (tan.f64 B) 1.0) (/.f64 1.0 (sin.f64 B)) (/.f64 (exp.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (*.f64 (*.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (-.f64 (*.f64 1.0 (tan.f64 B)) (*.f64 (sin.f64 B) (*.f64 x 1.0))) (*.f64 (sin.f64 B) (tan.f64 B)) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (+.f64 (*.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) (*.f64 x (/.f64 1.0 (tan.f64 B)))) (*.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))))) (neg.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (+.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 x B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (-.f64 (*.f64 1.0 (/.f64 1 B)) (+.f64 (*.f64 0.022222222222222227 (pow.f64 B 3)) (*.f64 0.3333333333333333 B))) (*.f64 1.0 (/.f64 (cos.f64 B) (sin.f64 B))) (*.f64 1.0 (/.f64 (cos.f64 B) (sin.f64 B))) (-.f64 (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B)) (*.f64 1.0 (/.f64 x B))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 (cos.f64 (/.f64 1 (/.f64 1 B))) x) (sin.f64 (/.f64 1 (/.f64 1 B)))))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) 1.495 * * [simplify]: iteration 0 : 4954 enodes (cost 989 ) 1.495 * * [simplify]: iteration 1 : 4954 enodes (cost 989 ) 1.500 * [simplify]: Simplified to: (*.f64 x (/.f64 1.0 (tan.f64 B))) (log.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (log.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (log.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (exp.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (pow.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) 3) (pow.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) 3) (*.f64 (cbrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (cbrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))))) (cbrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (pow.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) 3) (sqrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (sqrt.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1.0 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 1.0 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B)))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B)))) (*.f64 x (*.f64 (cbrt.f64 (/.f64 1.0 (tan.f64 B))) (cbrt.f64 (/.f64 1.0 (tan.f64 B))))) (*.f64 x (sqrt.f64 (/.f64 1.0 (tan.f64 B)))) (*.f64 x (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))) (*.f64 x (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (tan.f64 B)))) (*.f64 x (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0))) (*.f64 x (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))) (*.f64 x (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B)))) (*.f64 x (sqrt.f64 1.0)) (/.f64 x (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 x (sqrt.f64 (tan.f64 B))) x x (*.f64 x 1.0) (*.f64 x (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 1.0 (tan.f64 B)) (cbrt.f64 x)) (*.f64 (/.f64 1.0 (tan.f64 B)) (sqrt.f64 x)) (*.f64 x (/.f64 1.0 (tan.f64 B))) (*.f64 x 1.0) (log.f64 (/.f64 1.0 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1.0 (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (log.f64 (/.f64 1.0 (tan.f64 B))) (log.f64 (/.f64 1.0 (tan.f64 B))) (exp.f64 (/.f64 1.0 (tan.f64 B))) (pow.f64 (/.f64 1.0 (tan.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 1.0 (tan.f64 B))) (cbrt.f64 (/.f64 1.0 (tan.f64 B)))) (cbrt.f64 (/.f64 1.0 (tan.f64 B))) (pow.f64 (/.f64 1.0 (tan.f64 B)) 3) (sqrt.f64 (/.f64 1.0 (tan.f64 B))) (sqrt.f64 (/.f64 1.0 (tan.f64 B))) (neg.f64 1.0) (neg.f64 (tan.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (tan.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (tan.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (tan.f64 B))) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (/.f64 (cbrt.f64 1.0) (tan.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (tan.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (tan.f64 B))) (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (tan.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (cbrt.f64 (tan.f64 B))) (/.f64 1 (sqrt.f64 (tan.f64 B))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) 1 (/.f64 1.0 (tan.f64 B)) (/.f64 1 (tan.f64 B)) (/.f64 (tan.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) 1.0 (/.f64 (tan.f64 B) (cbrt.f64 1.0)) (/.f64 (tan.f64 B) (sqrt.f64 1.0)) (/.f64 (tan.f64 B) 1.0) (/.f64 1.0 (sin.f64 B)) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (pow.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B)))) 3) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (*.f64 1.0 (-.f64 (tan.f64 B) (*.f64 x (sin.f64 B)))) (*.f64 (tan.f64 B) (sin.f64 B)) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 x (*.f64 (/.f64 1.0 (tan.f64 B)) (+.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) (/.f64 1.0 (sin.f64 B)))))) (neg.f64 (*.f64 x (/.f64 1.0 (tan.f64 B)))) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) (*.f64 x (/.f64 1.0 (tan.f64 B))))) (+.f64 (*.f64 x (/.f64 1.0 (tan.f64 B))) (/.f64 1.0 (sin.f64 B))) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 x B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (-.f64 (/.f64 1.0 B) (+.f64 (*.f64 (pow.f64 B 3) 0.022222222222222227) (*.f64 B 0.3333333333333333))) (*.f64 1.0 (/.f64 (cos.f64 B) (sin.f64 B))) (*.f64 1.0 (/.f64 (cos.f64 B) (sin.f64 B))) (-.f64 (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666)) (*.f64 1.0 (/.f64 x B))) (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) 1.501 * * * [progress]: adding candidates to table 1.620 * * [progress]: iteration 2 / 4 1.620 * * * [progress]: picking best candidate 1.640 * * * * [pick]: Picked # 1.640 * * * [progress]: localizing error 1.650 * * * [progress]: generating rewritten candidates 1.650 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.654 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.659 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.672 * * * [progress]: generating series expansions 1.672 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.672 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 1.672 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.672 * [taylor]: Taking taylor expansion of 1.0 in B 1.672 * [taylor]: Taking taylor expansion of (sin B) in B 1.672 * [taylor]: Taking taylor expansion of B in B 1.672 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.672 * [taylor]: Taking taylor expansion of 1.0 in B 1.672 * [taylor]: Taking taylor expansion of (sin B) in B 1.672 * [taylor]: Taking taylor expansion of B in B 1.673 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 1.673 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.673 * [taylor]: Taking taylor expansion of 1.0 in B 1.673 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.673 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.673 * [taylor]: Taking taylor expansion of B in B 1.674 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.674 * [taylor]: Taking taylor expansion of 1.0 in B 1.674 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.674 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.674 * [taylor]: Taking taylor expansion of B in B 1.675 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 1.675 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.676 * [taylor]: Taking taylor expansion of 1.0 in B 1.676 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.676 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.676 * [taylor]: Taking taylor expansion of -1 in B 1.676 * [taylor]: Taking taylor expansion of B in B 1.676 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.676 * [taylor]: Taking taylor expansion of 1.0 in B 1.676 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.676 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.676 * [taylor]: Taking taylor expansion of -1 in B 1.676 * [taylor]: Taking taylor expansion of B in B 1.678 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.678 * [approximate]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in (x B) around 0 1.678 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.678 * [taylor]: Taking taylor expansion of 1.0 in B 1.678 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.678 * [taylor]: Taking taylor expansion of x in B 1.678 * [taylor]: Taking taylor expansion of (tan B) in B 1.678 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.678 * [taylor]: Taking taylor expansion of (sin B) in B 1.678 * [taylor]: Taking taylor expansion of B in B 1.678 * [taylor]: Taking taylor expansion of (cos B) in B 1.678 * [taylor]: Taking taylor expansion of B in B 1.678 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.678 * [taylor]: Taking taylor expansion of 1.0 in x 1.678 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.678 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of (tan B) in x 1.678 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.678 * [taylor]: Taking taylor expansion of (sin B) in x 1.678 * [taylor]: Taking taylor expansion of B in x 1.678 * [taylor]: Taking taylor expansion of (cos B) in x 1.678 * [taylor]: Taking taylor expansion of B in x 1.679 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.679 * [taylor]: Taking taylor expansion of 1.0 in x 1.679 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.679 * [taylor]: Taking taylor expansion of x in x 1.679 * [taylor]: Taking taylor expansion of (tan B) in x 1.679 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.679 * [taylor]: Taking taylor expansion of (sin B) in x 1.679 * [taylor]: Taking taylor expansion of B in x 1.679 * [taylor]: Taking taylor expansion of (cos B) in x 1.679 * [taylor]: Taking taylor expansion of B in x 1.679 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 1.679 * [taylor]: Taking taylor expansion of 1.0 in B 1.679 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.679 * [taylor]: Taking taylor expansion of (cos B) in B 1.679 * [taylor]: Taking taylor expansion of B in B 1.679 * [taylor]: Taking taylor expansion of (sin B) in B 1.679 * [taylor]: Taking taylor expansion of B in B 1.680 * [taylor]: Taking taylor expansion of 0 in B 1.681 * [taylor]: Taking taylor expansion of 0 in B 1.683 * [taylor]: Taking taylor expansion of 0 in B 1.687 * [taylor]: Taking taylor expansion of 0 in B 1.687 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in (x B) around 0 1.687 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 1.687 * [taylor]: Taking taylor expansion of 1.0 in B 1.687 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.687 * [taylor]: Taking taylor expansion of x in B 1.687 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.687 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.687 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.688 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.688 * [taylor]: Taking taylor expansion of B in B 1.688 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.688 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.688 * [taylor]: Taking taylor expansion of B in B 1.688 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.688 * [taylor]: Taking taylor expansion of 1.0 in x 1.688 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.688 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.688 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.688 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.688 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.688 * [taylor]: Taking taylor expansion of B in x 1.688 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.688 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.688 * [taylor]: Taking taylor expansion of B in x 1.690 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.690 * [taylor]: Taking taylor expansion of 1.0 in x 1.690 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.690 * [taylor]: Taking taylor expansion of x in x 1.690 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.690 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.691 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.691 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.691 * [taylor]: Taking taylor expansion of B in x 1.691 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.691 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.691 * [taylor]: Taking taylor expansion of B in x 1.692 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.692 * [taylor]: Taking taylor expansion of 1.0 in B 1.692 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.692 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.692 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.692 * [taylor]: Taking taylor expansion of B in B 1.692 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.692 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.692 * [taylor]: Taking taylor expansion of B in B 1.694 * [taylor]: Taking taylor expansion of 0 in B 1.698 * [taylor]: Taking taylor expansion of 0 in B 1.703 * [taylor]: Taking taylor expansion of 0 in B 1.703 * [approximate]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in (x B) around 0 1.703 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 1.703 * [taylor]: Taking taylor expansion of -1.0 in B 1.703 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.703 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.704 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.704 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.704 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.704 * [taylor]: Taking taylor expansion of -1 in B 1.704 * [taylor]: Taking taylor expansion of B in B 1.704 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.704 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.704 * [taylor]: Taking taylor expansion of -1 in B 1.704 * [taylor]: Taking taylor expansion of B in B 1.704 * [taylor]: Taking taylor expansion of x in B 1.704 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.704 * [taylor]: Taking taylor expansion of -1.0 in x 1.704 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.704 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.704 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.704 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.704 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.704 * [taylor]: Taking taylor expansion of -1 in x 1.704 * [taylor]: Taking taylor expansion of B in x 1.704 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.704 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.704 * [taylor]: Taking taylor expansion of -1 in x 1.704 * [taylor]: Taking taylor expansion of B in x 1.705 * [taylor]: Taking taylor expansion of x in x 1.706 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.706 * [taylor]: Taking taylor expansion of -1.0 in x 1.706 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.706 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.706 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.706 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.706 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.706 * [taylor]: Taking taylor expansion of -1 in x 1.706 * [taylor]: Taking taylor expansion of B in x 1.706 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.706 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.706 * [taylor]: Taking taylor expansion of -1 in x 1.706 * [taylor]: Taking taylor expansion of B in x 1.706 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of (* -1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.707 * [taylor]: Taking taylor expansion of -1.0 in B 1.707 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.708 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.708 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.708 * [taylor]: Taking taylor expansion of -1 in B 1.708 * [taylor]: Taking taylor expansion of B in B 1.708 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.708 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.708 * [taylor]: Taking taylor expansion of -1 in B 1.708 * [taylor]: Taking taylor expansion of B in B 1.709 * [taylor]: Taking taylor expansion of 0 in B 1.711 * [taylor]: Taking taylor expansion of 0 in B 1.713 * [taylor]: Taking taylor expansion of 0 in B 1.714 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.714 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in (B x) around 0 1.714 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in x 1.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 1.714 * [taylor]: Taking taylor expansion of 1.0 in x 1.714 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 1.714 * [taylor]: Taking taylor expansion of (sin B) in x 1.714 * [taylor]: Taking taylor expansion of B in x 1.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.714 * [taylor]: Taking taylor expansion of 1.0 in x 1.714 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.714 * [taylor]: Taking taylor expansion of x in x 1.714 * [taylor]: Taking taylor expansion of (tan B) in x 1.714 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.714 * [taylor]: Taking taylor expansion of (sin B) in x 1.714 * [taylor]: Taking taylor expansion of B in x 1.714 * [taylor]: Taking taylor expansion of (cos B) in x 1.714 * [taylor]: Taking taylor expansion of B in x 1.715 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.715 * [taylor]: Taking taylor expansion of 1.0 in B 1.715 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.715 * [taylor]: Taking taylor expansion of (sin B) in B 1.715 * [taylor]: Taking taylor expansion of B in B 1.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.715 * [taylor]: Taking taylor expansion of 1.0 in B 1.715 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.715 * [taylor]: Taking taylor expansion of x in B 1.715 * [taylor]: Taking taylor expansion of (tan B) in B 1.715 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.715 * [taylor]: Taking taylor expansion of (sin B) in B 1.715 * [taylor]: Taking taylor expansion of B in B 1.715 * [taylor]: Taking taylor expansion of (cos B) in B 1.715 * [taylor]: Taking taylor expansion of B in B 1.715 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.715 * [taylor]: Taking taylor expansion of 1.0 in B 1.715 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.715 * [taylor]: Taking taylor expansion of (sin B) in B 1.715 * [taylor]: Taking taylor expansion of B in B 1.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.715 * [taylor]: Taking taylor expansion of 1.0 in B 1.715 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.715 * [taylor]: Taking taylor expansion of x in B 1.715 * [taylor]: Taking taylor expansion of (tan B) in B 1.716 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.716 * [taylor]: Taking taylor expansion of (sin B) in B 1.716 * [taylor]: Taking taylor expansion of B in B 1.716 * [taylor]: Taking taylor expansion of (cos B) in B 1.716 * [taylor]: Taking taylor expansion of B in B 1.716 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 1.716 * [taylor]: Taking taylor expansion of 1.0 in x 1.716 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.716 * [taylor]: Taking taylor expansion of 1.0 in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of 0 in x 1.717 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 1.717 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.717 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.717 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in (B x) around 0 1.717 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in x 1.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.717 * [taylor]: Taking taylor expansion of 1.0 in x 1.718 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.718 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.718 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.718 * [taylor]: Taking taylor expansion of B in x 1.718 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in x 1.718 * [taylor]: Taking taylor expansion of 1.0 in x 1.718 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in x 1.718 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.718 * [taylor]: Taking taylor expansion of x in x 1.718 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.718 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.718 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.718 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.718 * [taylor]: Taking taylor expansion of B in x 1.718 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.718 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.718 * [taylor]: Taking taylor expansion of B in x 1.719 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.719 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.719 * [taylor]: Taking taylor expansion of 1.0 in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.720 * [taylor]: Taking taylor expansion of B in B 1.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.720 * [taylor]: Taking taylor expansion of 1.0 in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.720 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.720 * [taylor]: Taking taylor expansion of x in B 1.720 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.720 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.720 * [taylor]: Taking taylor expansion of B in B 1.720 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.720 * [taylor]: Taking taylor expansion of B in B 1.720 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.720 * [taylor]: Taking taylor expansion of 1.0 in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.720 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.720 * [taylor]: Taking taylor expansion of B in B 1.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.720 * [taylor]: Taking taylor expansion of 1.0 in B 1.721 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.721 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.721 * [taylor]: Taking taylor expansion of x in B 1.721 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.721 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.721 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.721 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.721 * [taylor]: Taking taylor expansion of B in B 1.721 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.721 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.721 * [taylor]: Taking taylor expansion of B in B 1.721 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 1.721 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.721 * [taylor]: Taking taylor expansion of 1.0 in x 1.721 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.721 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.721 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.721 * [taylor]: Taking taylor expansion of B in x 1.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.722 * [taylor]: Taking taylor expansion of 1.0 in x 1.722 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.722 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.722 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.722 * [taylor]: Taking taylor expansion of B in x 1.722 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.722 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.722 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.722 * [taylor]: Taking taylor expansion of B in x 1.722 * [taylor]: Taking taylor expansion of x in x 1.723 * [taylor]: Taking taylor expansion of 0 in x 1.726 * [taylor]: Taking taylor expansion of 0 in x 1.729 * [taylor]: Taking taylor expansion of 0 in x 1.737 * [taylor]: Taking taylor expansion of 0 in x 1.737 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in (B x) around 0 1.737 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in x 1.737 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.737 * [taylor]: Taking taylor expansion of 1.0 in x 1.737 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.737 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.737 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.737 * [taylor]: Taking taylor expansion of -1 in x 1.737 * [taylor]: Taking taylor expansion of B in x 1.737 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in x 1.737 * [taylor]: Taking taylor expansion of 1.0 in x 1.737 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in x 1.737 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.738 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.738 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.738 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.738 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.738 * [taylor]: Taking taylor expansion of -1 in x 1.738 * [taylor]: Taking taylor expansion of B in x 1.738 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.738 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.738 * [taylor]: Taking taylor expansion of -1 in x 1.738 * [taylor]: Taking taylor expansion of B in x 1.738 * [taylor]: Taking taylor expansion of x in x 1.739 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 1.739 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.739 * [taylor]: Taking taylor expansion of 1.0 in B 1.739 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.739 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.739 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.739 * [taylor]: Taking taylor expansion of -1 in B 1.739 * [taylor]: Taking taylor expansion of B in B 1.739 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 1.739 * [taylor]: Taking taylor expansion of 1.0 in B 1.739 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 1.739 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.739 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.740 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.740 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.740 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.740 * [taylor]: Taking taylor expansion of -1 in B 1.740 * [taylor]: Taking taylor expansion of B in B 1.740 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.740 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.740 * [taylor]: Taking taylor expansion of -1 in B 1.740 * [taylor]: Taking taylor expansion of B in B 1.740 * [taylor]: Taking taylor expansion of x in B 1.740 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 1.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.740 * [taylor]: Taking taylor expansion of 1.0 in B 1.740 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.740 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.740 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.740 * [taylor]: Taking taylor expansion of -1 in B 1.740 * [taylor]: Taking taylor expansion of B in B 1.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 1.740 * [taylor]: Taking taylor expansion of 1.0 in B 1.740 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 1.740 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.740 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.740 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.740 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.740 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.740 * [taylor]: Taking taylor expansion of -1 in B 1.740 * [taylor]: Taking taylor expansion of B in B 1.741 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.741 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.741 * [taylor]: Taking taylor expansion of -1 in B 1.741 * [taylor]: Taking taylor expansion of B in B 1.741 * [taylor]: Taking taylor expansion of x in B 1.741 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)))) in x 1.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 1.741 * [taylor]: Taking taylor expansion of 1.0 in x 1.741 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 1.741 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.741 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.741 * [taylor]: Taking taylor expansion of -1 in x 1.741 * [taylor]: Taking taylor expansion of B in x 1.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 1.742 * [taylor]: Taking taylor expansion of 1.0 in x 1.742 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 1.742 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.742 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.742 * [taylor]: Taking taylor expansion of -1 in x 1.742 * [taylor]: Taking taylor expansion of B in x 1.742 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.742 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.742 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.742 * [taylor]: Taking taylor expansion of -1 in x 1.742 * [taylor]: Taking taylor expansion of B in x 1.742 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of 0 in x 1.746 * [taylor]: Taking taylor expansion of 0 in x 1.749 * [taylor]: Taking taylor expansion of 0 in x 1.754 * [taylor]: Taking taylor expansion of 0 in x 1.754 * * * [progress]: simplifying candidates 1.755 * [simplify]: Simplifying using # : (-.f64 (log.f64 1.0) (log.f64 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (sin.f64 B) (sin.f64 B)) (sin.f64 B))) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) 1) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1 1) (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 1) (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (-.f64 (+.f64 (log.f64 x) (log.f64 1.0)) (log.f64 (tan.f64 B))) (-.f64 (log.f64 (*.f64 x 1.0)) (log.f64 (tan.f64 B))) (log.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (exp.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (/.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 1.0 1.0) 1.0)) (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B))) (/.f64 (*.f64 (*.f64 (*.f64 x 1.0) (*.f64 x 1.0)) (*.f64 x 1.0)) (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B))) (*.f64 (cbrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (cbrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (cbrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (*.f64 (*.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))) (/.f64 (*.f64 x 1.0) (tan.f64 B))) (sqrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (sqrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (neg.f64 (*.f64 x 1.0)) (neg.f64 (tan.f64 B)) (/.f64 x (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (cbrt.f64 (tan.f64 B))) (/.f64 x (sqrt.f64 (tan.f64 B))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) (/.f64 x 1) (/.f64 1.0 (tan.f64 B)) (/.f64 1 (tan.f64 B)) (/.f64 (tan.f64 B) (*.f64 x 1.0)) (/.f64 (*.f64 x 1.0) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (*.f64 x 1.0) (sqrt.f64 (tan.f64 B))) (/.f64 (*.f64 x 1.0) 1) (/.f64 (tan.f64 B) 1.0) (/.f64 (*.f64 x 1.0) (sin.f64 B)) (/.f64 (exp.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (*.f64 (*.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (-.f64 (*.f64 1.0 (tan.f64 B)) (*.f64 (sin.f64 B) (*.f64 x 1.0))) (*.f64 (sin.f64 B) (tan.f64 B)) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (+.f64 (*.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))) (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))))) (neg.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B))) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (+.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))) (+.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 x 1.0) (tan.f64 B)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 x 1.0) (tan.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 x B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (-.f64 (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B)) (*.f64 1.0 (/.f64 x B))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 (cos.f64 (/.f64 1 (/.f64 1 B))) x) (sin.f64 (/.f64 1 (/.f64 1 B)))))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) 1.800 * * [simplify]: iteration 0 : 4981 enodes (cost 730 ) 1.800 * * [simplify]: iteration 1 : 4981 enodes (cost 730 ) 1.804 * [simplify]: Simplified to: (log.f64 (/.f64 1.0 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1.0 (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (exp.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (cbrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (cbrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (*.f64 (neg.f64 1.0) x) (neg.f64 (tan.f64 B)) (/.f64 x (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (cbrt.f64 (tan.f64 B))) (/.f64 x (sqrt.f64 (tan.f64 B))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) x (/.f64 1.0 (tan.f64 B)) (/.f64 1 (tan.f64 B)) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (*.f64 1.0 (/.f64 x (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))) (*.f64 1.0 (/.f64 x (sqrt.f64 (tan.f64 B)))) (*.f64 1.0 x) (/.f64 (tan.f64 B) 1.0) (*.f64 (/.f64 1.0 (sin.f64 B)) x) (pow.f64 (exp.f64 1.0) (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (pow.f64 (exp.f64 1.0) (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (pow.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) 3) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (*.f64 1.0 (-.f64 (tan.f64 B) (*.f64 (sin.f64 B) x))) (*.f64 (sin.f64 B) (tan.f64 B)) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (+.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))))) (/.f64 (*.f64 (neg.f64 1.0) x) (tan.f64 B)) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (+.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) (+.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (*.f64 x (-.f64 (/.f64 1.0 B) (*.f64 B 0.3333333333333333))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (-.f64 (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666)) (*.f64 1.0 (/.f64 x B))) (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) 1.804 * * * [progress]: adding candidates to table 1.868 * * [progress]: iteration 3 / 4 1.869 * * * [progress]: picking best candidate 1.887 * * * * [pick]: Picked # 1.887 * * * [progress]: localizing error 1.898 * * * [progress]: generating rewritten candidates 1.898 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.905 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.909 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.914 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.941 * * * [progress]: generating series expansions 1.941 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.942 * [approximate]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in (B x) around 0 1.942 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.942 * [taylor]: Taking taylor expansion of 1.0 in x 1.942 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.942 * [taylor]: Taking taylor expansion of x in x 1.942 * [taylor]: Taking taylor expansion of (tan B) in x 1.942 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.942 * [taylor]: Taking taylor expansion of (sin B) in x 1.942 * [taylor]: Taking taylor expansion of B in x 1.942 * [taylor]: Taking taylor expansion of (cos B) in x 1.942 * [taylor]: Taking taylor expansion of B in x 1.942 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.942 * [taylor]: Taking taylor expansion of 1.0 in B 1.942 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.942 * [taylor]: Taking taylor expansion of x in B 1.942 * [taylor]: Taking taylor expansion of (tan B) in B 1.942 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.942 * [taylor]: Taking taylor expansion of (sin B) in B 1.942 * [taylor]: Taking taylor expansion of B in B 1.942 * [taylor]: Taking taylor expansion of (cos B) in B 1.942 * [taylor]: Taking taylor expansion of B in B 1.943 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.943 * [taylor]: Taking taylor expansion of 1.0 in B 1.943 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.943 * [taylor]: Taking taylor expansion of x in B 1.943 * [taylor]: Taking taylor expansion of (tan B) in B 1.943 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.943 * [taylor]: Taking taylor expansion of (sin B) in B 1.943 * [taylor]: Taking taylor expansion of B in B 1.943 * [taylor]: Taking taylor expansion of (cos B) in B 1.943 * [taylor]: Taking taylor expansion of B in B 1.943 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.943 * [taylor]: Taking taylor expansion of 1.0 in x 1.943 * [taylor]: Taking taylor expansion of x in x 1.943 * [taylor]: Taking taylor expansion of 0 in x 1.944 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 x)) in x 1.944 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.944 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.944 * [taylor]: Taking taylor expansion of x in x 1.944 * [taylor]: Taking taylor expansion of 0 in x 1.945 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in (B x) around 0 1.945 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 1.945 * [taylor]: Taking taylor expansion of 1.0 in x 1.945 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.945 * [taylor]: Taking taylor expansion of x in x 1.945 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.945 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.945 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.945 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.945 * [taylor]: Taking taylor expansion of B in x 1.945 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.945 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.945 * [taylor]: Taking taylor expansion of B in x 1.946 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 1.946 * [taylor]: Taking taylor expansion of 1.0 in B 1.946 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.946 * [taylor]: Taking taylor expansion of x in B 1.947 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.947 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.947 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.947 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.947 * [taylor]: Taking taylor expansion of B in B 1.947 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.947 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.947 * [taylor]: Taking taylor expansion of B in B 1.947 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 1.947 * [taylor]: Taking taylor expansion of 1.0 in B 1.947 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.947 * [taylor]: Taking taylor expansion of x in B 1.947 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.947 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.947 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.947 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.947 * [taylor]: Taking taylor expansion of B in B 1.947 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.947 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.947 * [taylor]: Taking taylor expansion of B in B 1.948 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.948 * [taylor]: Taking taylor expansion of 1.0 in x 1.948 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.948 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.948 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.948 * [taylor]: Taking taylor expansion of B in x 1.948 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.948 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.948 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.948 * [taylor]: Taking taylor expansion of B in x 1.948 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of 0 in x 1.951 * [taylor]: Taking taylor expansion of 0 in x 1.954 * [taylor]: Taking taylor expansion of 0 in x 1.958 * [approximate]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in (B x) around 0 1.958 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 1.958 * [taylor]: Taking taylor expansion of -1.0 in x 1.958 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.958 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.958 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.958 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.958 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.958 * [taylor]: Taking taylor expansion of -1 in x 1.958 * [taylor]: Taking taylor expansion of B in x 1.958 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.958 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.958 * [taylor]: Taking taylor expansion of -1 in x 1.958 * [taylor]: Taking taylor expansion of B in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.960 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 1.960 * [taylor]: Taking taylor expansion of -1.0 in B 1.960 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.960 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.960 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.960 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.960 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.960 * [taylor]: Taking taylor expansion of -1 in B 1.960 * [taylor]: Taking taylor expansion of B in B 1.960 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.960 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.960 * [taylor]: Taking taylor expansion of -1 in B 1.960 * [taylor]: Taking taylor expansion of B in B 1.960 * [taylor]: Taking taylor expansion of x in B 1.960 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 1.960 * [taylor]: Taking taylor expansion of -1.0 in B 1.960 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.960 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.960 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.960 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.960 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.960 * [taylor]: Taking taylor expansion of -1 in B 1.961 * [taylor]: Taking taylor expansion of B in B 1.961 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.961 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.961 * [taylor]: Taking taylor expansion of -1 in B 1.961 * [taylor]: Taking taylor expansion of B in B 1.961 * [taylor]: Taking taylor expansion of x in B 1.961 * [taylor]: Taking taylor expansion of (* -1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 1.961 * [taylor]: Taking taylor expansion of -1.0 in x 1.961 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 1.961 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.961 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.961 * [taylor]: Taking taylor expansion of -1 in x 1.961 * [taylor]: Taking taylor expansion of B in x 1.961 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.961 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.961 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.961 * [taylor]: Taking taylor expansion of -1 in x 1.961 * [taylor]: Taking taylor expansion of B in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.963 * [taylor]: Taking taylor expansion of 0 in x 1.964 * [taylor]: Taking taylor expansion of 0 in x 1.966 * [taylor]: Taking taylor expansion of 0 in x 1.968 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.968 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 1.968 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.968 * [taylor]: Taking taylor expansion of 1.0 in B 1.968 * [taylor]: Taking taylor expansion of (sin B) in B 1.968 * [taylor]: Taking taylor expansion of B in B 1.968 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.968 * [taylor]: Taking taylor expansion of 1.0 in B 1.968 * [taylor]: Taking taylor expansion of (sin B) in B 1.968 * [taylor]: Taking taylor expansion of B in B 1.970 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 1.970 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.970 * [taylor]: Taking taylor expansion of 1.0 in B 1.970 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.970 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.970 * [taylor]: Taking taylor expansion of B in B 1.970 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.970 * [taylor]: Taking taylor expansion of 1.0 in B 1.970 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.970 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.970 * [taylor]: Taking taylor expansion of B in B 1.972 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 1.972 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.972 * [taylor]: Taking taylor expansion of 1.0 in B 1.972 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.972 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.972 * [taylor]: Taking taylor expansion of -1 in B 1.972 * [taylor]: Taking taylor expansion of B in B 1.972 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.972 * [taylor]: Taking taylor expansion of 1.0 in B 1.972 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.972 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.972 * [taylor]: Taking taylor expansion of -1 in B 1.972 * [taylor]: Taking taylor expansion of B in B 1.974 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.974 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in (B x) around 0 1.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in x 1.974 * [taylor]: Taking taylor expansion of 1.0 in x 1.974 * [taylor]: Taking taylor expansion of (/ (tan B) x) in x 1.974 * [taylor]: Taking taylor expansion of (tan B) in x 1.974 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.974 * [taylor]: Taking taylor expansion of (sin B) in x 1.974 * [taylor]: Taking taylor expansion of B in x 1.974 * [taylor]: Taking taylor expansion of (cos B) in x 1.974 * [taylor]: Taking taylor expansion of B in x 1.974 * [taylor]: Taking taylor expansion of x in x 1.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in B 1.974 * [taylor]: Taking taylor expansion of 1.0 in B 1.975 * [taylor]: Taking taylor expansion of (/ (tan B) x) in B 1.975 * [taylor]: Taking taylor expansion of (tan B) in B 1.975 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.975 * [taylor]: Taking taylor expansion of (sin B) in B 1.975 * [taylor]: Taking taylor expansion of B in B 1.975 * [taylor]: Taking taylor expansion of (cos B) in B 1.975 * [taylor]: Taking taylor expansion of B in B 1.975 * [taylor]: Taking taylor expansion of x in B 1.975 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in B 1.975 * [taylor]: Taking taylor expansion of 1.0 in B 1.975 * [taylor]: Taking taylor expansion of (/ (tan B) x) in B 1.975 * [taylor]: Taking taylor expansion of (tan B) in B 1.975 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.975 * [taylor]: Taking taylor expansion of (sin B) in B 1.975 * [taylor]: Taking taylor expansion of B in B 1.975 * [taylor]: Taking taylor expansion of (cos B) in B 1.975 * [taylor]: Taking taylor expansion of B in B 1.975 * [taylor]: Taking taylor expansion of x in B 1.975 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.975 * [taylor]: Taking taylor expansion of 1.0 in x 1.975 * [taylor]: Taking taylor expansion of x in x 1.975 * [taylor]: Taking taylor expansion of 0 in x 1.976 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.976 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.976 * [taylor]: Taking taylor expansion of x in x 1.977 * [taylor]: Taking taylor expansion of 0 in x 1.977 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ 1 x)) in x 1.978 * [taylor]: Taking taylor expansion of 0.13333333333333333 in x 1.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.978 * [approximate]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in (B x) around 0 1.978 * [taylor]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in x 1.978 * [taylor]: Taking taylor expansion of 1.0 in x 1.978 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.978 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.978 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.978 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.978 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.978 * [taylor]: Taking taylor expansion of B in x 1.978 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.978 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.978 * [taylor]: Taking taylor expansion of B in x 1.979 * [taylor]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in B 1.979 * [taylor]: Taking taylor expansion of 1.0 in B 1.979 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.979 * [taylor]: Taking taylor expansion of x in B 1.979 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.979 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.979 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.979 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.979 * [taylor]: Taking taylor expansion of B in B 1.979 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.979 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.979 * [taylor]: Taking taylor expansion of B in B 1.979 * [taylor]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in B 1.979 * [taylor]: Taking taylor expansion of 1.0 in B 1.979 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.979 * [taylor]: Taking taylor expansion of x in B 1.979 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.979 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.979 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.979 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.979 * [taylor]: Taking taylor expansion of B in B 1.980 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.980 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.980 * [taylor]: Taking taylor expansion of B in B 1.980 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ 1 B)) x) (cos (/ 1 B)))) in x 1.980 * [taylor]: Taking taylor expansion of 1.0 in x 1.980 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 1.980 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.980 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.980 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.980 * [taylor]: Taking taylor expansion of B in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.980 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.980 * [taylor]: Taking taylor expansion of B in x 1.981 * [taylor]: Taking taylor expansion of 0 in x 1.982 * [taylor]: Taking taylor expansion of 0 in x 1.984 * [taylor]: Taking taylor expansion of 0 in x 1.984 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in (B x) around 0 1.984 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in x 1.984 * [taylor]: Taking taylor expansion of -1.0 in x 1.984 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 1.984 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 1.984 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.984 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.984 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.984 * [taylor]: Taking taylor expansion of -1 in x 1.984 * [taylor]: Taking taylor expansion of B in x 1.984 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.984 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.984 * [taylor]: Taking taylor expansion of -1 in x 1.984 * [taylor]: Taking taylor expansion of B in x 1.985 * [taylor]: Taking taylor expansion of x in x 1.985 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in B 1.985 * [taylor]: Taking taylor expansion of -1.0 in B 1.985 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.985 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.985 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.985 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.985 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.985 * [taylor]: Taking taylor expansion of -1 in B 1.985 * [taylor]: Taking taylor expansion of B in B 1.985 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.985 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.985 * [taylor]: Taking taylor expansion of -1 in B 1.985 * [taylor]: Taking taylor expansion of B in B 1.985 * [taylor]: Taking taylor expansion of x in B 1.985 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in B 1.985 * [taylor]: Taking taylor expansion of -1.0 in B 1.985 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 1.985 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.985 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.985 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.985 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.985 * [taylor]: Taking taylor expansion of -1 in B 1.985 * [taylor]: Taking taylor expansion of B in B 1.985 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.985 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.985 * [taylor]: Taking taylor expansion of -1 in B 1.985 * [taylor]: Taking taylor expansion of B in B 1.985 * [taylor]: Taking taylor expansion of x in B 1.986 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 1.986 * [taylor]: Taking taylor expansion of -1.0 in x 1.986 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 1.986 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 1.986 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.986 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.986 * [taylor]: Taking taylor expansion of -1 in x 1.986 * [taylor]: Taking taylor expansion of B in x 1.986 * [taylor]: Taking taylor expansion of x in x 1.986 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.986 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.986 * [taylor]: Taking taylor expansion of -1 in x 1.986 * [taylor]: Taking taylor expansion of B in x 1.987 * [taylor]: Taking taylor expansion of 0 in x 1.988 * [taylor]: Taking taylor expansion of 0 in x 1.989 * [taylor]: Taking taylor expansion of 0 in x 1.989 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.990 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in (B x) around 0 1.990 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in x 1.990 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 1.990 * [taylor]: Taking taylor expansion of 1.0 in x 1.990 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 1.990 * [taylor]: Taking taylor expansion of (sin B) in x 1.990 * [taylor]: Taking taylor expansion of B in x 1.990 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 1.990 * [taylor]: Taking taylor expansion of 1.0 in x 1.990 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of (tan B) in x 1.990 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.990 * [taylor]: Taking taylor expansion of (sin B) in x 1.990 * [taylor]: Taking taylor expansion of B in x 1.990 * [taylor]: Taking taylor expansion of (cos B) in x 1.990 * [taylor]: Taking taylor expansion of B in x 1.990 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.990 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.990 * [taylor]: Taking taylor expansion of 1.0 in B 1.990 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.990 * [taylor]: Taking taylor expansion of (sin B) in B 1.991 * [taylor]: Taking taylor expansion of B in B 1.991 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.991 * [taylor]: Taking taylor expansion of 1.0 in B 1.991 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.991 * [taylor]: Taking taylor expansion of x in B 1.991 * [taylor]: Taking taylor expansion of (tan B) in B 1.991 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.991 * [taylor]: Taking taylor expansion of (sin B) in B 1.991 * [taylor]: Taking taylor expansion of B in B 1.991 * [taylor]: Taking taylor expansion of (cos B) in B 1.991 * [taylor]: Taking taylor expansion of B in B 1.991 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 1.991 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.991 * [taylor]: Taking taylor expansion of 1.0 in B 1.991 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.991 * [taylor]: Taking taylor expansion of (sin B) in B 1.991 * [taylor]: Taking taylor expansion of B in B 1.991 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 1.991 * [taylor]: Taking taylor expansion of 1.0 in B 1.991 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 1.991 * [taylor]: Taking taylor expansion of x in B 1.991 * [taylor]: Taking taylor expansion of (tan B) in B 1.991 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.991 * [taylor]: Taking taylor expansion of (sin B) in B 1.991 * [taylor]: Taking taylor expansion of B in B 1.991 * [taylor]: Taking taylor expansion of (cos B) in B 1.991 * [taylor]: Taking taylor expansion of B in B 1.991 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 1.991 * [taylor]: Taking taylor expansion of 1.0 in x 1.991 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.991 * [taylor]: Taking taylor expansion of 1.0 in x 1.991 * [taylor]: Taking taylor expansion of x in x 1.992 * [taylor]: Taking taylor expansion of 0 in x 1.992 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 1.992 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.992 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.993 * [taylor]: Taking taylor expansion of x in x 1.993 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.993 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in (B x) around 0 1.993 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in x 1.993 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.993 * [taylor]: Taking taylor expansion of 1.0 in x 1.993 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.993 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.993 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.993 * [taylor]: Taking taylor expansion of B in x 1.993 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in x 1.993 * [taylor]: Taking taylor expansion of 1.0 in x 1.993 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in x 1.993 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 1.993 * [taylor]: Taking taylor expansion of x in x 1.993 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 1.993 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.994 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.994 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.994 * [taylor]: Taking taylor expansion of B in x 1.994 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.994 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.994 * [taylor]: Taking taylor expansion of B in x 1.995 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.995 * [taylor]: Taking taylor expansion of 1.0 in B 1.995 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.995 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.995 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.995 * [taylor]: Taking taylor expansion of B in B 1.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.995 * [taylor]: Taking taylor expansion of 1.0 in B 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.995 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.995 * [taylor]: Taking taylor expansion of x in B 1.995 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.995 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.995 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.995 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.995 * [taylor]: Taking taylor expansion of B in B 1.995 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.995 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.995 * [taylor]: Taking taylor expansion of B in B 1.996 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 1.996 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.996 * [taylor]: Taking taylor expansion of 1.0 in B 1.996 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.996 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.996 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.996 * [taylor]: Taking taylor expansion of B in B 1.996 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 1.996 * [taylor]: Taking taylor expansion of 1.0 in B 1.996 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 1.996 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 1.996 * [taylor]: Taking taylor expansion of x in B 1.996 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.996 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.996 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.996 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.996 * [taylor]: Taking taylor expansion of B in B 1.996 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.996 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.996 * [taylor]: Taking taylor expansion of B in B 1.997 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 1.997 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 1.997 * [taylor]: Taking taylor expansion of 1.0 in x 1.997 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 1.997 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.997 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.997 * [taylor]: Taking taylor expansion of B in x 1.997 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 1.997 * [taylor]: Taking taylor expansion of 1.0 in x 1.997 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 1.997 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.997 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.997 * [taylor]: Taking taylor expansion of B in x 1.997 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 1.997 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.997 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.997 * [taylor]: Taking taylor expansion of B in x 1.997 * [taylor]: Taking taylor expansion of x in x 1.999 * [taylor]: Taking taylor expansion of 0 in x 2.001 * [taylor]: Taking taylor expansion of 0 in x 2.005 * [taylor]: Taking taylor expansion of 0 in x 2.014 * [taylor]: Taking taylor expansion of 0 in x 2.015 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in (B x) around 0 2.015 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in x 2.015 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 2.015 * [taylor]: Taking taylor expansion of 1.0 in x 2.015 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 2.015 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.015 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.015 * [taylor]: Taking taylor expansion of -1 in x 2.015 * [taylor]: Taking taylor expansion of B in x 2.015 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in x 2.015 * [taylor]: Taking taylor expansion of 1.0 in x 2.015 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in x 2.015 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 2.015 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 2.015 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.015 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.015 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.015 * [taylor]: Taking taylor expansion of -1 in x 2.015 * [taylor]: Taking taylor expansion of B in x 2.016 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.016 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.016 * [taylor]: Taking taylor expansion of -1 in x 2.016 * [taylor]: Taking taylor expansion of B in x 2.016 * [taylor]: Taking taylor expansion of x in x 2.017 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 2.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 2.017 * [taylor]: Taking taylor expansion of 1.0 in B 2.017 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 2.017 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.017 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.017 * [taylor]: Taking taylor expansion of -1 in B 2.017 * [taylor]: Taking taylor expansion of B in B 2.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 2.017 * [taylor]: Taking taylor expansion of 1.0 in B 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 2.017 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.017 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.017 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.017 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.017 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.017 * [taylor]: Taking taylor expansion of -1 in B 2.017 * [taylor]: Taking taylor expansion of B in B 2.017 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.017 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.017 * [taylor]: Taking taylor expansion of -1 in B 2.018 * [taylor]: Taking taylor expansion of B in B 2.018 * [taylor]: Taking taylor expansion of x in B 2.018 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 2.018 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 2.018 * [taylor]: Taking taylor expansion of 1.0 in B 2.018 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 2.018 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.018 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.018 * [taylor]: Taking taylor expansion of -1 in B 2.018 * [taylor]: Taking taylor expansion of B in B 2.018 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 2.018 * [taylor]: Taking taylor expansion of 1.0 in B 2.018 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 2.018 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.018 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.018 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.018 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.018 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.018 * [taylor]: Taking taylor expansion of -1 in B 2.018 * [taylor]: Taking taylor expansion of B in B 2.018 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.018 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.018 * [taylor]: Taking taylor expansion of -1 in B 2.018 * [taylor]: Taking taylor expansion of B in B 2.019 * [taylor]: Taking taylor expansion of x in B 2.019 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)))) in x 2.019 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 2.019 * [taylor]: Taking taylor expansion of 1.0 in x 2.019 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 2.019 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.019 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.019 * [taylor]: Taking taylor expansion of -1 in x 2.019 * [taylor]: Taking taylor expansion of B in x 2.019 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 2.019 * [taylor]: Taking taylor expansion of 1.0 in x 2.019 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 2.020 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.020 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.020 * [taylor]: Taking taylor expansion of -1 in x 2.020 * [taylor]: Taking taylor expansion of B in x 2.020 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.020 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.020 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.020 * [taylor]: Taking taylor expansion of -1 in x 2.020 * [taylor]: Taking taylor expansion of B in x 2.020 * [taylor]: Taking taylor expansion of x in x 2.022 * [taylor]: Taking taylor expansion of 0 in x 2.024 * [taylor]: Taking taylor expansion of 0 in x 2.027 * [taylor]: Taking taylor expansion of 0 in x 2.032 * [taylor]: Taking taylor expansion of 0 in x 2.032 * * * [progress]: simplifying candidates 2.034 * [simplify]: Simplifying using # : (neg.f64 1) (neg.f64 (-.f64 (log.f64 (tan.f64 B)) (+.f64 (log.f64 1.0) (log.f64 x)))) (neg.f64 (-.f64 (log.f64 (tan.f64 B)) (log.f64 (*.f64 1.0 x)))) (neg.f64 (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 0 (-.f64 (log.f64 (tan.f64 B)) (+.f64 (log.f64 1.0) (log.f64 x)))) (-.f64 0 (-.f64 (log.f64 (tan.f64 B)) (log.f64 (*.f64 1.0 x)))) (-.f64 0 (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 (log.f64 1) (-.f64 (log.f64 (tan.f64 B)) (+.f64 (log.f64 1.0) (log.f64 x)))) (-.f64 (log.f64 1) (-.f64 (log.f64 (tan.f64 B)) (log.f64 (*.f64 1.0 x)))) (-.f64 (log.f64 1) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (log.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (exp.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (*.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (*.f64 (*.f64 (*.f64 1.0 x) (*.f64 1.0 x)) (*.f64 1.0 x)))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (cbrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (cbrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (*.f64 (*.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (sqrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (sqrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (neg.f64 1) (neg.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 (tan.f64 B)) x)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 B)) 1.0)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 (tan.f64 B)) x)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 1.0)) (/.f64 (cbrt.f64 1) (/.f64 (tan.f64 B) x)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (tan.f64 B)) (/.f64 (cbrt.f64 1) (/.f64 1 (*.f64 1.0 x))) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0)) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 (tan.f64 B)) x)) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 (tan.f64 B)) 1.0)) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 (tan.f64 B)) x)) (/.f64 (sqrt.f64 1) (/.f64 1 1.0)) (/.f64 (sqrt.f64 1) (/.f64 (tan.f64 B) x)) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (sqrt.f64 1) (tan.f64 B)) (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 1.0 x))) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 1 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0)) (/.f64 1 (/.f64 (cbrt.f64 (tan.f64 B)) x)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 B)) 1.0)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 B)) x)) (/.f64 1 (/.f64 1 1.0)) (/.f64 1 (/.f64 (tan.f64 B) x)) (/.f64 1 1) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 1 (tan.f64 B)) (/.f64 1 (/.f64 1 (*.f64 1.0 x))) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 B)) 1.0)) (/.f64 1 (/.f64 1 1.0)) (/.f64 1 1) (/.f64 1 (tan.f64 B)) (/.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) (cbrt.f64 1)) (/.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) (sqrt.f64 1)) (/.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 1) (/.f64 1 (tan.f64 B)) (-.f64 (log.f64 1.0) (log.f64 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (sin.f64 B) (sin.f64 B)) (sin.f64 B))) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) 1) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1 1) (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 1) (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (-.f64 (log.f64 (tan.f64 B)) (+.f64 (log.f64 1.0) (log.f64 x))) (-.f64 (log.f64 (tan.f64 B)) (log.f64 (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (exp.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (*.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x))) (/.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (*.f64 (*.f64 (*.f64 1.0 x) (*.f64 1.0 x)) (*.f64 1.0 x))) (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (*.f64 (*.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (tan.f64 B) (*.f64 1.0 x))) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (neg.f64 (tan.f64 B)) (neg.f64 (*.f64 1.0 x)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0) (/.f64 (cbrt.f64 (tan.f64 B)) x) (/.f64 (sqrt.f64 (tan.f64 B)) 1.0) (/.f64 (sqrt.f64 (tan.f64 B)) x) (/.f64 1 1.0) (/.f64 (tan.f64 B) x) (/.f64 1 (*.f64 1.0 x)) (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 (tan.f64 B) 1.0) (/.f64 (*.f64 1.0 x) (cbrt.f64 (tan.f64 B))) (/.f64 (*.f64 1.0 x) (sqrt.f64 (tan.f64 B))) (/.f64 (*.f64 1.0 x) (tan.f64 B)) (*.f64 (*.f64 1.0 x) (cos.f64 B)) (/.f64 (exp.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (*.f64 (*.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (*.f64 1.0 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (*.f64 (sin.f64 B) 1)) (*.f64 (sin.f64 B) (/.f64 (tan.f64 B) (*.f64 1.0 x))) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (+.f64 (*.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))))) (neg.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (+.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 x B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (+.f64 (*.f64 1.0 (/.f64 B x)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (pow.f64 B 3) x)) (*.f64 0.13333333333333333 (/.f64 (pow.f64 B 5) x)))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 (cos.f64 B) x))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 (cos.f64 B) x))) (-.f64 (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B)) (*.f64 1.0 (/.f64 x B))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 (cos.f64 (/.f64 1 (/.f64 1 B))) x) (sin.f64 (/.f64 1 (/.f64 1 B)))))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) 2.085 * * [simplify]: iteration 0 : 4944 enodes (cost 1462 ) 2.085 * * [simplify]: iteration 1 : 4944 enodes (cost 1462 ) 2.091 * [simplify]: Simplified to: -1 (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (log.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (exp.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (cbrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (cbrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) -1 (neg.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 (tan.f64 B)) x)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 B)) 1.0)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 (tan.f64 B)) x)) (*.f64 1.0 (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 (tan.f64 B) x)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 1.0 (/.f64 (cbrt.f64 1) (/.f64 (tan.f64 B) x))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (tan.f64 B)) (*.f64 (*.f64 1.0 x) (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 1 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1.0 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 x (cbrt.f64 (tan.f64 B))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) (/.f64 x (sqrt.f64 (tan.f64 B))) 1.0 (/.f64 x (tan.f64 B)) 1 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 1 (tan.f64 B)) (*.f64 1.0 x) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 1 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1.0 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 x (cbrt.f64 (tan.f64 B))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) (/.f64 x (sqrt.f64 (tan.f64 B))) 1.0 (/.f64 x (tan.f64 B)) 1 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 1 (tan.f64 B)) (*.f64 1.0 x) (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 1.0 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 1.0 (sqrt.f64 (tan.f64 B))) 1.0 1 (/.f64 1 (tan.f64 B)) (/.f64 (tan.f64 B) (*.f64 (*.f64 1.0 x) (cbrt.f64 1))) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 1 (tan.f64 B)) (log.f64 (/.f64 1.0 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1.0 (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (exp.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (neg.f64 (tan.f64 B)) (*.f64 x (neg.f64 1.0)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))) 1.0) (/.f64 (cbrt.f64 (tan.f64 B)) x) (/.f64 (sqrt.f64 (tan.f64 B)) 1.0) (/.f64 (sqrt.f64 (tan.f64 B)) x) (/.f64 1 1.0) (/.f64 (tan.f64 B) x) (/.f64 1 (*.f64 1.0 x)) (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 (tan.f64 B) 1.0) (*.f64 (/.f64 x (cbrt.f64 (tan.f64 B))) 1.0) (*.f64 1.0 (/.f64 x (sqrt.f64 (tan.f64 B)))) (/.f64 (*.f64 1.0 x) (tan.f64 B)) (*.f64 (*.f64 1.0 x) (cos.f64 B)) (pow.f64 (exp.f64 1.0) (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (pow.f64 (exp.f64 1.0) (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (pow.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) 3) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (-.f64 (/.f64 (tan.f64 B) x) (sin.f64 B)) (*.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) (sin.f64 B)) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (+.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 1.0 (sin.f64 B))))) (*.f64 (/.f64 x (tan.f64 B)) (neg.f64 1.0)) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (+.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)) (/.f64 1.0 (sin.f64 B))) (+.f64 (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B)))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (+.f64 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (sqrt.f64 (/.f64 1.0 (sin.f64 B)))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (sqrt.f64 (/.f64 1.0 (sin.f64 B)))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B)))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 (*.f64 1.0 x) (tan.f64 B)))) (+.f64 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B)))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (+.f64 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B)))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 (*.f64 1.0 x) (tan.f64 B))) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 B x))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (+.f64 (*.f64 1.0 (/.f64 B x)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (pow.f64 B 3) x)) (*.f64 0.13333333333333333 (/.f64 (pow.f64 B 5) x)))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 x (cos.f64 B)))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 x (cos.f64 B)))) (+.f64 (*.f64 B 0.16666666666666666) (*.f64 (/.f64 1.0 B) (-.f64 1 x))) (*.f64 (/.f64 1.0 (sin.f64 B)) (-.f64 1 (*.f64 x (cos.f64 B)))) (*.f64 (/.f64 1.0 (sin.f64 B)) (-.f64 1 (*.f64 x (cos.f64 B)))) 2.092 * * * [progress]: adding candidates to table 2.202 * * [progress]: iteration 4 / 4 2.202 * * * [progress]: picking best candidate 2.220 * * * * [pick]: Picked # 2.220 * * * [progress]: localizing error 2.235 * * * [progress]: generating rewritten candidates 2.235 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.254 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.258 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 2.277 * * * [progress]: generating series expansions 2.277 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.277 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in (B x) around 0 2.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in x 2.277 * [taylor]: Taking taylor expansion of 1.0 in x 2.277 * [taylor]: Taking taylor expansion of (/ (tan B) x) in x 2.277 * [taylor]: Taking taylor expansion of (tan B) in x 2.277 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.277 * [taylor]: Taking taylor expansion of (sin B) in x 2.277 * [taylor]: Taking taylor expansion of B in x 2.277 * [taylor]: Taking taylor expansion of (cos B) in x 2.277 * [taylor]: Taking taylor expansion of B in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.278 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in B 2.278 * [taylor]: Taking taylor expansion of 1.0 in B 2.278 * [taylor]: Taking taylor expansion of (/ (tan B) x) in B 2.278 * [taylor]: Taking taylor expansion of (tan B) in B 2.278 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.278 * [taylor]: Taking taylor expansion of (sin B) in B 2.278 * [taylor]: Taking taylor expansion of B in B 2.278 * [taylor]: Taking taylor expansion of (cos B) in B 2.278 * [taylor]: Taking taylor expansion of B in B 2.278 * [taylor]: Taking taylor expansion of x in B 2.278 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan B) x)) in B 2.278 * [taylor]: Taking taylor expansion of 1.0 in B 2.278 * [taylor]: Taking taylor expansion of (/ (tan B) x) in B 2.278 * [taylor]: Taking taylor expansion of (tan B) in B 2.278 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.278 * [taylor]: Taking taylor expansion of (sin B) in B 2.278 * [taylor]: Taking taylor expansion of B in B 2.278 * [taylor]: Taking taylor expansion of (cos B) in B 2.278 * [taylor]: Taking taylor expansion of B in B 2.278 * [taylor]: Taking taylor expansion of x in B 2.278 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 2.278 * [taylor]: Taking taylor expansion of 1.0 in x 2.278 * [taylor]: Taking taylor expansion of x in x 2.279 * [taylor]: Taking taylor expansion of 0 in x 2.279 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 2.279 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 2.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.279 * [taylor]: Taking taylor expansion of x in x 2.280 * [taylor]: Taking taylor expansion of 0 in x 2.281 * [taylor]: Taking taylor expansion of (* 0.13333333333333333 (/ 1 x)) in x 2.281 * [taylor]: Taking taylor expansion of 0.13333333333333333 in x 2.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.281 * [approximate]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in (B x) around 0 2.281 * [taylor]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in x 2.281 * [taylor]: Taking taylor expansion of 1.0 in x 2.281 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.281 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 2.282 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.282 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.282 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.282 * [taylor]: Taking taylor expansion of B in x 2.282 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.282 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.282 * [taylor]: Taking taylor expansion of B in x 2.282 * [taylor]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in B 2.282 * [taylor]: Taking taylor expansion of 1.0 in B 2.282 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 2.282 * [taylor]: Taking taylor expansion of x in B 2.282 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.282 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.282 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.282 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.282 * [taylor]: Taking taylor expansion of B in B 2.282 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.282 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.282 * [taylor]: Taking taylor expansion of B in B 2.283 * [taylor]: Taking taylor expansion of (* 1.0 (* x (tan (/ 1 B)))) in B 2.283 * [taylor]: Taking taylor expansion of 1.0 in B 2.283 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 2.283 * [taylor]: Taking taylor expansion of x in B 2.283 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.283 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.283 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.283 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.283 * [taylor]: Taking taylor expansion of B in B 2.283 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.283 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.283 * [taylor]: Taking taylor expansion of B in B 2.283 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (sin (/ 1 B)) x) (cos (/ 1 B)))) in x 2.283 * [taylor]: Taking taylor expansion of 1.0 in x 2.283 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 B)) x) (cos (/ 1 B))) in x 2.283 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.283 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.283 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.283 * [taylor]: Taking taylor expansion of B in x 2.283 * [taylor]: Taking taylor expansion of x in x 2.283 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.283 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.283 * [taylor]: Taking taylor expansion of B in x 2.285 * [taylor]: Taking taylor expansion of 0 in x 2.286 * [taylor]: Taking taylor expansion of 0 in x 2.288 * [taylor]: Taking taylor expansion of 0 in x 2.288 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in (B x) around 0 2.288 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in x 2.288 * [taylor]: Taking taylor expansion of -1.0 in x 2.288 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 2.288 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 2.288 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.288 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.288 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.288 * [taylor]: Taking taylor expansion of -1 in x 2.288 * [taylor]: Taking taylor expansion of B in x 2.288 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.288 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.288 * [taylor]: Taking taylor expansion of -1 in x 2.288 * [taylor]: Taking taylor expansion of B in x 2.289 * [taylor]: Taking taylor expansion of x in x 2.289 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in B 2.289 * [taylor]: Taking taylor expansion of -1.0 in B 2.289 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.289 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.289 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.289 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.289 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.289 * [taylor]: Taking taylor expansion of -1 in B 2.289 * [taylor]: Taking taylor expansion of B in B 2.289 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.289 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.289 * [taylor]: Taking taylor expansion of -1 in B 2.289 * [taylor]: Taking taylor expansion of B in B 2.289 * [taylor]: Taking taylor expansion of x in B 2.289 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (/ -1 B)) x)) in B 2.289 * [taylor]: Taking taylor expansion of -1.0 in B 2.289 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.289 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.289 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.289 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.289 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.289 * [taylor]: Taking taylor expansion of -1 in B 2.289 * [taylor]: Taking taylor expansion of B in B 2.289 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.290 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.290 * [taylor]: Taking taylor expansion of -1 in B 2.290 * [taylor]: Taking taylor expansion of B in B 2.290 * [taylor]: Taking taylor expansion of x in B 2.290 * [taylor]: Taking taylor expansion of (* -1.0 (/ (* (sin (/ -1 B)) x) (cos (/ -1 B)))) in x 2.290 * [taylor]: Taking taylor expansion of -1.0 in x 2.290 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 B)) x) (cos (/ -1 B))) in x 2.290 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.290 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.290 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.290 * [taylor]: Taking taylor expansion of -1 in x 2.290 * [taylor]: Taking taylor expansion of B in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.290 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.290 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.290 * [taylor]: Taking taylor expansion of -1 in x 2.290 * [taylor]: Taking taylor expansion of B in x 2.291 * [taylor]: Taking taylor expansion of 0 in x 2.292 * [taylor]: Taking taylor expansion of 0 in x 2.293 * [taylor]: Taking taylor expansion of 0 in x 2.294 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.294 * [approximate]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in (B x) around 0 2.294 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 2.294 * [taylor]: Taking taylor expansion of 1.0 in x 2.294 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (tan B) in x 2.294 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.294 * [taylor]: Taking taylor expansion of (sin B) in x 2.294 * [taylor]: Taking taylor expansion of B in x 2.294 * [taylor]: Taking taylor expansion of (cos B) in x 2.294 * [taylor]: Taking taylor expansion of B in x 2.294 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 2.294 * [taylor]: Taking taylor expansion of 1.0 in B 2.294 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 2.294 * [taylor]: Taking taylor expansion of x in B 2.294 * [taylor]: Taking taylor expansion of (tan B) in B 2.294 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.294 * [taylor]: Taking taylor expansion of (sin B) in B 2.294 * [taylor]: Taking taylor expansion of B in B 2.295 * [taylor]: Taking taylor expansion of (cos B) in B 2.295 * [taylor]: Taking taylor expansion of B in B 2.295 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 2.295 * [taylor]: Taking taylor expansion of 1.0 in B 2.295 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 2.295 * [taylor]: Taking taylor expansion of x in B 2.295 * [taylor]: Taking taylor expansion of (tan B) in B 2.295 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.295 * [taylor]: Taking taylor expansion of (sin B) in B 2.295 * [taylor]: Taking taylor expansion of B in B 2.295 * [taylor]: Taking taylor expansion of (cos B) in B 2.295 * [taylor]: Taking taylor expansion of B in B 2.295 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 2.295 * [taylor]: Taking taylor expansion of 1.0 in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of 0 in x 2.296 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 x)) in x 2.296 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 2.296 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 2.296 * [taylor]: Taking taylor expansion of x in x 2.296 * [taylor]: Taking taylor expansion of 0 in x 2.297 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in (B x) around 0 2.297 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in x 2.297 * [taylor]: Taking taylor expansion of 1.0 in x 2.297 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 2.297 * [taylor]: Taking taylor expansion of x in x 2.297 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 2.297 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.297 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.297 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.297 * [taylor]: Taking taylor expansion of B in x 2.297 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.297 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.297 * [taylor]: Taking taylor expansion of B in x 2.298 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 2.298 * [taylor]: Taking taylor expansion of 1.0 in B 2.298 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 2.298 * [taylor]: Taking taylor expansion of x in B 2.298 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.299 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.299 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.299 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.299 * [taylor]: Taking taylor expansion of B in B 2.299 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.299 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.299 * [taylor]: Taking taylor expansion of B in B 2.299 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (tan (/ 1 B)))) in B 2.299 * [taylor]: Taking taylor expansion of 1.0 in B 2.299 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 2.299 * [taylor]: Taking taylor expansion of x in B 2.299 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.299 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.299 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.299 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.299 * [taylor]: Taking taylor expansion of B in B 2.299 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.299 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.299 * [taylor]: Taking taylor expansion of B in B 2.300 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 2.300 * [taylor]: Taking taylor expansion of 1.0 in x 2.300 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 2.300 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.300 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.300 * [taylor]: Taking taylor expansion of B in x 2.300 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.300 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.300 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.300 * [taylor]: Taking taylor expansion of B in x 2.300 * [taylor]: Taking taylor expansion of x in x 2.301 * [taylor]: Taking taylor expansion of 0 in x 2.303 * [taylor]: Taking taylor expansion of 0 in x 2.306 * [taylor]: Taking taylor expansion of 0 in x 2.310 * [approximate]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in (B x) around 0 2.310 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in x 2.310 * [taylor]: Taking taylor expansion of -1.0 in x 2.310 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 2.310 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 2.310 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.310 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.310 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.310 * [taylor]: Taking taylor expansion of -1 in x 2.310 * [taylor]: Taking taylor expansion of B in x 2.310 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.310 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.310 * [taylor]: Taking taylor expansion of -1 in x 2.310 * [taylor]: Taking taylor expansion of B in x 2.311 * [taylor]: Taking taylor expansion of x in x 2.312 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 2.312 * [taylor]: Taking taylor expansion of -1.0 in B 2.312 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.312 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.312 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.312 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.312 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.312 * [taylor]: Taking taylor expansion of -1 in B 2.312 * [taylor]: Taking taylor expansion of B in B 2.312 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.312 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.312 * [taylor]: Taking taylor expansion of -1 in B 2.312 * [taylor]: Taking taylor expansion of B in B 2.312 * [taylor]: Taking taylor expansion of x in B 2.312 * [taylor]: Taking taylor expansion of (/ -1.0 (* (tan (/ -1 B)) x)) in B 2.312 * [taylor]: Taking taylor expansion of -1.0 in B 2.312 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.312 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.312 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.312 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.312 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.312 * [taylor]: Taking taylor expansion of -1 in B 2.312 * [taylor]: Taking taylor expansion of B in B 2.312 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.312 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.312 * [taylor]: Taking taylor expansion of -1 in B 2.313 * [taylor]: Taking taylor expansion of B in B 2.313 * [taylor]: Taking taylor expansion of x in B 2.313 * [taylor]: Taking taylor expansion of (* -1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 2.313 * [taylor]: Taking taylor expansion of -1.0 in x 2.313 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 2.313 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.313 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.313 * [taylor]: Taking taylor expansion of -1 in x 2.313 * [taylor]: Taking taylor expansion of B in x 2.313 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.313 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.313 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.313 * [taylor]: Taking taylor expansion of -1 in x 2.313 * [taylor]: Taking taylor expansion of B in x 2.313 * [taylor]: Taking taylor expansion of x in x 2.317 * [taylor]: Taking taylor expansion of 0 in x 2.319 * [taylor]: Taking taylor expansion of 0 in x 2.321 * [taylor]: Taking taylor expansion of 0 in x 2.323 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.323 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 2.323 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 2.323 * [taylor]: Taking taylor expansion of 1.0 in B 2.323 * [taylor]: Taking taylor expansion of (sin B) in B 2.323 * [taylor]: Taking taylor expansion of B in B 2.323 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 2.323 * [taylor]: Taking taylor expansion of 1.0 in B 2.323 * [taylor]: Taking taylor expansion of (sin B) in B 2.323 * [taylor]: Taking taylor expansion of B in B 2.325 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 2.325 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 2.325 * [taylor]: Taking taylor expansion of 1.0 in B 2.325 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.325 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.325 * [taylor]: Taking taylor expansion of B in B 2.325 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 2.325 * [taylor]: Taking taylor expansion of 1.0 in B 2.325 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.325 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.325 * [taylor]: Taking taylor expansion of B in B 2.327 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 2.327 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 2.327 * [taylor]: Taking taylor expansion of 1.0 in B 2.327 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.327 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.327 * [taylor]: Taking taylor expansion of -1 in B 2.327 * [taylor]: Taking taylor expansion of B in B 2.327 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 2.327 * [taylor]: Taking taylor expansion of 1.0 in B 2.327 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.327 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.327 * [taylor]: Taking taylor expansion of -1 in B 2.327 * [taylor]: Taking taylor expansion of B in B 2.329 * * * * [progress]: [ 4 / 4 ] generating series at (2) 2.329 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in (B x) around 0 2.329 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in x 2.329 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in x 2.329 * [taylor]: Taking taylor expansion of 1.0 in x 2.329 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in x 2.329 * [taylor]: Taking taylor expansion of (sin B) in x 2.329 * [taylor]: Taking taylor expansion of B in x 2.330 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in x 2.330 * [taylor]: Taking taylor expansion of 1.0 in x 2.330 * [taylor]: Taking taylor expansion of (/ x (tan B)) in x 2.330 * [taylor]: Taking taylor expansion of x in x 2.330 * [taylor]: Taking taylor expansion of (tan B) in x 2.330 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.330 * [taylor]: Taking taylor expansion of (sin B) in x 2.330 * [taylor]: Taking taylor expansion of B in x 2.330 * [taylor]: Taking taylor expansion of (cos B) in x 2.330 * [taylor]: Taking taylor expansion of B in x 2.330 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 2.330 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 2.330 * [taylor]: Taking taylor expansion of 1.0 in B 2.330 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 2.330 * [taylor]: Taking taylor expansion of (sin B) in B 2.330 * [taylor]: Taking taylor expansion of B in B 2.330 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 2.330 * [taylor]: Taking taylor expansion of 1.0 in B 2.330 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 2.330 * [taylor]: Taking taylor expansion of x in B 2.330 * [taylor]: Taking taylor expansion of (tan B) in B 2.330 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.330 * [taylor]: Taking taylor expansion of (sin B) in B 2.330 * [taylor]: Taking taylor expansion of B in B 2.330 * [taylor]: Taking taylor expansion of (cos B) in B 2.330 * [taylor]: Taking taylor expansion of B in B 2.331 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ x (tan B)))) in B 2.331 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 2.331 * [taylor]: Taking taylor expansion of 1.0 in B 2.331 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 2.331 * [taylor]: Taking taylor expansion of (sin B) in B 2.331 * [taylor]: Taking taylor expansion of B in B 2.331 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (tan B))) in B 2.331 * [taylor]: Taking taylor expansion of 1.0 in B 2.331 * [taylor]: Taking taylor expansion of (/ x (tan B)) in B 2.331 * [taylor]: Taking taylor expansion of x in B 2.331 * [taylor]: Taking taylor expansion of (tan B) in B 2.331 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.331 * [taylor]: Taking taylor expansion of (sin B) in B 2.331 * [taylor]: Taking taylor expansion of B in B 2.331 * [taylor]: Taking taylor expansion of (cos B) in B 2.331 * [taylor]: Taking taylor expansion of B in B 2.331 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 x)) in x 2.331 * [taylor]: Taking taylor expansion of 1.0 in x 2.331 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 2.331 * [taylor]: Taking taylor expansion of 1.0 in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.332 * [taylor]: Taking taylor expansion of 0 in x 2.332 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) 0.16666666666666666) in x 2.332 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 2.332 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 2.332 * [taylor]: Taking taylor expansion of x in x 2.332 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 2.333 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in (B x) around 0 2.333 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in x 2.333 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 2.333 * [taylor]: Taking taylor expansion of 1.0 in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 2.333 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.333 * [taylor]: Taking taylor expansion of B in x 2.333 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in x 2.333 * [taylor]: Taking taylor expansion of 1.0 in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in x 2.333 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in x 2.333 * [taylor]: Taking taylor expansion of x in x 2.333 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 2.333 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.333 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.333 * [taylor]: Taking taylor expansion of B in x 2.333 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.333 * [taylor]: Taking taylor expansion of B in x 2.335 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 2.335 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 2.335 * [taylor]: Taking taylor expansion of 1.0 in B 2.335 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 2.335 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.335 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.335 * [taylor]: Taking taylor expansion of B in B 2.335 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 2.335 * [taylor]: Taking taylor expansion of 1.0 in B 2.335 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 2.335 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 2.335 * [taylor]: Taking taylor expansion of x in B 2.335 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.335 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.335 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.335 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.335 * [taylor]: Taking taylor expansion of B in B 2.335 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.335 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.335 * [taylor]: Taking taylor expansion of B in B 2.336 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ 1 (* x (tan (/ 1 B)))))) in B 2.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 2.336 * [taylor]: Taking taylor expansion of 1.0 in B 2.336 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 2.336 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.336 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.336 * [taylor]: Taking taylor expansion of B in B 2.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x (tan (/ 1 B))))) in B 2.336 * [taylor]: Taking taylor expansion of 1.0 in B 2.336 * [taylor]: Taking taylor expansion of (/ 1 (* x (tan (/ 1 B)))) in B 2.336 * [taylor]: Taking taylor expansion of (* x (tan (/ 1 B))) in B 2.336 * [taylor]: Taking taylor expansion of x in B 2.336 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.336 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.336 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.336 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.336 * [taylor]: Taking taylor expansion of B in B 2.336 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.336 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.336 * [taylor]: Taking taylor expansion of B in B 2.337 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (sin (/ 1 B)))) (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)))) in x 2.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in x 2.337 * [taylor]: Taking taylor expansion of 1.0 in x 2.337 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in x 2.337 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.337 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.337 * [taylor]: Taking taylor expansion of B in x 2.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x))) in x 2.337 * [taylor]: Taking taylor expansion of 1.0 in x 2.337 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (* (sin (/ 1 B)) x)) in x 2.337 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 2.337 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.337 * [taylor]: Taking taylor expansion of B in x 2.337 * [taylor]: Taking taylor expansion of (* (sin (/ 1 B)) x) in x 2.337 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 2.337 * [taylor]: Taking taylor expansion of (/ 1 B) in x 2.337 * [taylor]: Taking taylor expansion of B in x 2.337 * [taylor]: Taking taylor expansion of x in x 2.339 * [taylor]: Taking taylor expansion of 0 in x 2.341 * [taylor]: Taking taylor expansion of 0 in x 2.345 * [taylor]: Taking taylor expansion of 0 in x 2.352 * [taylor]: Taking taylor expansion of 0 in x 2.352 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in (B x) around 0 2.352 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in x 2.352 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 2.352 * [taylor]: Taking taylor expansion of 1.0 in x 2.352 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 2.352 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.352 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.352 * [taylor]: Taking taylor expansion of -1 in x 2.352 * [taylor]: Taking taylor expansion of B in x 2.353 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in x 2.353 * [taylor]: Taking taylor expansion of 1.0 in x 2.353 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in x 2.353 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in x 2.353 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 2.353 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.353 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.353 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.353 * [taylor]: Taking taylor expansion of -1 in x 2.353 * [taylor]: Taking taylor expansion of B in x 2.353 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.353 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.353 * [taylor]: Taking taylor expansion of -1 in x 2.353 * [taylor]: Taking taylor expansion of B in x 2.353 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 2.354 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 2.354 * [taylor]: Taking taylor expansion of 1.0 in B 2.354 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 2.354 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.354 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.354 * [taylor]: Taking taylor expansion of -1 in B 2.354 * [taylor]: Taking taylor expansion of B in B 2.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 2.355 * [taylor]: Taking taylor expansion of 1.0 in B 2.355 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 2.355 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.355 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.355 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.355 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.355 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.355 * [taylor]: Taking taylor expansion of -1 in B 2.355 * [taylor]: Taking taylor expansion of B in B 2.355 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.355 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.355 * [taylor]: Taking taylor expansion of -1 in B 2.355 * [taylor]: Taking taylor expansion of B in B 2.355 * [taylor]: Taking taylor expansion of x in B 2.355 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ 1 (* (tan (/ -1 B)) x)))) in B 2.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 2.355 * [taylor]: Taking taylor expansion of 1.0 in B 2.355 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 2.355 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.355 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.355 * [taylor]: Taking taylor expansion of -1 in B 2.355 * [taylor]: Taking taylor expansion of B in B 2.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* (tan (/ -1 B)) x))) in B 2.355 * [taylor]: Taking taylor expansion of 1.0 in B 2.355 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ -1 B)) x)) in B 2.355 * [taylor]: Taking taylor expansion of (* (tan (/ -1 B)) x) in B 2.355 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.355 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.356 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.356 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.356 * [taylor]: Taking taylor expansion of -1 in B 2.356 * [taylor]: Taking taylor expansion of B in B 2.356 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.356 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.356 * [taylor]: Taking taylor expansion of -1 in B 2.356 * [taylor]: Taking taylor expansion of B in B 2.356 * [taylor]: Taking taylor expansion of x in B 2.356 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (sin (/ -1 B)))) (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)))) in x 2.356 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in x 2.356 * [taylor]: Taking taylor expansion of 1.0 in x 2.356 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in x 2.356 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.356 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.356 * [taylor]: Taking taylor expansion of -1 in x 2.356 * [taylor]: Taking taylor expansion of B in x 2.357 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x))) in x 2.357 * [taylor]: Taking taylor expansion of 1.0 in x 2.357 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (* (sin (/ -1 B)) x)) in x 2.357 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 2.357 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.357 * [taylor]: Taking taylor expansion of -1 in x 2.357 * [taylor]: Taking taylor expansion of B in x 2.357 * [taylor]: Taking taylor expansion of (* (sin (/ -1 B)) x) in x 2.357 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 2.357 * [taylor]: Taking taylor expansion of (/ -1 B) in x 2.357 * [taylor]: Taking taylor expansion of -1 in x 2.357 * [taylor]: Taking taylor expansion of B in x 2.357 * [taylor]: Taking taylor expansion of x in x 2.359 * [taylor]: Taking taylor expansion of 0 in x 2.361 * [taylor]: Taking taylor expansion of 0 in x 2.364 * [taylor]: Taking taylor expansion of 0 in x 2.368 * [taylor]: Taking taylor expansion of 0 in x 2.369 * * * [progress]: simplifying candidates 2.371 * [simplify]: Simplifying using # : (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (+.f64 (log.f64 1.0) (log.f64 x)))) (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (log.f64 (*.f64 1.0 x)))) (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (+.f64 (log.f64 1.0) (log.f64 x)))) (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (log.f64 (*.f64 1.0 x)))) (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (+.f64 (log.f64 1.0) (log.f64 x)))) (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (log.f64 (*.f64 1.0 x)))) (+.f64 (log.f64 (tan.f64 B)) (log.f64 (/.f64 1 (*.f64 1.0 x)))) (log.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (exp.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)))) (*.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 1.0 x) (*.f64 1.0 x)) (*.f64 1.0 x)))) (*.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (*.f64 (*.f64 (/.f64 1 (*.f64 1.0 x)) (/.f64 1 (*.f64 1.0 x))) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (cbrt.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (cbrt.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (cbrt.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (*.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (sqrt.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (sqrt.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (sin.f64 B) 1) (*.f64 (cos.f64 B) (*.f64 1.0 x)) (*.f64 (sqrt.f64 (tan.f64 B)) (sqrt.f64 (/.f64 1 (*.f64 1.0 x)))) (*.f64 (sqrt.f64 (tan.f64 B)) (sqrt.f64 (/.f64 1 (*.f64 1.0 x)))) (*.f64 (tan.f64 B) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 1.0 x))) (cbrt.f64 (/.f64 1 (*.f64 1.0 x))))) (*.f64 (tan.f64 B) (sqrt.f64 (/.f64 1 (*.f64 1.0 x)))) (*.f64 (tan.f64 B) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1.0)) (*.f64 (tan.f64 B) (/.f64 (sqrt.f64 1) 1.0)) (*.f64 (tan.f64 B) (/.f64 1 1.0)) (*.f64 (tan.f64 B) 1) (*.f64 (tan.f64 B) 1) (*.f64 (cbrt.f64 (tan.f64 B)) (/.f64 1 (*.f64 1.0 x))) (*.f64 (sqrt.f64 (tan.f64 B)) (/.f64 1 (*.f64 1.0 x))) (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) (*.f64 (tan.f64 B) 1) (*.f64 (sin.f64 B) (/.f64 1 (*.f64 1.0 x))) (neg.f64 1) (neg.f64 1) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (+.f64 (log.f64 1.0) (log.f64 x))))) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (log.f64 (*.f64 1.0 x))))) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (+.f64 (log.f64 1.0) (log.f64 x))))) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (log.f64 (*.f64 1.0 x))))) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (+.f64 (log.f64 1.0) (log.f64 x))))) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (log.f64 (*.f64 1.0 x))))) (neg.f64 (+.f64 (log.f64 (tan.f64 B)) (log.f64 (/.f64 1 (*.f64 1.0 x))))) (neg.f64 (log.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (+.f64 (log.f64 1.0) (log.f64 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (log.f64 (*.f64 1.0 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (+.f64 (log.f64 1.0) (log.f64 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (log.f64 (*.f64 1.0 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (+.f64 (log.f64 1.0) (log.f64 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (log.f64 (*.f64 1.0 x))))) (-.f64 0 (+.f64 (log.f64 (tan.f64 B)) (log.f64 (/.f64 1 (*.f64 1.0 x))))) (-.f64 0 (log.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (+.f64 (log.f64 1.0) (log.f64 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (neg.f64 (log.f64 (*.f64 1.0 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (+.f64 (log.f64 1.0) (log.f64 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (-.f64 0 (log.f64 (*.f64 1.0 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (+.f64 (log.f64 1.0) (log.f64 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (-.f64 (log.f64 1) (log.f64 (*.f64 1.0 x))))) (-.f64 (log.f64 1) (+.f64 (log.f64 (tan.f64 B)) (log.f64 (/.f64 1 (*.f64 1.0 x))))) (-.f64 (log.f64 1) (log.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (log.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (exp.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x))))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 1.0 x) (*.f64 1.0 x)) (*.f64 1.0 x))))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (tan.f64 B) (tan.f64 B)) (tan.f64 B)) (*.f64 (*.f64 (/.f64 1 (*.f64 1.0 x)) (/.f64 1 (*.f64 1.0 x))) (/.f64 1 (*.f64 1.0 x))))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (cbrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (cbrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (*.f64 (*.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (sqrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (sqrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (neg.f64 1) (neg.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (tan.f64 B)) (/.f64 (cbrt.f64 1) (/.f64 1 (*.f64 1.0 x))) (/.f64 (sqrt.f64 1) (tan.f64 B)) (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 1.0 x))) (/.f64 1 (tan.f64 B)) (/.f64 1 (/.f64 1 (*.f64 1.0 x))) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (/.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) 1) (/.f64 1 (tan.f64 B)) (/.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) (cbrt.f64 1)) (/.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) (sqrt.f64 1)) (/.f64 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))) 1) (/.f64 1 (*.f64 (sin.f64 B) 1)) (/.f64 1 (tan.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) 1)) (/.f64 1 (*.f64 (sin.f64 B) (/.f64 1 (*.f64 1.0 x)))) (-.f64 (log.f64 1.0) (log.f64 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (sin.f64 B) (sin.f64 B)) (sin.f64 B))) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) 1) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1 1) (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 1) (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (/.f64 (exp.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (*.f64 (*.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (-.f64 (*.f64 1.0 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (*.f64 (sin.f64 B) 1)) (*.f64 (sin.f64 B) (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (+.f64 (*.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))))) (neg.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (+.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (+.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x)))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (*.f64 (tan.f64 B) (/.f64 1 (*.f64 1.0 x))))) (+.f64 (*.f64 1.0 (/.f64 B x)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (pow.f64 B 3) x)) (*.f64 0.13333333333333333 (/.f64 (pow.f64 B 5) x)))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 (cos.f64 B) x))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 (cos.f64 B) x))) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 x B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (+.f64 (*.f64 0.019444444444444445 (pow.f64 B 3)) (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (-.f64 (+.f64 (*.f64 1.0 (/.f64 1 B)) (*.f64 0.16666666666666666 B)) (*.f64 1.0 (/.f64 x B))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 (cos.f64 (/.f64 1 (/.f64 1 B))) x) (sin.f64 (/.f64 1 (/.f64 1 B)))))) (-.f64 (*.f64 1.0 (/.f64 1 (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))) 2.431 * * [simplify]: iteration 0 : 4921 enodes (cost 1204 ) 2.432 * * [simplify]: iteration 1 : 4921 enodes (cost 1204 ) 2.437 * [simplify]: Simplified to: (/.f64 (tan.f64 B) (*.f64 1.0 x)) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (log.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (exp.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (*.f64 (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)))) (cbrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (pow.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x)) 3) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (sqrt.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (sin.f64 B) (*.f64 (*.f64 1.0 x) (cos.f64 B)) (*.f64 (sqrt.f64 (tan.f64 B)) (sqrt.f64 (/.f64 1 (*.f64 1.0 x)))) (*.f64 (sqrt.f64 (tan.f64 B)) (sqrt.f64 (/.f64 1 (*.f64 1.0 x)))) (*.f64 (tan.f64 B) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 1.0 x))) (cbrt.f64 (/.f64 1 (*.f64 1.0 x))))) (*.f64 (tan.f64 B) (sqrt.f64 (/.f64 1 (*.f64 1.0 x)))) (*.f64 (tan.f64 B) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1.0)) (/.f64 (tan.f64 B) 1.0) (/.f64 (tan.f64 B) 1.0) (tan.f64 B) (tan.f64 B) (/.f64 (cbrt.f64 (tan.f64 B)) (*.f64 1.0 x)) (/.f64 (sqrt.f64 (tan.f64 B)) (*.f64 1.0 x)) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (tan.f64 B) (/.f64 (sin.f64 B) (*.f64 1.0 x)) -1 -1 (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (log.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (exp.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (pow.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) 3) (pow.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) 3) (pow.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) 3) (pow.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) 3) (*.f64 (cbrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (cbrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (cbrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (pow.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) 3) (sqrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (sqrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) -1 (neg.f64 (/.f64 (tan.f64 B) (*.f64 1.0 x))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (tan.f64 B)) (*.f64 (*.f64 1.0 x) (cbrt.f64 1)) (/.f64 1 (tan.f64 B)) (*.f64 1.0 x) (/.f64 1 (tan.f64 B)) (*.f64 1.0 x) (/.f64 x (/.f64 (tan.f64 B) 1.0)) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 1 (tan.f64 B)) (/.f64 (tan.f64 B) (*.f64 (*.f64 1.0 x) (cbrt.f64 1))) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 (tan.f64 B) (*.f64 1.0 x)) (/.f64 1 (sin.f64 B)) (/.f64 1 (tan.f64 B)) (/.f64 1 (tan.f64 B)) (/.f64 (*.f64 1.0 x) (sin.f64 B)) (log.f64 (/.f64 1.0 (sin.f64 B))) (log.f64 (/.f64 1.0 (sin.f64 B))) (exp.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (*.f64 (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (cbrt.f64 (/.f64 1.0 (sin.f64 B)))) (cbrt.f64 (/.f64 1.0 (sin.f64 B))) (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (neg.f64 1.0) (neg.f64 (sin.f64 B)) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 (sin.f64 B))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (/.f64 (cbrt.f64 1.0) (sin.f64 B)) (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sin.f64 B)) (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (cbrt.f64 (sin.f64 B))) (/.f64 1 (sqrt.f64 (sin.f64 B))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1 (/.f64 1.0 (sin.f64 B)) (/.f64 1 (sin.f64 B)) (/.f64 (sin.f64 B) 1.0) (/.f64 1.0 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (/.f64 1.0 (sqrt.f64 (sin.f64 B))) 1.0 (/.f64 (sin.f64 B) (cbrt.f64 1.0)) (/.f64 (sin.f64 B) (sqrt.f64 1.0)) (/.f64 (sin.f64 B) 1.0) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (log.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (exp.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0))))) (cbrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (pow.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0))) 3) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (sqrt.f64 (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (-.f64 (/.f64 (tan.f64 B) x) (sin.f64 B)) (*.f64 (tan.f64 B) (/.f64 (sin.f64 B) (*.f64 1.0 x))) (-.f64 (pow.f64 (/.f64 1.0 (sin.f64 B)) 3) (pow.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) 3)) (+.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (*.f64 1.0 x) (/.f64 (+.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) (/.f64 1.0 (sin.f64 B))) (tan.f64 B)))) (/.f64 (neg.f64 1.0) (/.f64 (tan.f64 B) x)) (-.f64 (*.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B))) (*.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (+.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)) (/.f64 1.0 (sin.f64 B))) (+.f64 (sqrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (sqrt.f64 (/.f64 1.0 (sin.f64 B)))) (-.f64 (sqrt.f64 (/.f64 1.0 (sin.f64 B))) (sqrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (+.f64 (sqrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B)))) (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 (sin.f64 B))) (sqrt.f64 (/.f64 x (/.f64 (tan.f64 B) 1.0)))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0))) (-.f64 (/.f64 1.0 (sin.f64 B)) (/.f64 x (/.f64 (tan.f64 B) 1.0))) (+.f64 (*.f64 1.0 (/.f64 B x)) (+.f64 (*.f64 0.3333333333333333 (/.f64 (pow.f64 B 3) x)) (*.f64 0.13333333333333333 (/.f64 (pow.f64 B 5) x)))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 x (cos.f64 B)))) (*.f64 1.0 (/.f64 (sin.f64 B) (*.f64 x (cos.f64 B)))) (-.f64 (*.f64 1.0 (/.f64 x B)) (*.f64 0.3333333333333333 (*.f64 B x))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (*.f64 1.0 (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B))) (+.f64 (*.f64 (pow.f64 B 3) 0.019444444444444445) (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666))) (/.f64 1.0 (sin.f64 B)) (/.f64 1.0 (sin.f64 B)) (-.f64 (+.f64 (/.f64 1.0 B) (*.f64 B 0.16666666666666666)) (*.f64 1.0 (/.f64 x B))) (*.f64 (/.f64 1.0 (sin.f64 B)) (-.f64 1 (*.f64 x (cos.f64 B)))) (*.f64 (/.f64 1.0 (sin.f64 B)) (-.f64 1 (*.f64 x (cos.f64 B)))) 2.438 * * * [progress]: adding candidates to table 2.529 * [progress]: [Phase 3 of 3] Extracting. 2.530 * * [regime]: Finding splitpoints for: (# # # # # # # #) 2.532 * * * [regime-changes]: Trying 2 branch expressions: (x B) 2.532 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 2.586 * * * * [regimes]: Trying to branch on B from (# # # # # # # #) 2.637 * * * [regime]: Found split indices: #