* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (- b (+ (pow (cotan b) a) (asin b)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (- b (+ (asin b) (pow (cotan b) a)))
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (a b) (- b (+ (pow (cotan b) a) (asin b))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 2 1 1)
* [misc]approximate:  Taking taylor expansion of (cotan b) in (b) around 0
* [misc]taylor:  Taking taylor expansion of (cotan b) in b
* [misc]taylor:  Taking taylor expansion of (/ (cos b) (sin b)) in b
* [misc]taylor:  Taking taylor expansion of (cos b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (sin b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (cotan b) in b
* [misc]taylor:  Taking taylor expansion of (/ (cos b) (sin b)) in b
* [misc]taylor:  Taking taylor expansion of (cos b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (sin b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2)
* [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6)
* [misc]backup-simplify:  Simplify (- (/ (- 1/2) 1) (+ (* 1 (/ (- 1/6) 1)) (* 0 (/ 0 1)))) into -1/3
* [misc]backup-simplify:  Simplify -1/3 into -1/3
* [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (- 1/6) 1)) (* -1/3 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24
* [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
* [misc]backup-simplify:  Simplify (- (/ 1/24 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* -1/3 (/ (- 1/6) 1)) (* 0 (/ 0 1)))) into -1/45
* [misc]backup-simplify:  Simplify -1/45 into -1/45
* [misc]backup-simplify:  Simplify (+ (* -1/45 (pow b 3)) (+ (* -1/3 b) (* 1 (/ 1 b)))) into (- (/ 1 b) (+ (* 1/3 b) (* 1/45 (pow b 3))))
* [misc]approximate:  Taking taylor expansion of (cotan (/ 1 b)) in (b) around 0
* [misc]taylor:  Taking taylor expansion of (cotan (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 b)) (sin (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (cos (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (cos (/ 1 b)) into (cos (/ 1 b))
* [misc]taylor:  Taking taylor expansion of (sin (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (sin (/ 1 b)) into (sin (/ 1 b))
* [misc]backup-simplify:  Simplify (/ (cos (/ 1 b)) (sin (/ 1 b))) into (/ (cos (/ 1 b)) (sin (/ 1 b)))
* [misc]taylor:  Taking taylor expansion of (cotan (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 b)) (sin (/ 1 b))) in b
* [misc]taylor:  Taking taylor expansion of (cos (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (cos (/ 1 b)) into (cos (/ 1 b))
* [misc]taylor:  Taking taylor expansion of (sin (/ 1 b)) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (sin (/ 1 b)) into (sin (/ 1 b))
* [misc]backup-simplify:  Simplify (/ (cos (/ 1 b)) (sin (/ 1 b))) into (/ (cos (/ 1 b)) (sin (/ 1 b)))
* [misc]backup-simplify:  Simplify (/ (cos (/ 1 b)) (sin (/ 1 b))) into (/ (cos (/ 1 b)) (sin (/ 1 b)))
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ 1 b))) (+ (* (/ (cos (/ 1 b)) (sin (/ 1 b))) (/ 0 (sin (/ 1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ 1 b))) (+ (* (/ (cos (/ 1 b)) (sin (/ 1 b))) (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ 1 b))) (+ (* (/ (cos (/ 1 b)) (sin (/ 1 b))) (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ 1 b))) (+ (* (/ (cos (/ 1 b)) (sin (/ 1 b))) (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ 1 b))) (+ (* (/ (cos (/ 1 b)) (sin (/ 1 b))) (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ 1 b))) (+ (* (/ (cos (/ 1 b)) (sin (/ 1 b))) (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))) (* 0 (/ 0 (sin (/ 1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (cos (/ 1 b)) (sin (/ 1 b))) into (/ (cos (/ 1 b)) (sin (/ 1 b)))
* [misc]approximate:  Taking taylor expansion of (cotan (/ 1 (- b))) in (b) around 0
* [misc]taylor:  Taking taylor expansion of (cotan (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 (- b))) (sin (/ 1 (- b)))) in b
* [misc]taylor:  Taking taylor expansion of (cos (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (cos (/ 1 (- b))) into (cos (/ -1 b))
* [misc]taylor:  Taking taylor expansion of (sin (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (sin (/ 1 (- b))) into (sin (/ -1 b))
* [misc]backup-simplify:  Simplify (/ (cos (/ -1 b)) (sin (/ -1 b))) into (/ (cos (/ -1 b)) (sin (/ -1 b)))
* [misc]taylor:  Taking taylor expansion of (cotan (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 (- b))) (sin (/ 1 (- b)))) in b
* [misc]taylor:  Taking taylor expansion of (cos (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (cos (/ 1 (- b))) into (cos (/ -1 b))
* [misc]taylor:  Taking taylor expansion of (sin (/ 1 (- b))) in b
* [misc]taylor:  Taking taylor expansion of (/ 1 (- b)) in b
* [misc]taylor:  Taking taylor expansion of (- b) in b
* [misc]taylor:  Taking taylor expansion of b in b
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (sin (/ 1 (- b))) into (sin (/ -1 b))
* [misc]backup-simplify:  Simplify (/ (cos (/ -1 b)) (sin (/ -1 b))) into (/ (cos (/ -1 b)) (sin (/ -1 b)))
* [misc]backup-simplify:  Simplify (/ (cos (/ -1 b)) (sin (/ -1 b))) into (/ (cos (/ -1 b)) (sin (/ -1 b)))
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ -1 b))) (+ (* (/ (cos (/ -1 b)) (sin (/ -1 b))) (/ 0 (sin (/ -1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ -1 b))) (+ (* (/ (cos (/ -1 b)) (sin (/ -1 b))) (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ -1 b))) (+ (* (/ (cos (/ -1 b)) (sin (/ -1 b))) (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ -1 b))) (+ (* (/ (cos (/ -1 b)) (sin (/ -1 b))) (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ -1 b))) (+ (* (/ (cos (/ -1 b)) (sin (/ -1 b))) (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sin (/ -1 b))) (+ (* (/ (cos (/ -1 b)) (sin (/ -1 b))) (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))) (* 0 (/ 0 (sin (/ -1 b)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (cos (/ -1 b)) (sin (/ -1 b))) into (/ (cos (/ -1 b)) (sin (/ -1 b)))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 2 1 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt-event (λ (a b) (- b (+ (pow (- (/ 1 b) (+ (* 1/3 b) (* 1/45 (pow b 3)))) a) (asin b))))>
* [enter]simplify:  Simplifying (- b (+ (pow (- (/ 1 b) (+ (* 1/3 b) (* 1/45 (pow b 3)))) a) (asin b)))
* * [misc]simplify:  iters left: 6 (16 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* * [misc]simplify:  iters left: 1 (43 enodes)
* [exit]simplify:  Simplified to (- (- b (pow (- (- (/ 1 b) (* b 1/3)) (* (cube b) 1/45)) a)) (asin b))
* * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt-event (λ (a b) (- b (+ (pow (/ (cos (/ 1 b)) (sin (/ 1 b))) a) (asin b))))>
* [enter]simplify:  Simplifying (- b (+ (pow (/ (cos (/ 1 b)) (sin (/ 1 b))) a) (asin b)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* [exit]simplify:  Simplified to (- (- b (pow (/ (cos (/ 1 b)) (sin (/ 1 b))) a)) (asin b))
* * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt-event (λ (a b) (- b (+ (pow (/ (cos (/ -1 b)) (sin (/ -1 b))) a) (asin b))))>
* [enter]simplify:  Simplifying (- b (+ (pow (/ (cos (/ -1 b)) (sin (/ -1 b))) a) (asin b)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (- (- b (pow (/ (cos (/ -1 b)) (sin (/ -1 b))) a)) (asin b))
* * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (/ (cos b) (sin b)) a) (asin b))))>
* [enter]simplify:  Simplifying (cos b)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cos b)
* [exit]simplify:  Simplified to (cos b)
* [enter]simplify:  Simplifying (sin b)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sin b)
* [exit]simplify:  Simplified to (sin b)
* * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (/ 1 (tan b)) a) (asin b))))>
* [enter]simplify:  Simplifying (tan b)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (tan b)
* [exit]simplify:  Simplified to (tan b)
* * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (pow (cotan b) 1) a) (asin b))))>
* * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (exp (log (cotan b))) a) (asin b))))>
* [enter]simplify:  Simplifying (log (cotan b))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (cotan b))
* [exit]simplify:  Simplified to (log (cotan b))
* * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (log (exp (cotan b))) a) (asin b))))>
* [enter]simplify:  Simplifying (exp (cotan b))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (cotan b))
* [exit]simplify:  Simplified to (exp (cotan b))
* * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (cube (cbrt (cotan b))) a) (asin b))))>
* [enter]simplify:  Simplifying (cbrt (cotan b))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (cotan b))
* [exit]simplify:  Simplified to (cbrt (cotan b))
* * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (cbrt (cube (cotan b))) a) (asin b))))>
* [enter]simplify:  Simplifying (cube (cotan b))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (cotan b))
* [exit]simplify:  Simplified to (cube (cotan b))
* * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (sqr (sqrt (cotan b))) a) (asin b))))>
* [enter]simplify:  Simplifying (sqrt (cotan b))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (cotan b))
* [exit]simplify:  Simplified to (sqrt (cotan b))
* * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt-delta (λ (a b) (- b (+ (pow (* 1 (cotan b)) a) (asin b))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (a b) (- b (+ (pow (cotan b) a) (asin b))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 a +inf.0)) , with alts (#<alt-event (λ (a b) (- b (+ (pow (cotan b) a) (asin b))))>)
* [enter]simplify:  Simplifying (- b (+ (pow (cotan b) a) (asin b)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (- b (+ (asin b) (pow (cotan b) a)))