0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.391 * * * [progress]: [2/2] Setting up program.
0.394 * [progress]: [Phase 2 of 3] Improving.
0.394 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.395 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
0.396 * * [simplify]: iteration  done :  8  enodes  (cost  10 )
0.396 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.396 * * [progress]: iteration 1 / 4
0.396 * * * [progress]: picking best candidate
0.399 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.399 * * * [progress]: localizing error
0.411 * * * [progress]: generating rewritten candidates
0.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.412 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.413 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.414 * * * [progress]: generating series expansions
0.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.414 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.414 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.415 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.415 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.415 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.416 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.416 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.416 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.416 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.416 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.416 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.416 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.416 * [taylor]: Rewrote expression to (- (exp a) 1)
0.416 * [taylor]: Taking taylor expansion of (exp a) in a
0.416 * [taylor]: Taking taylor expansion of a in a
0.416 * [taylor]: Taking taylor expansion of 1 in a
0.418 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.418 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.418 * [taylor]: Rewrote expression to (- (exp a) 1)
0.418 * [taylor]: Taking taylor expansion of (exp a) in a
0.418 * [taylor]: Taking taylor expansion of a in a
0.418 * [taylor]: Taking taylor expansion of 1 in a
0.429 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.429 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.429 * [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.430 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.430 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.430 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.430 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.430 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of 1 in a
0.452 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
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.453 * [taylor]: Taking taylor expansion of 1 in a
0.453 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.453 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.453 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.453 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.453 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.453 * [taylor]: Taking taylor expansion of -1 in a
0.453 * [taylor]: Taking taylor expansion of a in a
0.453 * [taylor]: Taking taylor expansion of 1 in a
0.477 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.478 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.478 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.478 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.478 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.478 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.478 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.478 * [taylor]: Rewrote expression to (- (exp a) 1)
0.478 * [taylor]: Taking taylor expansion of (exp a) in a
0.478 * [taylor]: Taking taylor expansion of a in a
0.478 * [taylor]: Taking taylor expansion of 1 in a
0.480 * [taylor]: Taking taylor expansion of 1 in a
0.480 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.480 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.480 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.480 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.480 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.480 * [taylor]: Rewrote expression to (- (exp a) 1)
0.480 * [taylor]: Taking taylor expansion of (exp a) in a
0.480 * [taylor]: Taking taylor expansion of a in a
0.480 * [taylor]: Taking taylor expansion of 1 in a
0.482 * [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.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.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.493 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.493 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.493 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.493 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.493 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.493 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.493 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.493 * [taylor]: Taking taylor expansion of a in a
0.493 * [taylor]: Taking taylor expansion of 1 in a
0.494 * [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.526 * [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.527 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.527 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.527 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.527 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.527 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.527 * [taylor]: Taking taylor expansion of -1 in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.562 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.562 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.562 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.562 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.562 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.562 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.562 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.563 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.563 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.563 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.563 * * * [progress]: simplifying candidates
0.564 * [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.566 * * [simplify]: iteration  0 :  70  enodes  (cost  438 )
0.577 * * [simplify]: iteration  1 :  110  enodes  (cost  422 )
0.595 * * [simplify]: iteration  2 :  206  enodes  (cost  375 )
0.632 * * [simplify]: iteration  3 :  429  enodes  (cost  374 )
0.859 * * [simplify]: iteration  4 :  1100  enodes  (cost  374 )
1.830 * * [simplify]: iteration  5 :  3065  enodes  (cost  374 )
2.920 * * [simplify]: iteration  done :  5001  enodes  (cost  374 )
2.920 * [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 -5/24 (pow a 4) (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))
2.921 * * * [progress]: adding candidates to table
3.079 * * [progress]: iteration 2 / 4
3.079 * * * [progress]: picking best candidate
3.128 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>
3.129 * * * [progress]: localizing error
3.144 * * * [progress]: generating rewritten candidates
3.144 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.147 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
3.149 * * * [progress]: generating series expansions
3.149 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.149 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
3.149 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.150 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.150 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.150 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.150 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.151 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.151 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.151 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.152 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
3.152 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
3.152 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.152 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
3.152 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.163 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
3.163 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
3.163 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.165 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
3.165 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.177 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
3.177 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
3.177 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.177 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
3.177 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.188 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.188 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
3.188 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.188 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
3.189 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
3.189 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.189 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
3.189 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
3.189 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.189 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
3.190 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
3.190 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
3.190 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.190 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.190 * [taylor]: Rewrote expression to (- (exp a) 1)
3.190 * [taylor]: Taking taylor expansion of (exp a) in a
3.190 * [taylor]: Taking taylor expansion of a in a
3.190 * [taylor]: Taking taylor expansion of 1 in a
3.192 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.192 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.192 * [taylor]: Rewrote expression to (- (exp a) 1)
3.192 * [taylor]: Taking taylor expansion of (exp a) in a
3.192 * [taylor]: Taking taylor expansion of a in a
3.192 * [taylor]: Taking taylor expansion of 1 in a
3.202 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
3.202 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.202 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.202 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.202 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.202 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.202 * [taylor]: Taking taylor expansion of a in a
3.202 * [taylor]: Taking taylor expansion of 1 in a
3.202 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.202 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.203 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.203 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.203 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.203 * [taylor]: Taking taylor expansion of a in a
3.203 * [taylor]: Taking taylor expansion of 1 in a
3.224 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
3.224 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.224 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.224 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.224 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.224 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.224 * [taylor]: Taking taylor expansion of -1 in a
3.224 * [taylor]: Taking taylor expansion of a in a
3.224 * [taylor]: Taking taylor expansion of 1 in a
3.225 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.225 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.225 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.225 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.225 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.225 * [taylor]: Taking taylor expansion of -1 in a
3.225 * [taylor]: Taking taylor expansion of a in a
3.225 * [taylor]: Taking taylor expansion of 1 in a
3.247 * * * [progress]: simplifying candidates
3.250 * [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.253 * * [simplify]: iteration  0 :  92  enodes  (cost  1068 )
3.272 * * [simplify]: iteration  1 :  158  enodes  (cost  876 )
3.307 * * [simplify]: iteration  2 :  369  enodes  (cost  778 )
3.562 * * [simplify]: iteration  3 :  1851  enodes  (cost  777 )
5.073 * * [simplify]: iteration  done :  5000  enodes  (cost  777 )
5.073 * [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.074 * * * [progress]: adding candidates to table
5.268 * * [progress]: iteration 3 / 4
5.268 * * * [progress]: picking best candidate
5.334 * * * * [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.334 * * * [progress]: localizing error
5.356 * * * [progress]: generating rewritten candidates
5.356 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.356 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
5.357 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
5.364 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.368 * * * [progress]: generating series expansions
5.368 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.368 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
5.368 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
5.368 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
5.369 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
5.369 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
5.369 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
5.370 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
5.370 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
5.370 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
5.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
5.371 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
5.371 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
5.371 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.371 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
5.371 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.384 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
5.384 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
5.384 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.384 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
5.384 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.396 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
5.396 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
5.396 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.396 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
5.396 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.406 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
5.407 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
5.407 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
5.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
5.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
5.407 * [taylor]: Taking taylor expansion of 1/3 in a
5.407 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
5.407 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
5.407 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
5.407 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.407 * [taylor]: Rewrote expression to (- (exp a) 1)
5.407 * [taylor]: Taking taylor expansion of (exp a) in a
5.407 * [taylor]: Taking taylor expansion of a in a
5.407 * [taylor]: Taking taylor expansion of 1 in a
5.410 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
5.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
5.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
5.410 * [taylor]: Taking taylor expansion of 1/3 in a
5.410 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
5.410 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
5.410 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
5.410 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.410 * [taylor]: Rewrote expression to (- (exp a) 1)
5.410 * [taylor]: Taking taylor expansion of (exp a) in a
5.410 * [taylor]: Taking taylor expansion of a in a
5.410 * [taylor]: Taking taylor expansion of 1 in a
5.424 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
5.424 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
5.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
5.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
5.424 * [taylor]: Taking taylor expansion of 1/3 in a
5.424 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
5.424 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
5.424 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
5.424 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.424 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.424 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.424 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.424 * [taylor]: Taking taylor expansion of a in a
5.424 * [taylor]: Taking taylor expansion of 1 in a
5.425 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
5.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
5.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
5.425 * [taylor]: Taking taylor expansion of 1/3 in a
5.425 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
5.425 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
5.425 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
5.425 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.425 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.425 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.425 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.425 * [taylor]: Taking taylor expansion of a in a
5.426 * [taylor]: Taking taylor expansion of 1 in a
5.489 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
5.489 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
5.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
5.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
5.490 * [taylor]: Taking taylor expansion of 1/3 in a
5.490 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
5.490 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
5.490 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.490 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.490 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.490 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.490 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.490 * [taylor]: Taking taylor expansion of -1 in a
5.490 * [taylor]: Taking taylor expansion of a in a
5.490 * [taylor]: Taking taylor expansion of 1 in a
5.491 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
5.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
5.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
5.491 * [taylor]: Taking taylor expansion of 1/3 in a
5.491 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
5.491 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
5.491 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.491 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.491 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.491 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.491 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.492 * [taylor]: Taking taylor expansion of -1 in a
5.492 * [taylor]: Taking taylor expansion of a in a
5.492 * [taylor]: Taking taylor expansion of 1 in a
5.557 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.558 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
5.558 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.558 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
5.558 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
5.558 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.558 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
5.559 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
5.559 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
5.560 * * * [progress]: simplifying candidates
5.562 * [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.568 * * [simplify]: iteration  0 :  128  enodes  (cost  2472 )
5.595 * * [simplify]: iteration  1 :  236  enodes  (cost  2174 )
5.652 * * [simplify]: iteration  2 :  569  enodes  (cost  1349 )
6.033 * * [simplify]: iteration  3 :  2421  enodes  (cost  1095 )
7.570 * * [simplify]: iteration  done :  5000  enodes  (cost  1095 )
7.571 * [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)))))
  (* (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 (sqrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)))
  (* (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.572 * * * [progress]: adding candidates to table
7.880 * * [progress]: iteration 4 / 4
7.880 * * * [progress]: picking best candidate
7.989 * * * * [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)))>
7.989 * * * [progress]: localizing error
8.016 * * * [progress]: generating rewritten candidates
8.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.016 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.017 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
8.019 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
8.023 * * * [progress]: generating series expansions
8.023 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.024 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
8.024 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.024 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.025 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
8.025 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.025 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.026 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
8.026 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.026 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.027 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.027 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
8.027 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
8.027 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.027 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
8.027 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.038 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
8.038 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
8.038 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.038 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
8.038 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.049 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
8.049 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
8.049 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.049 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
8.049 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.060 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
8.060 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
8.060 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.061 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.061 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
8.061 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.061 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.062 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
8.062 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.062 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.063 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
8.063 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in (a) around 0
8.063 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in a
8.063 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/9) in a
8.063 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 a))))) in a
8.063 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 a)))) in a
8.063 * [taylor]: Taking taylor expansion of 1/9 in a
8.063 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
8.063 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
8.063 * [taylor]: Taking taylor expansion of (expm1 a) in a
8.063 * [taylor]: Rewrote expression to (- (exp a) 1)
8.063 * [taylor]: Taking taylor expansion of (exp a) in a
8.063 * [taylor]: Taking taylor expansion of a in a
8.063 * [taylor]: Taking taylor expansion of 1 in a
8.066 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in a
8.066 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/9) in a
8.066 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 a))))) in a
8.066 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 a)))) in a
8.066 * [taylor]: Taking taylor expansion of 1/9 in a
8.066 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
8.066 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
8.066 * [taylor]: Taking taylor expansion of (expm1 a) in a
8.066 * [taylor]: Rewrote expression to (- (exp a) 1)
8.066 * [taylor]: Taking taylor expansion of (exp a) in a
8.066 * [taylor]: Taking taylor expansion of a in a
8.066 * [taylor]: Taking taylor expansion of 1 in a
8.084 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in (a) around 0
8.084 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in a
8.084 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/9) in a
8.084 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ 1 a)))))) in a
8.084 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ 1 a))))) in a
8.084 * [taylor]: Taking taylor expansion of 1/9 in a
8.084 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
8.084 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
8.084 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
8.084 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
8.085 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
8.085 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.085 * [taylor]: Taking taylor expansion of a in a
8.085 * [taylor]: Taking taylor expansion of 1 in a
8.086 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in a
8.086 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/9) in a
8.086 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ 1 a)))))) in a
8.086 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ 1 a))))) in a
8.086 * [taylor]: Taking taylor expansion of 1/9 in a
8.086 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
8.086 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
8.086 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
8.086 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
8.086 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
8.086 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.086 * [taylor]: Taking taylor expansion of a in a
8.086 * [taylor]: Taking taylor expansion of 1 in a
8.151 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in (a) around 0
8.151 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in a
8.151 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/9) in a
8.151 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ -1 a)))))) in a
8.151 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ -1 a))))) in a
8.151 * [taylor]: Taking taylor expansion of 1/9 in a
8.151 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
8.151 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
8.151 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
8.151 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
8.151 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
8.151 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.151 * [taylor]: Taking taylor expansion of -1 in a
8.151 * [taylor]: Taking taylor expansion of a in a
8.152 * [taylor]: Taking taylor expansion of 1 in a
8.152 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in a
8.152 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/9) in a
8.152 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ -1 a)))))) in a
8.152 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ -1 a))))) in a
8.152 * [taylor]: Taking taylor expansion of 1/9 in a
8.152 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
8.152 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
8.152 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
8.152 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
8.152 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
8.153 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.153 * [taylor]: Taking taylor expansion of -1 in a
8.153 * [taylor]: Taking taylor expansion of a in a
8.153 * [taylor]: Taking taylor expansion of 1 in a
8.222 * * * [progress]: simplifying candidates
8.223 * [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.230 * * [simplify]: iteration  0 :  141  enodes  (cost  3118 )
8.265 * * [simplify]: iteration  1 :  271  enodes  (cost  2836 )
8.329 * * [simplify]: iteration  2 :  627  enodes  (cost  2024 )
8.765 * * [simplify]: iteration  3 :  2721  enodes  (cost  1613 )
9.993 * * [simplify]: iteration  done :  5000  enodes  (cost  1613 )
9.994 * [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 (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (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)) (* (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 (pow (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.994 * * * [progress]: adding candidates to table
10.368 * [progress]: [Phase 3 of 3] Extracting.
10.368 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (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 (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 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 (log (exp (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 (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 (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 (* (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 (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))) 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 (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) 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 (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 (exp (log (fmod (atan2 (expm1 (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 (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 (* (* (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 (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 (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 (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 (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 (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 (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 (* (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 (* (* (* (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.381 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
10.381 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (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 (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 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 (log (exp (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 (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 (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 (* (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 (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))) 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 (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) 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 (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 (exp (log (fmod (atan2 (expm1 (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 (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 (* (* (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 (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 (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 (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 (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 (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 (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 (* (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 (* (* (* (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.580 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (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 (* (* (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)))))>)
10.624 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (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 (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 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 (log (exp (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 (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 (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 (* (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 (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))) 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 (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) 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 (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 (exp (log (fmod (atan2 (expm1 (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 (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 (* (* (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 (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 (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 (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 (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 (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 (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 (* (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 (* (* (* (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.807 * * * [regime]: Found split indices: #<option (#s(si 26 255))>
10.808 * [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.808 * * [simplify]: iteration  0 :  21  enodes  (cost  53 )
10.809 * * [simplify]: iteration  1 :  24  enodes  (cost  53 )
10.809 * * [simplify]: iteration  done :  24  enodes  (cost  53 )
10.809 * [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.471 * [regime-testing]: Baseline error score: 33.4535406864411
26.471 * [regime-testing]: Oracle error score: 31.363847029433913
26.473 * [regime-testing]: End program error score: 33.4535406864411