0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.461 * * * [progress]: [2/2] Setting up program.
0.464 * [progress]: [Phase 2 of 3] Improving.
0.465 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.467 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.467 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.467 * * [progress]: iteration 1 / 4
0.467 * * * [progress]: picking best candidate
0.470 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.470 * * * [progress]: localizing error
0.483 * * * [progress]: generating rewritten candidates
0.483 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.484 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.486 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.486 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.487 * * * [progress]: generating series expansions
0.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.488 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.488 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.488 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.488 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.488 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.489 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.489 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.489 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.489 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.490 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.490 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.490 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.490 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.490 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.490 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.508 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.509 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.509 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.509 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.509 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.531 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.531 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.531 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.531 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.531 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.549 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.549 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.549 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.549 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.549 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.549 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.549 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.550 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.550 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.550 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.550 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.550 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.550 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.550 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.551 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.551 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.551 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.551 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.551 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.551 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.552 * * * [progress]: simplifying candidates
0.552 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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.555 * * [simplify]: iteration  0 :  39  enodes  (cost  248 )
0.556 * * [simplify]: iteration  1 :  44  enodes  (cost  212 )
0.558 * * [simplify]: iteration  2 :  54  enodes  (cost  212 )
0.559 * * [simplify]: iteration  3 :  68  enodes  (cost  212 )
0.561 * * [simplify]: iteration  4 :  114  enodes  (cost  212 )
0.563 * * [simplify]: iteration  5 :  228  enodes  (cost  212 )
0.570 * * [simplify]: iteration  6 :  919  enodes  (cost  212 )
0.593 * * [simplify]: iteration  7 :  3184  enodes  (cost  212 )
0.674 * * [simplify]: iteration  8 :  5001  enodes  (cost  212 )
0.675 * [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))
0.676 * * * [progress]: adding candidates to table
0.789 * * [progress]: iteration 2 / 4
0.789 * * * [progress]: picking best candidate
0.825 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
0.825 * * * [progress]: localizing error
0.841 * * * [progress]: generating rewritten candidates
0.841 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.842 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
0.844 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.845 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.848 * * * [progress]: generating series expansions
0.848 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.848 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.848 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.848 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.849 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.849 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.849 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.850 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.850 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.850 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.850 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
0.850 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.850 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.850 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.851 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.851 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.870 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.870 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.870 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.871 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.871 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.888 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.888 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.888 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.888 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.888 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.906 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.906 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
0.906 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.906 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.906 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.906 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.915 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
0.915 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.915 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.915 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.915 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.924 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
0.924 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.924 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.924 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.924 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.934 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.934 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.934 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.934 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.935 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.935 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.935 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.935 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.935 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.935 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.936 * * * [progress]: simplifying candidates
0.936 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (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)))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (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))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (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))
0.942 * * [simplify]: iteration  0 :  63  enodes  (cost  401 )
0.943 * * [simplify]: iteration  1 :  92  enodes  (cost  342 )
0.945 * * [simplify]: iteration  2 :  121  enodes  (cost  342 )
0.947 * * [simplify]: iteration  3 :  180  enodes  (cost  342 )
0.949 * * [simplify]: iteration  4 :  339  enodes  (cost  342 )
0.954 * * [simplify]: iteration  5 :  863  enodes  (cost  342 )
0.973 * * [simplify]: iteration  6 :  3913  enodes  (cost  342 )
1.035 * * [simplify]: iteration  7 :  5001  enodes  (cost  338 )
1.037 * [simplify]: Simplified to:
   (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (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)))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (/ (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (/ (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (log (exp (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))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (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))
1.037 * * * [progress]: adding candidates to table
1.174 * * [progress]: iteration 3 / 4
1.174 * * * [progress]: picking best candidate
1.229 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))>
1.229 * * * [progress]: localizing error
1.251 * * * [progress]: generating rewritten candidates
1.251 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.252 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.262 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 1 1)
1.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
1.267 * * * [progress]: generating series expansions
1.267 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.268 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.268 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.268 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.269 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.269 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.269 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.270 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.270 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.270 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.270 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.271 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.271 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.271 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.271 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.271 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.280 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.280 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.280 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.280 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.280 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.290 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.290 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.290 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.290 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.290 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.299 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 1 1)
1.299 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.299 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.299 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.299 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.299 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.317 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.317 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.317 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.317 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.317 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.335 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.335 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.335 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.335 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.336 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.356 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
1.356 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.356 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.356 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.356 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.356 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.373 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.373 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.374 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.374 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.374 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.391 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.391 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.391 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.391 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.391 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.409 * * * [progress]: simplifying candidates
1.410 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (exp (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (* (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))
  (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (* (* (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a) (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)) (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (sqrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (sqrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (+ 1/2 1/2)
  (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (+ (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/2) (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/2))
  (+ (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/2) (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (+ (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/2) (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (+ (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/2))
  (+ (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (+ (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (+ (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 1/2))
  (+ (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (+ (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (exp (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (* (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (* (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (cbrt (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) (cbrt (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))))
  (cbrt (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (* (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (sqrt (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1/2) (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1/2))
  (* (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow 1 1/2) (pow 1 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))))
  (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* 1 1)
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* 2 1/2)
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow 1 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) 1)
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)))
  (* (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 1/2 2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (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 (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)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
1.419 * * [simplify]: iteration  0 :  157  enodes  (cost  1048 )
1.422 * * [simplify]: iteration  1 :  534  enodes  (cost  830 )
1.441 * * [simplify]: iteration  2 :  4696  enodes  (cost  773 )
1.632 * * [simplify]: iteration  3 :  5001  enodes  (cost  773 )
1.635 * [simplify]: Simplified to:
   (log (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (exp (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (* (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))
  (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  (sqrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
  1
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (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))
  (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))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (exp 1) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 2)
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 2)
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  1
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) 4)
  (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  1
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (* (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  1
  (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (fabs (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) 3/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (* (pow (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) 4) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)))
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) 3/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4) 3)
  (* (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) 3/2)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)) 4)
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) 3/2)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/4) 3)
  (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 (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)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
1.636 * * * [progress]: adding candidates to table
1.861 * * [progress]: iteration 4 / 4
1.861 * * * [progress]: picking best candidate
1.931 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
1.931 * * * [progress]: localizing error
1.949 * * * [progress]: generating rewritten candidates
1.949 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.950 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1)
1.951 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
1.953 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
1.955 * * * [progress]: generating series expansions
1.955 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.955 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.956 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.956 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.956 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.957 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.957 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.957 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.958 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1)
1.958 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.958 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.958 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.958 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.958 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.976 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.976 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.976 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.976 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.976 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.998 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.998 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.998 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.998 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.998 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.015 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 1)
2.015 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
2.015 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.015 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.016 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.016 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.033 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
2.033 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.033 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.033 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.033 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.050 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
2.050 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.050 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.051 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.051 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.073 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
2.073 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
2.073 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.073 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.073 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.073 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.091 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
2.091 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.091 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.091 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.091 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.108 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
2.108 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.108 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.108 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.108 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.126 * * * [progress]: simplifying candidates
2.126 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (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 (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 (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
2.129 * * [simplify]: iteration  0 :  29  enodes  (cost  306 )
2.130 * * [simplify]: iteration  1 :  33  enodes  (cost  256 )
2.132 * * [simplify]: iteration  2 :  41  enodes  (cost  256 )
2.133 * * [simplify]: iteration  3 :  60  enodes  (cost  245 )
2.135 * * [simplify]: iteration  4 :  97  enodes  (cost  245 )
2.137 * * [simplify]: iteration  5 :  191  enodes  (cost  245 )
2.143 * * [simplify]: iteration  6 :  787  enodes  (cost  245 )
2.162 * * [simplify]: iteration  7 :  2686  enodes  (cost  245 )
2.235 * * [simplify]: iteration  8 :  5001  enodes  (cost  245 )
2.237 * [simplify]: Simplified to:
   (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (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 (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 (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)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
2.237 * * * [progress]: adding candidates to table
2.370 * [progress]: [Phase 3 of 3] Extracting.
2.371 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (exp (log (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))>)
2.378 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.378 * * * * [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 (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (exp (log (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))>)
2.502 * * * * [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 (exp (log (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)))))>)
2.542 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))) (cbrt (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (exp (log (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)))))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a))) 1/2))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))>)
2.651 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.651 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
2.652 * * [simplify]: iteration  0 :  13  enodes  (cost  18 )
2.652 * [simplify]: Simplified to:
   (fabs (fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a))
17.773 * [regime-testing]: Baseline error score: 33.25187999353345
17.774 * [regime-testing]: Oracle error score: 31.50589776010725
17.775 * [regime-testing]: End program error score: 33.25187999353345