0.012 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.409 * * * [progress]: [2/2] Setting up program.
0.412 * [progress]: [Phase 2 of 3] Improving.
0.413 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.415 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.415 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.415 * * [progress]: iteration 1 / 4
0.415 * * * [progress]: picking best candidate
0.418 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.418 * * * [progress]: localizing error
0.430 * * * [progress]: generating rewritten candidates
0.431 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.431 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.431 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
0.432 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.433 * * * [progress]: generating series expansions
0.433 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.433 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.433 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.433 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.434 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.434 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.434 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.434 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.434 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.434 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.435 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.435 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.435 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.435 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.435 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.435 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.435 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.435 * [taylor]: Rewrote expression to (- (exp a) 1)
0.435 * [taylor]: Taking taylor expansion of (exp a) in a
0.435 * [taylor]: Taking taylor expansion of a in a
0.435 * [taylor]: Taking taylor expansion of 1 in a
0.438 * [taylor]: Taking taylor expansion of 1 in a
0.438 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.438 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.438 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.438 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.438 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.438 * [taylor]: Rewrote expression to (- (exp a) 1)
0.438 * [taylor]: Taking taylor expansion of (exp a) in a
0.438 * [taylor]: Taking taylor expansion of a in a
0.438 * [taylor]: Taking taylor expansion of 1 in a
0.440 * [taylor]: Taking taylor expansion of 1 in a
0.449 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.449 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.450 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.450 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.450 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.450 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.450 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.450 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.450 * [taylor]: Taking taylor expansion of a in a
0.450 * [taylor]: Taking taylor expansion of 1 in a
0.451 * [taylor]: Taking taylor expansion of 1 in a
0.451 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.451 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.451 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.451 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.451 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.451 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.451 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.451 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.451 * [taylor]: Taking taylor expansion of a in a
0.451 * [taylor]: Taking taylor expansion of 1 in a
0.452 * [taylor]: Taking taylor expansion of 1 in a
0.488 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.488 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.488 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.488 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.488 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.488 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.488 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.488 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.488 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.488 * [taylor]: Taking taylor expansion of -1 in a
0.488 * [taylor]: Taking taylor expansion of a in a
0.489 * [taylor]: Taking taylor expansion of 1 in a
0.489 * [taylor]: Taking taylor expansion of 1 in a
0.489 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.489 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.489 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.489 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.489 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.489 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.489 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.489 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.489 * [taylor]: Taking taylor expansion of -1 in a
0.489 * [taylor]: Taking taylor expansion of a in a
0.490 * [taylor]: Taking taylor expansion of 1 in a
0.490 * [taylor]: Taking taylor expansion of 1 in a
0.521 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
0.521 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.521 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.521 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.521 * [taylor]: Rewrote expression to (- (exp a) 1)
0.521 * [taylor]: Taking taylor expansion of (exp a) in a
0.521 * [taylor]: Taking taylor expansion of a in a
0.521 * [taylor]: Taking taylor expansion of 1 in a
0.523 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.523 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.523 * [taylor]: Rewrote expression to (- (exp a) 1)
0.523 * [taylor]: Taking taylor expansion of (exp a) in a
0.523 * [taylor]: Taking taylor expansion of a in a
0.523 * [taylor]: Taking taylor expansion of 1 in a
0.533 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.533 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.533 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.533 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.533 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.533 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.533 * [taylor]: Taking taylor expansion of a in a
0.533 * [taylor]: Taking taylor expansion of 1 in a
0.534 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.534 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.534 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.534 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.534 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.534 * [taylor]: Taking taylor expansion of a in a
0.534 * [taylor]: Taking taylor expansion of 1 in a
0.558 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.558 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.558 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.558 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.558 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.558 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.558 * [taylor]: Taking taylor expansion of -1 in a
0.558 * [taylor]: Taking taylor expansion of a in a
0.558 * [taylor]: Taking taylor expansion of 1 in a
0.559 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.559 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.559 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.559 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.559 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.559 * [taylor]: Taking taylor expansion of -1 in a
0.559 * [taylor]: Taking taylor expansion of a in a
0.559 * [taylor]: Taking taylor expansion of 1 in a
0.581 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.581 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.581 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.581 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.581 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.581 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.581 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.582 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.582 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.582 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.582 * * * [progress]: simplifying candidates
0.583 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.586 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.589 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.593 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.608 * * [simplify]: iteration  3 :  2934  enodes  (cost  264 )
0.703 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.704 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.705 * * * [progress]: adding candidates to table
0.859 * * [progress]: iteration 2 / 4
0.859 * * * [progress]: picking best candidate
0.898 * * * * [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)))>
0.899 * * * [progress]: localizing error
0.917 * * * [progress]: generating rewritten candidates
0.917 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.917 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.918 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.920 * * * [progress]: generating series expansions
0.920 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.920 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.920 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.920 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.921 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.921 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.921 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.922 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.922 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.922 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.922 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.922 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.922 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.923 * [taylor]: Taking taylor expansion of 1/3 in a
0.923 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.923 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.923 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.923 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.923 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.923 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.923 * [taylor]: Rewrote expression to (- (exp a) 1)
0.923 * [taylor]: Taking taylor expansion of (exp a) in a
0.923 * [taylor]: Taking taylor expansion of a in a
0.923 * [taylor]: Taking taylor expansion of 1 in a
0.925 * [taylor]: Taking taylor expansion of 1 in a
0.927 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.927 * [taylor]: Taking taylor expansion of 1/3 in a
0.927 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.927 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.927 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.927 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.927 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.927 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.927 * [taylor]: Rewrote expression to (- (exp a) 1)
0.927 * [taylor]: Taking taylor expansion of (exp a) in a
0.927 * [taylor]: Taking taylor expansion of a in a
0.927 * [taylor]: Taking taylor expansion of 1 in a
0.929 * [taylor]: Taking taylor expansion of 1 in a
0.946 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
0.946 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.947 * [taylor]: Taking taylor expansion of 1/3 in a
0.947 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.947 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.947 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.947 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.947 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.947 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.947 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.947 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.947 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.947 * [taylor]: Taking taylor expansion of a in a
0.947 * [taylor]: Taking taylor expansion of 1 in a
0.948 * [taylor]: Taking taylor expansion of 1 in a
0.948 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
0.948 * [taylor]: Taking taylor expansion of 1/3 in a
0.948 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
0.948 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.948 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.948 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.948 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.948 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.949 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.949 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.949 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.949 * [taylor]: Taking taylor expansion of a in a
0.949 * [taylor]: Taking taylor expansion of 1 in a
0.949 * [taylor]: Taking taylor expansion of 1 in a
1.018 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.018 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.018 * [taylor]: Taking taylor expansion of 1/3 in a
1.018 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.018 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.018 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.018 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.018 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.018 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.018 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.018 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.018 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.018 * [taylor]: Taking taylor expansion of -1 in a
1.018 * [taylor]: Taking taylor expansion of a in a
1.019 * [taylor]: Taking taylor expansion of 1 in a
1.019 * [taylor]: Taking taylor expansion of 1 in a
1.020 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.020 * [taylor]: Taking taylor expansion of 1/3 in a
1.020 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.020 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.020 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.020 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.020 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.020 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.020 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.020 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.020 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.020 * [taylor]: Taking taylor expansion of -1 in a
1.020 * [taylor]: Taking taylor expansion of a in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.085 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.085 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.085 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.085 * [taylor]: Taking taylor expansion of 1/3 in a
1.085 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.085 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.085 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.085 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.085 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.086 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.086 * [taylor]: Rewrote expression to (- (exp a) 1)
1.086 * [taylor]: Taking taylor expansion of (exp a) in a
1.086 * [taylor]: Taking taylor expansion of a in a
1.086 * [taylor]: Taking taylor expansion of 1 in a
1.087 * [taylor]: Taking taylor expansion of 1 in a
1.089 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.090 * [taylor]: Taking taylor expansion of 1/3 in a
1.090 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.090 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.090 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.090 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.090 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.090 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.090 * [taylor]: Rewrote expression to (- (exp a) 1)
1.090 * [taylor]: Taking taylor expansion of (exp a) in a
1.090 * [taylor]: Taking taylor expansion of a in a
1.090 * [taylor]: Taking taylor expansion of 1 in a
1.092 * [taylor]: Taking taylor expansion of 1 in a
1.109 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.109 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.109 * [taylor]: Taking taylor expansion of 1/3 in a
1.109 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.109 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.109 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.109 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.109 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.109 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.109 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.109 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.109 * [taylor]: Taking taylor expansion of a in a
1.110 * [taylor]: Taking taylor expansion of 1 in a
1.110 * [taylor]: Taking taylor expansion of 1 in a
1.111 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.111 * [taylor]: Taking taylor expansion of 1/3 in a
1.111 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.111 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.111 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.111 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.111 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.111 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.111 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.111 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.111 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.111 * [taylor]: Taking taylor expansion of a in a
1.111 * [taylor]: Taking taylor expansion of 1 in a
1.112 * [taylor]: Taking taylor expansion of 1 in a
1.180 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.180 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.180 * [taylor]: Taking taylor expansion of 1/3 in a
1.180 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.180 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.180 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.180 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.180 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.180 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.181 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.181 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.181 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.181 * [taylor]: Taking taylor expansion of -1 in a
1.181 * [taylor]: Taking taylor expansion of a in a
1.181 * [taylor]: Taking taylor expansion of 1 in a
1.182 * [taylor]: Taking taylor expansion of 1 in a
1.182 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.182 * [taylor]: Taking taylor expansion of 1/3 in a
1.182 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.182 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.182 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.182 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.182 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.182 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.182 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.182 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.182 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.182 * [taylor]: Taking taylor expansion of -1 in a
1.182 * [taylor]: Taking taylor expansion of a in a
1.183 * [taylor]: Taking taylor expansion of 1 in a
1.183 * [taylor]: Taking taylor expansion of 1 in a
1.248 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.248 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.248 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.248 * [taylor]: Taking taylor expansion of 1/3 in a
1.248 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.248 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.248 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.248 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.248 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.248 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.248 * [taylor]: Rewrote expression to (- (exp a) 1)
1.248 * [taylor]: Taking taylor expansion of (exp a) in a
1.248 * [taylor]: Taking taylor expansion of a in a
1.248 * [taylor]: Taking taylor expansion of 1 in a
1.250 * [taylor]: Taking taylor expansion of 1 in a
1.252 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.252 * [taylor]: Taking taylor expansion of 1/3 in a
1.252 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.252 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.252 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.252 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.252 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.253 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.253 * [taylor]: Rewrote expression to (- (exp a) 1)
1.253 * [taylor]: Taking taylor expansion of (exp a) in a
1.253 * [taylor]: Taking taylor expansion of a in a
1.253 * [taylor]: Taking taylor expansion of 1 in a
1.257 * [taylor]: Taking taylor expansion of 1 in a
1.272 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.272 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.272 * [taylor]: Taking taylor expansion of 1/3 in a
1.272 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.272 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.272 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.272 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.272 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.272 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.272 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.272 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.272 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.272 * [taylor]: Taking taylor expansion of a in a
1.272 * [taylor]: Taking taylor expansion of 1 in a
1.273 * [taylor]: Taking taylor expansion of 1 in a
1.274 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.274 * [taylor]: Taking taylor expansion of 1/3 in a
1.274 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.274 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.274 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.274 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.274 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.274 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.274 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.274 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.274 * [taylor]: Taking taylor expansion of a in a
1.274 * [taylor]: Taking taylor expansion of 1 in a
1.275 * [taylor]: Taking taylor expansion of 1 in a
1.342 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.342 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.342 * [taylor]: Taking taylor expansion of 1/3 in a
1.342 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.342 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.342 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.342 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.342 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.342 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.342 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.342 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.342 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.342 * [taylor]: Taking taylor expansion of -1 in a
1.343 * [taylor]: Taking taylor expansion of a in a
1.343 * [taylor]: Taking taylor expansion of 1 in a
1.343 * [taylor]: Taking taylor expansion of 1 in a
1.344 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.344 * [taylor]: Taking taylor expansion of 1/3 in a
1.344 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.344 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.344 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.344 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.344 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.344 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.344 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.344 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.344 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.344 * [taylor]: Taking taylor expansion of -1 in a
1.344 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of 1 in a
1.345 * [taylor]: Taking taylor expansion of 1 in a
1.410 * * * [progress]: simplifying candidates
1.414 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (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))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
1.417 * * [simplify]: iteration  0 :  88  enodes  (cost  549 )
1.419 * * [simplify]: iteration  1 :  181  enodes  (cost  487 )
1.423 * * [simplify]: iteration  2 :  472  enodes  (cost  481 )
1.433 * * [simplify]: iteration  3 :  1562  enodes  (cost  470 )
1.481 * * [simplify]: iteration  4 :  5001  enodes  (cost  467 )
1.483 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (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))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
1.483 * * * [progress]: adding candidates to table
1.688 * * [progress]: iteration 3 / 4
1.688 * * * [progress]: picking best candidate
1.763 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))>
1.763 * * * [progress]: localizing error
1.788 * * * [progress]: generating rewritten candidates
1.788 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.788 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
1.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1.796 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.798 * * * [progress]: generating series expansions
1.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.799 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.799 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.799 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.800 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.800 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.800 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.801 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.801 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.801 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
1.802 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.802 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.802 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.802 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.802 * [taylor]: Taking taylor expansion of 1/9 in a
1.802 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.802 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.802 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.802 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.802 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.802 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.802 * [taylor]: Rewrote expression to (- (exp a) 1)
1.802 * [taylor]: Taking taylor expansion of (exp a) in a
1.802 * [taylor]: Taking taylor expansion of a in a
1.802 * [taylor]: Taking taylor expansion of 1 in a
1.804 * [taylor]: Taking taylor expansion of 1 in a
1.806 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.806 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.806 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.806 * [taylor]: Taking taylor expansion of 1/9 in a
1.806 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.806 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.807 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.807 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.807 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.807 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.807 * [taylor]: Rewrote expression to (- (exp a) 1)
1.807 * [taylor]: Taking taylor expansion of (exp a) in a
1.807 * [taylor]: Taking taylor expansion of a in a
1.807 * [taylor]: Taking taylor expansion of 1 in a
1.809 * [taylor]: Taking taylor expansion of 1 in a
1.826 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.826 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.826 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.826 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.826 * [taylor]: Taking taylor expansion of 1/9 in a
1.826 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.826 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.826 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.826 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.826 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.826 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.826 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.826 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.826 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.826 * [taylor]: Taking taylor expansion of a in a
1.826 * [taylor]: Taking taylor expansion of 1 in a
1.827 * [taylor]: Taking taylor expansion of 1 in a
1.828 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.828 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.828 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.828 * [taylor]: Taking taylor expansion of 1/9 in a
1.828 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.828 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.828 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.828 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.828 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.828 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.828 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.828 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.828 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.828 * [taylor]: Taking taylor expansion of a in a
1.828 * [taylor]: Taking taylor expansion of 1 in a
1.829 * [taylor]: Taking taylor expansion of 1 in a
1.900 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
1.900 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.900 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.900 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.900 * [taylor]: Taking taylor expansion of 1/9 in a
1.900 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.900 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.900 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.900 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.900 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.900 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.900 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.900 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.900 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.900 * [taylor]: Taking taylor expansion of -1 in a
1.900 * [taylor]: Taking taylor expansion of a in a
1.900 * [taylor]: Taking taylor expansion of 1 in a
1.901 * [taylor]: Taking taylor expansion of 1 in a
1.902 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
1.902 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.902 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.902 * [taylor]: Taking taylor expansion of 1/9 in a
1.902 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.902 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.902 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.902 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.902 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.902 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.902 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.902 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.902 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.902 * [taylor]: Taking taylor expansion of -1 in a
1.902 * [taylor]: Taking taylor expansion of a in a
1.902 * [taylor]: Taking taylor expansion of 1 in a
1.903 * [taylor]: Taking taylor expansion of 1 in a
1.968 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.969 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.969 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.969 * [taylor]: Taking taylor expansion of 1/3 in a
1.969 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.969 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.969 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.969 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.969 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.969 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.969 * [taylor]: Rewrote expression to (- (exp a) 1)
1.969 * [taylor]: Taking taylor expansion of (exp a) in a
1.969 * [taylor]: Taking taylor expansion of a in a
1.969 * [taylor]: Taking taylor expansion of 1 in a
1.971 * [taylor]: Taking taylor expansion of 1 in a
1.973 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.973 * [taylor]: Taking taylor expansion of 1/3 in a
1.973 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.973 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.973 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.973 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.973 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.973 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.973 * [taylor]: Rewrote expression to (- (exp a) 1)
1.973 * [taylor]: Taking taylor expansion of (exp a) in a
1.973 * [taylor]: Taking taylor expansion of a in a
1.973 * [taylor]: Taking taylor expansion of 1 in a
1.975 * [taylor]: Taking taylor expansion of 1 in a
1.995 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.995 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.995 * [taylor]: Taking taylor expansion of 1/3 in a
1.995 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.995 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.995 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.995 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.995 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.995 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.995 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.996 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.996 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.996 * [taylor]: Taking taylor expansion of a in a
1.996 * [taylor]: Taking taylor expansion of 1 in a
1.996 * [taylor]: Taking taylor expansion of 1 in a
1.997 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.997 * [taylor]: Taking taylor expansion of 1/3 in a
1.997 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.997 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.997 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.997 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.997 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.997 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.997 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.997 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.997 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.997 * [taylor]: Taking taylor expansion of a in a
1.998 * [taylor]: Taking taylor expansion of 1 in a
1.998 * [taylor]: Taking taylor expansion of 1 in a
2.069 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
2.069 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.069 * [taylor]: Taking taylor expansion of 1/3 in a
2.069 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.069 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.069 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.069 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.069 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.069 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.069 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.069 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.069 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.069 * [taylor]: Taking taylor expansion of -1 in a
2.070 * [taylor]: Taking taylor expansion of a in a
2.070 * [taylor]: Taking taylor expansion of 1 in a
2.070 * [taylor]: Taking taylor expansion of 1 in a
2.071 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.071 * [taylor]: Taking taylor expansion of 1/3 in a
2.071 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.071 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.071 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.071 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.071 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.071 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.071 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.071 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.071 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.071 * [taylor]: Taking taylor expansion of -1 in a
2.071 * [taylor]: Taking taylor expansion of a in a
2.072 * [taylor]: Taking taylor expansion of 1 in a
2.072 * [taylor]: Taking taylor expansion of 1 in a
2.139 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.139 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
2.139 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
2.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
2.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
2.139 * [taylor]: Taking taylor expansion of 1/3 in a
2.139 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.139 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.139 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.139 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.139 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.139 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.139 * [taylor]: Rewrote expression to (- (exp a) 1)
2.139 * [taylor]: Taking taylor expansion of (exp a) in a
2.139 * [taylor]: Taking taylor expansion of a in a
2.139 * [taylor]: Taking taylor expansion of 1 in a
2.141 * [taylor]: Taking taylor expansion of 1 in a
2.148 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
2.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
2.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
2.149 * [taylor]: Taking taylor expansion of 1/3 in a
2.149 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.149 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.149 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.149 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.149 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.149 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.149 * [taylor]: Rewrote expression to (- (exp a) 1)
2.149 * [taylor]: Taking taylor expansion of (exp a) in a
2.149 * [taylor]: Taking taylor expansion of a in a
2.149 * [taylor]: Taking taylor expansion of 1 in a
2.151 * [taylor]: Taking taylor expansion of 1 in a
2.166 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
2.166 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.166 * [taylor]: Taking taylor expansion of 1/3 in a
2.166 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.166 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.166 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.166 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.166 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.166 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.166 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.166 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.166 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.166 * [taylor]: Taking taylor expansion of a in a
2.166 * [taylor]: Taking taylor expansion of 1 in a
2.167 * [taylor]: Taking taylor expansion of 1 in a
2.168 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.168 * [taylor]: Taking taylor expansion of 1/3 in a
2.168 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.168 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.168 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.168 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.168 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.168 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.168 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.168 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.168 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.168 * [taylor]: Taking taylor expansion of a in a
2.168 * [taylor]: Taking taylor expansion of 1 in a
2.169 * [taylor]: Taking taylor expansion of 1 in a
2.239 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
2.240 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.240 * [taylor]: Taking taylor expansion of 1/3 in a
2.240 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.240 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.240 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.240 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.240 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.240 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.240 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.240 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.240 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.240 * [taylor]: Taking taylor expansion of -1 in a
2.240 * [taylor]: Taking taylor expansion of a in a
2.240 * [taylor]: Taking taylor expansion of 1 in a
2.241 * [taylor]: Taking taylor expansion of 1 in a
2.241 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.242 * [taylor]: Taking taylor expansion of 1/3 in a
2.242 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.242 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.242 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.242 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.242 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.242 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.242 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.242 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.242 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.242 * [taylor]: Taking taylor expansion of -1 in a
2.242 * [taylor]: Taking taylor expansion of a in a
2.242 * [taylor]: Taking taylor expansion of 1 in a
2.243 * [taylor]: Taking taylor expansion of 1 in a
2.308 * * * [progress]: simplifying candidates
2.314 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log1p (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt 1))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt 1)
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (+ (log (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt 1)))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt 1))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) 1)
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt 1)
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 1/9 (pow (pow a 10) 1/9)) (+ (pow a 1/9) (* 2/81 (pow (pow a 19) 1/9))))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/9)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/9)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (+ (* 1/3 (pow (pow a 4) 1/3)) (+ (* 1/9 (pow (pow a 7) 1/3)) (pow a 1/3)))
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
  (pow (- (exp (sin (- (exp a) 1))) 1) 1/3)
2.320 * * [simplify]: iteration  0 :  206  enodes  (cost  1323 )
2.323 * * [simplify]: iteration  1 :  571  enodes  (cost  1188 )
2.333 * * [simplify]: iteration  2 :  1808  enodes  (cost  1180 )
2.372 * * [simplify]: iteration  3 :  5001  enodes  (cost  1157 )
2.376 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log1p (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))
  1
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (sqrt (cbrt (expm1 (sin (expm1 a))))))
  1
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (expm1 (sin (expm1 a))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (sqrt (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log1p (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (sin (expm1 a)))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (log (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (sin (expm1 a)))
  (* (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (cbrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (expm1 (sin (expm1 a)))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (sqrt (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (sqrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (sqrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (sqrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (expm1 (cbrt (expm1 (sin (expm1 a)))))
  (log1p (cbrt (expm1 (sin (expm1 a)))))
  (log (cbrt (expm1 (sin (expm1 a)))))
  (exp (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  (cbrt (sqrt (expm1 (sin (expm1 a)))))
  1
  (cbrt (expm1 (sin (expm1 a))))
  (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))
  (cbrt (cbrt (expm1 (sin (expm1 a)))))
  (expm1 (sin (expm1 a)))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (sqrt (cbrt (expm1 (sin (expm1 a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 10) 1/9) 1/9 (fma (pow (pow a 19) 1/9) 2/81 (pow a 1/9)))
  (pow (expm1 (sin (expm1 a))) 1/9)
  (pow (expm1 (sin (expm1 a))) 1/9)
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
  (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))
  (cbrt (expm1 (sin (expm1 a))))
  (cbrt (expm1 (sin (expm1 a))))
2.377 * * * [progress]: adding candidates to table
2.724 * * [progress]: iteration 4 / 4
2.724 * * * [progress]: picking best candidate
2.845 * * * * [pick]: Picked  #<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.845 * * * [progress]: localizing error
2.862 * * * [progress]: generating rewritten candidates
2.862 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.862 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.863 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.863 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.864 * * * [progress]: generating series expansions
2.864 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.864 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.864 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.864 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.865 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.865 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.865 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.865 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.865 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.866 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.866 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.866 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.866 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.866 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.867 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.867 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.867 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.867 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.867 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.868 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.868 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.868 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.868 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.869 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.869 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.869 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.869 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.869 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.870 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.870 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.870 * [approximate]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3) in (a) around 0
2.870 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3) in a
2.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) in a
2.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) in a
2.870 * [taylor]: Taking taylor expansion of 1/3 in a
2.870 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) in a
2.870 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.871 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3) in a
2.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) in a
2.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) in a
2.871 * [taylor]: Taking taylor expansion of 1/3 in a
2.871 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) in a
2.871 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.906 * [approximate]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 1/3) in (a) around 0
2.906 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 1/3) in a
2.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))))) in a
2.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)))) in a
2.906 * [taylor]: Taking taylor expansion of 1/3 in a
2.906 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))) in a
2.906 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.906 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 1/3) in a
2.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))))) in a
2.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)))) in a
2.907 * [taylor]: Taking taylor expansion of 1/3 in a
2.907 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))) in a
2.907 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.948 * [approximate]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 1/3) in (a) around 0
2.948 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 1/3) in a
2.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))))) in a
2.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)))) in a
2.948 * [taylor]: Taking taylor expansion of 1/3 in a
2.948 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))) in a
2.948 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.948 * [taylor]: Taking taylor expansion of (pow (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 1/3) in a
2.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))))) in a
2.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)))) in a
2.948 * [taylor]: Taking taylor expansion of 1/3 in a
2.948 * [taylor]: Taking taylor expansion of (log (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))) in a
2.948 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.985 * * * [progress]: simplifying candidates
2.985 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (log1p (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (log (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt 1)
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (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))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (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)
  (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)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
2.989 * * [simplify]: iteration  0 :  38  enodes  (cost  471 )
2.990 * * [simplify]: iteration  1 :  67  enodes  (cost  393 )
2.992 * * [simplify]: iteration  2 :  144  enodes  (cost  391 )
2.996 * * [simplify]: iteration  3 :  589  enodes  (cost  391 )
3.017 * * [simplify]: iteration  4 :  4672  enodes  (cost  391 )
3.235 * * [simplify]: iteration  5 :  5001  enodes  (cost  391 )
3.237 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 2/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (log1p (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (log (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (exp (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt 1)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (* (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
  (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sqrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (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)
  (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)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1/3)
3.237 * * * [progress]: adding candidates to table
3.425 * [progress]: [Phase 3 of 3] Extracting.
3.425 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<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 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (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))) (log (exp (cbrt (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))) (exp (log (cbrt (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 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (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 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) 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 (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
3.442 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
3.442 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<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 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (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))) (log (exp (cbrt (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))) (exp (log (cbrt (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 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (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 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) 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 (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
3.618 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<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))) (log (exp (cbrt (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))) (exp (log (cbrt (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 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (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 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
3.672 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a) 3))))> #<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 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (pow (expm1 (sin (expm1 a))) 1/9)) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (exp (log (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (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))) (log (exp (cbrt (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))) (exp (log (cbrt (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 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (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 (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (pow (expm1 (sin (expm1 a))) 1/3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (fma 1/3 (pow (pow a 4) 1/3) (fma 1/9 (pow (pow a 7) 1/3) (pow a 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))) (cbrt (expm1 (sin (expm1 a))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a))))))) (* (cbrt (cbrt (expm1 (sin (expm1 a))))) (cbrt (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) 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 (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (log (exp (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (pow (expm1 (sin (expm1 a))) 1/3) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (* (cbrt (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))))) (cbrt (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
3.833 * * * [regime]: Found split indices: #<option (#s(si 29 255))>
3.834 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
3.834 * * [simplify]: iteration  0 :  12  enodes  (cost  18 )
3.834 * * [simplify]: iteration  1 :  12  enodes  (cost  18 )
3.834 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))
20.745 * [regime-testing]: Baseline error score: 33.827171832381815
20.745 * [regime-testing]: Oracle error score: 32.07189014953922
20.747 * [regime-testing]: End program error score: 33.827171832381815