0.016 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.504 * * * [progress]: [2/2] Setting up program.
0.508 * [progress]: [Phase 2 of 3] Improving.
0.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.510 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.510 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.510 * * [progress]: iteration 1 / 4
0.510 * * * [progress]: picking best candidate
0.514 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.514 * * * [progress]: localizing error
0.526 * * * [progress]: generating rewritten candidates
0.526 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.526 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1 1)
0.528 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.529 * * * [progress]: generating series expansions
0.529 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.529 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.530 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.530 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.530 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.530 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.530 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.531 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.531 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.531 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.532 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1 1)
0.532 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.532 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.532 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.532 * [taylor]: Rewrote expression to (- (exp a) 1)
0.532 * [taylor]: Taking taylor expansion of (exp a) in a
0.532 * [taylor]: Taking taylor expansion of a in a
0.532 * [taylor]: Taking taylor expansion of 1 in a
0.534 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.534 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.534 * [taylor]: Rewrote expression to (- (exp a) 1)
0.534 * [taylor]: Taking taylor expansion of (exp a) in a
0.534 * [taylor]: Taking taylor expansion of a in a
0.534 * [taylor]: Taking taylor expansion of 1 in a
0.545 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.545 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.545 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.545 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.545 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.545 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.545 * [taylor]: Taking taylor expansion of a in a
0.546 * [taylor]: Taking taylor expansion of 1 in a
0.546 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.546 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.546 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.546 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.546 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.546 * [taylor]: Taking taylor expansion of a in a
0.546 * [taylor]: Taking taylor expansion of 1 in a
0.569 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.569 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.569 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.569 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.569 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.569 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.569 * [taylor]: Taking taylor expansion of -1 in a
0.569 * [taylor]: Taking taylor expansion of a in a
0.569 * [taylor]: Taking taylor expansion of 1 in a
0.570 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.570 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.570 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.570 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.570 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.570 * [taylor]: Taking taylor expansion of -1 in a
0.570 * [taylor]: Taking taylor expansion of a in a
0.570 * [taylor]: Taking taylor expansion of 1 in a
0.596 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.596 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.596 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.596 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.596 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.596 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.596 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.596 * [taylor]: Rewrote expression to (- (exp a) 1)
0.596 * [taylor]: Taking taylor expansion of (exp a) in a
0.596 * [taylor]: Taking taylor expansion of a in a
0.596 * [taylor]: Taking taylor expansion of 1 in a
0.598 * [taylor]: Taking taylor expansion of 1 in a
0.598 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.598 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.598 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.598 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.598 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.598 * [taylor]: Rewrote expression to (- (exp a) 1)
0.598 * [taylor]: Taking taylor expansion of (exp a) in a
0.598 * [taylor]: Taking taylor expansion of a in a
0.598 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.610 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.610 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.610 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.610 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.610 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.610 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.610 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.610 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.610 * [taylor]: Taking taylor expansion of a in a
0.611 * [taylor]: Taking taylor expansion of 1 in a
0.611 * [taylor]: Taking taylor expansion of 1 in a
0.611 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.611 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.611 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.611 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.611 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.611 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.611 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.611 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of 1 in a
0.612 * [taylor]: Taking taylor expansion of 1 in a
0.645 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.645 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.645 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.645 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.646 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.646 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.646 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.646 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.646 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.646 * [taylor]: Taking taylor expansion of -1 in a
0.646 * [taylor]: Taking taylor expansion of a in a
0.646 * [taylor]: Taking taylor expansion of 1 in a
0.647 * [taylor]: Taking taylor expansion of 1 in a
0.647 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.647 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.647 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.647 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.647 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.647 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.647 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.647 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.647 * [taylor]: Taking taylor expansion of -1 in a
0.647 * [taylor]: Taking taylor expansion of a in a
0.647 * [taylor]: Taking taylor expansion of 1 in a
0.648 * [taylor]: Taking taylor expansion of 1 in a
0.683 * * * [progress]: simplifying candidates
0.684 * [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 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
0.687 * * [simplify]: iteration  0 :  98  enodes  (cost  215 )
0.689 * * [simplify]: iteration  1 :  231  enodes  (cost  188 )
0.693 * * [simplify]: iteration  2 :  706  enodes  (cost  188 )
0.708 * * [simplify]: iteration  3 :  2915  enodes  (cost  188 )
0.802 * * [simplify]: iteration  4 :  5001  enodes  (cost  188 )
0.803 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (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 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
0.804 * * * [progress]: adding candidates to table
0.933 * * [progress]: iteration 2 / 4
0.933 * * * [progress]: picking best candidate
0.967 * * * * [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.968 * * * [progress]: localizing error
0.985 * * * [progress]: generating rewritten candidates
0.985 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.986 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
0.987 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.988 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.993 * * * [progress]: generating series expansions
0.993 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.993 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.993 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.993 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.994 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.994 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.994 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.995 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.995 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.995 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.996 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
0.996 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
0.996 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
0.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
0.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
0.996 * [taylor]: Taking taylor expansion of 1/3 in a
0.996 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
0.996 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.996 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.996 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.996 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.996 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.996 * [taylor]: Rewrote expression to (- (exp a) 1)
0.996 * [taylor]: Taking taylor expansion of (exp a) in a
0.996 * [taylor]: Taking taylor expansion of a in a
0.996 * [taylor]: Taking taylor expansion of 1 in a
0.998 * [taylor]: Taking taylor expansion of 1 in a
1.001 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.001 * [taylor]: Taking taylor expansion of 1/3 in a
1.001 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.001 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.001 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.001 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.001 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.001 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.001 * [taylor]: Rewrote expression to (- (exp a) 1)
1.001 * [taylor]: Taking taylor expansion of (exp a) in a
1.001 * [taylor]: Taking taylor expansion of a in a
1.001 * [taylor]: Taking taylor expansion of 1 in a
1.003 * [taylor]: Taking taylor expansion of 1 in a
1.019 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.019 * [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 a in a
1.020 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.021 * [taylor]: Taking taylor expansion of 1/3 in a
1.021 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.021 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.021 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.022 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.022 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.022 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.022 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.022 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.022 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.022 * [taylor]: Taking taylor expansion of a in a
1.022 * [taylor]: Taking taylor expansion of 1 in a
1.023 * [taylor]: Taking taylor expansion of 1 in a
1.096 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.096 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.096 * [taylor]: Taking taylor expansion of 1/3 in a
1.096 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.096 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.097 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.097 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.097 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.097 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.097 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.097 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.097 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.097 * [taylor]: Taking taylor expansion of -1 in a
1.097 * [taylor]: Taking taylor expansion of a in a
1.097 * [taylor]: Taking taylor expansion of 1 in a
1.098 * [taylor]: Taking taylor expansion of 1 in a
1.098 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.098 * [taylor]: Taking taylor expansion of 1/3 in a
1.098 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.099 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.099 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.099 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.099 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.099 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.099 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.099 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.099 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.099 * [taylor]: Taking taylor expansion of -1 in a
1.099 * [taylor]: Taking taylor expansion of a in a
1.099 * [taylor]: Taking taylor expansion of 1 in a
1.100 * [taylor]: Taking taylor expansion of 1 in a
1.172 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.172 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.172 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.172 * [taylor]: Taking taylor expansion of 1/3 in a
1.172 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.172 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.172 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.172 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.172 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.172 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.173 * [taylor]: Rewrote expression to (- (exp a) 1)
1.173 * [taylor]: Taking taylor expansion of (exp a) in a
1.173 * [taylor]: Taking taylor expansion of a in a
1.173 * [taylor]: Taking taylor expansion of 1 in a
1.175 * [taylor]: Taking taylor expansion of 1 in a
1.177 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.177 * [taylor]: Taking taylor expansion of 1/3 in a
1.177 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.177 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.177 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.177 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.177 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.177 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.177 * [taylor]: Rewrote expression to (- (exp a) 1)
1.177 * [taylor]: Taking taylor expansion of (exp a) in a
1.177 * [taylor]: Taking taylor expansion of a in a
1.177 * [taylor]: Taking taylor expansion of 1 in a
1.179 * [taylor]: Taking taylor expansion of 1 in a
1.194 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.194 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.194 * [taylor]: Taking taylor expansion of 1/3 in a
1.194 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.194 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.194 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.194 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.194 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.194 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.195 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.195 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.195 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.195 * [taylor]: Taking taylor expansion of a in a
1.195 * [taylor]: Taking taylor expansion of 1 in a
1.195 * [taylor]: Taking taylor expansion of 1 in a
1.196 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.196 * [taylor]: Taking taylor expansion of 1/3 in a
1.196 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.196 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.196 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.196 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.196 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.196 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.196 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.196 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.196 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.196 * [taylor]: Taking taylor expansion of a in a
1.197 * [taylor]: Taking taylor expansion of 1 in a
1.197 * [taylor]: Taking taylor expansion of 1 in a
1.270 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.270 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.270 * [taylor]: Taking taylor expansion of 1/3 in a
1.270 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.270 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.270 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.270 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.270 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.270 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.271 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.271 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.271 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.271 * [taylor]: Taking taylor expansion of -1 in a
1.271 * [taylor]: Taking taylor expansion of a in a
1.271 * [taylor]: Taking taylor expansion of 1 in a
1.272 * [taylor]: Taking taylor expansion of 1 in a
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.273 * [taylor]: Taking taylor expansion of -1 in a
1.273 * [taylor]: Taking taylor expansion of a in a
1.273 * [taylor]: Taking taylor expansion of 1 in a
1.273 * [taylor]: Taking taylor expansion of 1 in a
1.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.347 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
1.347 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.347 * [taylor]: Taking taylor expansion of 1/3 in a
1.347 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.347 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.347 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.347 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.347 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.347 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.347 * [taylor]: Rewrote expression to (- (exp a) 1)
1.347 * [taylor]: Taking taylor expansion of (exp a) in a
1.347 * [taylor]: Taking taylor expansion of a in a
1.348 * [taylor]: Taking taylor expansion of 1 in a
1.350 * [taylor]: Taking taylor expansion of 1 in a
1.352 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
1.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
1.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
1.352 * [taylor]: Taking taylor expansion of 1/3 in a
1.352 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.352 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.352 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.352 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.352 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.352 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.352 * [taylor]: Rewrote expression to (- (exp a) 1)
1.352 * [taylor]: Taking taylor expansion of (exp a) in a
1.352 * [taylor]: Taking taylor expansion of a in a
1.352 * [taylor]: Taking taylor expansion of 1 in a
1.354 * [taylor]: Taking taylor expansion of 1 in a
1.369 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
1.370 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.370 * [taylor]: Taking taylor expansion of 1/3 in a
1.370 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.370 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.370 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.370 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.370 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.370 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.370 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.370 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.370 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.370 * [taylor]: Taking taylor expansion of a in a
1.370 * [taylor]: Taking taylor expansion of 1 in a
1.371 * [taylor]: Taking taylor expansion of 1 in a
1.371 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
1.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.371 * [taylor]: Taking taylor expansion of 1/3 in a
1.371 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.371 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.372 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.372 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.372 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.372 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.372 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.372 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.372 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.372 * [taylor]: Taking taylor expansion of a in a
1.372 * [taylor]: Taking taylor expansion of 1 in a
1.373 * [taylor]: Taking taylor expansion of 1 in a
1.447 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
1.447 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.448 * [taylor]: Taking taylor expansion of 1/3 in a
1.448 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.448 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.448 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.448 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.448 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.448 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.448 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.448 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.448 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.448 * [taylor]: Taking taylor expansion of -1 in a
1.448 * [taylor]: Taking taylor expansion of a in a
1.448 * [taylor]: Taking taylor expansion of 1 in a
1.449 * [taylor]: Taking taylor expansion of 1 in a
1.449 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
1.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
1.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
1.450 * [taylor]: Taking taylor expansion of 1/3 in a
1.450 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
1.450 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.450 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.450 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.450 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.450 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.450 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.450 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.450 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.450 * [taylor]: Taking taylor expansion of -1 in a
1.450 * [taylor]: Taking taylor expansion of a in a
1.450 * [taylor]: Taking taylor expansion of 1 in a
1.451 * [taylor]: Taking taylor expansion of 1 in a
1.524 * * * [progress]: simplifying candidates
1.525 * [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.528 * * [simplify]: iteration  0 :  88  enodes  (cost  549 )
1.530 * * [simplify]: iteration  1 :  181  enodes  (cost  487 )
1.533 * * [simplify]: iteration  2 :  472  enodes  (cost  481 )
1.543 * * [simplify]: iteration  3 :  1562  enodes  (cost  470 )
1.591 * * [simplify]: iteration  4 :  5001  enodes  (cost  467 )
1.593 * [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.594 * * * [progress]: adding candidates to table
1.817 * * [progress]: iteration 3 / 4
1.817 * * * [progress]: picking best candidate
1.908 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))) (atan a)) a)))>
1.908 * * * [progress]: localizing error
1.931 * * * [progress]: generating rewritten candidates
1.932 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.932 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2)
1.934 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1.944 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.947 * * * [progress]: generating series expansions
1.947 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.947 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.947 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.947 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.948 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.948 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.948 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.949 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.949 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.949 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.950 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2)
1.950 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
1.950 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.950 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.950 * [taylor]: Taking taylor expansion of 1/9 in a
1.950 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.950 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.950 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.950 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.950 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.950 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.950 * [taylor]: Rewrote expression to (- (exp a) 1)
1.950 * [taylor]: Taking taylor expansion of (exp a) in a
1.950 * [taylor]: Taking taylor expansion of a in a
1.950 * [taylor]: Taking taylor expansion of 1 in a
1.953 * [taylor]: Taking taylor expansion of 1 in a
1.955 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
1.955 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
1.955 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
1.955 * [taylor]: Taking taylor expansion of 1/9 in a
1.955 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
1.955 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
1.955 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
1.955 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
1.955 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.955 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.955 * [taylor]: Rewrote expression to (- (exp a) 1)
1.955 * [taylor]: Taking taylor expansion of (exp a) in a
1.955 * [taylor]: Taking taylor expansion of a in a
1.955 * [taylor]: Taking taylor expansion of 1 in a
1.957 * [taylor]: Taking taylor expansion of 1 in a
1.973 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
1.973 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.973 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.973 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.973 * [taylor]: Taking taylor expansion of 1/9 in a
1.973 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.973 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.973 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.973 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.973 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.973 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.973 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.973 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.973 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.973 * [taylor]: Taking taylor expansion of a in a
1.973 * [taylor]: Taking taylor expansion of 1 in a
1.974 * [taylor]: Taking taylor expansion of 1 in a
1.975 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
1.975 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
1.975 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
1.975 * [taylor]: Taking taylor expansion of 1/9 in a
1.975 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
1.975 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
1.975 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
1.975 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
1.975 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.975 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.975 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.975 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.975 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.975 * [taylor]: Taking taylor expansion of a in a
1.975 * [taylor]: Taking taylor expansion of 1 in a
1.976 * [taylor]: Taking taylor expansion of 1 in a
2.051 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
2.051 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
2.051 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.051 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.051 * [taylor]: Taking taylor expansion of 1/9 in a
2.051 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.051 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.051 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.051 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.051 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.051 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.051 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.051 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.051 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.051 * [taylor]: Taking taylor expansion of -1 in a
2.051 * [taylor]: Taking taylor expansion of a in a
2.052 * [taylor]: Taking taylor expansion of 1 in a
2.052 * [taylor]: Taking taylor expansion of 1 in a
2.053 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
2.053 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.053 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.053 * [taylor]: Taking taylor expansion of 1/9 in a
2.053 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.053 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.053 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.053 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.053 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.053 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.053 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.053 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.053 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.053 * [taylor]: Taking taylor expansion of -1 in a
2.053 * [taylor]: Taking taylor expansion of a in a
2.053 * [taylor]: Taking taylor expansion of 1 in a
2.054 * [taylor]: Taking taylor expansion of 1 in a
2.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
2.129 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
2.129 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
2.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
2.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
2.129 * [taylor]: Taking taylor expansion of 1/3 in a
2.129 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.129 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.129 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.129 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.129 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.129 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.129 * [taylor]: Rewrote expression to (- (exp a) 1)
2.129 * [taylor]: Taking taylor expansion of (exp a) in a
2.129 * [taylor]: Taking taylor expansion of a in a
2.129 * [taylor]: Taking taylor expansion of 1 in a
2.131 * [taylor]: Taking taylor expansion of 1 in a
2.133 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
2.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
2.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
2.133 * [taylor]: Taking taylor expansion of 1/3 in a
2.133 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.133 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.133 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.133 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.133 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.133 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.134 * [taylor]: Rewrote expression to (- (exp a) 1)
2.134 * [taylor]: Taking taylor expansion of (exp a) in a
2.134 * [taylor]: Taking taylor expansion of a in a
2.134 * [taylor]: Taking taylor expansion of 1 in a
2.136 * [taylor]: Taking taylor expansion of 1 in a
2.152 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
2.152 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.152 * [taylor]: Taking taylor expansion of 1/3 in a
2.152 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.152 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.152 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.152 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.152 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.152 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.152 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.152 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.152 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.152 * [taylor]: Taking taylor expansion of a in a
2.152 * [taylor]: Taking taylor expansion of 1 in a
2.153 * [taylor]: Taking taylor expansion of 1 in a
2.154 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.154 * [taylor]: Taking taylor expansion of 1/3 in a
2.154 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.154 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.154 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.154 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.154 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.154 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.154 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.154 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.154 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.154 * [taylor]: Taking taylor expansion of a in a
2.154 * [taylor]: Taking taylor expansion of 1 in a
2.155 * [taylor]: Taking taylor expansion of 1 in a
2.228 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
2.228 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.228 * [taylor]: Taking taylor expansion of 1/3 in a
2.228 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.228 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.229 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.229 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.229 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.229 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.229 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.229 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.229 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.229 * [taylor]: Taking taylor expansion of -1 in a
2.229 * [taylor]: Taking taylor expansion of a in a
2.229 * [taylor]: Taking taylor expansion of 1 in a
2.230 * [taylor]: Taking taylor expansion of 1 in a
2.230 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.230 * [taylor]: Taking taylor expansion of 1/3 in a
2.230 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.230 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.230 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.231 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.231 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.231 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.231 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.231 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.231 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.231 * [taylor]: Taking taylor expansion of -1 in a
2.231 * [taylor]: Taking taylor expansion of a in a
2.231 * [taylor]: Taking taylor expansion of 1 in a
2.232 * [taylor]: Taking taylor expansion of 1 in a
2.305 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.305 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
2.305 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
2.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
2.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
2.305 * [taylor]: Taking taylor expansion of 1/3 in a
2.305 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.305 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.306 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.306 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.306 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.306 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.306 * [taylor]: Rewrote expression to (- (exp a) 1)
2.306 * [taylor]: Taking taylor expansion of (exp a) in a
2.306 * [taylor]: Taking taylor expansion of a in a
2.306 * [taylor]: Taking taylor expansion of 1 in a
2.308 * [taylor]: Taking taylor expansion of 1 in a
2.310 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
2.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
2.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
2.310 * [taylor]: Taking taylor expansion of 1/3 in a
2.310 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
2.310 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
2.310 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
2.310 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
2.310 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.310 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.310 * [taylor]: Rewrote expression to (- (exp a) 1)
2.310 * [taylor]: Taking taylor expansion of (exp a) in a
2.310 * [taylor]: Taking taylor expansion of a in a
2.310 * [taylor]: Taking taylor expansion of 1 in a
2.312 * [taylor]: Taking taylor expansion of 1 in a
2.328 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
2.328 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.328 * [taylor]: Taking taylor expansion of 1/3 in a
2.328 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.328 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.328 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.328 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.328 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.328 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.328 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.328 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.328 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.328 * [taylor]: Taking taylor expansion of a in a
2.328 * [taylor]: Taking taylor expansion of 1 in a
2.329 * [taylor]: Taking taylor expansion of 1 in a
2.330 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
2.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
2.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
2.330 * [taylor]: Taking taylor expansion of 1/3 in a
2.330 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
2.330 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
2.330 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
2.330 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
2.330 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.330 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.330 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.330 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.330 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.330 * [taylor]: Taking taylor expansion of a in a
2.330 * [taylor]: Taking taylor expansion of 1 in a
2.331 * [taylor]: Taking taylor expansion of 1 in a
2.405 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
2.405 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.405 * [taylor]: Taking taylor expansion of 1/3 in a
2.405 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.405 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.405 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.405 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.405 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.405 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.405 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.405 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.405 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.405 * [taylor]: Taking taylor expansion of -1 in a
2.405 * [taylor]: Taking taylor expansion of a in a
2.405 * [taylor]: Taking taylor expansion of 1 in a
2.406 * [taylor]: Taking taylor expansion of 1 in a
2.407 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
2.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
2.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
2.407 * [taylor]: Taking taylor expansion of 1/3 in a
2.407 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
2.407 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
2.407 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
2.407 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
2.407 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.407 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.407 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.407 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.407 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.407 * [taylor]: Taking taylor expansion of -1 in a
2.407 * [taylor]: Taking taylor expansion of a in a
2.407 * [taylor]: Taking taylor expansion of 1 in a
2.408 * [taylor]: Taking taylor expansion of 1 in a
2.483 * * * [progress]: simplifying candidates
2.484 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log (fmod (atan2 (* (* (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))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (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))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (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))))) (atan a)) a) (fmod (atan2 (* (* (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))))) (atan a)) a)) (fmod (atan2 (* (* (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))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (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))))) (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.489 * * [simplify]: iteration  0 :  206  enodes  (cost  1323 )
2.492 * * [simplify]: iteration  1 :  566  enodes  (cost  1188 )
2.502 * * [simplify]: iteration  2 :  1787  enodes  (cost  1180 )
2.537 * * [simplify]: iteration  3 :  5001  enodes  (cost  1157 )
2.541 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (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))))) (atan a)) a))
  (log (fmod (atan2 (* (* (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))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (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))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (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))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (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))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (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))))) (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.541 * * * [progress]: adding candidates to table
2.899 * * [progress]: iteration 4 / 4
2.899 * * * [progress]: picking best candidate
3.032 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))>
3.032 * * * [progress]: localizing error
3.058 * * * [progress]: generating rewritten candidates
3.058 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.058 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2)
3.060 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
3.067 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2)
3.070 * * * [progress]: generating series expansions
3.070 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.070 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
3.070 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.071 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.072 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.072 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.072 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.073 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.073 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.073 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.074 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2)
3.074 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in (a) around 0
3.074 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
3.074 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
3.074 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
3.074 * [taylor]: Taking taylor expansion of 1/9 in a
3.074 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.074 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.074 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.074 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.074 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.074 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.074 * [taylor]: Rewrote expression to (- (exp a) 1)
3.074 * [taylor]: Taking taylor expansion of (exp a) in a
3.074 * [taylor]: Taking taylor expansion of a in a
3.074 * [taylor]: Taking taylor expansion of 1 in a
3.076 * [taylor]: Taking taylor expansion of 1 in a
3.078 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/9) in a
3.078 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 a)))))) in a
3.078 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 a))))) in a
3.078 * [taylor]: Taking taylor expansion of 1/9 in a
3.078 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.079 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.079 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.079 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.079 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.079 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.079 * [taylor]: Rewrote expression to (- (exp a) 1)
3.079 * [taylor]: Taking taylor expansion of (exp a) in a
3.079 * [taylor]: Taking taylor expansion of a in a
3.079 * [taylor]: Taking taylor expansion of 1 in a
3.081 * [taylor]: Taking taylor expansion of 1 in a
3.096 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in (a) around 0
3.096 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
3.096 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.096 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.096 * [taylor]: Taking taylor expansion of 1/9 in a
3.096 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.096 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.096 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.096 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.096 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.096 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.097 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.097 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.097 * [taylor]: Taking taylor expansion of a in a
3.097 * [taylor]: Taking taylor expansion of 1 in a
3.098 * [taylor]: Taking taylor expansion of 1 in a
3.098 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/9) in a
3.098 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.098 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.098 * [taylor]: Taking taylor expansion of 1/9 in a
3.098 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.098 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.098 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.098 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.098 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.098 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.098 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.098 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.098 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.098 * [taylor]: Taking taylor expansion of a in a
3.099 * [taylor]: Taking taylor expansion of 1 in a
3.099 * [taylor]: Taking taylor expansion of 1 in a
3.172 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in (a) around 0
3.172 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
3.172 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.172 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.172 * [taylor]: Taking taylor expansion of 1/9 in a
3.172 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.172 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.172 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.172 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.172 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.172 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.173 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.173 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.173 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.173 * [taylor]: Taking taylor expansion of -1 in a
3.173 * [taylor]: Taking taylor expansion of a in a
3.173 * [taylor]: Taking taylor expansion of 1 in a
3.174 * [taylor]: Taking taylor expansion of 1 in a
3.174 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/9) in a
3.174 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.174 * [taylor]: Taking taylor expansion of (* 1/9 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.174 * [taylor]: Taking taylor expansion of 1/9 in a
3.174 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.174 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.174 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.174 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.174 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.174 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.174 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.174 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.174 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.175 * [taylor]: Taking taylor expansion of -1 in a
3.175 * [taylor]: Taking taylor expansion of a in a
3.175 * [taylor]: Taking taylor expansion of 1 in a
3.175 * [taylor]: Taking taylor expansion of 1 in a
3.248 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
3.249 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
3.249 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
3.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
3.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
3.249 * [taylor]: Taking taylor expansion of 1/3 in a
3.249 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.249 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.249 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.249 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.249 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.249 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.249 * [taylor]: Rewrote expression to (- (exp a) 1)
3.249 * [taylor]: Taking taylor expansion of (exp a) in a
3.249 * [taylor]: Taking taylor expansion of a in a
3.249 * [taylor]: Taking taylor expansion of 1 in a
3.251 * [taylor]: Taking taylor expansion of 1 in a
3.253 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
3.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
3.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
3.253 * [taylor]: Taking taylor expansion of 1/3 in a
3.254 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.254 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.254 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.254 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.254 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.254 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.254 * [taylor]: Rewrote expression to (- (exp a) 1)
3.254 * [taylor]: Taking taylor expansion of (exp a) in a
3.254 * [taylor]: Taking taylor expansion of a in a
3.254 * [taylor]: Taking taylor expansion of 1 in a
3.256 * [taylor]: Taking taylor expansion of 1 in a
3.272 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
3.272 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
3.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.272 * [taylor]: Taking taylor expansion of 1/3 in a
3.272 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.272 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.272 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.272 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.272 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.272 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.272 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.272 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.272 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.272 * [taylor]: Taking taylor expansion of a in a
3.272 * [taylor]: Taking taylor expansion of 1 in a
3.278 * [taylor]: Taking taylor expansion of 1 in a
3.279 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
3.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.279 * [taylor]: Taking taylor expansion of 1/3 in a
3.279 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.279 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.279 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.279 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.279 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.279 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.279 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.279 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.279 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.279 * [taylor]: Taking taylor expansion of a in a
3.279 * [taylor]: Taking taylor expansion of 1 in a
3.280 * [taylor]: Taking taylor expansion of 1 in a
3.349 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
3.349 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
3.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.349 * [taylor]: Taking taylor expansion of 1/3 in a
3.349 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.349 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.349 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.349 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.349 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.349 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.349 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.349 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.349 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.349 * [taylor]: Taking taylor expansion of -1 in a
3.349 * [taylor]: Taking taylor expansion of a in a
3.349 * [taylor]: Taking taylor expansion of 1 in a
3.350 * [taylor]: Taking taylor expansion of 1 in a
3.351 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
3.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.351 * [taylor]: Taking taylor expansion of 1/3 in a
3.351 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.351 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.351 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.351 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.351 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.351 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.351 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.351 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.351 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.351 * [taylor]: Taking taylor expansion of -1 in a
3.351 * [taylor]: Taking taylor expansion of a in a
3.351 * [taylor]: Taking taylor expansion of 1 in a
3.352 * [taylor]: Taking taylor expansion of 1 in a
3.425 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2)
3.426 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in (a) around 0
3.426 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
3.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
3.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
3.426 * [taylor]: Taking taylor expansion of 1/3 in a
3.426 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.426 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.426 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.426 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.426 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.426 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.426 * [taylor]: Rewrote expression to (- (exp a) 1)
3.426 * [taylor]: Taking taylor expansion of (exp a) in a
3.426 * [taylor]: Taking taylor expansion of a in a
3.426 * [taylor]: Taking taylor expansion of 1 in a
3.428 * [taylor]: Taking taylor expansion of 1 in a
3.430 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 a))) 1/3) in a
3.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 a)))))) in a
3.430 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 a))))) in a
3.430 * [taylor]: Taking taylor expansion of 1/3 in a
3.430 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 a)))) in a
3.430 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.430 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
3.430 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
3.430 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.430 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.430 * [taylor]: Rewrote expression to (- (exp a) 1)
3.430 * [taylor]: Taking taylor expansion of (exp a) in a
3.430 * [taylor]: Taking taylor expansion of a in a
3.430 * [taylor]: Taking taylor expansion of 1 in a
3.432 * [taylor]: Taking taylor expansion of 1 in a
3.454 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in (a) around 0
3.454 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
3.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.454 * [taylor]: Taking taylor expansion of 1/3 in a
3.454 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.454 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.454 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.454 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.454 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.454 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.454 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.454 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.454 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.454 * [taylor]: Taking taylor expansion of a in a
3.455 * [taylor]: Taking taylor expansion of 1 in a
3.455 * [taylor]: Taking taylor expansion of 1 in a
3.456 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ 1 a)))) 1/3) in a
3.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ 1 a))))))) in a
3.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ 1 a)))))) in a
3.456 * [taylor]: Taking taylor expansion of 1/3 in a
3.456 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ 1 a))))) in a
3.456 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.456 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
3.456 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
3.456 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.456 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.456 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.456 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.456 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.456 * [taylor]: Taking taylor expansion of a in a
3.456 * [taylor]: Taking taylor expansion of 1 in a
3.457 * [taylor]: Taking taylor expansion of 1 in a
3.525 * [approximate]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in (a) around 0
3.525 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
3.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.525 * [taylor]: Taking taylor expansion of 1/3 in a
3.525 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.525 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.525 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.525 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.525 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.525 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.526 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.526 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.526 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.526 * [taylor]: Taking taylor expansion of -1 in a
3.526 * [taylor]: Taking taylor expansion of a in a
3.526 * [taylor]: Taking taylor expansion of 1 in a
3.527 * [taylor]: Taking taylor expansion of 1 in a
3.527 * [taylor]: Taking taylor expansion of (pow (expm1 (sin (expm1 (/ -1 a)))) 1/3) in a
3.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (sin (expm1 (/ -1 a))))))) in a
3.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (sin (expm1 (/ -1 a)))))) in a
3.527 * [taylor]: Taking taylor expansion of 1/3 in a
3.527 * [taylor]: Taking taylor expansion of (log (expm1 (sin (expm1 (/ -1 a))))) in a
3.527 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.527 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
3.527 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
3.527 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.527 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.527 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.527 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.528 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.528 * [taylor]: Taking taylor expansion of -1 in a
3.528 * [taylor]: Taking taylor expansion of a in a
3.528 * [taylor]: Taking taylor expansion of 1 in a
3.528 * [taylor]: Taking taylor expansion of 1 in a
3.602 * * * [progress]: simplifying candidates
3.604 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (* (* (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)) (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (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)
3.609 * * [simplify]: iteration  0 :  211  enodes  (cost  1335 )
3.612 * * [simplify]: iteration  1 :  616  enodes  (cost  1198 )
3.623 * * [simplify]: iteration  2 :  1987  enodes  (cost  1190 )
3.663 * * [simplify]: iteration  3 :  5001  enodes  (cost  1167 )
3.667 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (log1p (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (exp (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))
  (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (pow (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
  (sqrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (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))))
3.668 * * * [progress]: adding candidates to table
4.051 * [progress]: [Phase 3 of 3] Extracting.
4.051 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (fma (pow a 3) 2/3 (fma a a a)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (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))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (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))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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)))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (log (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))>)
4.068 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
4.068 * * * * [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 (fmod (atan2 (fma (pow a 3) 2/3 (fma a a a)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (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))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (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))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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)))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (log (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))>)
4.244 * * * * [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))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
4.283 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (fma (pow a 3) 2/3 (fma a a a)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (pow (cbrt (expm1 (sin (expm1 a)))) 1/3))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (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))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (exp (log (cbrt (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (* (* (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))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (* (* (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))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (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 (exp (log (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))) (cbrt (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (log (exp (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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)))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (log (exp (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (exp (log (cbrt (expm1 (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (* (cbrt (sqrt (expm1 (sin (expm1 a))))) (cbrt (sqrt (expm1 (sin (expm1 a)))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (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 (cbrt (expm1 (sin (expm1 a)))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a)))>)
4.438 * * * [regime]: Found split indices: #<option (#s(si 16 255))>
4.438 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
4.439 * * [simplify]: iteration  0 :  23  enodes  (cost  31 )
4.439 * * [simplify]: iteration  1 :  28  enodes  (cost  31 )
4.439 * * [simplify]: iteration  2 :  28  enodes  (cost  31 )
4.439 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (* (cbrt (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))) (cbrt (cbrt (expm1 (sin (expm1 a))))))) (* 1 (cbrt (expm1 (sin (expm1 a)))))) (atan a)) a))
20.117 * [regime-testing]: Baseline error score: 33.552981307062026
20.118 * [regime-testing]: Oracle error score: 31.9703564438441
20.120 * [regime-testing]: End program error score: 33.552981307062026