0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.430 * * * [progress]: [2/2] Setting up program.
0.434 * [progress]: [Phase 2 of 3] Improving.
0.434 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.436 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.436 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.436 * * [progress]: iteration 1 / 4
0.436 * * * [progress]: picking best candidate
0.439 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.439 * * * [progress]: localizing error
0.451 * * * [progress]: generating rewritten candidates
0.452 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.452 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.452 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.453 * * * [progress]: generating series expansions
0.454 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.454 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.454 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.455 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.455 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.455 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.455 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.456 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.456 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.456 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.456 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.456 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.456 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.457 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.457 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.457 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.457 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.457 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.457 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.457 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.458 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.458 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.458 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.458 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.458 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.458 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.459 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.459 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.459 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.459 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.459 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.459 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.477 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.478 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.478 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.478 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.478 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.500 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.500 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.500 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.501 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.501 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.519 * * * [progress]: simplifying candidates
0.519 * [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 (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)))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
0.522 * * [simplify]: iteration  0 :  39  enodes  (cost  248 )
0.523 * * [simplify]: iteration  1 :  44  enodes  (cost  212 )
0.525 * * [simplify]: iteration  2 :  54  enodes  (cost  212 )
0.526 * * [simplify]: iteration  3 :  68  enodes  (cost  212 )
0.528 * * [simplify]: iteration  4 :  114  enodes  (cost  212 )
0.530 * * [simplify]: iteration  5 :  228  enodes  (cost  212 )
0.536 * * [simplify]: iteration  6 :  919  enodes  (cost  212 )
0.557 * * [simplify]: iteration  7 :  3184  enodes  (cost  212 )
0.635 * * [simplify]: iteration  8 :  5001  enodes  (cost  212 )
0.636 * [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 (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)))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
0.636 * * * [progress]: adding candidates to table
0.751 * * [progress]: iteration 2 / 4
0.751 * * * [progress]: picking best candidate
0.790 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
0.790 * * * [progress]: localizing error
0.807 * * * [progress]: generating rewritten candidates
0.807 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.807 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
0.814 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2)
0.820 * * * [progress]: generating series expansions
0.820 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.820 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.820 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.820 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.821 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.821 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.821 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.822 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.822 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.822 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.823 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
0.823 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
0.823 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.823 * [taylor]: Taking taylor expansion of 1/3 in a
0.823 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.823 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.823 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.823 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.824 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.824 * [taylor]: Taking taylor expansion of 1/3 in a
0.824 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.824 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.824 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.824 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.879 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
0.879 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.879 * [taylor]: Taking taylor expansion of 1/3 in a
0.879 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.879 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.879 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.879 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.880 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.880 * [taylor]: Taking taylor expansion of 1/3 in a
0.880 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.880 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.880 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.880 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.941 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
0.941 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
0.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
0.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
0.941 * [taylor]: Taking taylor expansion of 1/3 in a
0.941 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
0.941 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
0.941 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.941 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.942 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
0.942 * [taylor]: Taking taylor expansion of 1/3 in a
0.942 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
0.942 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
0.942 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.942 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.002 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.003 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.003 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.003 * [taylor]: Taking taylor expansion of 1/3 in a
1.003 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.003 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.003 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.003 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.003 * [taylor]: Taking taylor expansion of 1/3 in a
1.003 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.003 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.003 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.052 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.052 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.052 * [taylor]: Taking taylor expansion of 1/3 in a
1.052 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.052 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.052 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.053 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.053 * [taylor]: Taking taylor expansion of 1/3 in a
1.053 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.053 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.053 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.108 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.109 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.109 * [taylor]: Taking taylor expansion of 1/3 in a
1.109 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.109 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.109 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.109 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.109 * [taylor]: Taking taylor expansion of 1/3 in a
1.109 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.109 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.109 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.165 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2)
1.165 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.165 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.165 * [taylor]: Taking taylor expansion of 1/3 in a
1.165 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.165 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.165 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.165 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.165 * [taylor]: Taking taylor expansion of 1/3 in a
1.165 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.165 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.165 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.214 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.214 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.214 * [taylor]: Taking taylor expansion of 1/3 in a
1.214 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.214 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.214 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.215 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.215 * [taylor]: Taking taylor expansion of 1/3 in a
1.215 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.215 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.215 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.270 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.270 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.270 * [taylor]: Taking taylor expansion of 1/3 in a
1.270 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.270 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.270 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.270 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.271 * [taylor]: Taking taylor expansion of 1/3 in a
1.271 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.271 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.271 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.327 * * * [progress]: simplifying candidates
1.328 * [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.332 * * [simplify]: iteration  0 :  99  enodes  (cost  673 )
1.334 * * [simplify]: iteration  1 :  366  enodes  (cost  578 )
1.346 * * [simplify]: iteration  2 :  2587  enodes  (cost  543 )
1.402 * * [simplify]: iteration  3 :  5002  enodes  (cost  526 )
1.404 * [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.405 * * * [progress]: adding candidates to table
1.646 * * [progress]: iteration 3 / 4
1.647 * * * [progress]: picking best candidate
1.748 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
1.748 * * * [progress]: localizing error
1.770 * * * [progress]: generating rewritten candidates
1.770 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.770 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
1.826 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2)
1.846 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1.849 * * * [progress]: generating series expansions
1.849 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.850 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.850 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.850 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.851 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.851 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.851 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.852 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.852 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.852 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.853 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
1.853 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
1.853 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
1.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
1.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
1.853 * [taylor]: Taking taylor expansion of 1/3 in a
1.853 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.853 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.853 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.853 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.854 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
1.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
1.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
1.854 * [taylor]: Taking taylor expansion of 1/3 in a
1.854 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.854 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.854 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.854 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.912 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
1.912 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.912 * [taylor]: Taking taylor expansion of 1/3 in a
1.912 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.913 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.913 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.913 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.913 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
1.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.913 * [taylor]: Taking taylor expansion of 1/3 in a
1.913 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.913 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.913 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.913 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.974 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
1.974 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.974 * [taylor]: Taking taylor expansion of 1/3 in a
1.974 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.974 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.974 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.974 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.974 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.974 * [taylor]: Taking taylor expansion of 1/3 in a
1.974 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.974 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.975 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.975 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.031 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2)
2.031 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
2.031 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.031 * [taylor]: Taking taylor expansion of 1/3 in a
2.031 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) 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 (sin (expm1 a)) 1/3) in a
2.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.031 * [taylor]: Taking taylor expansion of 1/3 in a
2.031 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) 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.085 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
2.085 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.085 * [taylor]: Taking taylor expansion of 1/3 in a
2.086 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) 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.086 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.086 * [taylor]: Taking taylor expansion of 1/3 in a
2.086 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) 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.141 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
2.141 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.141 * [taylor]: Taking taylor expansion of 1/3 in a
2.141 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.141 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.141 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.142 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.142 * [taylor]: Taking taylor expansion of 1/3 in a
2.142 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.142 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.142 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.191 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.191 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
2.191 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.191 * [taylor]: Taking taylor expansion of 1/3 in a
2.191 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.191 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.191 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.192 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.192 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.192 * [taylor]: Taking taylor expansion of 1/3 in a
2.192 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.192 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.192 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.246 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
2.246 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.246 * [taylor]: Taking taylor expansion of 1/3 in a
2.246 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.246 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.246 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.246 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.246 * [taylor]: Taking taylor expansion of 1/3 in a
2.246 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.246 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.246 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.304 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
2.304 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.304 * [taylor]: Taking taylor expansion of 1/3 in a
2.304 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.304 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.304 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.304 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.304 * [taylor]: Taking taylor expansion of 1/3 in a
2.304 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.304 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.304 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.354 * * * [progress]: simplifying candidates
2.356 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (+ 1 (+ (+ 1/3 1/3) 1/3))
  (+ 1 (+ (* 2 1/3) 1/3))
  (* (sin (expm1 a)) (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (+ (log (cbrt (sin (expm1 a)))) (+ (+ (log (cbrt (cbrt (sin (expm1 a))))) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a)))))))
  (+ (log (cbrt (sin (expm1 a)))) (+ (log (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a)))))))
  (+ (log (cbrt (sin (expm1 a)))) (log (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (log (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (exp (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (sin (expm1 a)) (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a)))))
  (* (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)))))) (cbrt (sin (expm1 a)))))
  (* (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)))))) (* (* (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))))) (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))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (sqrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (sqrt (* (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)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (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))))))
  (* (cbrt (sqrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (sqrt (cbrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (+ (+ 1/3 1/3) 1/3)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1/3) 1/3)
  (+ (* 2 1) 1)
  (* (* (cbrt (sin (expm1 a))) (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)))))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (cbrt (cbrt (sin (expm1 a))))) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (+ (log (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (log (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (exp (* (* (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))))
  (* (* (* (* (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)))))) (cbrt (sin (expm1 a))))
  (* (cbrt (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (cbrt (* (* (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))))) (* (* (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 (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (sqrt (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (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 (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt 1)))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt 1))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (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)
2.361 * * [simplify]: iteration  0 :  223  enodes  (cost  1399 )
2.366 * * [simplify]: iteration  1 :  860  enodes  (cost  1068 )
2.394 * * [simplify]: iteration  2 :  5002  enodes  (cost  827 )
2.397 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  2
  2
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))
  (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))
  (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))
  (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))
  (pow (exp (cbrt (sin (expm1 a)))) (* 2 (* (/ (pow (sin (expm1 a)) 1/3) 1) 1/2)))
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2)
  (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (sqrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (sqrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sqrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (sqrt (cbrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (pow (sin (expm1 a)) 2/3)
  1
  3
  3
  3
  1
  3
  (sin (expm1 a))
  (pow (sin (expm1 a)) 1/3)
  (pow (sin (expm1 a)) 1/3)
  3
  3
  3
  3
  (log (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sin (expm1 a))
  (* (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))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (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 (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt 1)))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt 1))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (sqrt (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)))))
  (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)
  (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 (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)
2.398 * * * [progress]: adding candidates to table
2.670 * * [progress]: iteration 4 / 4
2.670 * * * [progress]: picking best candidate
2.793 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
2.793 * * * [progress]: localizing error
2.826 * * * [progress]: generating rewritten candidates
2.826 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.826 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
2.829 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
2.878 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
2.929 * * * [progress]: generating series expansions
2.929 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.930 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.930 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.930 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.931 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.931 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.931 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.933 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.933 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.933 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.934 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
2.934 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.934 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.934 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.934 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.934 * [taylor]: Taking taylor expansion of 1/9 in a
2.934 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.934 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.934 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.934 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.934 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.934 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.934 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.934 * [taylor]: Taking taylor expansion of 1/9 in a
2.934 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.934 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.934 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.934 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.995 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.995 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.995 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.995 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.995 * [taylor]: Taking taylor expansion of 1/9 in a
2.995 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.995 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.995 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.995 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.996 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.996 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.996 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.996 * [taylor]: Taking taylor expansion of 1/9 in a
2.996 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.996 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.996 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.996 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.051 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.052 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.052 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.052 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.052 * [taylor]: Taking taylor expansion of 1/9 in a
3.052 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.052 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.052 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.052 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.052 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.052 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.052 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.052 * [taylor]: Taking taylor expansion of 1/9 in a
3.052 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.052 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.052 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.052 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.114 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2)
3.114 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.114 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.114 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.114 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.114 * [taylor]: Taking taylor expansion of 1/9 in a
3.114 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.114 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.114 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.114 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.115 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.115 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.115 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.115 * [taylor]: Taking taylor expansion of 1/9 in a
3.115 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.115 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.115 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.115 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.175 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.175 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.175 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.175 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.175 * [taylor]: Taking taylor expansion of 1/9 in a
3.175 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.175 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.175 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.175 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.176 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.176 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.176 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.176 * [taylor]: Taking taylor expansion of 1/9 in a
3.176 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.176 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.176 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.176 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.237 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.237 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.237 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.237 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.237 * [taylor]: Taking taylor expansion of 1/9 in a
3.237 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.237 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.237 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.237 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.238 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.238 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.238 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.238 * [taylor]: Taking taylor expansion of 1/9 in a
3.238 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.238 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.238 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.238 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.294 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
3.294 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.294 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.294 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.294 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.294 * [taylor]: Taking taylor expansion of 1/9 in a
3.294 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.294 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.294 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.294 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.295 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.295 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.295 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.295 * [taylor]: Taking taylor expansion of 1/9 in a
3.295 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.295 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.295 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.295 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.355 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.355 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.355 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.355 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.355 * [taylor]: Taking taylor expansion of 1/9 in a
3.355 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.355 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.355 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.355 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.355 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.355 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.355 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.355 * [taylor]: Taking taylor expansion of 1/9 in a
3.355 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.355 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.356 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.356 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.417 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.417 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.417 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.417 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.417 * [taylor]: Taking taylor expansion of 1/9 in a
3.417 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.418 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.418 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.418 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.418 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.418 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.418 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.418 * [taylor]: Taking taylor expansion of 1/9 in a
3.418 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.418 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.418 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.418 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.474 * * * [progress]: simplifying candidates
3.475 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (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))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (exp (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 (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))))
  (cbrt (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)))) (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (exp (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 (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))))
  (cbrt (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)))) (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (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)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
3.484 * * [simplify]: iteration  0 :  66  enodes  (cost  1160 )
3.486 * * [simplify]: iteration  1 :  108  enodes  (cost  952 )
3.488 * * [simplify]: iteration  2 :  202  enodes  (cost  748 )
3.492 * * [simplify]: iteration  3 :  537  enodes  (cost  742 )
3.507 * * [simplify]: iteration  4 :  1768  enodes  (cost  742 )
3.580 * * [simplify]: iteration  5 :  5001  enodes  (cost  692 )
3.582 * [simplify]: Simplified to:
   (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (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 (* (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))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (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 (cbrt (cbrt (sin (expm1 a)))) 6)
  (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))))
  (* (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 (cbrt (cbrt (sin (expm1 a)))) 6)
  (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))))
  (* (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 (cbrt (cbrt (sin (expm1 a)))) 6)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (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)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
3.583 * * * [progress]: adding candidates to table
3.809 * [progress]: [Phase 3 of 3] Extracting.
3.809 * * [regime]: Finding splitpoints for: (#<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 (* (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)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (pow (sin (expm1 a)) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (cbrt (* (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 (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)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (exp (log (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 (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (* (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))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (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 (sin (expm1 a))) (exp (log (cbrt (sin (expm1 a)))))) (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 (* (* (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* 1 (pow (sin (expm1 a)) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sqrt (sin (expm1 a)))) (* (cbrt (sqrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (* (cbrt 1) (pow (sin (expm1 a)) 2/3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (pow (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) 1/3) (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (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 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>)
3.834 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
3.834 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<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 (* (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)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (pow (sin (expm1 a)) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (cbrt (* (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 (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)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (exp (log (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 (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (* (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))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (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 (sin (expm1 a))) (exp (log (cbrt (sin (expm1 a)))))) (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 (* (* (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* 1 (pow (sin (expm1 a)) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sqrt (sin (expm1 a)))) (* (cbrt (sqrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (* (cbrt 1) (pow (sin (expm1 a)) 2/3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (pow (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) 1/3) (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (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 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>)
4.038 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (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.079 * * * * [regimes]: Trying to branch on a from (#<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 (* (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)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (pow (sin (expm1 a)) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (cbrt (* (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 (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)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (exp (log (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 (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (* (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))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (+ (log (* (pow (cbrt (cbrt (sin (expm1 a)))) 3) (pow (sin (expm1 a)) 1/6))) (log (pow (sin (expm1 a)) 1/6)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (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 (sin (expm1 a))) (exp (log (cbrt (sin (expm1 a)))))) (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 (* (* (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* 1 (pow (sin (expm1 a)) 1/3)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sqrt (sin (expm1 a)))) (* (cbrt (sqrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (* (cbrt 1) (pow (sin (expm1 a)) 2/3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (pow (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) 1/3) (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (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 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>)
4.270 * * * [regime]: Found split indices: #<option (#s(si 12 255))>
4.270 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
4.271 * * [simplify]: iteration  0 :  25  enodes  (cost  59 )
4.271 * * [simplify]: iteration  1 :  25  enodes  (cost  59 )
4.271 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
21.043 * [regime-testing]: Baseline error score: 33.33936719714312
21.044 * [regime-testing]: Oracle error score: 31.297251461490642
21.046 * [regime-testing]: End program error score: 33.33936719714312