0.013 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.472 * * * [progress]: [2/2] Setting up program.
0.476 * [progress]: [Phase 2 of 3] Improving.
0.476 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.478 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.478 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.478 * * [progress]: iteration 1 / 4
0.478 * * * [progress]: picking best candidate
0.481 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.481 * * * [progress]: localizing error
0.493 * * * [progress]: generating rewritten candidates
0.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.496 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.496 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.497 * * * [progress]: generating series expansions
0.497 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.497 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.497 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.498 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.498 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.498 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.498 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.499 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.499 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.499 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.500 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.500 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.500 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.500 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.500 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.500 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.519 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.519 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.519 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.519 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.519 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.536 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.536 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.536 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.537 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.537 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.557 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.557 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.557 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.558 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.558 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.559 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.559 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.559 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.559 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.559 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.559 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.560 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.560 * * * [progress]: simplifying candidates
0.561 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.563 * * [simplify]: iteration  0 :  39  enodes  (cost  248 )
0.565 * * [simplify]: iteration  1 :  44  enodes  (cost  212 )
0.566 * * [simplify]: iteration  2 :  54  enodes  (cost  212 )
0.568 * * [simplify]: iteration  3 :  68  enodes  (cost  212 )
0.569 * * [simplify]: iteration  4 :  114  enodes  (cost  212 )
0.572 * * [simplify]: iteration  5 :  228  enodes  (cost  212 )
0.578 * * [simplify]: iteration  6 :  919  enodes  (cost  212 )
0.599 * * [simplify]: iteration  7 :  3184  enodes  (cost  212 )
0.677 * * [simplify]: iteration  8 :  5001  enodes  (cost  212 )
0.678 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.679 * * * [progress]: adding candidates to table
0.792 * * [progress]: iteration 2 / 4
0.792 * * * [progress]: picking best candidate
0.836 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
0.836 * * * [progress]: localizing error
0.853 * * * [progress]: generating rewritten candidates
0.853 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.853 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
0.860 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.861 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2)
0.865 * * * [progress]: generating series expansions
0.865 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.865 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.865 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.865 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.866 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.866 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.866 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.867 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.867 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.867 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.867 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
0.868 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
0.868 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.868 * [taylor]: Taking taylor expansion of 1/3 in a
0.868 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.868 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.868 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.868 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.869 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.869 * [taylor]: Taking taylor expansion of 1/3 in a
0.869 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.869 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.869 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.869 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.928 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
0.928 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.929 * [taylor]: Taking taylor expansion of 1/3 in a
0.929 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.929 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.929 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.929 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.929 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.929 * [taylor]: Taking taylor expansion of 1/3 in a
0.929 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.929 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.929 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.929 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.991 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
0.991 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
0.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
0.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
0.991 * [taylor]: Taking taylor expansion of 1/3 in a
0.991 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
0.991 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
0.991 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.991 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.992 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
0.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
0.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
0.992 * [taylor]: Taking taylor expansion of 1/3 in a
0.992 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
0.992 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
0.992 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.992 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.047 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.047 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.047 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.048 * [taylor]: Taking taylor expansion of 1/3 in a
1.048 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.048 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.048 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.048 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.048 * [taylor]: Taking taylor expansion of 1/3 in a
1.048 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.048 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.048 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.102 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.102 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.102 * [taylor]: Taking taylor expansion of 1/3 in a
1.102 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.102 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.102 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.103 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.103 * [taylor]: Taking taylor expansion of 1/3 in a
1.103 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.103 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.103 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.158 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.158 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.158 * [taylor]: Taking taylor expansion of 1/3 in a
1.158 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.158 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.158 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.158 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.158 * [taylor]: Taking taylor expansion of 1/3 in a
1.158 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.158 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.158 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.208 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2)
1.208 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.208 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.209 * [taylor]: Taking taylor expansion of 1/3 in a
1.209 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.209 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.209 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.209 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.209 * [taylor]: Taking taylor expansion of 1/3 in a
1.209 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.209 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.209 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.263 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.263 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.263 * [taylor]: Taking taylor expansion of 1/3 in a
1.263 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.263 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.263 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.263 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.263 * [taylor]: Taking taylor expansion of 1/3 in a
1.263 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.263 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.263 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.318 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.319 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.319 * [taylor]: Taking taylor expansion of 1/3 in a
1.319 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.319 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.319 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.319 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.319 * [taylor]: Taking taylor expansion of 1/3 in a
1.319 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.319 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.319 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.369 * * * [progress]: simplifying candidates
1.370 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
1.374 * * [simplify]: iteration  0 :  99  enodes  (cost  673 )
1.377 * * [simplify]: iteration  1 :  366  enodes  (cost  578 )
1.389 * * [simplify]: iteration  2 :  2587  enodes  (cost  543 )
1.445 * * [simplify]: iteration  3 :  5002  enodes  (cost  526 )
1.448 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2/3)
  2
  (* 2/3 (log (sin (expm1 a))))
  (* 2/3 (log (sin (expm1 a))))
  (pow (exp 1) (pow (sin (expm1 a)) 2/3))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (pow (sin (expm1 a)) 1/3))
  (fabs (pow (sin (expm1 a)) 1/3))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  1
  (pow (sin (expm1 a)) 2/3)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (sin (expm1 a)) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (sin (expm1 a)) 2/3)
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  1
  (pow (sin (expm1 a)) 1/3)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  1
  (pow (sin (expm1 a)) 1/3)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
1.449 * * * [progress]: adding candidates to table
1.703 * * [progress]: iteration 3 / 4
1.703 * * * [progress]: picking best candidate
1.799 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))>
1.799 * * * [progress]: localizing error
1.821 * * * [progress]: generating rewritten candidates
1.821 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.822 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1)
1.826 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
1.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.843 * * * [progress]: generating series expansions
1.843 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.843 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.843 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.843 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.844 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.844 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.844 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.845 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.845 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.845 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.846 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1)
1.846 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
1.846 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
1.846 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
1.846 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
1.846 * [taylor]: Taking taylor expansion of 1/9 in a
1.846 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.846 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.846 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.846 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.847 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
1.847 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
1.847 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
1.847 * [taylor]: Taking taylor expansion of 1/9 in a
1.847 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.847 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.847 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.847 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.906 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
1.906 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
1.906 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.906 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.906 * [taylor]: Taking taylor expansion of 1/9 in a
1.906 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.906 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.906 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.906 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.906 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
1.906 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.906 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.906 * [taylor]: Taking taylor expansion of 1/9 in a
1.906 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.906 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.907 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.907 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.968 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
1.968 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
1.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.968 * [taylor]: Taking taylor expansion of 1/9 in a
1.968 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.968 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.968 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.968 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.968 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
1.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.969 * [taylor]: Taking taylor expansion of 1/9 in a
1.969 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.969 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.969 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.969 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 1)
2.031 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
2.031 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
2.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
2.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
2.031 * [taylor]: Taking taylor expansion of 1/3 in a
2.031 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.031 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.031 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.031 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.031 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
2.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
2.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
2.031 * [taylor]: Taking taylor expansion of 1/3 in a
2.031 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.031 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.031 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.031 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.086 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
2.086 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
2.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.086 * [taylor]: Taking taylor expansion of 1/3 in a
2.086 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.086 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.086 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.086 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.087 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
2.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.087 * [taylor]: Taking taylor expansion of 1/3 in a
2.087 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.087 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.087 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.087 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.148 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
2.148 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
2.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.148 * [taylor]: Taking taylor expansion of 1/3 in a
2.149 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.149 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.149 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.149 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.149 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
2.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.149 * [taylor]: Taking taylor expansion of 1/3 in a
2.149 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.149 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.149 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.150 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.210 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
2.210 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
2.210 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
2.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
2.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
2.210 * [taylor]: Taking taylor expansion of 1/3 in a
2.210 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.210 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.210 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.210 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.211 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
2.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
2.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
2.211 * [taylor]: Taking taylor expansion of 1/3 in a
2.211 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.211 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.211 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.211 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.266 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
2.266 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
2.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.266 * [taylor]: Taking taylor expansion of 1/3 in a
2.266 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.266 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.266 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.266 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.266 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
2.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.267 * [taylor]: Taking taylor expansion of 1/3 in a
2.267 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.267 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.267 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.267 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.328 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
2.328 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
2.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.328 * [taylor]: Taking taylor expansion of 1/3 in a
2.328 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.328 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) 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.329 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
2.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.329 * [taylor]: Taking taylor expansion of 1/3 in a
2.329 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.329 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.329 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.329 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.390 * * * [progress]: simplifying candidates
2.391 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
2.396 * * [simplify]: iteration  0 :  116  enodes  (cost  1086 )
2.399 * * [simplify]: iteration  1 :  365  enodes  (cost  958 )
2.409 * * [simplify]: iteration  2 :  1762  enodes  (cost  884 )
2.451 * * [simplify]: iteration  3 :  5001  enodes  (cost  863 )
2.455 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  2
  (* 2 (log (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (pow (exp 1) (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  2
  (* 2 (log (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (pow (exp 1) (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
2.456 * * * [progress]: adding candidates to table
2.811 * * [progress]: iteration 4 / 4
2.811 * * * [progress]: picking best candidate
2.959 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))>
2.959 * * * [progress]: localizing error
2.986 * * * [progress]: generating rewritten candidates
2.986 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.987 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1)
2.991 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1)
2.996 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
3.000 * * * [progress]: generating series expansions
3.000 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.000 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
3.000 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.001 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.001 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.001 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.002 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.003 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.003 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.003 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.003 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1)
3.003 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.003 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.003 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.004 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.004 * [taylor]: Taking taylor expansion of 1/9 in a
3.004 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.004 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.004 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.004 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.004 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.004 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.004 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.004 * [taylor]: Taking taylor expansion of 1/9 in a
3.004 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.004 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.004 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.004 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.064 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.064 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.064 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.064 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.064 * [taylor]: Taking taylor expansion of 1/9 in a
3.064 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.064 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.064 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.064 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.065 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.065 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.065 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.065 * [taylor]: Taking taylor expansion of 1/9 in a
3.065 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.065 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.065 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.065 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.121 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.121 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.121 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.121 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.121 * [taylor]: Taking taylor expansion of 1/9 in a
3.121 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.121 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.122 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.122 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.122 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.122 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.122 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.122 * [taylor]: Taking taylor expansion of 1/9 in a
3.122 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.122 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.122 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.122 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.184 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 1 1)
3.184 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.184 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.184 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.184 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.184 * [taylor]: Taking taylor expansion of 1/9 in a
3.184 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.184 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.184 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.184 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.185 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.185 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.185 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.185 * [taylor]: Taking taylor expansion of 1/9 in a
3.185 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.185 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.185 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.185 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.246 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.246 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.246 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.246 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.246 * [taylor]: Taking taylor expansion of 1/9 in a
3.246 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.246 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.246 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.246 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.247 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.247 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.247 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.247 * [taylor]: Taking taylor expansion of 1/9 in a
3.247 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.247 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.247 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.247 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.309 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.309 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.309 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.309 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.309 * [taylor]: Taking taylor expansion of 1/9 in a
3.309 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.309 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.309 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.309 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.310 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.310 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.310 * [taylor]: Taking taylor expansion of 1/9 in a
3.310 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.310 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.310 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.310 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.366 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 1)
3.366 * [approximate]: Taking taylor expansion of (log (pow (pow (sin (expm1 a)) 2) 1/9)) in (a) around 0
3.366 * [taylor]: Taking taylor expansion of (log (pow (pow (sin (expm1 a)) 2) 1/9)) in a
3.366 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.366 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.367 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.367 * [taylor]: Taking taylor expansion of 1/9 in a
3.367 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.367 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.367 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.367 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.367 * [taylor]: Taking taylor expansion of (log (pow (pow (sin (expm1 a)) 2) 1/9)) in a
3.367 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.367 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.367 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.367 * [taylor]: Taking taylor expansion of 1/9 in a
3.367 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.367 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.367 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.367 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.447 * [approximate]: Taking taylor expansion of (log (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9)) in (a) around 0
3.447 * [taylor]: Taking taylor expansion of (log (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9)) in a
3.448 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.448 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.448 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.448 * [taylor]: Taking taylor expansion of 1/9 in a
3.448 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.448 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.448 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.448 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.448 * [taylor]: Taking taylor expansion of (log (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9)) in a
3.448 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.448 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.448 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.448 * [taylor]: Taking taylor expansion of 1/9 in a
3.448 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.449 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.449 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.449 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.530 * [approximate]: Taking taylor expansion of (log (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9)) in (a) around 0
3.530 * [taylor]: Taking taylor expansion of (log (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9)) in a
3.531 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.531 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.531 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.531 * [taylor]: Taking taylor expansion of 1/9 in a
3.531 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.531 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.531 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.531 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.531 * [taylor]: Taking taylor expansion of (log (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9)) in a
3.531 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.531 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.531 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.531 * [taylor]: Taking taylor expansion of 1/9 in a
3.531 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.531 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.532 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.532 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.614 * * * [progress]: simplifying candidates
3.615 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (exp 1/3)
  (exp 1)
  (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (exp (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp 1)
  (exp (log (cbrt (cbrt (sin (expm1 a))))))
  (exp (log (cbrt (cbrt (sin (expm1 a))))))
  (exp (log (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (exp (log (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (log 1))
  (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (* (cbrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (cbrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (* (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (sqrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (sqrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (cbrt (sin (expm1 a)))))
  (log (cbrt (cbrt (sin (expm1 a)))))
  (log (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (log (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log 1)
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (* (* (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (log (pow (pow (sin (expm1 a)) 2) 1/9))
  (log (pow (pow (sin (expm1 a)) 2) 1/9))
  (log (pow (pow (sin (expm1 a)) 2) 1/9))
3.619 * * [simplify]: iteration  0 :  95  enodes  (cost  806 )
3.620 * * [simplify]: iteration  1 :  168  enodes  (cost  685 )
3.623 * * [simplify]: iteration  2 :  312  enodes  (cost  657 )
3.629 * * [simplify]: iteration  3 :  839  enodes  (cost  649 )
3.656 * * [simplify]: iteration  4 :  4069  enodes  (cost  645 )
3.793 * * [simplify]: iteration  5 :  5002  enodes  (cost  645 )
3.796 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
  (exp 1/3)
  E
  (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (exp (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  E
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  1
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (sin (expm1 a))) 2)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (sin (expm1 a))) 2)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (cbrt (sin (expm1 a)))))
  (log (cbrt (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (log (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  0
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (pow (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 3)
  (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (* 2/9 (log (sin (expm1 a))))
  (* 2/9 (log (sin (expm1 a))))
  (* 2/9 (log (sin (expm1 a))))
3.797 * * * [progress]: adding candidates to table
4.045 * [progress]: [Phase 3 of 3] Extracting.
4.045 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (cbrt (pow (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 3))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (* 2/9 (log (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (sin (expm1 a)) 1/3) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (log (exp (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (exp (* 2 (log (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (* (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (pow (sin (expm1 a)) 2/3)) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))>)
4.065 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
4.066 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (cbrt (pow (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 3))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (* 2/9 (log (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (sin (expm1 a)) 1/3) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (log (exp (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (exp (* 2 (log (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (* (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (pow (sin (expm1 a)) 2/3)) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))>)
4.309 * * * * [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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
4.349 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (cbrt (pow (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 3))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (* 2/9 (log (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (sin (expm1 a)) 1/3) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (log (exp (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (exp (* 2 (log (cbrt (sin (expm1 a))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (* (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (pow (sin (expm1 a)) 2/3)) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a)))>)
4.578 * * * [regime]: Found split indices: #<option (#s(si 17 255))>
4.578 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
4.579 * * [simplify]: iteration  0 :  23  enodes  (cost  40 )
4.579 * * [simplify]: iteration  1 :  23  enodes  (cost  40 )
4.579 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (exp (log (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (cbrt (sin (expm1 a))))))) (atan a)) a))
22.450 * [regime-testing]: Baseline error score: 33.50431878433511
22.450 * [regime-testing]: Oracle error score: 31.185595661394892
22.452 * [regime-testing]: End program error score: 33.50431878433511