0.888 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.318 * * * [progress]: [2/2] Setting up program. 0.322 * [progress]: [Phase 2 of 3] Improving. 0.324 * [simplify]: Simplifying using # : (+ (- (* x (/ 1.0 (tan B)))) (/ 1.0 (sin B))) 0.330 * * [simplify]: iteration 0 : 18 enodes (cost 7 ) 0.331 * * [simplify]: iteration 1 : 33 enodes (cost 6 ) 0.333 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 0.334 * * [simplify]: iteration 3 : 54 enodes (cost 6 ) 0.336 * * [simplify]: iteration 4 : 60 enodes (cost 6 ) 0.337 * * [simplify]: iteration 5 : 62 enodes (cost 6 ) 0.339 * * [simplify]: iteration 6 : 62 enodes (cost 6 ) 0.339 * [simplify]: Simplified to: (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) 0.346 * * [progress]: iteration 1 / 4 0.346 * * * [progress]: picking best candidate 0.349 * * * * [pick]: Picked # 0.349 * * * [progress]: localizing error 0.361 * * * [progress]: generating rewritten candidates 0.362 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.364 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.368 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3) 0.388 * * * [progress]: generating series expansions 0.388 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.393 * [approximate]: Taking taylor expansion of (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) in (x B) around 0 0.394 * [taylor]: Taking taylor expansion of (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) in B 0.396 * [taylor]: Rewrote expression to (+ (* (- x) (/ 1.0 (tan B))) (/ 1.0 (sin B))) 0.396 * [taylor]: Taking taylor expansion of (* (- x) (/ 1.0 (tan B))) in B 0.396 * [taylor]: Taking taylor expansion of (- x) in B 0.396 * [taylor]: Taking taylor expansion of x in B 0.396 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 0.396 * [taylor]: Taking taylor expansion of 1.0 in B 0.396 * [taylor]: Taking taylor expansion of (tan B) in B 0.396 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.396 * [taylor]: Taking taylor expansion of (sin B) in B 0.396 * [taylor]: Taking taylor expansion of B in B 0.396 * [taylor]: Taking taylor expansion of (cos B) in B 0.396 * [taylor]: Taking taylor expansion of B in B 0.398 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.398 * [taylor]: Taking taylor expansion of 1.0 in B 0.398 * [taylor]: Taking taylor expansion of (sin B) in B 0.398 * [taylor]: Taking taylor expansion of B in B 0.399 * [taylor]: Taking taylor expansion of (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) in x 0.399 * [taylor]: Rewrote expression to (+ (* (- x) (/ 1.0 (tan B))) (/ 1.0 (sin B))) 0.399 * [taylor]: Taking taylor expansion of (* (- x) (/ 1.0 (tan B))) in x 0.399 * [taylor]: Taking taylor expansion of (- x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in x 0.399 * [taylor]: Taking taylor expansion of 1.0 in x 0.399 * [taylor]: Taking taylor expansion of (tan B) in x 0.399 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.399 * [taylor]: Taking taylor expansion of (sin B) in x 0.399 * [taylor]: Taking taylor expansion of B in x 0.399 * [taylor]: Taking taylor expansion of (cos B) in x 0.399 * [taylor]: Taking taylor expansion of B in x 0.400 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in x 0.400 * [taylor]: Taking taylor expansion of 1.0 in x 0.400 * [taylor]: Taking taylor expansion of (sin B) in x 0.400 * [taylor]: Taking taylor expansion of B in x 0.401 * [taylor]: Taking taylor expansion of (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) in x 0.401 * [taylor]: Rewrote expression to (+ (* (- x) (/ 1.0 (tan B))) (/ 1.0 (sin B))) 0.401 * [taylor]: Taking taylor expansion of (* (- x) (/ 1.0 (tan B))) in x 0.401 * [taylor]: Taking taylor expansion of (- x) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in x 0.401 * [taylor]: Taking taylor expansion of 1.0 in x 0.401 * [taylor]: Taking taylor expansion of (tan B) in x 0.401 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.401 * [taylor]: Taking taylor expansion of (sin B) in x 0.401 * [taylor]: Taking taylor expansion of B in x 0.401 * [taylor]: Taking taylor expansion of (cos B) in x 0.401 * [taylor]: Taking taylor expansion of B in x 0.402 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in x 0.402 * [taylor]: Taking taylor expansion of 1.0 in x 0.402 * [taylor]: Taking taylor expansion of (sin B) in x 0.402 * [taylor]: Taking taylor expansion of B in x 0.403 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 0.403 * [taylor]: Taking taylor expansion of 1.0 in B 0.403 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 0.403 * [taylor]: Taking taylor expansion of (sin B) in B 0.403 * [taylor]: Taking taylor expansion of B in B 0.411 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (cos B) (sin B)))) in B 0.411 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 0.411 * [taylor]: Taking taylor expansion of 1.0 in B 0.411 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.411 * [taylor]: Taking taylor expansion of (cos B) in B 0.411 * [taylor]: Taking taylor expansion of B in B 0.411 * [taylor]: Taking taylor expansion of (sin B) in B 0.411 * [taylor]: Taking taylor expansion of B in B 0.422 * [taylor]: Taking taylor expansion of 0 in B 0.428 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1.0 (tan (/ 1 B))) (/ 1.0 (sin (/ 1 B)))) in (x B) around 0 0.428 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1.0 (tan (/ 1 B))) (/ 1.0 (sin (/ 1 B)))) in B 0.428 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (/ 1.0 (tan (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) 0.428 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (/ 1.0 (tan (/ 1 B)))) in B 0.428 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in B 0.428 * [taylor]: Taking taylor expansion of (/ 1 x) in B 0.428 * [taylor]: Taking taylor expansion of x in B 0.428 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 0.428 * [taylor]: Taking taylor expansion of 1.0 in B 0.428 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.429 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.429 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.429 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.429 * [taylor]: Taking taylor expansion of B in B 0.429 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.429 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.429 * [taylor]: Taking taylor expansion of B in B 0.429 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.430 * [taylor]: Taking taylor expansion of 1.0 in B 0.430 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.430 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.430 * [taylor]: Taking taylor expansion of B in B 0.430 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1.0 (tan (/ 1 B))) (/ 1.0 (sin (/ 1 B)))) in x 0.430 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (/ 1.0 (tan (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) 0.430 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (/ 1.0 (tan (/ 1 B)))) in x 0.430 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.430 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in x 0.430 * [taylor]: Taking taylor expansion of 1.0 in x 0.430 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 0.430 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.430 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.431 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.431 * [taylor]: Taking taylor expansion of B in x 0.431 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.431 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.431 * [taylor]: Taking taylor expansion of B in x 0.431 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in x 0.431 * [taylor]: Taking taylor expansion of 1.0 in x 0.431 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.431 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.431 * [taylor]: Taking taylor expansion of B in x 0.432 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1.0 (tan (/ 1 B))) (/ 1.0 (sin (/ 1 B)))) in x 0.432 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (/ 1.0 (tan (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) 0.432 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (/ 1.0 (tan (/ 1 B)))) in x 0.432 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in x 0.432 * [taylor]: Taking taylor expansion of 1.0 in x 0.432 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in x 0.432 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.432 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.432 * [taylor]: Taking taylor expansion of B in x 0.432 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.432 * [taylor]: Taking taylor expansion of B in x 0.433 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in x 0.433 * [taylor]: Taking taylor expansion of 1.0 in x 0.433 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.433 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.433 * [taylor]: Taking taylor expansion of B in x 0.434 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in B 0.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 0.434 * [taylor]: Taking taylor expansion of 1.0 in B 0.434 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 0.434 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.434 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.434 * [taylor]: Taking taylor expansion of B in B 0.434 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.434 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.434 * [taylor]: Taking taylor expansion of B in B 0.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 0.440 * [taylor]: Taking taylor expansion of 1.0 in B 0.440 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 0.440 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.440 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.440 * [taylor]: Taking taylor expansion of B in B 0.451 * [taylor]: Taking taylor expansion of 0 in B 0.463 * [taylor]: Taking taylor expansion of 0 in B 0.463 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1.0 (tan (/ -1 B))) (/ 1.0 (sin (/ -1 B)))) in (x B) around 0 0.463 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1.0 (tan (/ -1 B))) (/ 1.0 (sin (/ -1 B)))) in B 0.463 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1.0 (tan (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) 0.463 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1.0 (tan (/ -1 B)))) in B 0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in B 0.464 * [taylor]: Taking taylor expansion of x in B 0.464 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 0.464 * [taylor]: Taking taylor expansion of 1.0 in B 0.464 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.464 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.464 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.464 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.464 * [taylor]: Taking taylor expansion of -1 in B 0.464 * [taylor]: Taking taylor expansion of B in B 0.464 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.464 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.464 * [taylor]: Taking taylor expansion of -1 in B 0.464 * [taylor]: Taking taylor expansion of B in B 0.465 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.465 * [taylor]: Taking taylor expansion of 1.0 in B 0.465 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.465 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.465 * [taylor]: Taking taylor expansion of -1 in B 0.465 * [taylor]: Taking taylor expansion of B in B 0.465 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1.0 (tan (/ -1 B))) (/ 1.0 (sin (/ -1 B)))) in x 0.465 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1.0 (tan (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) 0.465 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1.0 (tan (/ -1 B)))) in x 0.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.465 * [taylor]: Taking taylor expansion of x in x 0.465 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in x 0.465 * [taylor]: Taking taylor expansion of 1.0 in x 0.465 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 0.466 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.466 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.466 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.466 * [taylor]: Taking taylor expansion of -1 in x 0.466 * [taylor]: Taking taylor expansion of B in x 0.466 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.466 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.466 * [taylor]: Taking taylor expansion of -1 in x 0.466 * [taylor]: Taking taylor expansion of B in x 0.466 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in x 0.467 * [taylor]: Taking taylor expansion of 1.0 in x 0.467 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.467 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.467 * [taylor]: Taking taylor expansion of -1 in x 0.467 * [taylor]: Taking taylor expansion of B in x 0.467 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1.0 (tan (/ -1 B))) (/ 1.0 (sin (/ -1 B)))) in x 0.467 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1.0 (tan (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) 0.467 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1.0 (tan (/ -1 B)))) in x 0.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.467 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in x 0.467 * [taylor]: Taking taylor expansion of 1.0 in x 0.467 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in x 0.467 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.467 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.467 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.467 * [taylor]: Taking taylor expansion of -1 in x 0.467 * [taylor]: Taking taylor expansion of B in x 0.467 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.468 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.468 * [taylor]: Taking taylor expansion of -1 in x 0.468 * [taylor]: Taking taylor expansion of B in x 0.468 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in x 0.468 * [taylor]: Taking taylor expansion of 1.0 in x 0.468 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.468 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.468 * [taylor]: Taking taylor expansion of -1 in x 0.468 * [taylor]: Taking taylor expansion of B in x 0.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 0.469 * [taylor]: Taking taylor expansion of 1.0 in B 0.469 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 0.469 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.469 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.469 * [taylor]: Taking taylor expansion of -1 in B 0.469 * [taylor]: Taking taylor expansion of B in B 0.469 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.469 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.469 * [taylor]: Taking taylor expansion of -1 in B 0.469 * [taylor]: Taking taylor expansion of B in B 0.474 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 0.474 * [taylor]: Taking taylor expansion of 1.0 in B 0.474 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 0.474 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.474 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.474 * [taylor]: Taking taylor expansion of -1 in B 0.474 * [taylor]: Taking taylor expansion of B in B 0.489 * [taylor]: Taking taylor expansion of 0 in B 0.501 * [taylor]: Taking taylor expansion of 0 in B 0.501 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.501 * [approximate]: Taking taylor expansion of (/ 1.0 (tan B)) in (B) around 0 0.501 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 0.501 * [taylor]: Taking taylor expansion of 1.0 in B 0.501 * [taylor]: Taking taylor expansion of (tan B) in B 0.501 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.501 * [taylor]: Taking taylor expansion of (sin B) in B 0.501 * [taylor]: Taking taylor expansion of B in B 0.501 * [taylor]: Taking taylor expansion of (cos B) in B 0.501 * [taylor]: Taking taylor expansion of B in B 0.502 * [taylor]: Taking taylor expansion of (/ 1.0 (tan B)) in B 0.502 * [taylor]: Taking taylor expansion of 1.0 in B 0.502 * [taylor]: Taking taylor expansion of (tan B) in B 0.502 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 0.502 * [taylor]: Taking taylor expansion of (sin B) in B 0.502 * [taylor]: Taking taylor expansion of B in B 0.503 * [taylor]: Taking taylor expansion of (cos B) in B 0.503 * [taylor]: Taking taylor expansion of B in B 0.523 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in (B) around 0 0.523 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 0.523 * [taylor]: Taking taylor expansion of 1.0 in B 0.523 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.523 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.523 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.523 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.523 * [taylor]: Taking taylor expansion of B in B 0.523 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.523 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.523 * [taylor]: Taking taylor expansion of B in B 0.524 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 B))) in B 0.524 * [taylor]: Taking taylor expansion of 1.0 in B 0.524 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 0.524 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 0.524 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.524 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.524 * [taylor]: Taking taylor expansion of B in B 0.524 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.524 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.524 * [taylor]: Taking taylor expansion of B in B 0.529 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in (B) around 0 0.529 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 0.529 * [taylor]: Taking taylor expansion of 1.0 in B 0.529 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.529 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.529 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.529 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.529 * [taylor]: Taking taylor expansion of -1 in B 0.529 * [taylor]: Taking taylor expansion of B in B 0.530 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.530 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.530 * [taylor]: Taking taylor expansion of -1 in B 0.530 * [taylor]: Taking taylor expansion of B in B 0.530 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 B))) in B 0.530 * [taylor]: Taking taylor expansion of 1.0 in B 0.530 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 0.530 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 0.530 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.530 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.530 * [taylor]: Taking taylor expansion of -1 in B 0.531 * [taylor]: Taking taylor expansion of B in B 0.531 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.531 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.531 * [taylor]: Taking taylor expansion of -1 in B 0.531 * [taylor]: Taking taylor expansion of B in B 0.536 * * * * [progress]: [ 3 / 3 ] generating series at (2 3) 0.536 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 0.536 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.536 * [taylor]: Taking taylor expansion of 1.0 in B 0.536 * [taylor]: Taking taylor expansion of (sin B) in B 0.536 * [taylor]: Taking taylor expansion of B in B 0.537 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.537 * [taylor]: Taking taylor expansion of 1.0 in B 0.537 * [taylor]: Taking taylor expansion of (sin B) in B 0.537 * [taylor]: Taking taylor expansion of B in B 0.549 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 0.549 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.549 * [taylor]: Taking taylor expansion of 1.0 in B 0.549 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.549 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.549 * [taylor]: Taking taylor expansion of B in B 0.550 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.550 * [taylor]: Taking taylor expansion of 1.0 in B 0.550 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.550 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.550 * [taylor]: Taking taylor expansion of B in B 0.552 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 0.552 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.552 * [taylor]: Taking taylor expansion of 1.0 in B 0.552 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.552 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.552 * [taylor]: Taking taylor expansion of -1 in B 0.552 * [taylor]: Taking taylor expansion of B in B 0.552 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.552 * [taylor]: Taking taylor expansion of 1.0 in B 0.552 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.552 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.552 * [taylor]: Taking taylor expansion of -1 in B 0.552 * [taylor]: Taking taylor expansion of B in B 0.554 * * * [progress]: simplifying candidates 0.556 * [simplify]: Simplifying using # : (expm1 (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (log1p (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (* (- x) (/ 1.0 (tan B))) (log (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (exp (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (* (cbrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (cbrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))))) (cbrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (* (* (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (sqrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (sqrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (expm1 (/ 1.0 (tan B))) (log1p (/ 1.0 (tan B))) (- (log 1.0) (log (tan B))) (log (/ 1.0 (tan B))) (exp (/ 1.0 (tan B))) (/ (* (* 1.0 1.0) 1.0) (* (* (tan B) (tan B)) (tan B))) (* (cbrt (/ 1.0 (tan B))) (cbrt (/ 1.0 (tan B)))) (cbrt (/ 1.0 (tan B))) (* (* (/ 1.0 (tan B)) (/ 1.0 (tan B))) (/ 1.0 (tan B))) (sqrt (/ 1.0 (tan B))) (sqrt (/ 1.0 (tan B))) (- 1.0) (- (tan B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (tan B)) (cbrt (tan B)))) (/ (cbrt 1.0) (cbrt (tan B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (tan B))) (/ (cbrt 1.0) (sqrt (tan B))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (tan B)) (/ (sqrt 1.0) (* (cbrt (tan B)) (cbrt (tan B)))) (/ (sqrt 1.0) (cbrt (tan B))) (/ (sqrt 1.0) (sqrt (tan B))) (/ (sqrt 1.0) (sqrt (tan B))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (tan B)) (/ 1 (* (cbrt (tan B)) (cbrt (tan B)))) (/ 1.0 (cbrt (tan B))) (/ 1 (sqrt (tan B))) (/ 1.0 (sqrt (tan B))) (/ 1 1) (/ 1.0 (tan B)) (/ 1 (tan B)) (/ (tan B) 1.0) (/ 1.0 (* (cbrt (tan B)) (cbrt (tan B)))) (/ 1.0 (sqrt (tan B))) (/ 1.0 1) (/ (tan B) (cbrt 1.0)) (/ (tan B) (sqrt 1.0)) (/ (tan B) 1.0) (/ 1.0 (sin B)) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (- (log 1.0) (log (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (/ (* (* 1.0 1.0) 1.0) (* (* (sin B) (sin B)) (sin B))) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (* (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) (/ 1 1) (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) (/ 1.0 1) (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 B)) (+ (* 0.022222222222222227 (pow B 3)) (* 0.3333333333333333 B))) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) 0.560 * * [simplify]: iteration 0 : 246 enodes (cost 416 ) 0.564 * * [simplify]: iteration 1 : 694 enodes (cost 382 ) 0.575 * * [simplify]: iteration 2 : 2127 enodes (cost 382 ) 0.611 * * [simplify]: iteration 3 : 5002 enodes (cost 377 ) 0.614 * [simplify]: Simplified to: (expm1 (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (log1p (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (* (- x) (/ 1.0 (tan B))) (log (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (exp (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (* (cbrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (cbrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))))) (cbrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (pow (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B))) 3) (sqrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (sqrt (fma (- x) (/ 1.0 (tan B)) (/ 1.0 (sin B)))) (expm1 (/ 1.0 (tan B))) (log1p (/ 1.0 (tan B))) (log (/ 1.0 (tan B))) (log (/ 1.0 (tan B))) (exp (/ 1.0 (tan B))) (pow (/ 1.0 (tan B)) 3) (* (cbrt (/ 1.0 (tan B))) (cbrt (/ 1.0 (tan B)))) (cbrt (/ 1.0 (tan B))) (pow (/ 1.0 (tan B)) 3) (sqrt (/ 1.0 (tan B))) (sqrt (/ 1.0 (tan B))) (- 1.0) (- (tan B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (tan B)) (cbrt (tan B)))) (/ (cbrt 1.0) (cbrt (tan B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (tan B))) (/ (cbrt 1.0) (sqrt (tan B))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (tan B)) (/ (sqrt 1.0) (* (cbrt (tan B)) (cbrt (tan B)))) (/ (sqrt 1.0) (cbrt (tan B))) (/ (sqrt 1.0) (sqrt (tan B))) (/ (sqrt 1.0) (sqrt (tan B))) (sqrt 1.0) (/ (sqrt 1.0) (tan B)) (/ 1 (* (cbrt (tan B)) (cbrt (tan B)))) (/ 1.0 (cbrt (tan B))) (/ 1 (sqrt (tan B))) (/ 1.0 (sqrt (tan B))) 1 (/ 1.0 (tan B)) (/ 1 (tan B)) (/ (tan B) 1.0) (/ 1.0 (* (cbrt (tan B)) (cbrt (tan B)))) (/ 1.0 (sqrt (tan B))) 1.0 (/ (tan B) (cbrt 1.0)) (/ (tan B) (sqrt 1.0)) (/ (tan B) 1.0) (/ 1.0 (sin B)) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (sqrt 1.0) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) 1 (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) 1.0 (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (fma B 0.16666666666666666 (* 1.0 (- (/ 1 B) (/ x B)))) (* (/ 1.0 (sin B)) (- 1 (* x (cos B)))) (* (/ 1.0 (sin B)) (- 1 (* x (cos B)))) (fma 1.0 (/ 1 B) (- (fma 0.022222222222222227 (pow B 3) (* 0.3333333333333333 B)))) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (fma 0.019444444444444445 (pow B 3) (fma 1.0 (/ 1 B) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) 0.614 * * * [progress]: adding candidates to table 0.816 * * [progress]: iteration 2 / 4 0.816 * * * [progress]: picking best candidate 0.836 * * * * [pick]: Picked # 0.837 * * * [progress]: localizing error 0.848 * * * [progress]: generating rewritten candidates 0.848 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 0.852 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.853 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3) 0.858 * * * [progress]: generating series expansions 0.858 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 0.858 * [approximate]: Taking taylor expansion of (/ (cos B) (sin B)) in (B) around 0 0.858 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.858 * [taylor]: Taking taylor expansion of (cos B) in B 0.858 * [taylor]: Taking taylor expansion of B in B 0.858 * [taylor]: Taking taylor expansion of (sin B) in B 0.858 * [taylor]: Taking taylor expansion of B in B 0.859 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.859 * [taylor]: Taking taylor expansion of (cos B) in B 0.859 * [taylor]: Taking taylor expansion of B in B 0.859 * [taylor]: Taking taylor expansion of (sin B) in B 0.859 * [taylor]: Taking taylor expansion of B in B 0.870 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in (B) around 0 0.870 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 0.870 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.870 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.870 * [taylor]: Taking taylor expansion of B in B 0.870 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.870 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.870 * [taylor]: Taking taylor expansion of B in B 0.871 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 0.871 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.871 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.871 * [taylor]: Taking taylor expansion of B in B 0.871 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.871 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.871 * [taylor]: Taking taylor expansion of B in B 0.873 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in (B) around 0 0.873 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 0.873 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.873 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.873 * [taylor]: Taking taylor expansion of -1 in B 0.873 * [taylor]: Taking taylor expansion of B in B 0.874 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.874 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.874 * [taylor]: Taking taylor expansion of -1 in B 0.874 * [taylor]: Taking taylor expansion of B in B 0.874 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 0.874 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.874 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.874 * [taylor]: Taking taylor expansion of -1 in B 0.874 * [taylor]: Taking taylor expansion of B in B 0.875 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.875 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.875 * [taylor]: Taking taylor expansion of -1 in B 0.875 * [taylor]: Taking taylor expansion of B in B 0.880 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.880 * [approximate]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in (x B) around 0 0.880 * [taylor]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in B 0.880 * [taylor]: Rewrote expression to (+ (* (- x) (* 1.0 (/ (cos B) (sin B)))) (/ 1.0 (sin B))) 0.880 * [taylor]: Taking taylor expansion of (* (- x) (* 1.0 (/ (cos B) (sin B)))) in B 0.880 * [taylor]: Taking taylor expansion of (- x) in B 0.880 * [taylor]: Taking taylor expansion of x in B 0.880 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 0.880 * [taylor]: Taking taylor expansion of 1.0 in B 0.880 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.880 * [taylor]: Taking taylor expansion of (cos B) in B 0.880 * [taylor]: Taking taylor expansion of B in B 0.880 * [taylor]: Taking taylor expansion of (sin B) in B 0.880 * [taylor]: Taking taylor expansion of B in B 0.881 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.881 * [taylor]: Taking taylor expansion of 1.0 in B 0.881 * [taylor]: Taking taylor expansion of (sin B) in B 0.881 * [taylor]: Taking taylor expansion of B in B 0.882 * [taylor]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in x 0.882 * [taylor]: Rewrote expression to (+ (* (- x) (* 1.0 (/ (cos B) (sin B)))) (/ 1.0 (sin B))) 0.882 * [taylor]: Taking taylor expansion of (* (- x) (* 1.0 (/ (cos B) (sin B)))) in x 0.882 * [taylor]: Taking taylor expansion of (- x) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in x 0.882 * [taylor]: Taking taylor expansion of 1.0 in x 0.882 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in x 0.882 * [taylor]: Taking taylor expansion of (cos B) in x 0.882 * [taylor]: Taking taylor expansion of B in x 0.882 * [taylor]: Taking taylor expansion of (sin B) in x 0.882 * [taylor]: Taking taylor expansion of B in x 0.883 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in x 0.883 * [taylor]: Taking taylor expansion of 1.0 in x 0.883 * [taylor]: Taking taylor expansion of (sin B) in x 0.883 * [taylor]: Taking taylor expansion of B in x 0.883 * [taylor]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in x 0.883 * [taylor]: Rewrote expression to (+ (* (- x) (* 1.0 (/ (cos B) (sin B)))) (/ 1.0 (sin B))) 0.883 * [taylor]: Taking taylor expansion of (* (- x) (* 1.0 (/ (cos B) (sin B)))) in x 0.883 * [taylor]: Taking taylor expansion of (- x) in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in x 0.883 * [taylor]: Taking taylor expansion of 1.0 in x 0.883 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in x 0.883 * [taylor]: Taking taylor expansion of (cos B) in x 0.883 * [taylor]: Taking taylor expansion of B in x 0.883 * [taylor]: Taking taylor expansion of (sin B) in x 0.883 * [taylor]: Taking taylor expansion of B in x 0.884 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in x 0.884 * [taylor]: Taking taylor expansion of 1.0 in x 0.884 * [taylor]: Taking taylor expansion of (sin B) in x 0.884 * [taylor]: Taking taylor expansion of B in x 0.885 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 0.885 * [taylor]: Taking taylor expansion of 1.0 in B 0.885 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 0.885 * [taylor]: Taking taylor expansion of (sin B) in B 0.885 * [taylor]: Taking taylor expansion of B in B 0.891 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (cos B) (sin B)))) in B 0.891 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 0.891 * [taylor]: Taking taylor expansion of 1.0 in B 0.891 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 0.892 * [taylor]: Taking taylor expansion of (cos B) in B 0.892 * [taylor]: Taking taylor expansion of B in B 0.892 * [taylor]: Taking taylor expansion of (sin B) in B 0.892 * [taylor]: Taking taylor expansion of B in B 0.902 * [taylor]: Taking taylor expansion of 0 in B 0.907 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in (x B) around 0 0.907 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in B 0.907 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) (/ 1.0 (sin (/ 1 B)))) 0.907 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in B 0.907 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in B 0.907 * [taylor]: Taking taylor expansion of (/ 1 x) in B 0.907 * [taylor]: Taking taylor expansion of x in B 0.907 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 0.907 * [taylor]: Taking taylor expansion of 1.0 in B 0.907 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 0.907 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.907 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.907 * [taylor]: Taking taylor expansion of B in B 0.908 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.908 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.908 * [taylor]: Taking taylor expansion of B in B 0.908 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.908 * [taylor]: Taking taylor expansion of 1.0 in B 0.908 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.908 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.908 * [taylor]: Taking taylor expansion of B in B 0.909 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in x 0.909 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) (/ 1.0 (sin (/ 1 B)))) 0.909 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in x 0.909 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.909 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in x 0.909 * [taylor]: Taking taylor expansion of 1.0 in x 0.909 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in x 0.909 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.909 * [taylor]: Taking taylor expansion of B in x 0.909 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.909 * [taylor]: Taking taylor expansion of B in x 0.910 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in x 0.910 * [taylor]: Taking taylor expansion of 1.0 in x 0.910 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.910 * [taylor]: Taking taylor expansion of B in x 0.910 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in x 0.910 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) (/ 1.0 (sin (/ 1 B)))) 0.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in x 0.910 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.911 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in x 0.911 * [taylor]: Taking taylor expansion of 1.0 in x 0.911 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in x 0.911 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.911 * [taylor]: Taking taylor expansion of B in x 0.911 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.911 * [taylor]: Taking taylor expansion of B in x 0.911 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in x 0.911 * [taylor]: Taking taylor expansion of 1.0 in x 0.911 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 B) in x 0.912 * [taylor]: Taking taylor expansion of B in x 0.912 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in B 0.913 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 0.913 * [taylor]: Taking taylor expansion of 1.0 in B 0.913 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 0.913 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 0.913 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.913 * [taylor]: Taking taylor expansion of B in B 0.913 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.913 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.913 * [taylor]: Taking taylor expansion of B in B 0.919 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 0.919 * [taylor]: Taking taylor expansion of 1.0 in B 0.919 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 0.919 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.919 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.919 * [taylor]: Taking taylor expansion of B in B 0.929 * [taylor]: Taking taylor expansion of 0 in B 0.941 * [taylor]: Taking taylor expansion of 0 in B 0.942 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in (x B) around 0 0.942 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in B 0.942 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) (/ 1.0 (sin (/ -1 B)))) 0.942 * [taylor]: Taking taylor expansion of (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) in B 0.942 * [taylor]: Taking taylor expansion of (/ 1 x) in B 0.942 * [taylor]: Taking taylor expansion of x in B 0.942 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 0.942 * [taylor]: Taking taylor expansion of 1.0 in B 0.942 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 0.942 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.942 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.942 * [taylor]: Taking taylor expansion of -1 in B 0.942 * [taylor]: Taking taylor expansion of B in B 0.942 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.942 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.942 * [taylor]: Taking taylor expansion of -1 in B 0.942 * [taylor]: Taking taylor expansion of B in B 0.943 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.943 * [taylor]: Taking taylor expansion of 1.0 in B 0.943 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.943 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.943 * [taylor]: Taking taylor expansion of -1 in B 0.943 * [taylor]: Taking taylor expansion of B in B 0.943 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in x 0.943 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) (/ 1.0 (sin (/ -1 B)))) 0.943 * [taylor]: Taking taylor expansion of (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) in x 0.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.943 * [taylor]: Taking taylor expansion of x in x 0.944 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in x 0.944 * [taylor]: Taking taylor expansion of 1.0 in x 0.944 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in x 0.944 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.944 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.944 * [taylor]: Taking taylor expansion of -1 in x 0.944 * [taylor]: Taking taylor expansion of B in x 0.944 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.944 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.944 * [taylor]: Taking taylor expansion of -1 in x 0.944 * [taylor]: Taking taylor expansion of B in x 0.945 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in x 0.945 * [taylor]: Taking taylor expansion of 1.0 in x 0.945 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.945 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.945 * [taylor]: Taking taylor expansion of -1 in x 0.945 * [taylor]: Taking taylor expansion of B in x 0.945 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in x 0.945 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) (/ 1.0 (sin (/ -1 B)))) 0.945 * [taylor]: Taking taylor expansion of (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) in x 0.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.945 * [taylor]: Taking taylor expansion of x in x 0.945 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in x 0.945 * [taylor]: Taking taylor expansion of 1.0 in x 0.945 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in x 0.945 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 0.945 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.945 * [taylor]: Taking taylor expansion of -1 in x 0.945 * [taylor]: Taking taylor expansion of B in x 0.946 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.946 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.946 * [taylor]: Taking taylor expansion of -1 in x 0.946 * [taylor]: Taking taylor expansion of B in x 0.946 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in x 0.946 * [taylor]: Taking taylor expansion of 1.0 in x 0.946 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 0.946 * [taylor]: Taking taylor expansion of (/ -1 B) in x 0.946 * [taylor]: Taking taylor expansion of -1 in x 0.946 * [taylor]: Taking taylor expansion of B in x 0.947 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 0.947 * [taylor]: Taking taylor expansion of 1.0 in B 0.947 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 0.947 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 0.947 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.947 * [taylor]: Taking taylor expansion of -1 in B 0.947 * [taylor]: Taking taylor expansion of B in B 0.947 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.947 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.947 * [taylor]: Taking taylor expansion of -1 in B 0.947 * [taylor]: Taking taylor expansion of B in B 0.952 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 0.953 * [taylor]: Taking taylor expansion of 1.0 in B 0.953 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 0.953 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.953 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.953 * [taylor]: Taking taylor expansion of -1 in B 0.953 * [taylor]: Taking taylor expansion of B in B 0.961 * [taylor]: Taking taylor expansion of 0 in B 0.976 * [taylor]: Taking taylor expansion of 0 in B 0.976 * * * * [progress]: [ 3 / 3 ] generating series at (2 3) 0.976 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 0.976 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.976 * [taylor]: Taking taylor expansion of 1.0 in B 0.976 * [taylor]: Taking taylor expansion of (sin B) in B 0.976 * [taylor]: Taking taylor expansion of B in B 0.977 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 0.977 * [taylor]: Taking taylor expansion of 1.0 in B 0.977 * [taylor]: Taking taylor expansion of (sin B) in B 0.977 * [taylor]: Taking taylor expansion of B in B 0.989 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 0.989 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.989 * [taylor]: Taking taylor expansion of 1.0 in B 0.989 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.989 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.989 * [taylor]: Taking taylor expansion of B in B 0.989 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 0.989 * [taylor]: Taking taylor expansion of 1.0 in B 0.989 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 0.989 * [taylor]: Taking taylor expansion of (/ 1 B) in B 0.989 * [taylor]: Taking taylor expansion of B in B 0.991 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 0.991 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.991 * [taylor]: Taking taylor expansion of 1.0 in B 0.991 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.991 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.992 * [taylor]: Taking taylor expansion of -1 in B 0.992 * [taylor]: Taking taylor expansion of B in B 0.992 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 0.992 * [taylor]: Taking taylor expansion of 1.0 in B 0.992 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 0.992 * [taylor]: Taking taylor expansion of (/ -1 B) in B 0.992 * [taylor]: Taking taylor expansion of -1 in B 0.992 * [taylor]: Taking taylor expansion of B in B 0.994 * * * [progress]: simplifying candidates 0.995 * [simplify]: Simplifying using # : (expm1 (/ (cos B) (sin B))) (log1p (/ (cos B) (sin B))) (- (log (cos B)) (log (sin B))) (log (/ (cos B) (sin B))) (exp (/ (cos B) (sin B))) (/ (* (* (cos B) (cos B)) (cos B)) (* (* (sin B) (sin B)) (sin B))) (* (cbrt (/ (cos B) (sin B))) (cbrt (/ (cos B) (sin B)))) (cbrt (/ (cos B) (sin B))) (* (* (/ (cos B) (sin B)) (/ (cos B) (sin B))) (/ (cos B) (sin B))) (sqrt (/ (cos B) (sin B))) (sqrt (/ (cos B) (sin B))) (- (cos B)) (- (sin B)) (/ (* (cbrt (cos B)) (cbrt (cos B))) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt (cos B)) (cbrt (sin B))) (/ (* (cbrt (cos B)) (cbrt (cos B))) (sqrt (sin B))) (/ (cbrt (cos B)) (sqrt (sin B))) (/ (* (cbrt (cos B)) (cbrt (cos B))) 1) (/ (cbrt (cos B)) (sin B)) (/ (sqrt (cos B)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt (cos B)) (cbrt (sin B))) (/ (sqrt (cos B)) (sqrt (sin B))) (/ (sqrt (cos B)) (sqrt (sin B))) (/ (sqrt (cos B)) 1) (/ (sqrt (cos B)) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cos B) (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ (cos B) (sqrt (sin B))) (/ 1 1) (/ (cos B) (sin B)) (/ 1 (sin B)) (/ (sin B) (cos B)) (/ (cos B) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cos B) (sqrt (sin B))) (/ (cos B) 1) (/ (sin B) (cbrt (cos B))) (/ (sin B) (sqrt (cos B))) (/ (sin B) (cos B)) (expm1 (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (log1p (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (* (- x) (* 1.0 (/ (cos B) (sin B)))) (log (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (exp (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (* (cbrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (cbrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))))) (cbrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (* (* (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (sqrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (sqrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (- (log 1.0) (log (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (/ (* (* 1.0 1.0) 1.0) (* (* (sin B) (sin B)) (sin B))) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (* (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) (/ 1 1) (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) (/ 1.0 1) (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (- (/ 1 B) (+ (* 1/45 (pow B 3)) (* 1/3 B))) (/ (cos B) (sin B)) (/ (cos B) (sin B)) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) 0.999 * * [simplify]: iteration 0 : 241 enodes (cost 480 ) 1.004 * * [simplify]: iteration 1 : 721 enodes (cost 438 ) 1.014 * * [simplify]: iteration 2 : 2196 enodes (cost 438 ) 1.050 * * [simplify]: iteration 3 : 5001 enodes (cost 433 ) 1.053 * [simplify]: Simplified to: (expm1 (/ (cos B) (sin B))) (log1p (/ (cos B) (sin B))) (log (/ (cos B) (sin B))) (log (/ (cos B) (sin B))) (exp (/ (cos B) (sin B))) (pow (/ (cos B) (sin B)) 3) (* (cbrt (/ (cos B) (sin B))) (cbrt (/ (cos B) (sin B)))) (cbrt (/ (cos B) (sin B))) (pow (/ (cos B) (sin B)) 3) (sqrt (/ (cos B) (sin B))) (sqrt (/ (cos B) (sin B))) (- (cos B)) (- (sin B)) (/ (* (cbrt (cos B)) (cbrt (cos B))) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt (cos B)) (cbrt (sin B))) (/ (* (cbrt (cos B)) (cbrt (cos B))) (sqrt (sin B))) (/ (cbrt (cos B)) (sqrt (sin B))) (* (cbrt (cos B)) (cbrt (cos B))) (/ (cbrt (cos B)) (sin B)) (/ (sqrt (cos B)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt (cos B)) (cbrt (sin B))) (/ (sqrt (cos B)) (sqrt (sin B))) (/ (sqrt (cos B)) (sqrt (sin B))) (sqrt (cos B)) (/ (sqrt (cos B)) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cos B) (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ (cos B) (sqrt (sin B))) 1 (/ (cos B) (sin B)) (/ 1 (sin B)) (/ (sin B) (cos B)) (/ (cos B) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cos B) (sqrt (sin B))) (cos B) (/ (sin B) (cbrt (cos B))) (/ (sin B) (sqrt (cos B))) (/ (sin B) (cos B)) (expm1 (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (log1p (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (* (- x) (* 1.0 (/ (cos B) (sin B)))) (log (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (exp (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (* (cbrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (cbrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))))) (cbrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (pow (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) 3) (sqrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (sqrt (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B)))) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (sqrt 1.0) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) 1 (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) 1.0 (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (- (/ 1 B) (+ (* 1/45 (pow B 3)) (* 1/3 B))) (/ (cos B) (sin B)) (/ (cos B) (sin B)) (fma B 0.16666666666666666 (* 1.0 (- (/ 1 B) (/ x B)))) (* (/ 1.0 (sin B)) (- 1 (* x (cos B)))) (* (/ 1.0 (sin B)) (- 1 (* x (cos B)))) (fma 0.019444444444444445 (pow B 3) (fma 1.0 (/ 1 B) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) 1.053 * * * [progress]: adding candidates to table 1.225 * * [progress]: iteration 3 / 4 1.225 * * * [progress]: picking best candidate 1.246 * * * * [pick]: Picked # 1.246 * * * [progress]: localizing error 1.257 * * * [progress]: generating rewritten candidates 1.257 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.258 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3) 1.268 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.274 * * * [progress]: generating series expansions 1.274 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.274 * [approximate]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in (x B) around 0 1.274 * [taylor]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in B 1.274 * [taylor]: Rewrote expression to (+ (* (- x) (* 1.0 (/ (cos B) (sin B)))) (/ 1.0 (sin B))) 1.274 * [taylor]: Taking taylor expansion of (* (- x) (* 1.0 (/ (cos B) (sin B)))) in B 1.274 * [taylor]: Taking taylor expansion of (- x) in B 1.274 * [taylor]: Taking taylor expansion of x in B 1.274 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 1.274 * [taylor]: Taking taylor expansion of 1.0 in B 1.274 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.274 * [taylor]: Taking taylor expansion of (cos B) in B 1.274 * [taylor]: Taking taylor expansion of B in B 1.275 * [taylor]: Taking taylor expansion of (sin B) in B 1.275 * [taylor]: Taking taylor expansion of B in B 1.275 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.275 * [taylor]: Taking taylor expansion of 1.0 in B 1.275 * [taylor]: Taking taylor expansion of (sin B) in B 1.275 * [taylor]: Taking taylor expansion of B in B 1.276 * [taylor]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in x 1.276 * [taylor]: Rewrote expression to (+ (* (- x) (* 1.0 (/ (cos B) (sin B)))) (/ 1.0 (sin B))) 1.276 * [taylor]: Taking taylor expansion of (* (- x) (* 1.0 (/ (cos B) (sin B)))) in x 1.276 * [taylor]: Taking taylor expansion of (- x) in x 1.276 * [taylor]: Taking taylor expansion of x in x 1.276 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in x 1.276 * [taylor]: Taking taylor expansion of 1.0 in x 1.276 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in x 1.276 * [taylor]: Taking taylor expansion of (cos B) in x 1.276 * [taylor]: Taking taylor expansion of B in x 1.276 * [taylor]: Taking taylor expansion of (sin B) in x 1.276 * [taylor]: Taking taylor expansion of B in x 1.277 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in x 1.277 * [taylor]: Taking taylor expansion of 1.0 in x 1.277 * [taylor]: Taking taylor expansion of (sin B) in x 1.277 * [taylor]: Taking taylor expansion of B in x 1.277 * [taylor]: Taking taylor expansion of (fma (- x) (* 1.0 (/ (cos B) (sin B))) (/ 1.0 (sin B))) in x 1.277 * [taylor]: Rewrote expression to (+ (* (- x) (* 1.0 (/ (cos B) (sin B)))) (/ 1.0 (sin B))) 1.277 * [taylor]: Taking taylor expansion of (* (- x) (* 1.0 (/ (cos B) (sin B)))) in x 1.277 * [taylor]: Taking taylor expansion of (- x) in x 1.277 * [taylor]: Taking taylor expansion of x in x 1.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in x 1.277 * [taylor]: Taking taylor expansion of 1.0 in x 1.277 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in x 1.277 * [taylor]: Taking taylor expansion of (cos B) in x 1.277 * [taylor]: Taking taylor expansion of B in x 1.278 * [taylor]: Taking taylor expansion of (sin B) in x 1.278 * [taylor]: Taking taylor expansion of B in x 1.278 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in x 1.278 * [taylor]: Taking taylor expansion of 1.0 in x 1.278 * [taylor]: Taking taylor expansion of (sin B) in x 1.278 * [taylor]: Taking taylor expansion of B in x 1.279 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin B))) in B 1.279 * [taylor]: Taking taylor expansion of 1.0 in B 1.279 * [taylor]: Taking taylor expansion of (/ 1 (sin B)) in B 1.279 * [taylor]: Taking taylor expansion of (sin B) in B 1.279 * [taylor]: Taking taylor expansion of B in B 1.286 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (cos B) (sin B)))) in B 1.286 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 1.286 * [taylor]: Taking taylor expansion of 1.0 in B 1.286 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.286 * [taylor]: Taking taylor expansion of (cos B) in B 1.286 * [taylor]: Taking taylor expansion of B in B 1.286 * [taylor]: Taking taylor expansion of (sin B) in B 1.286 * [taylor]: Taking taylor expansion of B in B 1.296 * [taylor]: Taking taylor expansion of 0 in B 1.301 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in (x B) around 0 1.301 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in B 1.301 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) (/ 1.0 (sin (/ 1 B)))) 1.301 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in B 1.301 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in B 1.301 * [taylor]: Taking taylor expansion of (/ 1 x) in B 1.301 * [taylor]: Taking taylor expansion of x in B 1.301 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.301 * [taylor]: Taking taylor expansion of 1.0 in B 1.301 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.301 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.301 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.301 * [taylor]: Taking taylor expansion of B in B 1.302 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.302 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.302 * [taylor]: Taking taylor expansion of B in B 1.302 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.302 * [taylor]: Taking taylor expansion of 1.0 in B 1.302 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.302 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.302 * [taylor]: Taking taylor expansion of B in B 1.303 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in x 1.303 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) (/ 1.0 (sin (/ 1 B)))) 1.303 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in x 1.303 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.303 * [taylor]: Taking taylor expansion of x in x 1.303 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in x 1.303 * [taylor]: Taking taylor expansion of 1.0 in x 1.303 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in x 1.303 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.303 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.303 * [taylor]: Taking taylor expansion of B in x 1.303 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.303 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.303 * [taylor]: Taking taylor expansion of B in x 1.304 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in x 1.304 * [taylor]: Taking taylor expansion of 1.0 in x 1.304 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.304 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.304 * [taylor]: Taking taylor expansion of B in x 1.304 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) (/ 1.0 (sin (/ 1 B)))) in x 1.304 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) (/ 1.0 (sin (/ 1 B)))) 1.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in x 1.304 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.304 * [taylor]: Taking taylor expansion of x in x 1.305 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in x 1.305 * [taylor]: Taking taylor expansion of 1.0 in x 1.305 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in x 1.305 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in x 1.305 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.305 * [taylor]: Taking taylor expansion of B in x 1.305 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.305 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.305 * [taylor]: Taking taylor expansion of B in x 1.305 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in x 1.305 * [taylor]: Taking taylor expansion of 1.0 in x 1.305 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in x 1.305 * [taylor]: Taking taylor expansion of (/ 1 B) in x 1.306 * [taylor]: Taking taylor expansion of B in x 1.306 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B))))) in B 1.306 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.306 * [taylor]: Taking taylor expansion of 1.0 in B 1.306 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.306 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.306 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.306 * [taylor]: Taking taylor expansion of B in B 1.309 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.310 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.310 * [taylor]: Taking taylor expansion of B in B 1.315 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ 1 B)))) in B 1.315 * [taylor]: Taking taylor expansion of 1.0 in B 1.315 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 B))) in B 1.315 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.315 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.315 * [taylor]: Taking taylor expansion of B in B 1.325 * [taylor]: Taking taylor expansion of 0 in B 1.337 * [taylor]: Taking taylor expansion of 0 in B 1.338 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in (x B) around 0 1.338 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in B 1.338 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) (/ 1.0 (sin (/ -1 B)))) 1.338 * [taylor]: Taking taylor expansion of (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) in B 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in B 1.338 * [taylor]: Taking taylor expansion of x in B 1.338 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.338 * [taylor]: Taking taylor expansion of 1.0 in B 1.338 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.338 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.338 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.338 * [taylor]: Taking taylor expansion of -1 in B 1.338 * [taylor]: Taking taylor expansion of B in B 1.339 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.339 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.339 * [taylor]: Taking taylor expansion of -1 in B 1.339 * [taylor]: Taking taylor expansion of B in B 1.339 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.339 * [taylor]: Taking taylor expansion of 1.0 in B 1.340 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.340 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.340 * [taylor]: Taking taylor expansion of -1 in B 1.340 * [taylor]: Taking taylor expansion of B in B 1.340 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in x 1.340 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) (/ 1.0 (sin (/ -1 B)))) 1.340 * [taylor]: Taking taylor expansion of (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) in x 1.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.340 * [taylor]: Taking taylor expansion of x in x 1.340 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in x 1.340 * [taylor]: Taking taylor expansion of 1.0 in x 1.340 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in x 1.340 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.340 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.340 * [taylor]: Taking taylor expansion of -1 in x 1.340 * [taylor]: Taking taylor expansion of B in x 1.341 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.341 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.341 * [taylor]: Taking taylor expansion of -1 in x 1.341 * [taylor]: Taking taylor expansion of B in x 1.341 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in x 1.341 * [taylor]: Taking taylor expansion of 1.0 in x 1.341 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.341 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.341 * [taylor]: Taking taylor expansion of -1 in x 1.341 * [taylor]: Taking taylor expansion of B in x 1.342 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) (/ 1.0 (sin (/ -1 B)))) in x 1.342 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) (/ 1.0 (sin (/ -1 B)))) 1.342 * [taylor]: Taking taylor expansion of (* (/ 1 x) (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B))))) in x 1.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.342 * [taylor]: Taking taylor expansion of x in x 1.342 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in x 1.342 * [taylor]: Taking taylor expansion of 1.0 in x 1.342 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in x 1.342 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in x 1.342 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.342 * [taylor]: Taking taylor expansion of -1 in x 1.342 * [taylor]: Taking taylor expansion of B in x 1.342 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.342 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.342 * [taylor]: Taking taylor expansion of -1 in x 1.342 * [taylor]: Taking taylor expansion of B in x 1.343 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in x 1.343 * [taylor]: Taking taylor expansion of 1.0 in x 1.343 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in x 1.343 * [taylor]: Taking taylor expansion of (/ -1 B) in x 1.343 * [taylor]: Taking taylor expansion of -1 in x 1.343 * [taylor]: Taking taylor expansion of B in x 1.343 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.344 * [taylor]: Taking taylor expansion of 1.0 in B 1.344 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 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.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.349 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (sin (/ -1 B)))) in B 1.349 * [taylor]: Taking taylor expansion of 1.0 in B 1.349 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 B))) in B 1.349 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.349 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.349 * [taylor]: Taking taylor expansion of -1 in B 1.349 * [taylor]: Taking taylor expansion of B in B 1.358 * [taylor]: Taking taylor expansion of 0 in B 1.369 * [taylor]: Taking taylor expansion of 0 in B 1.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.370 * [approximate]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in (B) around 0 1.370 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 1.370 * [taylor]: Taking taylor expansion of 1.0 in B 1.370 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.370 * [taylor]: Taking taylor expansion of (cos B) in B 1.370 * [taylor]: Taking taylor expansion of B in B 1.370 * [taylor]: Taking taylor expansion of (sin B) in B 1.370 * [taylor]: Taking taylor expansion of B in B 1.371 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos B) (sin B))) in B 1.371 * [taylor]: Taking taylor expansion of 1.0 in B 1.371 * [taylor]: Taking taylor expansion of (/ (cos B) (sin B)) in B 1.371 * [taylor]: Taking taylor expansion of (cos B) in B 1.371 * [taylor]: Taking taylor expansion of B in B 1.371 * [taylor]: Taking taylor expansion of (sin B) in B 1.371 * [taylor]: Taking taylor expansion of B in B 1.386 * [approximate]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in (B) around 0 1.386 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.386 * [taylor]: Taking taylor expansion of 1.0 in B 1.386 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.387 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.387 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.387 * [taylor]: Taking taylor expansion of B in B 1.387 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.387 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.387 * [taylor]: Taking taylor expansion of B in B 1.387 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ 1 B)) (sin (/ 1 B)))) in B 1.387 * [taylor]: Taking taylor expansion of 1.0 in B 1.387 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 B)) (sin (/ 1 B))) in B 1.387 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.387 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.387 * [taylor]: Taking taylor expansion of B in B 1.388 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.388 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.388 * [taylor]: Taking taylor expansion of B in B 1.398 * [approximate]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in (B) around 0 1.398 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.398 * [taylor]: Taking taylor expansion of 1.0 in B 1.398 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.398 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.398 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.398 * [taylor]: Taking taylor expansion of -1 in B 1.398 * [taylor]: Taking taylor expansion of B in B 1.399 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.399 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.399 * [taylor]: Taking taylor expansion of -1 in B 1.399 * [taylor]: Taking taylor expansion of B in B 1.399 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cos (/ -1 B)) (sin (/ -1 B)))) in B 1.399 * [taylor]: Taking taylor expansion of 1.0 in B 1.399 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 B)) (sin (/ -1 B))) in B 1.399 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.399 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.399 * [taylor]: Taking taylor expansion of -1 in B 1.399 * [taylor]: Taking taylor expansion of B in B 1.399 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.400 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.400 * [taylor]: Taking taylor expansion of -1 in B 1.400 * [taylor]: Taking taylor expansion of B in B 1.408 * * * * [progress]: [ 3 / 4 ] generating series at (2 3) 1.408 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 1.408 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.408 * [taylor]: Taking taylor expansion of 1.0 in B 1.408 * [taylor]: Taking taylor expansion of (sin B) in B 1.408 * [taylor]: Taking taylor expansion of B in B 1.408 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.409 * [taylor]: Taking taylor expansion of 1.0 in B 1.409 * [taylor]: Taking taylor expansion of (sin B) in B 1.409 * [taylor]: Taking taylor expansion of B in B 1.420 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 1.420 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.420 * [taylor]: Taking taylor expansion of 1.0 in B 1.420 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.420 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.420 * [taylor]: Taking taylor expansion of B in B 1.421 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.421 * [taylor]: Taking taylor expansion of 1.0 in B 1.421 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.421 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.421 * [taylor]: Taking taylor expansion of B in B 1.423 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 1.423 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.423 * [taylor]: Taking taylor expansion of 1.0 in B 1.423 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.423 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.423 * [taylor]: Taking taylor expansion of -1 in B 1.423 * [taylor]: Taking taylor expansion of B in B 1.424 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.424 * [taylor]: Taking taylor expansion of 1.0 in B 1.424 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.424 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.424 * [taylor]: Taking taylor expansion of -1 in B 1.424 * [taylor]: Taking taylor expansion of B in B 1.426 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.426 * [approximate]: Taking taylor expansion of (/ 1.0 (sin B)) in (B) around 0 1.426 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.426 * [taylor]: Taking taylor expansion of 1.0 in B 1.426 * [taylor]: Taking taylor expansion of (sin B) in B 1.426 * [taylor]: Taking taylor expansion of B in B 1.427 * [taylor]: Taking taylor expansion of (/ 1.0 (sin B)) in B 1.427 * [taylor]: Taking taylor expansion of 1.0 in B 1.427 * [taylor]: Taking taylor expansion of (sin B) in B 1.427 * [taylor]: Taking taylor expansion of B in B 1.439 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in (B) around 0 1.439 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.439 * [taylor]: Taking taylor expansion of 1.0 in B 1.439 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.439 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.439 * [taylor]: Taking taylor expansion of B in B 1.439 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ 1 B))) in B 1.439 * [taylor]: Taking taylor expansion of 1.0 in B 1.439 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.439 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.439 * [taylor]: Taking taylor expansion of B in B 1.441 * [approximate]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in (B) around 0 1.441 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.441 * [taylor]: Taking taylor expansion of 1.0 in B 1.441 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.441 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.441 * [taylor]: Taking taylor expansion of -1 in B 1.441 * [taylor]: Taking taylor expansion of B in B 1.442 * [taylor]: Taking taylor expansion of (/ 1.0 (sin (/ -1 B))) in B 1.442 * [taylor]: Taking taylor expansion of 1.0 in B 1.442 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.442 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.442 * [taylor]: Taking taylor expansion of -1 in B 1.442 * [taylor]: Taking taylor expansion of B in B 1.444 * * * [progress]: simplifying candidates 1.445 * [simplify]: Simplifying using # : (expm1 (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (log1p (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (* (- x) (* (/ 1.0 (sin B)) (cos B))) (log (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (exp (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (* (cbrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (cbrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B))))) (cbrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (* (* (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B))) (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (sqrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (sqrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (expm1 (* (/ 1.0 (sin B)) (cos B))) (log1p (* (/ 1.0 (sin B)) (cos B))) (* (/ 1.0 (sin B)) (cos B)) (+ (- (log 1.0) (log (sin B))) (log (cos B))) (+ (log (/ 1.0 (sin B))) (log (cos B))) (log (* (/ 1.0 (sin B)) (cos B))) (exp (* (/ 1.0 (sin B)) (cos B))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (sin B) (sin B)) (sin B))) (* (* (cos B) (cos B)) (cos B))) (* (* (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (/ 1.0 (sin B))) (* (* (cos B) (cos B)) (cos B))) (* (cbrt (* (/ 1.0 (sin B)) (cos B))) (cbrt (* (/ 1.0 (sin B)) (cos B)))) (cbrt (* (/ 1.0 (sin B)) (cos B))) (* (* (* (/ 1.0 (sin B)) (cos B)) (* (/ 1.0 (sin B)) (cos B))) (* (/ 1.0 (sin B)) (cos B))) (sqrt (* (/ 1.0 (sin B)) (cos B))) (sqrt (* (/ 1.0 (sin B)) (cos B))) (* (sqrt (/ 1.0 (sin B))) (sqrt (cos B))) (* (sqrt (/ 1.0 (sin B))) (sqrt (cos B))) (* (/ (sqrt 1.0) (sqrt (sin B))) (sqrt (cos B))) (* (/ (sqrt 1.0) (sqrt (sin B))) (sqrt (cos B))) (* (/ 1.0 (sin B)) (* (cbrt (cos B)) (cbrt (cos B)))) (* (/ 1.0 (sin B)) (sqrt (cos B))) (* (/ 1.0 (sin B)) 1) (* (cbrt (/ 1.0 (sin B))) (cos B)) (* (sqrt (/ 1.0 (sin B))) (cos B)) (* (/ (cbrt 1.0) (cbrt (sin B))) (cos B)) (* (/ (cbrt 1.0) (sqrt (sin B))) (cos B)) (* (/ (cbrt 1.0) (sin B)) (cos B)) (* (/ (sqrt 1.0) (cbrt (sin B))) (cos B)) (* (/ (sqrt 1.0) (sqrt (sin B))) (cos B)) (* (/ (sqrt 1.0) (sin B)) (cos B)) (* (/ 1.0 (cbrt (sin B))) (cos B)) (* (/ 1.0 (sqrt (sin B))) (cos B)) (* (/ 1.0 (sin B)) (cos B)) (* (/ 1.0 (sin B)) (cos B)) (* (/ 1 (sin B)) (cos B)) (* 1.0 (cos B)) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (- (log 1.0) (log (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (/ (* (* 1.0 1.0) 1.0) (* (* (sin B) (sin B)) (sin B))) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (* (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) (/ 1 1) (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) (/ 1.0 1) (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (- (log 1.0) (log (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (/ (* (* 1.0 1.0) 1.0) (* (* (sin B) (sin B)) (sin B))) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (* (* (/ 1.0 (sin B)) (/ 1.0 (sin B))) (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) (/ 1 1) (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) (/ 1.0 1) (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (- (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B)) (* 1.0 (/ x B))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 (sin B))) (* 1.0 (/ (* x (cos B)) (sin B)))) (- (* 1.0 (/ 1 B)) (+ (* 0.022222222222222223 (pow B 3)) (* 0.3333333333333333 B))) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) (+ (* 0.019444444444444445 (pow B 3)) (+ (* 1.0 (/ 1 B)) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) 1.450 * * [simplify]: iteration 0 : 279 enodes (cost 660 ) 1.456 * * [simplify]: iteration 1 : 1109 enodes (cost 594 ) 1.479 * * [simplify]: iteration 2 : 4890 enodes (cost 592 ) 1.560 * * [simplify]: iteration 3 : 5001 enodes (cost 591 ) 1.564 * [simplify]: Simplified to: (expm1 (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (log1p (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (* (- x) (* (/ 1.0 (sin B)) (cos B))) (log (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (exp (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (* (cbrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (cbrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B))))) (cbrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (pow (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B))) 3) (sqrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (sqrt (fma (- x) (* (/ 1.0 (sin B)) (cos B)) (/ 1.0 (sin B)))) (expm1 (* (/ 1.0 (sin B)) (cos B))) (log1p (* (/ 1.0 (sin B)) (cos B))) (* 1.0 (/ (cos B) (sin B))) (log (* (/ 1.0 (sin B)) (cos B))) (log (* (/ 1.0 (sin B)) (cos B))) (log (* (/ 1.0 (sin B)) (cos B))) (exp (* (/ 1.0 (sin B)) (cos B))) (pow (* 1.0 (/ (cos B) (sin B))) 3) (pow (* 1.0 (/ (cos B) (sin B))) 3) (* (cbrt (* (/ 1.0 (sin B)) (cos B))) (cbrt (* (/ 1.0 (sin B)) (cos B)))) (cbrt (* (/ 1.0 (sin B)) (cos B))) (pow (* 1.0 (/ (cos B) (sin B))) 3) (sqrt (* (/ 1.0 (sin B)) (cos B))) (sqrt (* (/ 1.0 (sin B)) (cos B))) (* (sqrt (/ 1.0 (sin B))) (sqrt (cos B))) (* (sqrt (/ 1.0 (sin B))) (sqrt (cos B))) (* (/ (sqrt 1.0) (sqrt (sin B))) (sqrt (cos B))) (* (/ (sqrt 1.0) (sqrt (sin B))) (sqrt (cos B))) (* (/ 1.0 (sin B)) (* (cbrt (cos B)) (cbrt (cos B)))) (* (/ 1.0 (sin B)) (sqrt (cos B))) (/ 1.0 (sin B)) (* (cbrt (/ 1.0 (sin B))) (cos B)) (* (sqrt (/ 1.0 (sin B))) (cos B)) (* (/ (cbrt 1.0) (cbrt (sin B))) (cos B)) (* (/ (cbrt 1.0) (sqrt (sin B))) (cos B)) (* (/ (cbrt 1.0) (sin B)) (cos B)) (* (/ (sqrt 1.0) (cbrt (sin B))) (cos B)) (* (/ (sqrt 1.0) (sqrt (sin B))) (cos B)) (* (/ (sqrt 1.0) (sin B)) (cos B)) (* (/ 1.0 (cbrt (sin B))) (cos B)) (* (/ 1.0 (sqrt (sin B))) (cos B)) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (/ (cos B) (sin B)) (* 1.0 (cos B)) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (sqrt 1.0) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) 1 (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) 1.0 (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (expm1 (/ 1.0 (sin B))) (log1p (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (log (/ 1.0 (sin B))) (exp (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (* (cbrt (/ 1.0 (sin B))) (cbrt (/ 1.0 (sin B)))) (cbrt (/ 1.0 (sin B))) (pow (/ 1.0 (sin B)) 3) (sqrt (/ 1.0 (sin B))) (sqrt (/ 1.0 (sin B))) (- 1.0) (- (sin B)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1.0) (cbrt (sin B))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sin B))) (/ (cbrt 1.0) (sqrt (sin B))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (sin B)) (/ (sqrt 1.0) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1.0) (cbrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (/ (sqrt 1.0) (sqrt (sin B))) (sqrt 1.0) (/ (sqrt 1.0) (sin B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (cbrt (sin B))) (/ 1 (sqrt (sin B))) (/ 1.0 (sqrt (sin B))) 1 (/ 1.0 (sin B)) (/ 1 (sin B)) (/ (sin B) 1.0) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1.0 (sqrt (sin B))) 1.0 (/ (sin B) (cbrt 1.0)) (/ (sin B) (sqrt 1.0)) (/ (sin B) 1.0) (fma B 0.16666666666666666 (* 1.0 (- (/ 1 B) (/ x B)))) (* (/ 1.0 (sin B)) (+ (* (cos B) (- x)) 1)) (* (/ 1.0 (sin B)) (+ (* (cos B) (- x)) 1)) (fma 1.0 (/ 1 B) (- (fma 0.022222222222222223 (pow B 3) (* 0.3333333333333333 B)))) (* 1.0 (/ (cos B) (sin B))) (* 1.0 (/ (cos B) (sin B))) (fma 0.019444444444444445 (pow B 3) (fma 1.0 (/ 1 B) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) (fma 0.019444444444444445 (pow B 3) (fma 1.0 (/ 1 B) (* 0.16666666666666666 B))) (/ 1.0 (sin B)) (/ 1.0 (sin B)) 1.565 * * * [progress]: adding candidates to table 1.815 * * [progress]: iteration 4 / 4 1.815 * * * [progress]: picking best candidate 1.836 * * * * [pick]: Picked # 1.837 * * * [progress]: localizing error 1.851 * * * [progress]: generating rewritten candidates 1.851 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.853 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 1.854 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.858 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.867 * * * [progress]: generating series expansions 1.867 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.867 * [approximate]: Taking taylor expansion of (pow (tan B) 1/3) in (B) around 0 1.867 * [taylor]: Taking taylor expansion of (pow (tan B) 1/3) in B 1.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan B)))) in B 1.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan B))) in B 1.867 * [taylor]: Taking taylor expansion of 1/3 in B 1.867 * [taylor]: Taking taylor expansion of (log (tan B)) in B 1.867 * [taylor]: Taking taylor expansion of (tan B) in B 1.867 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.867 * [taylor]: Taking taylor expansion of (sin B) in B 1.867 * [taylor]: Taking taylor expansion of B in B 1.867 * [taylor]: Taking taylor expansion of (cos B) in B 1.867 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of (pow (tan B) 1/3) in B 1.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan B)))) in B 1.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan B))) in B 1.869 * [taylor]: Taking taylor expansion of 1/3 in B 1.869 * [taylor]: Taking taylor expansion of (log (tan B)) in B 1.869 * [taylor]: Taking taylor expansion of (tan B) in B 1.869 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.869 * [taylor]: Taking taylor expansion of (sin B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.869 * [taylor]: Taking taylor expansion of (cos B) in B 1.869 * [taylor]: Taking taylor expansion of B in B 1.900 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in (B) around 0 1.900 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in B 1.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ 1 B))))) in B 1.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ 1 B)))) in B 1.900 * [taylor]: Taking taylor expansion of 1/3 in B 1.900 * [taylor]: Taking taylor expansion of (log (tan (/ 1 B))) in B 1.900 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.900 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.900 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.900 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.900 * [taylor]: Taking taylor expansion of B in B 1.900 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.901 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.901 * [taylor]: Taking taylor expansion of B in B 1.901 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in B 1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ 1 B))))) in B 1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ 1 B)))) in B 1.901 * [taylor]: Taking taylor expansion of 1/3 in B 1.901 * [taylor]: Taking taylor expansion of (log (tan (/ 1 B))) in B 1.901 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 1.901 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 1.901 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 1.901 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.901 * [taylor]: Taking taylor expansion of B in B 1.902 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 1.902 * [taylor]: Taking taylor expansion of (/ 1 B) in B 1.902 * [taylor]: Taking taylor expansion of B in B 1.941 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in (B) around 0 1.941 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in B 1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ -1 B))))) in B 1.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ -1 B)))) in B 1.941 * [taylor]: Taking taylor expansion of 1/3 in B 1.941 * [taylor]: Taking taylor expansion of (log (tan (/ -1 B))) in B 1.941 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.941 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.941 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.941 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.941 * [taylor]: Taking taylor expansion of -1 in B 1.941 * [taylor]: Taking taylor expansion of B in B 1.942 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.942 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.942 * [taylor]: Taking taylor expansion of -1 in B 1.942 * [taylor]: Taking taylor expansion of B in B 1.943 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in B 1.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ -1 B))))) in B 1.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ -1 B)))) in B 1.943 * [taylor]: Taking taylor expansion of 1/3 in B 1.943 * [taylor]: Taking taylor expansion of (log (tan (/ -1 B))) in B 1.943 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 1.943 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 1.943 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 1.943 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.943 * [taylor]: Taking taylor expansion of -1 in B 1.943 * [taylor]: Taking taylor expansion of B in B 1.943 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 1.943 * [taylor]: Taking taylor expansion of (/ -1 B) in B 1.943 * [taylor]: Taking taylor expansion of -1 in B 1.943 * [taylor]: Taking taylor expansion of B in B 1.980 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 1.980 * [approximate]: Taking taylor expansion of (pow (tan B) 1/3) in (B) around 0 1.980 * [taylor]: Taking taylor expansion of (pow (tan B) 1/3) in B 1.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan B)))) in B 1.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan B))) in B 1.980 * [taylor]: Taking taylor expansion of 1/3 in B 1.980 * [taylor]: Taking taylor expansion of (log (tan B)) in B 1.980 * [taylor]: Taking taylor expansion of (tan B) in B 1.980 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.980 * [taylor]: Taking taylor expansion of (sin B) in B 1.980 * [taylor]: Taking taylor expansion of B in B 1.980 * [taylor]: Taking taylor expansion of (cos B) in B 1.980 * [taylor]: Taking taylor expansion of B in B 1.981 * [taylor]: Taking taylor expansion of (pow (tan B) 1/3) in B 1.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan B)))) in B 1.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan B))) in B 1.981 * [taylor]: Taking taylor expansion of 1/3 in B 1.981 * [taylor]: Taking taylor expansion of (log (tan B)) in B 1.981 * [taylor]: Taking taylor expansion of (tan B) in B 1.981 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 1.981 * [taylor]: Taking taylor expansion of (sin B) in B 1.981 * [taylor]: Taking taylor expansion of B in B 1.981 * [taylor]: Taking taylor expansion of (cos B) in B 1.981 * [taylor]: Taking taylor expansion of B in B 2.011 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in (B) around 0 2.011 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in B 2.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ 1 B))))) in B 2.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ 1 B)))) in B 2.011 * [taylor]: Taking taylor expansion of 1/3 in B 2.011 * [taylor]: Taking taylor expansion of (log (tan (/ 1 B))) in B 2.011 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.011 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.011 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.011 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.011 * [taylor]: Taking taylor expansion of B in B 2.011 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.011 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.011 * [taylor]: Taking taylor expansion of B in B 2.012 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in B 2.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ 1 B))))) in B 2.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ 1 B)))) in B 2.012 * [taylor]: Taking taylor expansion of 1/3 in B 2.012 * [taylor]: Taking taylor expansion of (log (tan (/ 1 B))) in B 2.012 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.012 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.012 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.012 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.012 * [taylor]: Taking taylor expansion of B in B 2.012 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.012 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.012 * [taylor]: Taking taylor expansion of B in B 2.051 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in (B) around 0 2.051 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in B 2.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ -1 B))))) in B 2.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ -1 B)))) in B 2.051 * [taylor]: Taking taylor expansion of 1/3 in B 2.051 * [taylor]: Taking taylor expansion of (log (tan (/ -1 B))) in B 2.051 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.052 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.052 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.052 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.052 * [taylor]: Taking taylor expansion of -1 in B 2.052 * [taylor]: Taking taylor expansion of B in B 2.052 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.052 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.052 * [taylor]: Taking taylor expansion of -1 in B 2.052 * [taylor]: Taking taylor expansion of B in B 2.053 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in B 2.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ -1 B))))) in B 2.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ -1 B)))) in B 2.053 * [taylor]: Taking taylor expansion of 1/3 in B 2.053 * [taylor]: Taking taylor expansion of (log (tan (/ -1 B))) in B 2.053 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.053 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.053 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.053 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.053 * [taylor]: Taking taylor expansion of -1 in B 2.053 * [taylor]: Taking taylor expansion of B in B 2.053 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.053 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.053 * [taylor]: Taking taylor expansion of -1 in B 2.053 * [taylor]: Taking taylor expansion of B in B 2.090 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.090 * [approximate]: Taking taylor expansion of (pow (tan B) 1/3) in (B) around 0 2.090 * [taylor]: Taking taylor expansion of (pow (tan B) 1/3) in B 2.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan B)))) in B 2.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan B))) in B 2.090 * [taylor]: Taking taylor expansion of 1/3 in B 2.090 * [taylor]: Taking taylor expansion of (log (tan B)) in B 2.090 * [taylor]: Taking taylor expansion of (tan B) in B 2.090 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.090 * [taylor]: Taking taylor expansion of (sin B) in B 2.090 * [taylor]: Taking taylor expansion of B in B 2.090 * [taylor]: Taking taylor expansion of (cos B) in B 2.090 * [taylor]: Taking taylor expansion of B in B 2.092 * [taylor]: Taking taylor expansion of (pow (tan B) 1/3) in B 2.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan B)))) in B 2.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan B))) in B 2.092 * [taylor]: Taking taylor expansion of 1/3 in B 2.092 * [taylor]: Taking taylor expansion of (log (tan B)) in B 2.092 * [taylor]: Taking taylor expansion of (tan B) in B 2.092 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.092 * [taylor]: Taking taylor expansion of (sin B) in B 2.092 * [taylor]: Taking taylor expansion of B in B 2.092 * [taylor]: Taking taylor expansion of (cos B) in B 2.092 * [taylor]: Taking taylor expansion of B in B 2.123 * [approximate]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in (B) around 0 2.123 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in B 2.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ 1 B))))) in B 2.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ 1 B)))) in B 2.124 * [taylor]: Taking taylor expansion of 1/3 in B 2.124 * [taylor]: Taking taylor expansion of (log (tan (/ 1 B))) in B 2.124 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.124 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.124 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.124 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.124 * [taylor]: Taking taylor expansion of B in B 2.124 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.124 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.124 * [taylor]: Taking taylor expansion of B in B 2.125 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 1/3) in B 2.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ 1 B))))) in B 2.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ 1 B)))) in B 2.125 * [taylor]: Taking taylor expansion of 1/3 in B 2.125 * [taylor]: Taking taylor expansion of (log (tan (/ 1 B))) in B 2.125 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.125 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.125 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.125 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.125 * [taylor]: Taking taylor expansion of B in B 2.125 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.125 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.125 * [taylor]: Taking taylor expansion of B in B 2.162 * [approximate]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in (B) around 0 2.162 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in B 2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ -1 B))))) in B 2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ -1 B)))) in B 2.162 * [taylor]: Taking taylor expansion of 1/3 in B 2.162 * [taylor]: Taking taylor expansion of (log (tan (/ -1 B))) in B 2.162 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.162 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.162 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.162 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.162 * [taylor]: Taking taylor expansion of -1 in B 2.162 * [taylor]: Taking taylor expansion of B in B 2.162 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.162 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.162 * [taylor]: Taking taylor expansion of -1 in B 2.162 * [taylor]: Taking taylor expansion of B in B 2.163 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 1/3) in B 2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ -1 B))))) in B 2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ -1 B)))) in B 2.163 * [taylor]: Taking taylor expansion of 1/3 in B 2.163 * [taylor]: Taking taylor expansion of (log (tan (/ -1 B))) in B 2.163 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.163 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.163 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.163 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.163 * [taylor]: Taking taylor expansion of -1 in B 2.163 * [taylor]: Taking taylor expansion of B in B 2.164 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.164 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.164 * [taylor]: Taking taylor expansion of -1 in B 2.164 * [taylor]: Taking taylor expansion of B in B 2.203 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.203 * [approximate]: Taking taylor expansion of (pow (pow (tan B) 2) 1/3) in (B) around 0 2.203 * [taylor]: Taking taylor expansion of (pow (pow (tan B) 2) 1/3) in B 2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (tan B) 2)))) in B 2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (tan B) 2))) in B 2.203 * [taylor]: Taking taylor expansion of 1/3 in B 2.203 * [taylor]: Taking taylor expansion of (log (pow (tan B) 2)) in B 2.203 * [taylor]: Taking taylor expansion of (pow (tan B) 2) in B 2.203 * [taylor]: Taking taylor expansion of (tan B) in B 2.203 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.203 * [taylor]: Taking taylor expansion of (sin B) in B 2.203 * [taylor]: Taking taylor expansion of B in B 2.203 * [taylor]: Taking taylor expansion of (cos B) in B 2.203 * [taylor]: Taking taylor expansion of B in B 2.205 * [taylor]: Taking taylor expansion of (pow (pow (tan B) 2) 1/3) in B 2.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (tan B) 2)))) in B 2.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (tan B) 2))) in B 2.205 * [taylor]: Taking taylor expansion of 1/3 in B 2.205 * [taylor]: Taking taylor expansion of (log (pow (tan B) 2)) in B 2.205 * [taylor]: Taking taylor expansion of (pow (tan B) 2) in B 2.205 * [taylor]: Taking taylor expansion of (tan B) in B 2.205 * [taylor]: Rewrote expression to (/ (sin B) (cos B)) 2.205 * [taylor]: Taking taylor expansion of (sin B) in B 2.205 * [taylor]: Taking taylor expansion of B in B 2.205 * [taylor]: Taking taylor expansion of (cos B) in B 2.205 * [taylor]: Taking taylor expansion of B in B 2.238 * [approximate]: Taking taylor expansion of (pow (pow (tan (/ 1 B)) 2) 1/3) in (B) around 0 2.238 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ 1 B)) 2) 1/3) in B 2.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (tan (/ 1 B)) 2)))) in B 2.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (tan (/ 1 B)) 2))) in B 2.238 * [taylor]: Taking taylor expansion of 1/3 in B 2.238 * [taylor]: Taking taylor expansion of (log (pow (tan (/ 1 B)) 2)) in B 2.238 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 2) in B 2.238 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.238 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.238 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.238 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.238 * [taylor]: Taking taylor expansion of B in B 2.238 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.238 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.238 * [taylor]: Taking taylor expansion of B in B 2.239 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ 1 B)) 2) 1/3) in B 2.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (tan (/ 1 B)) 2)))) in B 2.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (tan (/ 1 B)) 2))) in B 2.239 * [taylor]: Taking taylor expansion of 1/3 in B 2.239 * [taylor]: Taking taylor expansion of (log (pow (tan (/ 1 B)) 2)) in B 2.240 * [taylor]: Taking taylor expansion of (pow (tan (/ 1 B)) 2) in B 2.240 * [taylor]: Taking taylor expansion of (tan (/ 1 B)) in B 2.240 * [taylor]: Rewrote expression to (/ (sin (/ 1 B)) (cos (/ 1 B))) 2.240 * [taylor]: Taking taylor expansion of (sin (/ 1 B)) in B 2.240 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.240 * [taylor]: Taking taylor expansion of B in B 2.240 * [taylor]: Taking taylor expansion of (cos (/ 1 B)) in B 2.240 * [taylor]: Taking taylor expansion of (/ 1 B) in B 2.240 * [taylor]: Taking taylor expansion of B in B 2.288 * [approximate]: Taking taylor expansion of (pow (pow (tan (/ -1 B)) 2) 1/3) in (B) around 0 2.288 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ -1 B)) 2) 1/3) in B 2.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (tan (/ -1 B)) 2)))) in B 2.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (tan (/ -1 B)) 2))) in B 2.288 * [taylor]: Taking taylor expansion of 1/3 in B 2.288 * [taylor]: Taking taylor expansion of (log (pow (tan (/ -1 B)) 2)) in B 2.288 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 2) in B 2.288 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.288 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.288 * [taylor]: Taking taylor expansion of (sin (/ -1 B)) in B 2.288 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.288 * [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.290 * [taylor]: Taking taylor expansion of (pow (pow (tan (/ -1 B)) 2) 1/3) in B 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (tan (/ -1 B)) 2)))) in B 2.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (tan (/ -1 B)) 2))) in B 2.290 * [taylor]: Taking taylor expansion of 1/3 in B 2.290 * [taylor]: Taking taylor expansion of (log (pow (tan (/ -1 B)) 2)) in B 2.290 * [taylor]: Taking taylor expansion of (pow (tan (/ -1 B)) 2) in B 2.290 * [taylor]: Taking taylor expansion of (tan (/ -1 B)) in B 2.290 * [taylor]: Rewrote expression to (/ (sin (/ -1 B)) (cos (/ -1 B))) 2.290 * [taylor]: Taking taylor expansion of (sin (/ -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.291 * [taylor]: Taking taylor expansion of (cos (/ -1 B)) in B 2.291 * [taylor]: Taking taylor expansion of (/ -1 B) in B 2.291 * [taylor]: Taking taylor expansion of -1 in B 2.291 * [taylor]: Taking taylor expansion of B in B 2.336 * * * [progress]: simplifying candidates 2.338 * [simplify]: Simplifying using # : (expm1 (cbrt (tan B))) (log1p (cbrt (tan B))) (log (cbrt (tan B))) (exp (cbrt (tan B))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (cbrt (tan B))) (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B))) (cbrt 1) (cbrt (tan B)) (cbrt (sin B)) (cbrt (cos B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (cbrt (tan B))) (* (* (cbrt (tan B)) (cbrt (tan B))) (cbrt (tan B))) (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B))) (expm1 (cbrt (tan B))) (log1p (cbrt (tan B))) (log (cbrt (tan B))) (exp (cbrt (tan B))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (cbrt (tan B))) (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B))) (cbrt 1) (cbrt (tan B)) (cbrt (sin B)) (cbrt (cos B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (cbrt (tan B))) (* (* (cbrt (tan B)) (cbrt (tan B))) (cbrt (tan B))) (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B))) (expm1 (cbrt (tan B))) (log1p (cbrt (tan B))) (log (cbrt (tan B))) (exp (cbrt (tan B))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (cbrt (tan B))) (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B))) (cbrt 1) (cbrt (tan B)) (cbrt (sin B)) (cbrt (cos B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (cbrt (tan B))) (* (* (cbrt (tan B)) (cbrt (tan B))) (cbrt (tan B))) (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B))) (expm1 (* (cbrt (tan B)) (cbrt (tan B)))) (log1p (* (cbrt (tan B)) (cbrt (tan B)))) (+ 1/3 1/3) (+ 1 1) (* (tan B) (tan B)) (* (cbrt (tan B)) (cbrt (tan B))) (+ 1 1) (+ (log (cbrt (tan B))) (log (cbrt (tan B)))) (log (* (cbrt (tan B)) (cbrt (tan B)))) (exp (* (cbrt (tan B)) (cbrt (tan B)))) (* (tan B) (tan B)) (* (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (* (cbrt (tan B)) (cbrt (tan B))))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (* (* (* (cbrt (tan B)) (cbrt (tan B))) (* (cbrt (tan B)) (cbrt (tan B)))) (* (cbrt (tan B)) (cbrt (tan B)))) (sqrt (* (cbrt (tan B)) (cbrt (tan B)))) (sqrt (* (cbrt (tan B)) (cbrt (tan B)))) (* (cbrt (sin B)) (cbrt (sin B))) (* (cbrt (cos B)) (cbrt (cos B))) (* (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (* (cbrt (tan B)) (cbrt (tan B))))) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (tan B)) (cbrt (tan B))) (* (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B))))) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (* (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B)))) (* (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B)))) (* 1 1) (* (cbrt (tan B)) (cbrt (tan B))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt (sqrt (tan B))) (sqrt (cbrt (tan B)))) (* (cbrt (sqrt (tan B))) (sqrt (cbrt (tan B)))) (* (sqrt (cbrt (tan B))) (cbrt (sqrt (tan B)))) (* (sqrt (cbrt (tan B))) (cbrt (sqrt (tan B)))) (* (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B)))) (* (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B)))) (* 2 1/3) (* 2 1) (* (cbrt (tan B)) (cbrt (* (cbrt (tan B)) (cbrt (tan B))))) (* (cbrt (tan B)) (cbrt (sqrt (tan B)))) (* (cbrt (tan B)) (cbrt 1)) (* (cbrt (tan B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B))))) (* (cbrt (tan B)) (sqrt (cbrt (tan B)))) (* (cbrt (tan B)) 1) (* (cbrt (cbrt (tan B))) (cbrt (tan B))) (* (cbrt (sqrt (tan B))) (cbrt (tan B))) (* (cbrt (tan B)) (cbrt (tan B))) (* (cbrt (cbrt (tan B))) (cbrt (tan B))) (* (sqrt (cbrt (tan B))) (cbrt (tan B))) (* (cbrt (tan B)) (cbrt (tan B))) (* (cbrt (tan B)) (cbrt (sin B))) (* (cbrt (sin B)) (cbrt (tan B))) (+ (pow B 1/3) (+ (* 13/405 (pow (pow B 13) 1/3)) (* 1/9 (pow (pow B 7) 1/3)))) (pow (/ (sin B) (cos B)) 1/3) (pow (/ (sin B) (cos B)) 1/3) (+ (pow B 1/3) (+ (* 13/405 (pow (pow B 13) 1/3)) (* 1/9 (pow (pow B 7) 1/3)))) (pow (/ (sin B) (cos B)) 1/3) (pow (/ (sin B) (cos B)) 1/3) (+ (pow B 1/3) (+ (* 13/405 (pow (pow B 13) 1/3)) (* 1/9 (pow (pow B 7) 1/3)))) (pow (/ (sin B) (cos B)) 1/3) (pow (/ (sin B) (cos B)) 1/3) (+ (* 31/405 (pow (pow B 14) 1/3)) (+ (pow B 2/3) (* 2/9 (pow (pow B 8) 1/3)))) (pow (/ (pow (sin B) 2) (pow (cos B) 2)) 1/3) (pow (/ (pow (sin B) 2) (pow (cos B) 2)) 1/3) 2.342 * * [simplify]: iteration 0 : 174 enodes (cost 531 ) 2.346 * * [simplify]: iteration 1 : 545 enodes (cost 493 ) 2.358 * * [simplify]: iteration 2 : 2172 enodes (cost 461 ) 2.403 * * [simplify]: iteration 3 : 5001 enodes (cost 457 ) 2.406 * [simplify]: Simplified to: (expm1 (cbrt (tan B))) (log1p (cbrt (tan B))) (log (cbrt (tan B))) (exp (cbrt (tan B))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (cbrt (tan B))) (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B))) 1 (cbrt (tan B)) (cbrt (sin B)) (cbrt (cos B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (cbrt (tan B))) (tan B) (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B))) (expm1 (cbrt (tan B))) (log1p (cbrt (tan B))) (log (cbrt (tan B))) (exp (cbrt (tan B))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (cbrt (tan B))) (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B))) 1 (cbrt (tan B)) (cbrt (sin B)) (cbrt (cos B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (cbrt (tan B))) (tan B) (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B))) (expm1 (cbrt (tan B))) (log1p (cbrt (tan B))) (log (cbrt (tan B))) (exp (cbrt (tan B))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (cbrt (tan B))) (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B))) 1 (cbrt (tan B)) (cbrt (sin B)) (cbrt (cos B)) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (cbrt (tan B))) (tan B) (sqrt (cbrt (tan B))) (sqrt (cbrt (tan B))) (expm1 (* (cbrt (tan B)) (cbrt (tan B)))) (log1p (* (cbrt (tan B)) (cbrt (tan B)))) 2/3 2 (pow (cbrt (tan B)) 6) (pow (sqrt (cbrt (tan B))) 4) 2 (* 2 (log (cbrt (tan B)))) (* 2 (log (cbrt (tan B)))) (exp (* (cbrt (tan B)) (cbrt (tan B)))) (pow (cbrt (tan B)) 6) (* (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (* (cbrt (tan B)) (cbrt (tan B))))) (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (pow (cbrt (tan B)) 6) (fabs (cbrt (tan B))) (fabs (cbrt (tan B))) (* (cbrt (sin B)) (cbrt (sin B))) (* (cbrt (cos B)) (cbrt (cos B))) (* (cbrt (* (cbrt (tan B)) (cbrt (tan B)))) (cbrt (* (cbrt (tan B)) (cbrt (tan B))))) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) 1 (pow (sqrt (cbrt (tan B))) 4) (pow (cbrt (cbrt (tan B))) 4) (* (cbrt (cbrt (tan B))) (cbrt (cbrt (tan B)))) (cbrt (tan B)) (cbrt (tan B)) 1 (pow (sqrt (cbrt (tan B))) 4) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt (sqrt (tan B))) (cbrt (sqrt (tan B)))) (* (cbrt (sqrt (tan B))) (sqrt (cbrt (tan B)))) (* (cbrt (sqrt (tan B))) (sqrt (cbrt (tan B)))) (* (cbrt (sqrt (tan B))) (sqrt (cbrt (tan B)))) (* (cbrt (sqrt (tan B))) (sqrt (cbrt (tan B)))) (cbrt (tan B)) (cbrt (tan B)) 2/3 2 (* (cbrt (tan B)) (cbrt (* (cbrt (tan B)) (cbrt (tan B))))) (* (cbrt (tan B)) (cbrt (sqrt (tan B)))) (cbrt (tan B)) (pow (cbrt (cbrt (tan B))) 5) (pow (sqrt (cbrt (tan B))) 3) (cbrt (tan B)) (pow (cbrt (cbrt (tan B))) 4) (* (cbrt (tan B)) (cbrt (sqrt (tan B)))) (pow (sqrt (cbrt (tan B))) 4) (pow (cbrt (cbrt (tan B))) 4) (pow (sqrt (cbrt (tan B))) 3) (pow (sqrt (cbrt (tan B))) 4) (* (cbrt (tan B)) (cbrt (sin B))) (* (cbrt (tan B)) (cbrt (sin B))) (+ (fma 13/405 (pow (pow B 13) 1/3) (* 1/9 (pow (pow B 7) 1/3))) (pow B 1/3)) (pow (/ (sin B) (cos B)) 1/3) (pow (/ (sin B) (cos B)) 1/3) (+ (fma 13/405 (pow (pow B 13) 1/3) (* 1/9 (pow (pow B 7) 1/3))) (pow B 1/3)) (pow (/ (sin B) (cos B)) 1/3) (pow (/ (sin B) (cos B)) 1/3) (+ (fma 13/405 (pow (pow B 13) 1/3) (* 1/9 (pow (pow B 7) 1/3))) (pow B 1/3)) (pow (/ (sin B) (cos B)) 1/3) (pow (/ (sin B) (cos B)) 1/3) (fma (pow (pow B 14) 1/3) 31/405 (fma (pow (pow B 8) 1/3) 2/9 (pow B 2/3))) (pow (/ (pow (sin B) 2) (pow (cos B) 2)) 1/3) (pow (/ (pow (sin B) 2) (pow (cos B) 2)) 1/3) 2.406 * * * [progress]: adding candidates to table 2.663 * [progress]: [Phase 3 of 3] Extracting. 2.663 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.666 * * * [regime-changes]: Trying 2 branch expressions: (x B) 2.666 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 2.707 * * * * [regimes]: Trying to branch on B from (# # # # # # # # # #) 2.746 * * * [regime]: Found split indices: #