0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.389 * * * [progress]: [2/2] Setting up program.
0.393 * [progress]: [Phase 2 of 3] Improving.
0.393 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.394 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
0.395 * * [simplify]: iteration  done :  8  enodes  (cost  10 )
0.395 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.395 * * [progress]: iteration 1 / 4
0.395 * * * [progress]: picking best candidate
0.398 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.398 * * * [progress]: localizing error
0.416 * * * [progress]: generating rewritten candidates
0.416 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.417 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.418 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.418 * * * [progress]: generating series expansions
0.418 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.418 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.418 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.419 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.419 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.419 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.419 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.420 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.420 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.420 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.421 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.421 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.421 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.421 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.421 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.421 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.441 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.441 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.441 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.441 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.441 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.459 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.459 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.459 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.459 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.459 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) 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]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.478 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.478 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.478 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.478 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.478 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.478 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.479 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.479 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.479 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.479 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.479 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.479 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.479 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.480 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.480 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.480 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.480 * * * [progress]: simplifying candidates
0.481 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))
  (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)))
  (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))))
  (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.483 * * [simplify]: iteration  0 :  35  enodes  (cost  339 )
0.491 * * [simplify]: iteration  1 :  39  enodes  (cost  339 )
0.495 * * [simplify]: iteration  2 :  44  enodes  (cost  293 )
0.500 * * [simplify]: iteration  3 :  55  enodes  (cost  293 )
0.507 * * [simplify]: iteration  4 :  70  enodes  (cost  293 )
0.515 * * [simplify]: iteration  5 :  101  enodes  (cost  293 )
0.529 * * [simplify]: iteration  6 :  176  enodes  (cost  293 )
0.564 * * [simplify]: iteration  7 :  397  enodes  (cost  293 )
0.715 * * [simplify]: iteration  8 :  1211  enodes  (cost  293 )
2.186 * * [simplify]: iteration  9 :  4879  enodes  (cost  293 )
3.897 * * [simplify]: iteration  done :  5000  enodes  (cost  293 )
3.897 * [simplify]: Simplified to:
   (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))
  (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)))
  (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))))
  (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
3.897 * * * [progress]: adding candidates to table
4.024 * * [progress]: iteration 2 / 4
4.024 * * * [progress]: picking best candidate
4.077 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>
4.077 * * * [progress]: localizing error
4.095 * * * [progress]: generating rewritten candidates
4.095 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
4.097 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
4.099 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
4.100 * * * [progress]: generating series expansions
4.100 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.101 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
4.101 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
4.101 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
4.101 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
4.101 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
4.102 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
4.102 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
4.102 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
4.102 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
4.103 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
4.103 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
4.103 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
4.103 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.103 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
4.103 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.114 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
4.114 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
4.114 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.114 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
4.114 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.125 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
4.125 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
4.125 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.125 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
4.125 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.136 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
4.136 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
4.136 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.136 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.136 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
4.137 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.137 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.137 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
4.137 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.137 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.138 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
4.138 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
4.138 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
4.138 * [taylor]: Taking taylor expansion of (expm1 a) in a
4.138 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
4.138 * [taylor]: Taking taylor expansion of (expm1 a) in a
4.156 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
4.156 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
4.156 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
4.156 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
4.156 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
4.174 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
4.174 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
4.174 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
4.174 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
4.174 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
4.195 * * * [progress]: simplifying candidates
4.196 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))
  (* (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))
  (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)))
  (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))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
4.199 * * [simplify]: iteration  0 :  67  enodes  (cost  966 )
4.211 * * [simplify]: iteration  1 :  113  enodes  (cost  791 )
4.238 * * [simplify]: iteration  2 :  289  enodes  (cost  693 )
4.437 * * [simplify]: iteration  3 :  1675  enodes  (cost  693 )
5.766 * * [simplify]: iteration  done :  5000  enodes  (cost  693 )
5.766 * [simplify]: Simplified to:
   (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))
  (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)
  (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)))
  (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))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
5.767 * * * [progress]: adding candidates to table
5.932 * * [progress]: iteration 3 / 4
5.933 * * * [progress]: picking best candidate
6.007 * * * * [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)))>
6.007 * * * [progress]: localizing error
6.029 * * * [progress]: generating rewritten candidates
6.029 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.029 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
6.030 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
6.037 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.042 * * * [progress]: generating series expansions
6.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.042 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
6.042 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
6.042 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
6.043 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
6.043 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
6.043 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
6.044 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
6.044 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
6.044 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
6.045 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
6.045 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
6.045 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
6.045 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
6.045 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
6.045 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
6.055 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
6.055 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
6.055 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
6.056 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
6.056 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
6.067 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
6.067 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
6.067 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
6.067 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
6.067 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
6.078 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
6.078 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
6.078 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
6.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
6.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
6.078 * [taylor]: Taking taylor expansion of 1/3 in a
6.078 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
6.078 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
6.078 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
6.078 * [taylor]: Taking taylor expansion of (expm1 a) in a
6.079 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
6.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
6.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
6.079 * [taylor]: Taking taylor expansion of 1/3 in a
6.079 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
6.079 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
6.079 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
6.079 * [taylor]: Taking taylor expansion of (expm1 a) in a
6.139 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
6.139 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
6.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
6.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
6.139 * [taylor]: Taking taylor expansion of 1/3 in a
6.139 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
6.139 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
6.139 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
6.139 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
6.140 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
6.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
6.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
6.140 * [taylor]: Taking taylor expansion of 1/3 in a
6.140 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
6.140 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
6.140 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
6.140 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
6.200 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
6.200 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
6.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
6.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
6.200 * [taylor]: Taking taylor expansion of 1/3 in a
6.200 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
6.200 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
6.200 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
6.200 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
6.201 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
6.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
6.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
6.201 * [taylor]: Taking taylor expansion of 1/3 in a
6.201 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
6.201 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
6.201 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
6.201 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
6.258 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.258 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
6.258 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
6.258 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
6.259 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
6.259 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
6.259 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
6.260 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
6.260 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
6.260 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
6.263 * * * [progress]: simplifying candidates
6.264 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))
  (* (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))
  (+ 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))))
  (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 (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
6.269 * * [simplify]: iteration  0 :  104  enodes  (cost  2302 )
6.291 * * [simplify]: iteration  1 :  182  enodes  (cost  2021 )
6.332 * * [simplify]: iteration  2 :  469  enodes  (cost  1245 )
6.634 * * [simplify]: iteration  3 :  2147  enodes  (cost  1014 )
7.889 * * [simplify]: iteration  done :  5001  enodes  (cost  1014 )
7.890 * [simplify]: Simplified to:
   (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))
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (log (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 (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)
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  2
  (* 2 (log (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (exp (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)))
  (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (sqrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a)))))
  (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)
  (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)
  (cbrt (pow (sin (expm1 a)) 2))
  (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.891 * * * [progress]: adding candidates to table
8.183 * * [progress]: iteration 4 / 4
8.183 * * * [progress]: picking best candidate
8.302 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>
8.302 * * * [progress]: localizing error
8.332 * * * [progress]: generating rewritten candidates
8.332 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.333 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
8.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
8.361 * * * [progress]: generating series expansions
8.361 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.361 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
8.361 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.361 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.362 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
8.362 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.363 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.364 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
8.364 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.364 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.364 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.365 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
8.365 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
8.365 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.365 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
8.365 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.376 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
8.376 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
8.376 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.376 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
8.376 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.387 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
8.387 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
8.387 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.387 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
8.387 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
8.399 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
8.399 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.399 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.400 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
8.400 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.400 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.401 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
8.401 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.401 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
8.401 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
8.401 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
8.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
8.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
8.401 * [taylor]: Taking taylor expansion of 1/3 in a
8.402 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
8.402 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
8.402 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
8.402 * [taylor]: Taking taylor expansion of (expm1 a) in a
8.402 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
8.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
8.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
8.402 * [taylor]: Taking taylor expansion of 1/3 in a
8.402 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
8.402 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
8.402 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
8.402 * [taylor]: Taking taylor expansion of (expm1 a) in a
8.461 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
8.461 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
8.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
8.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
8.462 * [taylor]: Taking taylor expansion of 1/3 in a
8.462 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
8.462 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
8.462 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
8.462 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
8.462 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
8.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
8.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
8.462 * [taylor]: Taking taylor expansion of 1/3 in a
8.462 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
8.462 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
8.462 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
8.462 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
8.522 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
8.522 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
8.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
8.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
8.522 * [taylor]: Taking taylor expansion of 1/3 in a
8.522 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
8.522 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
8.522 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
8.522 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
8.523 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
8.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
8.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
8.523 * [taylor]: Taking taylor expansion of 1/3 in a
8.523 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
8.523 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
8.523 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
8.523 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
8.583 * * * [progress]: simplifying candidates
8.584 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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))
  (* (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))
  (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)))
  (+ (+ 4 1) 1)
  (+ (+ 4 1) 1)
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))
  (+ (+ 4 1) 1)
  (+ (+ 4 1) 1)
  (+ (+ (* (log (cbrt (cbrt (sin (expm1 a))))) 4) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (+ (+ (* (log (cbrt (cbrt (sin (expm1 a))))) 4) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (+ (+ (log (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (log (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (exp (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a)))))) (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))
  (* (cbrt (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (cbrt (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))) (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (sqrt (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (sqrt (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt 1)))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (cbrt 1))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (cbrt (cbrt (sin (expm1 a))))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (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))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
8.590 * * [simplify]: iteration  0 :  121  enodes  (cost  3199 )
8.615 * * [simplify]: iteration  1 :  261  enodes  (cost  2300 )
8.700 * * [simplify]: iteration  2 :  790  enodes  (cost  1494 )
9.321 * * [simplify]: iteration  3 :  3458  enodes  (cost  1492 )
10.560 * * [simplify]: iteration  done :  5001  enodes  (cost  1492 )
10.561 * [simplify]: Simplified to:
   (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))
  (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)
  (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)))
  6
  6
  (pow (cbrt (cbrt (sin (expm1 a)))) 6)
  6
  6
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (exp (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (* (pow (cbrt (cbrt (sin (expm1 a)))) 12) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (pow (pow (cbrt (cbrt (sin (expm1 a)))) 5) 3))
  (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6)))
  (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (pow (pow (cbrt (cbrt (sin (expm1 a)))) 6) 3)
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (cbrt (cbrt (sin (expm1 a)))) 5))
  (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 2)) (pow (cbrt (cbrt (sin (expm1 a)))) 5))
  (* (cbrt (sqrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 5))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (* (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (pow (cbrt (cbrt (sin (expm1 a)))) 5))
  (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (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))
  (cbrt (pow (sin (expm1 a)) 2))
  (cbrt (pow (sin (expm1 a)) 2))
  (cbrt (pow (sin (expm1 a)) 2))
10.561 * * * [progress]: adding candidates to table
10.921 * [progress]: [Phase 3 of 3] Extracting.
10.921 * * [regime]: Finding splitpoints for: (#<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)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (pow (cbrt (cbrt (sin (expm1 a)))) 5)) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (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)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (log (exp (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 (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (* (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)) (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (cbrt (* (pow (cbrt (cbrt (sin (expm1 a)))) 12) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (sqrt (cbrt (cbrt (sin (expm1 a)))))) (sqrt (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (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 (* (* (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (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 (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
10.931 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
10.931 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<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)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (pow (cbrt (cbrt (sin (expm1 a)))) 5)) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (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)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (log (exp (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 (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (* (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)) (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (cbrt (* (pow (cbrt (cbrt (sin (expm1 a)))) 12) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (sqrt (cbrt (cbrt (sin (expm1 a)))))) (sqrt (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (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 (* (* (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (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 (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
11.116 * * * * [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 (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 (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))>)
11.159 * * * * [regimes]: Trying to branch on a from (#<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)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (pow (cbrt (cbrt (sin (expm1 a)))) 5)) (cbrt (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (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)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (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)))))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (log (exp (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 (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (* (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)) (sqrt (pow (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (cbrt (* (pow (cbrt (cbrt (sin (expm1 a)))) 12) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (sqrt (cbrt (cbrt (sin (expm1 a)))))) (sqrt (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (pow (cbrt (cbrt (sin (expm1 a)))) 6) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (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 (* (* (* (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))) (cbrt (pow (sqrt (cbrt (sin (expm1 a)))) 4))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (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 (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>)
11.325 * * * [regime]: Found split indices: #<option (#s(si 13 255))>
11.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
11.326 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
11.326 * * [simplify]: iteration  done :  11  enodes  (cost  13 )
11.326 * [simplify]: Simplified to:
   (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
27.035 * [regime-testing]: Baseline error score: 33.42210880328497
27.036 * [regime-testing]: Oracle error score: 31.595457383483602
27.037 * [regime-testing]: End program error score: 33.42210880328497