0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.385 * * * [progress]: [2/2] Setting up program.
0.388 * [progress]: [Phase 2 of 3] Improving.
0.388 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.389 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
0.390 * * [simplify]: iteration  done :  8  enodes  (cost  10 )
0.390 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.390 * * [progress]: iteration 1 / 4
0.390 * * * [progress]: picking best candidate
0.393 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.393 * * * [progress]: localizing error
0.410 * * * [progress]: generating rewritten candidates
0.410 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.411 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.412 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.412 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.413 * * * [progress]: generating series expansions
0.413 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.413 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.413 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.413 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.414 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.414 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.415 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.415 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.415 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.415 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.415 * [taylor]: Rewrote expression to (- (exp a) 1)
0.415 * [taylor]: Taking taylor expansion of (exp a) in a
0.415 * [taylor]: Taking taylor expansion of a in a
0.415 * [taylor]: Taking taylor expansion of 1 in a
0.417 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.417 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.417 * [taylor]: Rewrote expression to (- (exp a) 1)
0.417 * [taylor]: Taking taylor expansion of (exp a) in a
0.417 * [taylor]: Taking taylor expansion of a in a
0.417 * [taylor]: Taking taylor expansion of 1 in a
0.428 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.428 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.428 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.428 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.428 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.428 * [taylor]: Taking taylor expansion of a in a
0.428 * [taylor]: Taking taylor expansion of 1 in a
0.428 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.428 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.429 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.429 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.429 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.429 * [taylor]: Taking taylor expansion of a in a
0.429 * [taylor]: Taking taylor expansion of 1 in a
0.451 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.451 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.451 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.451 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.451 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.451 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.451 * [taylor]: Taking taylor expansion of -1 in a
0.451 * [taylor]: Taking taylor expansion of a in a
0.451 * [taylor]: Taking taylor expansion of 1 in a
0.452 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.452 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.452 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.452 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.452 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.452 * [taylor]: Taking taylor expansion of -1 in a
0.452 * [taylor]: Taking taylor expansion of a in a
0.452 * [taylor]: Taking taylor expansion of 1 in a
0.474 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.474 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.474 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.474 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.474 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.474 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.474 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.474 * [taylor]: Rewrote expression to (- (exp a) 1)
0.474 * [taylor]: Taking taylor expansion of (exp a) in a
0.474 * [taylor]: Taking taylor expansion of a in a
0.474 * [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 a))) in a
0.476 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.476 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.476 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.476 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.476 * [taylor]: Rewrote expression to (- (exp a) 1)
0.476 * [taylor]: Taking taylor expansion of (exp a) in a
0.476 * [taylor]: Taking taylor expansion of a in a
0.476 * [taylor]: Taking taylor expansion of 1 in a
0.478 * [taylor]: Taking taylor expansion of 1 in a
0.491 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.491 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.491 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.491 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.491 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.491 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.491 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.491 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.491 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.491 * [taylor]: Taking taylor expansion of a in a
0.492 * [taylor]: Taking taylor expansion of 1 in a
0.492 * [taylor]: Taking taylor expansion of 1 in a
0.492 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.492 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.492 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.492 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.492 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.492 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.492 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.492 * [taylor]: Taking taylor expansion of a in a
0.493 * [taylor]: Taking taylor expansion of 1 in a
0.493 * [taylor]: Taking taylor expansion of 1 in a
0.525 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.525 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.525 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.525 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.525 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.525 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.525 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.525 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.525 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.525 * [taylor]: Taking taylor expansion of -1 in a
0.525 * [taylor]: Taking taylor expansion of a in a
0.526 * [taylor]: Taking taylor expansion of 1 in a
0.526 * [taylor]: Taking taylor expansion of 1 in a
0.526 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.526 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.526 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.526 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.526 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.526 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.526 * [taylor]: Taking taylor expansion of -1 in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.560 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.560 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.561 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.561 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.561 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.561 * * * [progress]: simplifying candidates
0.562 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (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)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan 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.564 * * [simplify]: iteration  0 :  70  enodes  (cost  438 )
0.708 * * [simplify]: iteration  1 :  110  enodes  (cost  422 )
0.725 * * [simplify]: iteration  2 :  214  enodes  (cost  375 )
0.773 * * [simplify]: iteration  3 :  501  enodes  (cost  374 )
1.151 * * [simplify]: iteration  4 :  1614  enodes  (cost  374 )
2.525 * * [simplify]: iteration  5 :  4842  enodes  (cost  374 )
3.605 * * [simplify]: iteration  done :  5000  enodes  (cost  374 )
3.606 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan 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 4) -5/24 (fma 1/2 (pow a 2) a))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma 2/3 (pow a 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))
3.606 * * * [progress]: adding candidates to table
3.768 * * [progress]: iteration 2 / 4
3.768 * * * [progress]: picking best candidate
3.818 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>
3.818 * * * [progress]: localizing error
3.833 * * * [progress]: generating rewritten candidates
3.833 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.834 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.835 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
3.839 * * * [progress]: generating series expansions
3.839 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.839 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
3.839 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.839 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.840 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.840 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.840 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.841 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.841 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.841 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.841 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.841 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
3.841 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
3.841 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.842 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
3.842 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.852 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
3.852 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
3.852 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.852 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
3.852 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.863 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
3.863 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
3.864 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.864 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
3.864 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.874 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.875 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
3.875 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.875 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.875 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
3.875 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.875 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.876 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
3.876 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.876 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.876 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
3.876 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
3.877 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.877 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.877 * [taylor]: Rewrote expression to (- (exp a) 1)
3.877 * [taylor]: Taking taylor expansion of (exp a) in a
3.877 * [taylor]: Taking taylor expansion of a in a
3.877 * [taylor]: Taking taylor expansion of 1 in a
3.878 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.878 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.878 * [taylor]: Rewrote expression to (- (exp a) 1)
3.878 * [taylor]: Taking taylor expansion of (exp a) in a
3.878 * [taylor]: Taking taylor expansion of a in a
3.878 * [taylor]: Taking taylor expansion of 1 in a
3.889 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
3.889 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.889 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.889 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.889 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.889 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.889 * [taylor]: Taking taylor expansion of a in a
3.889 * [taylor]: Taking taylor expansion of 1 in a
3.890 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.890 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.890 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.890 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.890 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.890 * [taylor]: Taking taylor expansion of a in a
3.890 * [taylor]: Taking taylor expansion of 1 in a
3.915 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
3.915 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.915 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.915 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.915 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.915 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.915 * [taylor]: Taking taylor expansion of -1 in a
3.915 * [taylor]: Taking taylor expansion of a in a
3.915 * [taylor]: Taking taylor expansion of 1 in a
3.916 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.916 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.916 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.916 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.916 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.916 * [taylor]: Taking taylor expansion of -1 in a
3.916 * [taylor]: Taking taylor expansion of a in a
3.916 * [taylor]: Taking taylor expansion of 1 in a
3.937 * * * [progress]: simplifying candidates
3.939 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2))
  (expm1 (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
3.942 * * [simplify]: iteration  0 :  92  enodes  (cost  1068 )
3.961 * * [simplify]: iteration  1 :  156  enodes  (cost  876 )
3.995 * * [simplify]: iteration  2 :  378  enodes  (cost  778 )
4.219 * * [simplify]: iteration  3 :  1921  enodes  (cost  777 )
5.492 * * [simplify]: iteration  done :  5001  enodes  (cost  777 )
5.492 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma -5/24 (pow a 4) (fma 1/2 (pow a 2) a))
  (sin (expm1 a))
  (sin (expm1 a))
5.493 * * * [progress]: adding candidates to table
5.690 * * [progress]: iteration 3 / 4
5.690 * * * [progress]: picking best candidate
5.754 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>
5.754 * * * [progress]: localizing error
5.777 * * * [progress]: generating rewritten candidates
5.777 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.778 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
5.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
5.786 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.790 * * * [progress]: generating series expansions
5.790 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.790 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
5.790 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
5.791 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
5.791 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
5.791 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
5.791 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
5.792 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
5.792 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
5.792 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
5.793 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
5.793 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
5.793 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
5.793 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.793 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
5.793 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.804 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
5.804 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
5.804 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.804 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
5.804 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.815 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
5.815 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
5.815 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.815 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
5.815 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.826 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
5.827 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
5.827 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
5.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
5.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
5.827 * [taylor]: Taking taylor expansion of 1/3 in a
5.827 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
5.827 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
5.827 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
5.827 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.827 * [taylor]: Rewrote expression to (- (exp a) 1)
5.827 * [taylor]: Taking taylor expansion of (exp a) in a
5.827 * [taylor]: Taking taylor expansion of a in a
5.827 * [taylor]: Taking taylor expansion of 1 in a
5.830 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
5.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
5.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
5.830 * [taylor]: Taking taylor expansion of 1/3 in a
5.830 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
5.830 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
5.830 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
5.830 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.830 * [taylor]: Rewrote expression to (- (exp a) 1)
5.830 * [taylor]: Taking taylor expansion of (exp a) in a
5.830 * [taylor]: Taking taylor expansion of a in a
5.830 * [taylor]: Taking taylor expansion of 1 in a
5.844 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
5.844 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
5.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
5.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
5.844 * [taylor]: Taking taylor expansion of 1/3 in a
5.844 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
5.844 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
5.844 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
5.844 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.844 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.844 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.844 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.844 * [taylor]: Taking taylor expansion of a in a
5.845 * [taylor]: Taking taylor expansion of 1 in a
5.846 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
5.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
5.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
5.846 * [taylor]: Taking taylor expansion of 1/3 in a
5.846 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
5.846 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
5.846 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
5.846 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.846 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.846 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.846 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.846 * [taylor]: Taking taylor expansion of a in a
5.846 * [taylor]: Taking taylor expansion of 1 in a
5.912 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
5.912 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
5.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
5.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
5.912 * [taylor]: Taking taylor expansion of 1/3 in a
5.912 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
5.912 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
5.912 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.912 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.912 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.912 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.912 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.912 * [taylor]: Taking taylor expansion of -1 in a
5.912 * [taylor]: Taking taylor expansion of a in a
5.913 * [taylor]: Taking taylor expansion of 1 in a
5.914 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
5.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
5.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
5.914 * [taylor]: Taking taylor expansion of 1/3 in a
5.914 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
5.914 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
5.914 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.914 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.914 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.914 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.914 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.914 * [taylor]: Taking taylor expansion of -1 in a
5.914 * [taylor]: Taking taylor expansion of a in a
5.914 * [taylor]: Taking taylor expansion of 1 in a
5.979 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.979 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
5.979 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.979 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.980 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
5.980 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.980 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.981 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
5.981 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.981 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.981 * * * [progress]: simplifying candidates
5.983 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (expm1 (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (- (+ (pow a 2/3) (* 1/3 (pow (pow a 5) 1/3))) (* 1/36 (pow (pow a 8) 1/3)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
5.989 * * [simplify]: iteration  0 :  128  enodes  (cost  2472 )
6.018 * * [simplify]: iteration  1 :  234  enodes  (cost  2174 )
6.074 * * [simplify]: iteration  2 :  567  enodes  (cost  1349 )
6.402 * * [simplify]: iteration  3 :  2380  enodes  (cost  1095 )
7.750 * * [simplify]: iteration  done :  5000  enodes  (cost  1095 )
7.751 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))
  (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (expm1 (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (log1p (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  2
  (* 2 (log (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (exp (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)))
  (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)))
  (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan 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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (fma (cbrt (pow a 8)) -1/36 (fma (cbrt (pow a 5)) 1/3 (pow a 2/3)))
  (cbrt (pow (sin (expm1 a)) 2))
  (cbrt (pow (sin (expm1 a)) 2))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
7.752 * * * [progress]: adding candidates to table
8.049 * * [progress]: iteration 4 / 4
8.049 * * * [progress]: picking best candidate
8.156 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>
8.156 * * * [progress]: localizing error
8.185 * * * [progress]: generating rewritten candidates
8.185 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.185 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.187 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
8.188 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
8.193 * * * [progress]: generating series expansions
8.193 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.193 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
8.193 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.193 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.194 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
8.194 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.194 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.196 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
8.196 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.196 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.197 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
8.197 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
8.197 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.197 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
8.197 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.207 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
8.207 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
8.207 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.207 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
8.207 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.219 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
8.219 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
8.219 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.219 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
8.219 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.230 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
8.230 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
8.231 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.231 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.231 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
8.231 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.232 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.232 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
8.232 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.233 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.233 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
8.233 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in (a) around 0
8.233 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in a
8.233 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/9) in a
8.233 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 a))))) in a
8.233 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 a)))) in a
8.233 * [taylor]: Taking taylor expansion of 1/9 in a
8.233 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
8.233 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
8.233 * [taylor]: Taking taylor expansion of (expm1 a) in a
8.233 * [taylor]: Rewrote expression to (- (exp a) 1)
8.233 * [taylor]: Taking taylor expansion of (exp a) in a
8.233 * [taylor]: Taking taylor expansion of a in a
8.233 * [taylor]: Taking taylor expansion of 1 in a
8.236 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in a
8.236 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/9) in a
8.236 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 a))))) in a
8.236 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 a)))) in a
8.236 * [taylor]: Taking taylor expansion of 1/9 in a
8.236 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
8.236 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
8.236 * [taylor]: Taking taylor expansion of (expm1 a) in a
8.236 * [taylor]: Rewrote expression to (- (exp a) 1)
8.236 * [taylor]: Taking taylor expansion of (exp a) in a
8.236 * [taylor]: Taking taylor expansion of a in a
8.236 * [taylor]: Taking taylor expansion of 1 in a
8.254 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in (a) around 0
8.254 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in a
8.254 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/9) in a
8.254 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ 1 a)))))) in a
8.254 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ 1 a))))) in a
8.254 * [taylor]: Taking taylor expansion of 1/9 in a
8.254 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
8.254 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
8.254 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
8.254 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
8.254 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
8.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.254 * [taylor]: Taking taylor expansion of a in a
8.255 * [taylor]: Taking taylor expansion of 1 in a
8.256 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in a
8.256 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/9) in a
8.256 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ 1 a)))))) in a
8.256 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ 1 a))))) in a
8.256 * [taylor]: Taking taylor expansion of 1/9 in a
8.256 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
8.256 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
8.256 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
8.256 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
8.256 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
8.256 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.256 * [taylor]: Taking taylor expansion of a in a
8.256 * [taylor]: Taking taylor expansion of 1 in a
8.322 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in (a) around 0
8.322 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in a
8.322 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/9) in a
8.322 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ -1 a)))))) in a
8.322 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ -1 a))))) in a
8.322 * [taylor]: Taking taylor expansion of 1/9 in a
8.322 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
8.322 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
8.322 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
8.322 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
8.322 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
8.322 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.322 * [taylor]: Taking taylor expansion of -1 in a
8.322 * [taylor]: Taking taylor expansion of a in a
8.323 * [taylor]: Taking taylor expansion of 1 in a
8.323 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in a
8.323 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/9) in a
8.323 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ -1 a)))))) in a
8.323 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ -1 a))))) in a
8.323 * [taylor]: Taking taylor expansion of 1/9 in a
8.323 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
8.323 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
8.323 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
8.324 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
8.324 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
8.324 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.324 * [taylor]: Taking taylor expansion of -1 in a
8.324 * [taylor]: Taking taylor expansion of a in a
8.324 * [taylor]: Taking taylor expansion of 1 in a
8.392 * * * [progress]: simplifying candidates
8.394 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3) (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (expm1 (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (expm1 (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log1p (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (log (cbrt (cbrt (sin (expm1 a))))) 4)
  (* (log (cbrt (cbrt (sin (expm1 a))))) 4)
  (* 1/3 4)
  (* 1 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt (sin (expm1 a)))) (sqrt 4))
  (pow (cbrt (cbrt (sin (expm1 a)))) 1)
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt 1)) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt 1) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (sqrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (sqrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow 1 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))
  (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (cbrt (cbrt (sin (expm1 a)))) (/ 4 2))
  (pow (cbrt (cbrt (sin (expm1 a)))) (/ 4 2))
  (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (- (+ (pow (pow a 4) 1/9) (* 2/9 (pow (pow a 13) 1/9))) (* 5/162 (pow (pow a 22) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 4) 1/9)
  (pow (pow (sin (- (exp a) 1)) 4) 1/9)
8.400 * * [simplify]: iteration  0 :  141  enodes  (cost  3118 )
8.434 * * [simplify]: iteration  1 :  269  enodes  (cost  2836 )
8.500 * * [simplify]: iteration  2 :  620  enodes  (cost  2024 )
8.792 * * [simplify]: iteration  3 :  2614  enodes  (cost  1613 )
9.851 * * [simplify]: iteration  done :  5001  enodes  (cost  1613 )
9.852 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  3
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (pow (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  1
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (* (log (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (exp (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (pow (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3) 3)
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (pow (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))) 3)
  1
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2)
  (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3/2)
  (expm1 (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (log1p (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (log (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2))
  (cbrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  1
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2))
  (cbrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2))
  (cbrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2))
  (cbrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  1
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (cbrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2))
  (cbrt (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  1
  (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3/2))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3/2))
  (cbrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 2))
  (cbrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))
  (expm1 (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log1p (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  4/3
  4
  (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  1
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 2)) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  1
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  1
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))
  (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3)
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (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)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma -5/162 (pow (pow a 22) 1/9) (fma (pow (pow a 13) 1/9) 2/9 (pow (pow a 4) 1/9)))
  (pow (pow (sin (expm1 a)) 4) 1/9)
  (pow (pow (sin (expm1 a)) 4) 1/9)
9.853 * * * [progress]: adding candidates to table
10.218 * [progress]: [Phase 3 of 3] Extracting.
10.218 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (sin (expm1 a))) 4/3) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4) (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (cbrt (pow (sin (expm1 a)) 2)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (sqrt (cbrt (sin (expm1 a)))) 3) (sqrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (fma (cbrt (pow a 8)) -1/36 (fma (cbrt (pow a 5)) 1/3 (pow a 2/3))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (log (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (* (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)) (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))) (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 2)) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (pow (sin (expm1 a)) 4) 1/9) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3) 3))) a)))>)
10.246 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
10.246 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (sin (expm1 a))) 4/3) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4) (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (cbrt (pow (sin (expm1 a)) 2)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (sqrt (cbrt (sin (expm1 a)))) 3) (sqrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (fma (cbrt (pow a 8)) -1/36 (fma (cbrt (pow a 5)) 1/3 (pow a 2/3))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (log (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (* (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)) (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))) (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 2)) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (pow (sin (expm1 a)) 4) 1/9) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3) 3))) a)))>)
10.444 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
10.488 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (cbrt (sin (expm1 a))) 4/3) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4) (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (cbrt (pow (sin (expm1 a)) 2)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (sqrt (cbrt (sin (expm1 a)))) 3) (sqrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (fma (cbrt (pow a 8)) -1/36 (fma (cbrt (pow a 5)) 1/3 (pow a 2/3))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (log (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (* (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)) (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))) (cbrt (fabs (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 2)) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (pow (pow (sin (expm1 a)) 4) 1/9) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3) 3))) a)))>)
10.669 * * * [regime]: Found split indices: #<option (#s(si 26 255))>
10.670 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
10.670 * * [simplify]: iteration  0 :  21  enodes  (cost  53 )
10.671 * * [simplify]: iteration  1 :  24  enodes  (cost  53 )
10.671 * * [simplify]: iteration  done :  24  enodes  (cost  53 )
10.671 * [simplify]: Simplified to:
   (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
26.361 * [regime-testing]: Baseline error score: 33.4535406864411
26.362 * [regime-testing]: Oracle error score: 31.36338668059811
26.363 * [regime-testing]: End program error score: 33.4535406864411