0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.360 * * * [progress]: [2/2] Setting up program.
0.363 * [progress]: [Phase 2 of 3] Improving.
0.363 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.365 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.365 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.366 * * [progress]: iteration 1 / 4
0.366 * * * [progress]: picking best candidate
0.368 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.369 * * * [progress]: localizing error
0.381 * * * [progress]: generating rewritten candidates
0.381 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.382 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.385 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.386 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.387 * * * [progress]: generating series expansions
0.387 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.389 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.390 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.391 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.394 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.394 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.394 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.395 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.395 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.395 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.396 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.396 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.396 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.396 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.396 * [taylor]: Rewrote expression to (- (exp a) 1)
0.396 * [taylor]: Taking taylor expansion of (exp a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of 1 in a
0.399 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.399 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.399 * [taylor]: Rewrote expression to (- (exp a) 1)
0.399 * [taylor]: Taking taylor expansion of (exp a) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of 1 in a
0.410 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.410 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.410 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.411 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.411 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.411 * [taylor]: Taking taylor expansion of a in a
0.411 * [taylor]: Taking taylor expansion of 1 in a
0.411 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.412 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.412 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.412 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.412 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.412 * [taylor]: Taking taylor expansion of a in a
0.412 * [taylor]: Taking taylor expansion of 1 in a
0.433 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.433 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.433 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.433 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.433 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.433 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.433 * [taylor]: Taking taylor expansion of -1 in a
0.433 * [taylor]: Taking taylor expansion of a in a
0.434 * [taylor]: Taking taylor expansion of 1 in a
0.434 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.434 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.434 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.434 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.434 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.434 * [taylor]: Taking taylor expansion of -1 in a
0.434 * [taylor]: Taking taylor expansion of a in a
0.435 * [taylor]: Taking taylor expansion of 1 in a
0.461 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.461 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.461 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.461 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.461 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.461 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.461 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.461 * [taylor]: Rewrote expression to (- (exp a) 1)
0.461 * [taylor]: Taking taylor expansion of (exp a) in a
0.461 * [taylor]: Taking taylor expansion of a in a
0.461 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.463 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.463 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.463 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.463 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.463 * [taylor]: Rewrote expression to (- (exp a) 1)
0.463 * [taylor]: Taking taylor expansion of (exp a) in a
0.463 * [taylor]: Taking taylor expansion of a in a
0.463 * [taylor]: Taking taylor expansion of 1 in a
0.465 * [taylor]: Taking taylor expansion of 1 in a
0.475 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.475 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.475 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.475 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.475 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.475 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.475 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.475 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.475 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.475 * [taylor]: Taking taylor expansion of a in a
0.475 * [taylor]: Taking taylor expansion of 1 in a
0.476 * [taylor]: Taking taylor expansion of 1 in a
0.476 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.476 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.476 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.476 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.476 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.476 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.476 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.476 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.476 * [taylor]: Taking taylor expansion of a in a
0.476 * [taylor]: Taking taylor expansion of 1 in a
0.477 * [taylor]: Taking taylor expansion of 1 in a
0.508 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.508 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.508 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.508 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.508 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.508 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.508 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.508 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.508 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.508 * [taylor]: Taking taylor expansion of -1 in a
0.508 * [taylor]: Taking taylor expansion of a in a
0.509 * [taylor]: Taking taylor expansion of 1 in a
0.509 * [taylor]: Taking taylor expansion of 1 in a
0.509 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.509 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.509 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.509 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.509 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.509 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.510 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.510 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.510 * [taylor]: Taking taylor expansion of -1 in a
0.510 * [taylor]: Taking taylor expansion of a in a
0.510 * [taylor]: Taking taylor expansion of 1 in a
0.510 * [taylor]: Taking taylor expansion of 1 in a
0.545 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.545 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.545 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.546 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.546 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.546 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.546 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.547 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.547 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.547 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.547 * * * [progress]: simplifying candidates
0.548 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (exp (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.550 * * [simplify]: iteration  0 :  69  enodes  (cost  64 )
0.552 * * [simplify]: iteration  1 :  167  enodes  (cost  62 )
0.556 * * [simplify]: iteration  2 :  528  enodes  (cost  62 )
0.568 * * [simplify]: iteration  3 :  2130  enodes  (cost  62 )
0.640 * * [simplify]: iteration  4 :  5001  enodes  (cost  62 )
0.641 * [simplify]: Simplified to:
   (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (exp (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.641 * * * [progress]: adding candidates to table
0.657 * * [progress]: iteration 2 / 4
0.658 * * * [progress]: picking best candidate
0.667 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))>
0.667 * * * [progress]: localizing error
0.679 * * * [progress]: generating rewritten candidates
0.679 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.680 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.684 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
0.685 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.687 * * * [progress]: generating series expansions
0.687 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.687 * [approximate]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a) in (a) around 0
0.687 * [taylor]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a) in a
0.687 * [taylor]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a) in a
0.687 * [approximate]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 (/ 1 a)))) 1) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.687 * [taylor]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 (/ 1 a)))) 1) (atan (/ 1 a))) (/ 1 a)) in a
0.688 * [taylor]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 (/ 1 a)))) 1) (atan (/ 1 a))) (/ 1 a)) in a
0.688 * [approximate]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 (/ -1 a)))) 1) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.688 * [taylor]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 (/ -1 a)))) 1) (atan (/ -1 a))) (/ -1 a)) in a
0.688 * [taylor]: Taking taylor expansion of (fmod (atan2 (- (exp (sin (expm1 (/ -1 a)))) 1) (atan (/ -1 a))) (/ -1 a)) in a
0.689 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.689 * [approximate]: Taking taylor expansion of (- (exp (sin (expm1 a))) 1) in (a) around 0
0.689 * [taylor]: Taking taylor expansion of (- (exp (sin (expm1 a))) 1) in a
0.689 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.689 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.689 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.689 * [taylor]: Rewrote expression to (- (exp a) 1)
0.689 * [taylor]: Taking taylor expansion of (exp a) in a
0.689 * [taylor]: Taking taylor expansion of a in a
0.689 * [taylor]: Taking taylor expansion of 1 in a
0.691 * [taylor]: Taking taylor expansion of 1 in a
0.692 * [taylor]: Taking taylor expansion of (- (exp (sin (expm1 a))) 1) in a
0.692 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.692 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.692 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.692 * [taylor]: Rewrote expression to (- (exp a) 1)
0.692 * [taylor]: Taking taylor expansion of (exp a) in a
0.692 * [taylor]: Taking taylor expansion of a in a
0.692 * [taylor]: Taking taylor expansion of 1 in a
0.694 * [taylor]: Taking taylor expansion of 1 in a
0.706 * [approximate]: Taking taylor expansion of (- (exp (sin (expm1 (/ 1 a)))) 1) in (a) around 0
0.706 * [taylor]: Taking taylor expansion of (- (exp (sin (expm1 (/ 1 a)))) 1) in a
0.706 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.706 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.706 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.706 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.706 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.706 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.706 * [taylor]: Taking taylor expansion of a in a
0.707 * [taylor]: Taking taylor expansion of 1 in a
0.707 * [taylor]: Taking taylor expansion of 1 in a
0.707 * [taylor]: Taking taylor expansion of (- (exp (sin (expm1 (/ 1 a)))) 1) in a
0.707 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.707 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.707 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.707 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.707 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.707 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.707 * [taylor]: Taking taylor expansion of a in a
0.708 * [taylor]: Taking taylor expansion of 1 in a
0.708 * [taylor]: Taking taylor expansion of 1 in a
0.740 * [approximate]: Taking taylor expansion of (- (exp (sin (expm1 (/ -1 a)))) 1) in (a) around 0
0.740 * [taylor]: Taking taylor expansion of (- (exp (sin (expm1 (/ -1 a)))) 1) in a
0.740 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.740 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.740 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.740 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.740 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.740 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.740 * [taylor]: Taking taylor expansion of -1 in a
0.740 * [taylor]: Taking taylor expansion of a in a
0.740 * [taylor]: Taking taylor expansion of 1 in a
0.741 * [taylor]: Taking taylor expansion of 1 in a
0.741 * [taylor]: Taking taylor expansion of (- (exp (sin (expm1 (/ -1 a)))) 1) in a
0.741 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.741 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.741 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.741 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.741 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.741 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.741 * [taylor]: Taking taylor expansion of -1 in a
0.741 * [taylor]: Taking taylor expansion of a in a
0.742 * [taylor]: Taking taylor expansion of 1 in a
0.742 * [taylor]: Taking taylor expansion of 1 in a
0.773 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
0.774 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.774 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.774 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.774 * [taylor]: Rewrote expression to (- (exp a) 1)
0.774 * [taylor]: Taking taylor expansion of (exp a) in a
0.774 * [taylor]: Taking taylor expansion of a in a
0.774 * [taylor]: Taking taylor expansion of 1 in a
0.775 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.775 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.775 * [taylor]: Rewrote expression to (- (exp a) 1)
0.775 * [taylor]: Taking taylor expansion of (exp a) in a
0.775 * [taylor]: Taking taylor expansion of a in a
0.775 * [taylor]: Taking taylor expansion of 1 in a
0.792 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.792 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.792 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.792 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.792 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.792 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.792 * [taylor]: Taking taylor expansion of a in a
0.792 * [taylor]: Taking taylor expansion of 1 in a
0.793 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.793 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.793 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.793 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.793 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.793 * [taylor]: Taking taylor expansion of a in a
0.793 * [taylor]: Taking taylor expansion of 1 in a
0.814 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.814 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.814 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.814 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.814 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.814 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.814 * [taylor]: Taking taylor expansion of -1 in a
0.814 * [taylor]: Taking taylor expansion of a in a
0.815 * [taylor]: Taking taylor expansion of 1 in a
0.815 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.815 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.815 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.815 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.815 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.815 * [taylor]: Taking taylor expansion of -1 in a
0.815 * [taylor]: Taking taylor expansion of a in a
0.816 * [taylor]: Taking taylor expansion of 1 in a
0.837 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.837 * [approximate]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) in (a) around 0
0.837 * [taylor]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) in a
0.837 * [taylor]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) in a
0.837 * [approximate]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 (/ 1 a)))) 1) (atan (/ 1 a))) in (a) around 0
0.837 * [taylor]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 (/ 1 a)))) 1) (atan (/ 1 a))) in a
0.838 * [taylor]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 (/ 1 a)))) 1) (atan (/ 1 a))) in a
0.838 * [approximate]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 (/ -1 a)))) 1) (atan (/ -1 a))) in (a) around 0
0.838 * [taylor]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 (/ -1 a)))) 1) (atan (/ -1 a))) in a
0.838 * [taylor]: Taking taylor expansion of (atan2 (- (exp (sin (expm1 (/ -1 a)))) 1) (atan (/ -1 a))) in a
0.839 * * * [progress]: simplifying candidates
0.839 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (exp (sin (expm1 a))) 3) (pow 1 3))
  (+ (* (exp (sin (expm1 a))) (exp (sin (expm1 a)))) (+ (* 1 1) (* (exp (sin (expm1 a))) 1)))
  (- 1)
  (- (* (exp (sin (expm1 a))) (exp (sin (expm1 a)))) (* 1 1))
  (+ (exp (sin (expm1 a))) 1)
  (- 1)
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)
  (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)
  (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (atan2 (- (exp (sin (expm1 a))) 1) (atan a))
  (atan2 (- (exp (sin (expm1 a))) 1) (atan a))
  (atan2 (- (exp (sin (expm1 a))) 1) (atan a))
0.842 * * [simplify]: iteration  0 :  107  enodes  (cost  97 )
0.844 * * [simplify]: iteration  1 :  337  enodes  (cost  93 )
0.850 * * [simplify]: iteration  2 :  1088  enodes  (cost  91 )
0.878 * * [simplify]: iteration  3 :  5002  enodes  (cost  89 )
0.879 * [simplify]: Simplified to:
   (- (pow (exp (sin (expm1 a))) 3) 1)
  (fma (exp (sin (expm1 a))) (+ (exp (sin (expm1 a))) 1) 1)
  (- 1)
  (expm1 (+ (* 2 (sin (expm1 a))) 0))
  (+ (exp (sin (expm1 a))) 1)
  (- 1)
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)
  (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)
  (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (atan2 (- (exp (sin (expm1 a))) 1) (atan a))
  (atan2 (- (exp (sin (expm1 a))) 1) (atan a))
  (atan2 (- (exp (sin (expm1 a))) 1) (atan a))
0.879 * * * [progress]: adding candidates to table
0.904 * * [progress]: iteration 3 / 4
0.905 * * * [progress]: picking best candidate
0.912 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (/ (expm1 (+ (* 2 (sin (expm1 a))) 0)) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)))>
0.912 * * * [progress]: localizing error
0.930 * * * [progress]: generating rewritten candidates
0.930 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.931 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1)
0.932 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
0.934 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.939 * * * [progress]: generating series expansions
0.939 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.939 * [approximate]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a) in (a) around 0
0.939 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a) in a
0.939 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a) in a
0.940 * [approximate]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.940 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) (atan (/ 1 a))) (/ 1 a)) in a
0.940 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) (atan (/ 1 a))) (/ 1 a)) in a
0.941 * [approximate]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.941 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) (atan (/ -1 a))) (/ -1 a)) in a
0.941 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) (atan (/ -1 a))) (/ -1 a)) in a
0.942 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1)
0.942 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.942 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.942 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.942 * [taylor]: Rewrote expression to (- (exp a) 1)
0.942 * [taylor]: Taking taylor expansion of (exp a) in a
0.942 * [taylor]: Taking taylor expansion of a in a
0.943 * [taylor]: Taking taylor expansion of 1 in a
0.944 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.944 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.945 * [taylor]: Rewrote expression to (- (exp a) 1)
0.945 * [taylor]: Taking taylor expansion of (exp a) in a
0.945 * [taylor]: Taking taylor expansion of a in a
0.945 * [taylor]: Taking taylor expansion of 1 in a
0.955 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.955 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.955 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.955 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.955 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.955 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.955 * [taylor]: Taking taylor expansion of a in a
0.955 * [taylor]: Taking taylor expansion of 1 in a
0.956 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.956 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.956 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.956 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.956 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.956 * [taylor]: Taking taylor expansion of a in a
0.956 * [taylor]: Taking taylor expansion of 1 in a
0.977 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.977 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.977 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.977 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.977 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.977 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.977 * [taylor]: Taking taylor expansion of -1 in a
0.977 * [taylor]: Taking taylor expansion of a in a
0.977 * [taylor]: Taking taylor expansion of 1 in a
0.978 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.978 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.978 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.978 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.978 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.978 * [taylor]: Taking taylor expansion of -1 in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of 1 in a
1.004 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2)
1.005 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.005 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.005 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.005 * [taylor]: Rewrote expression to (- (exp a) 1)
1.005 * [taylor]: Taking taylor expansion of (exp a) in a
1.005 * [taylor]: Taking taylor expansion of a in a
1.005 * [taylor]: Taking taylor expansion of 1 in a
1.006 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.006 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.006 * [taylor]: Rewrote expression to (- (exp a) 1)
1.006 * [taylor]: Taking taylor expansion of (exp a) in a
1.006 * [taylor]: Taking taylor expansion of a in a
1.006 * [taylor]: Taking taylor expansion of 1 in a
1.016 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.016 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.016 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.016 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.016 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.017 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.017 * [taylor]: Taking taylor expansion of a in a
1.017 * [taylor]: Taking taylor expansion of 1 in a
1.017 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.017 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.017 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.017 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.017 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.017 * [taylor]: Taking taylor expansion of a in a
1.018 * [taylor]: Taking taylor expansion of 1 in a
1.038 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.038 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.038 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.038 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.038 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.038 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.038 * [taylor]: Taking taylor expansion of -1 in a
1.038 * [taylor]: Taking taylor expansion of a in a
1.039 * [taylor]: Taking taylor expansion of 1 in a
1.039 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.039 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.039 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.039 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.039 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.040 * [taylor]: Taking taylor expansion of -1 in a
1.040 * [taylor]: Taking taylor expansion of a in a
1.040 * [taylor]: Taking taylor expansion of 1 in a
1.061 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.061 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) in (a) around 0
1.061 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) in a
1.061 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 a)))) in a
1.061 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 a)))) 1)
1.061 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 a)))) in a
1.061 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 a))) in a
1.061 * [taylor]: Taking taylor expansion of 2 in a
1.061 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.061 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.061 * [taylor]: Rewrote expression to (- (exp a) 1)
1.061 * [taylor]: Taking taylor expansion of (exp a) in a
1.061 * [taylor]: Taking taylor expansion of a in a
1.061 * [taylor]: Taking taylor expansion of 1 in a
1.064 * [taylor]: Taking taylor expansion of 1 in a
1.064 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 a))) 1) in a
1.064 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.064 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.064 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.064 * [taylor]: Rewrote expression to (- (exp a) 1)
1.064 * [taylor]: Taking taylor expansion of (exp a) in a
1.064 * [taylor]: Taking taylor expansion of a in a
1.064 * [taylor]: Taking taylor expansion of 1 in a
1.071 * [taylor]: Taking taylor expansion of 1 in a
1.073 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) in a
1.073 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 a)))) in a
1.073 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 a)))) 1)
1.073 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 a)))) in a
1.073 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 a))) in a
1.073 * [taylor]: Taking taylor expansion of 2 in a
1.073 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.074 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.074 * [taylor]: Rewrote expression to (- (exp a) 1)
1.074 * [taylor]: Taking taylor expansion of (exp a) in a
1.074 * [taylor]: Taking taylor expansion of a in a
1.074 * [taylor]: Taking taylor expansion of 1 in a
1.076 * [taylor]: Taking taylor expansion of 1 in a
1.076 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 a))) 1) in a
1.076 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.076 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.076 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.076 * [taylor]: Rewrote expression to (- (exp a) 1)
1.076 * [taylor]: Taking taylor expansion of (exp a) in a
1.076 * [taylor]: Taking taylor expansion of a in a
1.076 * [taylor]: Taking taylor expansion of 1 in a
1.078 * [taylor]: Taking taylor expansion of 1 in a
1.094 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) in (a) around 0
1.094 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) in a
1.094 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ 1 a))))) in a
1.094 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ 1 a))))) 1)
1.094 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ 1 a))))) in a
1.094 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ 1 a)))) in a
1.094 * [taylor]: Taking taylor expansion of 2 in a
1.094 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.094 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.094 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.094 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.094 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.094 * [taylor]: Taking taylor expansion of a in a
1.095 * [taylor]: Taking taylor expansion of 1 in a
1.095 * [taylor]: Taking taylor expansion of 1 in a
1.095 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ 1 a)))) 1) in a
1.095 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.095 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.095 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.096 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.096 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.096 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.096 * [taylor]: Taking taylor expansion of a in a
1.096 * [taylor]: Taking taylor expansion of 1 in a
1.096 * [taylor]: Taking taylor expansion of 1 in a
1.097 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) in a
1.097 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ 1 a))))) in a
1.097 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ 1 a))))) 1)
1.097 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ 1 a))))) in a
1.097 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ 1 a)))) in a
1.097 * [taylor]: Taking taylor expansion of 2 in a
1.097 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.097 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.097 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.097 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.097 * [taylor]: Taking taylor expansion of a in a
1.098 * [taylor]: Taking taylor expansion of 1 in a
1.098 * [taylor]: Taking taylor expansion of 1 in a
1.098 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ 1 a)))) 1) in a
1.098 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.098 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.098 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.098 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.099 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.099 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.099 * [taylor]: Taking taylor expansion of a in a
1.099 * [taylor]: Taking taylor expansion of 1 in a
1.100 * [taylor]: Taking taylor expansion of 1 in a
1.178 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) in (a) around 0
1.178 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) in a
1.178 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ -1 a))))) in a
1.178 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ -1 a))))) 1)
1.178 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ -1 a))))) in a
1.178 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ -1 a)))) in a
1.178 * [taylor]: Taking taylor expansion of 2 in a
1.178 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.178 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.178 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.178 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.178 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.178 * [taylor]: Taking taylor expansion of -1 in a
1.178 * [taylor]: Taking taylor expansion of a in a
1.178 * [taylor]: Taking taylor expansion of 1 in a
1.179 * [taylor]: Taking taylor expansion of 1 in a
1.179 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ -1 a)))) 1) in a
1.179 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.179 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.179 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.179 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.179 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.179 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.179 * [taylor]: Taking taylor expansion of -1 in a
1.179 * [taylor]: Taking taylor expansion of a in a
1.180 * [taylor]: Taking taylor expansion of 1 in a
1.180 * [taylor]: Taking taylor expansion of 1 in a
1.181 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) in a
1.181 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ -1 a))))) in a
1.181 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ -1 a))))) 1)
1.181 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ -1 a))))) in a
1.181 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ -1 a)))) in a
1.181 * [taylor]: Taking taylor expansion of 2 in a
1.181 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.181 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.181 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.181 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.181 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.181 * [taylor]: Taking taylor expansion of -1 in a
1.181 * [taylor]: Taking taylor expansion of a in a
1.182 * [taylor]: Taking taylor expansion of 1 in a
1.182 * [taylor]: Taking taylor expansion of 1 in a
1.182 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ -1 a)))) 1) in a
1.182 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.182 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.182 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.182 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.182 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.182 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.182 * [taylor]: Taking taylor expansion of -1 in a
1.182 * [taylor]: Taking taylor expansion of a in a
1.183 * [taylor]: Taking taylor expansion of 1 in a
1.183 * [taylor]: Taking taylor expansion of 1 in a
1.258 * * * [progress]: simplifying candidates
1.258 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (- (expm1 (+ (* 2 (sin (expm1 a))) 0)))
  (- (+ (exp (sin (expm1 a))) 1))
  (/ (exp (+ (* 2 (sin (expm1 a))) 0)) (+ (exp (sin (expm1 a))) 1))
  (/ 1 (+ (exp (sin (expm1 a))) 1))
  (/ 1 (+ (exp (sin (expm1 a))) 1))
  (/ (+ (exp (sin (expm1 a))) 1) (expm1 (+ (* 2 (sin (expm1 a))) 0)))
  (/ (expm1 (+ (* 2 (sin (expm1 a))) 0)) (+ (pow (exp (sin (expm1 a))) 3) (pow 1 3)))
  (/ (expm1 (+ (* 2 (sin (expm1 a))) 0)) (- (* (exp (sin (expm1 a))) (exp (sin (expm1 a)))) (* 1 1)))
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (/ (- (exp (* 2 (sin (- (exp a) 1)))) 1) (+ (exp (sin (- (exp a) 1))) 1))
  (/ (- (exp (* 2 (sin (- (exp a) 1)))) 1) (+ (exp (sin (- (exp a) 1))) 1))
1.261 * * [simplify]: iteration  0 :  121  enodes  (cost  162 )
1.264 * * [simplify]: iteration  1 :  350  enodes  (cost  156 )
1.270 * * [simplify]: iteration  2 :  1188  enodes  (cost  140 )
1.301 * * [simplify]: iteration  3 :  5001  enodes  (cost  140 )
1.302 * [simplify]: Simplified to:
   (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (- (expm1 (* 2 (sin (expm1 a)))))
  (- (+ (exp (sin (expm1 a))) 1))
  (/ (exp (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1))
  (/ 1 (+ (exp (sin (expm1 a))) 1))
  (/ 1 (+ (exp (sin (expm1 a))) 1))
  (/ (+ (exp (sin (expm1 a))) 1) (expm1 (* 2 (sin (expm1 a)))))
  (/ 1 (/ (+ 1 (pow (exp (sin (expm1 a))) 3)) (expm1 (* 2 (sin (expm1 a))))))
  1
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 3) 2/3 (fma a a a))
  (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1))
  (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1))
1.302 * * * [progress]: adding candidates to table
1.361 * * [progress]: iteration 4 / 4
1.361 * * * [progress]: picking best candidate
1.370 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (/ 1 (/ (+ (exp (sin (expm1 a))) 1) (expm1 (* 2 (sin (expm1 a)))))) (atan a)) a)))>
1.370 * * * [progress]: localizing error
1.388 * * * [progress]: generating rewritten candidates
1.388 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.389 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.394 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 1 2)
1.396 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1 1)
1.398 * * * [progress]: generating series expansions
1.398 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.398 * [approximate]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a) in (a) around 0
1.398 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a) in a
1.398 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a) in a
1.399 * [approximate]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.399 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) (atan (/ 1 a))) (/ 1 a)) in a
1.399 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ 1 a))))) (+ (exp (sin (expm1 (/ 1 a)))) 1)) (atan (/ 1 a))) (/ 1 a)) in a
1.400 * [approximate]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.400 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) (atan (/ -1 a))) (/ -1 a)) in a
1.400 * [taylor]: Taking taylor expansion of (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 (/ -1 a))))) (+ (exp (sin (expm1 (/ -1 a)))) 1)) (atan (/ -1 a))) (/ -1 a)) in a
1.401 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.401 * [approximate]: Taking taylor expansion of (/ (+ (exp (sin (expm1 a))) 1) (expm1 (* 2 (sin (expm1 a))))) in (a) around 0
1.401 * [taylor]: Taking taylor expansion of (/ (+ (exp (sin (expm1 a))) 1) (expm1 (* 2 (sin (expm1 a))))) in a
1.401 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 a))) 1) in a
1.401 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.401 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.401 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.401 * [taylor]: Rewrote expression to (- (exp a) 1)
1.401 * [taylor]: Taking taylor expansion of (exp a) in a
1.402 * [taylor]: Taking taylor expansion of a in a
1.402 * [taylor]: Taking taylor expansion of 1 in a
1.404 * [taylor]: Taking taylor expansion of 1 in a
1.404 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 a)))) in a
1.404 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 a)))) 1)
1.404 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 a)))) in a
1.404 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 a))) in a
1.404 * [taylor]: Taking taylor expansion of 2 in a
1.404 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.404 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.404 * [taylor]: Rewrote expression to (- (exp a) 1)
1.404 * [taylor]: Taking taylor expansion of (exp a) in a
1.404 * [taylor]: Taking taylor expansion of a in a
1.404 * [taylor]: Taking taylor expansion of 1 in a
1.406 * [taylor]: Taking taylor expansion of 1 in a
1.408 * [taylor]: Taking taylor expansion of (/ (+ (exp (sin (expm1 a))) 1) (expm1 (* 2 (sin (expm1 a))))) in a
1.408 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 a))) 1) in a
1.408 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.408 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.408 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.408 * [taylor]: Rewrote expression to (- (exp a) 1)
1.408 * [taylor]: Taking taylor expansion of (exp a) in a
1.408 * [taylor]: Taking taylor expansion of a in a
1.408 * [taylor]: Taking taylor expansion of 1 in a
1.410 * [taylor]: Taking taylor expansion of 1 in a
1.410 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 a)))) in a
1.410 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 a)))) 1)
1.410 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 a)))) in a
1.410 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 a))) in a
1.410 * [taylor]: Taking taylor expansion of 2 in a
1.411 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.411 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.411 * [taylor]: Rewrote expression to (- (exp a) 1)
1.411 * [taylor]: Taking taylor expansion of (exp a) in a
1.411 * [taylor]: Taking taylor expansion of a in a
1.411 * [taylor]: Taking taylor expansion of 1 in a
1.413 * [taylor]: Taking taylor expansion of 1 in a
1.432 * [approximate]: Taking taylor expansion of (/ (+ (exp (sin (expm1 (/ 1 a)))) 1) (expm1 (* 2 (sin (expm1 (/ 1 a)))))) in (a) around 0
1.432 * [taylor]: Taking taylor expansion of (/ (+ (exp (sin (expm1 (/ 1 a)))) 1) (expm1 (* 2 (sin (expm1 (/ 1 a)))))) in a
1.432 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ 1 a)))) 1) in a
1.432 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.432 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.432 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.432 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.433 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.433 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.433 * [taylor]: Taking taylor expansion of a in a
1.433 * [taylor]: Taking taylor expansion of 1 in a
1.433 * [taylor]: Taking taylor expansion of 1 in a
1.434 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ 1 a))))) in a
1.434 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ 1 a))))) 1)
1.434 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ 1 a))))) in a
1.434 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ 1 a)))) in a
1.434 * [taylor]: Taking taylor expansion of 2 in a
1.434 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.434 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.434 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.434 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.434 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.434 * [taylor]: Taking taylor expansion of a in a
1.434 * [taylor]: Taking taylor expansion of 1 in a
1.435 * [taylor]: Taking taylor expansion of 1 in a
1.435 * [taylor]: Taking taylor expansion of (/ (+ (exp (sin (expm1 (/ 1 a)))) 1) (expm1 (* 2 (sin (expm1 (/ 1 a)))))) in a
1.435 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ 1 a)))) 1) in a
1.435 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.435 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.435 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.435 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.436 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.436 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.436 * [taylor]: Taking taylor expansion of a in a
1.436 * [taylor]: Taking taylor expansion of 1 in a
1.436 * [taylor]: Taking taylor expansion of 1 in a
1.436 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ 1 a))))) in a
1.437 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ 1 a))))) 1)
1.437 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ 1 a))))) in a
1.437 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ 1 a)))) in a
1.437 * [taylor]: Taking taylor expansion of 2 in a
1.437 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.437 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.437 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.437 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.437 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.437 * [taylor]: Taking taylor expansion of a in a
1.437 * [taylor]: Taking taylor expansion of 1 in a
1.438 * [taylor]: Taking taylor expansion of 1 in a
1.514 * [approximate]: Taking taylor expansion of (/ (+ (exp (sin (expm1 (/ -1 a)))) 1) (expm1 (* 2 (sin (expm1 (/ -1 a)))))) in (a) around 0
1.514 * [taylor]: Taking taylor expansion of (/ (+ (exp (sin (expm1 (/ -1 a)))) 1) (expm1 (* 2 (sin (expm1 (/ -1 a)))))) in a
1.514 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ -1 a)))) 1) in a
1.514 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.515 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.515 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.515 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.515 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.515 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.515 * [taylor]: Taking taylor expansion of -1 in a
1.515 * [taylor]: Taking taylor expansion of a in a
1.515 * [taylor]: Taking taylor expansion of 1 in a
1.516 * [taylor]: Taking taylor expansion of 1 in a
1.516 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ -1 a))))) in a
1.516 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ -1 a))))) 1)
1.516 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ -1 a))))) in a
1.516 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ -1 a)))) in a
1.516 * [taylor]: Taking taylor expansion of 2 in a
1.516 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.516 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.516 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.516 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.516 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.516 * [taylor]: Taking taylor expansion of -1 in a
1.516 * [taylor]: Taking taylor expansion of a in a
1.516 * [taylor]: Taking taylor expansion of 1 in a
1.517 * [taylor]: Taking taylor expansion of 1 in a
1.518 * [taylor]: Taking taylor expansion of (/ (+ (exp (sin (expm1 (/ -1 a)))) 1) (expm1 (* 2 (sin (expm1 (/ -1 a)))))) in a
1.518 * [taylor]: Taking taylor expansion of (+ (exp (sin (expm1 (/ -1 a)))) 1) in a
1.518 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.518 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.518 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.518 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.518 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.518 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.518 * [taylor]: Taking taylor expansion of -1 in a
1.518 * [taylor]: Taking taylor expansion of a in a
1.518 * [taylor]: Taking taylor expansion of 1 in a
1.519 * [taylor]: Taking taylor expansion of 1 in a
1.519 * [taylor]: Taking taylor expansion of (expm1 (* 2 (sin (expm1 (/ -1 a))))) in a
1.519 * [taylor]: Rewrote expression to (- (exp (* 2 (sin (expm1 (/ -1 a))))) 1)
1.519 * [taylor]: Taking taylor expansion of (exp (* 2 (sin (expm1 (/ -1 a))))) in a
1.519 * [taylor]: Taking taylor expansion of (* 2 (sin (expm1 (/ -1 a)))) in a
1.519 * [taylor]: Taking taylor expansion of 2 in a
1.519 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.519 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.519 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.519 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.519 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.519 * [taylor]: Taking taylor expansion of -1 in a
1.519 * [taylor]: Taking taylor expansion of a in a
1.519 * [taylor]: Taking taylor expansion of 1 in a
1.520 * [taylor]: Taking taylor expansion of 1 in a
1.596 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 1 2)
1.596 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.596 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.596 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.596 * [taylor]: Rewrote expression to (- (exp a) 1)
1.596 * [taylor]: Taking taylor expansion of (exp a) in a
1.596 * [taylor]: Taking taylor expansion of a in a
1.596 * [taylor]: Taking taylor expansion of 1 in a
1.598 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.598 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.598 * [taylor]: Rewrote expression to (- (exp a) 1)
1.598 * [taylor]: Taking taylor expansion of (exp a) in a
1.598 * [taylor]: Taking taylor expansion of a in a
1.598 * [taylor]: Taking taylor expansion of 1 in a
1.607 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.607 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.608 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.608 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.608 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.608 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.608 * [taylor]: Taking taylor expansion of a in a
1.608 * [taylor]: Taking taylor expansion of 1 in a
1.608 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.608 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.608 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.608 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.608 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.608 * [taylor]: Taking taylor expansion of a in a
1.609 * [taylor]: Taking taylor expansion of 1 in a
1.629 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.629 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.629 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.629 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.629 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.629 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.630 * [taylor]: Taking taylor expansion of -1 in a
1.630 * [taylor]: Taking taylor expansion of a in a
1.630 * [taylor]: Taking taylor expansion of 1 in a
1.630 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.630 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.630 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.630 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.630 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.630 * [taylor]: Taking taylor expansion of -1 in a
1.630 * [taylor]: Taking taylor expansion of a in a
1.631 * [taylor]: Taking taylor expansion of 1 in a
1.651 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1 1)
1.651 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.651 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.651 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.651 * [taylor]: Rewrote expression to (- (exp a) 1)
1.651 * [taylor]: Taking taylor expansion of (exp a) in a
1.651 * [taylor]: Taking taylor expansion of a in a
1.651 * [taylor]: Taking taylor expansion of 1 in a
1.653 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.653 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.653 * [taylor]: Rewrote expression to (- (exp a) 1)
1.653 * [taylor]: Taking taylor expansion of (exp a) in a
1.653 * [taylor]: Taking taylor expansion of a in a
1.653 * [taylor]: Taking taylor expansion of 1 in a
1.668 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.668 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.668 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.668 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.668 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.668 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.668 * [taylor]: Taking taylor expansion of a in a
1.669 * [taylor]: Taking taylor expansion of 1 in a
1.669 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.669 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.669 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.669 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.669 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.669 * [taylor]: Taking taylor expansion of a in a
1.669 * [taylor]: Taking taylor expansion of 1 in a
1.691 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.691 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.691 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.691 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.691 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.691 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.691 * [taylor]: Taking taylor expansion of -1 in a
1.691 * [taylor]: Taking taylor expansion of a in a
1.692 * [taylor]: Taking taylor expansion of 1 in a
1.692 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.692 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.692 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.692 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.692 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.692 * [taylor]: Taking taylor expansion of -1 in a
1.692 * [taylor]: Taking taylor expansion of a in a
1.692 * [taylor]: Taking taylor expansion of 1 in a
1.713 * * * [progress]: simplifying candidates
1.713 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (exp (sin (expm1 a))) 1))
  (- (expm1 (* 2 (sin (expm1 a)))))
  (/ 1 (expm1 (* 2 (sin (expm1 a)))))
  (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1))
  (* (expm1 (* 2 (sin (expm1 a)))) (+ (* (exp (sin (expm1 a))) (exp (sin (expm1 a)))) (- (* 1 1) (* (exp (sin (expm1 a))) 1))))
  (* (expm1 (* 2 (sin (expm1 a)))) (- (exp (sin (expm1 a))) 1))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (- (+ (* 1/3 a) (/ 1 a)) 1)
  (/ (+ (exp (sin (- (exp a) 1))) 1) (- (exp (* 2 (sin (- (exp a) 1)))) 1))
  (/ (+ (exp (sin (- (exp a) 1))) 1) (- (exp (* 2 (sin (- (exp a) 1)))) 1))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
1.716 * * [simplify]: iteration  0 :  112  enodes  (cost  148 )
1.719 * * [simplify]: iteration  1 :  343  enodes  (cost  143 )
1.725 * * [simplify]: iteration  2 :  1361  enodes  (cost  139 )
1.763 * * [simplify]: iteration  3 :  5001  enodes  (cost  139 )
1.764 * [simplify]: Simplified to:
   (- (+ (exp (sin (expm1 a))) 1))
  (- (expm1 (* 2 (sin (expm1 a)))))
  (/ 1 (expm1 (* 2 (sin (expm1 a)))))
  (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1))
  (* (- (+ (pow (exp (sin (expm1 a))) 2) 1) (exp (sin (expm1 a)))) (expm1 (* 2 (sin (expm1 a)))))
  (* (expm1 (sin (expm1 a))) (expm1 (* 2 (sin (expm1 a)))))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fmod (atan2 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)
  (fma a 1/3 (- (/ 1 a) 1))
  (/ 1 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)))
  (/ 1 (/ (expm1 (* 2 (sin (expm1 a)))) (+ (exp (sin (expm1 a))) 1)))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
1.764 * * * [progress]: adding candidates to table
1.822 * [progress]: [Phase 3 of 3] Extracting.
1.823 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (/ 1 (/ (+ (pow (exp (sin (expm1 a))) 3) (pow 1 3)) (* (- (+ (pow (exp (sin (expm1 a))) 2) 1) (exp (sin (expm1 a)))) (expm1 (* 2 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (/ 1 (/ (- (* (exp (sin (expm1 a))) (exp (sin (expm1 a)))) (* 1 1)) (* (expm1 (sin (expm1 a))) (expm1 (* 2 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (/ (expm1 (+ (* 2 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) 0)) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)))>)
1.825 * * * [regime-changes]: Trying 1 branch expressions: (a)
1.825 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (/ 1 (/ (+ (pow (exp (sin (expm1 a))) 3) (pow 1 3)) (* (- (+ (pow (exp (sin (expm1 a))) 2) 1) (exp (sin (expm1 a)))) (expm1 (* 2 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (/ 1 (/ (- (* (exp (sin (expm1 a))) (exp (sin (expm1 a)))) (* 1 1)) (* (expm1 (sin (expm1 a))) (expm1 (* 2 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (/ (expm1 (+ (* 2 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) 0)) (+ (exp (sin (expm1 a))) 1)) (atan a)) a)))>)
1.855 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.855 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (/ 1 (/ (+ (pow (exp (sin (expm1 a))) 3) (pow 1 3)) (* (- (+ (pow (exp (sin (expm1 a))) 2) 1) (exp (sin (expm1 a)))) (expm1 (* 2 (sin (expm1 a))))))) (atan a)) a))
1.856 * * [simplify]: iteration  0 :  28  enodes  (cost  25 )
1.856 * * [simplify]: iteration  1 :  30  enodes  (cost  25 )
1.856 * * [simplify]: iteration  2 :  30  enodes  (cost  25 )
1.856 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (/ 1 (/ (+ (pow (exp (sin (expm1 a))) 3) 1) (* (- (+ (pow (exp (sin (expm1 a))) 2) 1) (exp (sin (expm1 a)))) (expm1 (* 2 (sin (expm1 a))))))) (atan a)) a))
15.388 * [regime-testing]: Baseline error score: 33.76149632079431
15.389 * [regime-testing]: Oracle error score: 33.256019663465956
15.391 * [regime-testing]: End program error score: 33.76149632079431