3.096 * [progress]: [Phase 1 of 3] Setting up.
0.054 * * * [progress]: [1/2] Preparing points
2.727 * * * [progress]: [2/2] Setting up program.
2.830 * [progress]: [Phase 2 of 3] Improving.
2.908 * [simplify]: Simplifying:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
2.919 * * [simplify]: Extracting # 0 : cost  0
2.919 * * [simplify]: Extracting # 1 : cost  0
2.919 * * [simplify]: Extracting # 2 : cost  0
2.920 * * [simplify]: Extracting # 3 : cost  0
2.920 * * [simplify]: Extracting # 4 : cost  0
2.920 * * [simplify]: Extracting # 5 : cost  0
2.920 * * [simplify]: Extracting # 6 : cost  0
2.920 * * [simplify]: Extracting # 7 : cost  0
2.920 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
2.964 * * [simplify]: Extracting # 0 : cost  0
2.965 * * [simplify]: iteration done:  8  enodes  (cost  10 )
2.965 * [simplify]: Simplified to:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
2.970 * * [progress]: iteration 1 / 4
2.970 * * * [progress]: picking best candidate
2.977 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
2.978 * * * [progress]: localizing error
3.450 * * * [progress]: generating rewritten candidates
3.455 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.457 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
3.463 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
3.464 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
3.467 * * * [progress]: generating series expansions
3.467 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.473 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.473 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
3.475 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.478 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.478 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.478 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.479 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.479 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.483 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
3.483 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.483 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.483 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
3.483 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.484 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
3.484 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.486 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
3.486 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.486 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.487 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
3.487 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.487 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
3.487 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
3.487 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
3.488 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
3.488 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
3.489 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
3.489 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.489 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.489 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.489 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
3.489 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
3.489 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.489 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.489 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.490 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
3.490 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
3.490 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a))
3.490 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0
3.491 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a))
3.491 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
3.493 * [backup-simplify]: Simplify (+ 0) into 0
3.494 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0
3.496 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.497 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0
3.497 * [backup-simplify]: Simplify (+ 0 0) into 0
3.497 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.500 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0
3.501 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.502 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0
3.502 * [backup-simplify]: Simplify (+ 0 0) into 0
3.502 * [backup-simplify]: Simplify 0 into 0
3.503 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.505 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.507 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.508 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.509 * [backup-simplify]: Simplify (+ 0 0) into 0
3.509 * [backup-simplify]: Simplify 0 into 0
3.512 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.513 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.515 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.516 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
3.517 * [backup-simplify]: Simplify (+ 0 0) into 0
3.517 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.521 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.524 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.525 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
3.526 * [backup-simplify]: Simplify (+ 0 0) into 0
3.526 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.532 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.537 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.538 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
3.539 * [backup-simplify]: Simplify (+ 0 0) into 0
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
3.539 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
3.539 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
3.539 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.539 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.539 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
3.540 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
3.540 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
3.540 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.540 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.540 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
3.540 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
3.540 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
3.540 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a)))
3.541 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0
3.541 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a)))
3.541 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
3.542 * [backup-simplify]: Simplify (+ 0) into 0
3.543 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0
3.544 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.545 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0
3.545 * [backup-simplify]: Simplify (+ 0 0) into 0
3.545 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.547 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
3.548 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.549 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
3.550 * [backup-simplify]: Simplify (+ 0 0) into 0
3.550 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.553 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.555 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.556 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.556 * [backup-simplify]: Simplify (+ 0 0) into 0
3.556 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.561 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.563 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.564 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
3.565 * [backup-simplify]: Simplify (+ 0 0) into 0
3.565 * [backup-simplify]: Simplify 0 into 0
3.567 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.569 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.572 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.573 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
3.574 * [backup-simplify]: Simplify (+ 0 0) into 0
3.574 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.580 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.584 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.586 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
3.587 * [backup-simplify]: Simplify (+ 0 0) into 0
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a))
3.587 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
3.587 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
3.587 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.587 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.587 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
3.587 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
3.588 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
3.588 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.588 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.588 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
3.588 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
3.588 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
3.588 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a)))
3.588 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0
3.589 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a)))
3.589 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
3.589 * [backup-simplify]: Simplify (+ 0) into 0
3.590 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0
3.591 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.592 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0
3.592 * [backup-simplify]: Simplify (+ 0 0) into 0
3.592 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.594 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
3.596 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.596 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
3.597 * [backup-simplify]: Simplify (+ 0 0) into 0
3.597 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.599 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.601 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.602 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.603 * [backup-simplify]: Simplify (+ 0 0) into 0
3.603 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.608 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.609 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.611 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
3.611 * [backup-simplify]: Simplify (+ 0 0) into 0
3.611 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.615 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.618 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.620 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
3.620 * [backup-simplify]: Simplify (+ 0 0) into 0
3.620 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.627 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.649 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.651 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
3.651 * [backup-simplify]: Simplify (+ 0 0) into 0
3.651 * [backup-simplify]: Simplify 0 into 0
3.651 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a))
3.652 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
3.652 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
3.652 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
3.652 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.652 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
3.652 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
3.652 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
3.652 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
3.653 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
3.653 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
3.653 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.653 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
3.653 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
3.653 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
3.654 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (/ 1 a))))) into (expm1 (sin (expm1 a)))
3.654 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (- a))))) into (expm1 (sin (expm1 (/ -1 a))))
3.654 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
3.654 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.655 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
3.655 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
3.655 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
3.655 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) into (expm1 (sin (expm1 a)))
3.655 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
3.656 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.656 * [approximate]: Taking taylor expansion of (expm1 a) in (a) around 0
3.656 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.656 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.656 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.656 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.656 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
3.656 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
3.656 * [approximate]: Taking taylor expansion of (expm1 (/ 1 a)) in (a) around 0
3.656 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.657 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
3.657 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.657 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
3.657 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (expm1 (/ 1 (/ 1 a))) into (expm1 a)
3.657 * [backup-simplify]: Simplify (expm1 (/ 1 (- a))) into (expm1 (/ -1 a))
3.657 * [approximate]: Taking taylor expansion of (expm1 (/ -1 a)) in (a) around 0
3.657 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.657 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
3.658 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.658 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
3.658 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (expm1 (/ -1 (/ 1 (- a)))) into (expm1 a)
3.658 * * * [progress]: simplifying candidates
3.660 * [simplify]: Simplifying:
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (* (* (expm1 a) (expm1 a)) (expm1 a))
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 a)
  (expm1 a)
  (expm1 a)
3.661 * * [simplify]: Extracting # 0 : cost  0
3.661 * * [simplify]: Extracting # 1 : cost  0
3.661 * * [simplify]: Extracting # 2 : cost  0
3.661 * * [simplify]: Extracting # 3 : cost  0
3.661 * * [simplify]: Extracting # 4 : cost  0
3.662 * * [simplify]: Extracting # 5 : cost  0
3.662 * * [simplify]: iteration  0 :  35  enodes  (cost  274 )
3.676 * * [simplify]: Extracting # 0 : cost  0
3.677 * * [simplify]: iteration  1 :  39  enodes  (cost  274 )
3.700 * * [simplify]: Extracting # 0 : cost  0
3.700 * * [simplify]: Extracting # 1 : cost  0
3.700 * * [simplify]: Extracting # 2 : cost  0
3.701 * * [simplify]: Extracting # 3 : cost  0
3.701 * * [simplify]: iteration  2 :  44  enodes  (cost  238 )
3.723 * * [simplify]: Extracting # 0 : cost  0
3.724 * * [simplify]: Extracting # 1 : cost  0
3.724 * * [simplify]: Extracting # 2 : cost  0
3.724 * * [simplify]: Extracting # 3 : cost  0
3.725 * * [simplify]: Extracting # 4 : cost  0
3.725 * * [simplify]: iteration  3 :  55  enodes  (cost  238 )
3.762 * * [simplify]: Extracting # 0 : cost  0
3.763 * * [simplify]: Extracting # 1 : cost  0
3.763 * * [simplify]: Extracting # 2 : cost  0
3.763 * * [simplify]: Extracting # 3 : cost  0
3.764 * * [simplify]: Extracting # 4 : cost  0
3.764 * * [simplify]: iteration  4 :  84  enodes  (cost  238 )
3.841 * * [simplify]: Extracting # 0 : cost  0
3.842 * * [simplify]: Extracting # 1 : cost  0
3.842 * * [simplify]: Extracting # 2 : cost  0
3.842 * * [simplify]: Extracting # 3 : cost  0
3.843 * * [simplify]: iteration  5 :  217  enodes  (cost  238 )
4.088 * * [simplify]: Extracting # 0 : cost  0
4.089 * * [simplify]: Extracting # 1 : cost  0
4.090 * * [simplify]: Extracting # 2 : cost  0
4.090 * * [simplify]: Extracting # 3 : cost  0
4.090 * * [simplify]: Extracting # 4 : cost  0
4.090 * * [simplify]: iteration  6 :  519  enodes  (cost  238 )
4.620 * * [simplify]: Extracting # 0 : cost  0
4.621 * * [simplify]: Extracting # 1 : cost  0
4.622 * * [simplify]: Extracting # 2 : cost  0
4.628 * * [simplify]: Extracting # 3 : cost  0
4.629 * * [simplify]: Extracting # 4 : cost  0
4.631 * * [simplify]: iteration  7 :  1209  enodes  (cost  238 )
6.837 * * [simplify]: Extracting # 0 : cost  0
6.843 * * [simplify]: Extracting # 1 : cost  0
6.849 * * [simplify]: Extracting # 2 : cost  0
6.856 * * [simplify]: Extracting # 3 : cost  0
6.862 * * [simplify]: Extracting # 4 : cost  0
6.868 * * [simplify]: iteration  8 :  4017  enodes  (cost  238 )
9.311 * * [simplify]: Extracting # 0 : cost  0
9.329 * * [simplify]: Extracting # 1 : cost  0
9.338 * * [simplify]: Extracting # 2 : cost  0
9.373 * * [simplify]: Extracting # 3 : cost  0
9.381 * * [simplify]: Extracting # 4 : cost  0
9.388 * * [simplify]: Extracting # 5 : cost  0
9.396 * * [simplify]: Extracting # 6 : cost  0
9.404 * * [simplify]: iteration done:  5001  enodes  (cost  238 )
9.411 * [simplify]: Simplified to:
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (pow (expm1 a) 3)
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 a)
  (expm1 a)
  (expm1 a)
9.411 * * * [progress]: adding candidates to table
9.821 * * [progress]: iteration 2 / 4
9.821 * * * [progress]: picking best candidate
9.970 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>
9.971 * * * [progress]: localizing error
10.048 * * * [progress]: generating rewritten candidates
10.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
10.049 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
10.050 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
10.051 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
10.058 * * * [progress]: generating series expansions
10.058 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
10.059 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.059 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
10.059 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
10.059 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.059 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
10.059 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.060 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.060 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.061 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.061 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
10.061 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
10.061 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.061 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
10.062 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.062 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.062 * [backup-simplify]: Simplify 0 into 0
10.063 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.063 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.063 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
10.063 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
10.064 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.064 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
10.064 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.065 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.065 * [backup-simplify]: Simplify 0 into 0
10.065 * [backup-simplify]: Simplify 0 into 0
10.065 * [backup-simplify]: Simplify 0 into 0
10.065 * [backup-simplify]: Simplify 0 into 0
10.065 * [backup-simplify]: Simplify 0 into 0
10.065 * [backup-simplify]: Simplify 0 into 0
10.066 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.066 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
10.066 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.066 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
10.066 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
10.066 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.066 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
10.067 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.067 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.067 * [backup-simplify]: Simplify 0 into 0
10.067 * [backup-simplify]: Simplify 0 into 0
10.067 * [backup-simplify]: Simplify 0 into 0
10.067 * [backup-simplify]: Simplify 0 into 0
10.067 * [backup-simplify]: Simplify 0 into 0
10.067 * [backup-simplify]: Simplify 0 into 0
10.068 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.068 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.068 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
10.068 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
10.069 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.069 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
10.069 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.069 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.070 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.071 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.071 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
10.071 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
10.071 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.071 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
10.072 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.072 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.072 * [backup-simplify]: Simplify 0 into 0
10.072 * [backup-simplify]: Simplify 0 into 0
10.072 * [backup-simplify]: Simplify 0 into 0
10.072 * [backup-simplify]: Simplify 0 into 0
10.072 * [backup-simplify]: Simplify 0 into 0
10.073 * [backup-simplify]: Simplify 0 into 0
10.073 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.073 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
10.074 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.074 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
10.074 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
10.074 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.074 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
10.074 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.074 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.074 * [backup-simplify]: Simplify 0 into 0
10.075 * [backup-simplify]: Simplify 0 into 0
10.075 * [backup-simplify]: Simplify 0 into 0
10.075 * [backup-simplify]: Simplify 0 into 0
10.075 * [backup-simplify]: Simplify 0 into 0
10.075 * [backup-simplify]: Simplify 0 into 0
10.075 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.196 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.197 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
10.197 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
10.197 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.197 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
10.197 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.198 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
10.198 * [backup-simplify]: Simplify 0 into 0
10.198 * [backup-simplify]: Simplify 0 into 0
10.198 * [backup-simplify]: Simplify 0 into 0
10.198 * [backup-simplify]: Simplify 0 into 0
10.198 * [backup-simplify]: Simplify 0 into 0
10.198 * [backup-simplify]: Simplify 0 into 0
10.198 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.199 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.199 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
10.199 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
10.199 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.199 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
10.200 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.200 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
10.200 * [backup-simplify]: Simplify 0 into 0
10.200 * [backup-simplify]: Simplify 0 into 0
10.200 * [backup-simplify]: Simplify 0 into 0
10.200 * [backup-simplify]: Simplify 0 into 0
10.200 * [backup-simplify]: Simplify 0 into 0
10.200 * [backup-simplify]: Simplify 0 into 0
10.201 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
10.201 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
10.201 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
10.201 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
10.201 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
10.201 * [taylor]: Taking taylor expansion of (expm1 a) in a
10.201 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
10.201 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
10.201 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
10.201 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
10.201 * [taylor]: Taking taylor expansion of (expm1 a) in a
10.201 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
10.201 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
10.202 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
10.202 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a))
10.202 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0
10.202 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a))
10.202 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
10.205 * [backup-simplify]: Simplify (+ 0) into 0
10.206 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0
10.207 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
10.207 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0
10.208 * [backup-simplify]: Simplify (+ 0 0) into 0
10.208 * [backup-simplify]: Simplify 0 into 0
10.209 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
10.210 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0
10.211 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
10.212 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0
10.212 * [backup-simplify]: Simplify (+ 0 0) into 0
10.212 * [backup-simplify]: Simplify 0 into 0
10.213 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
10.214 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.216 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
10.216 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
10.217 * [backup-simplify]: Simplify (+ 0 0) into 0
10.217 * [backup-simplify]: Simplify 0 into 0
10.219 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
10.221 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.223 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.225 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
10.226 * [backup-simplify]: Simplify (+ 0 0) into 0
10.226 * [backup-simplify]: Simplify 0 into 0
10.229 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
10.232 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.237 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.240 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
10.241 * [backup-simplify]: Simplify (+ 0 0) into 0
10.241 * [backup-simplify]: Simplify 0 into 0
10.246 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
10.248 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.253 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.255 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
10.256 * [backup-simplify]: Simplify (+ 0 0) into 0
10.256 * [backup-simplify]: Simplify 0 into 0
10.257 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
10.257 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
10.257 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
10.257 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
10.257 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
10.257 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
10.257 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
10.258 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
10.258 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
10.258 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
10.258 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
10.258 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
10.258 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
10.258 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a)))
10.259 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0
10.259 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a)))
10.259 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
10.260 * [backup-simplify]: Simplify (+ 0) into 0
10.261 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0
10.263 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
10.264 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0
10.265 * [backup-simplify]: Simplify (+ 0 0) into 0
10.265 * [backup-simplify]: Simplify 0 into 0
10.267 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
10.268 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
10.270 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
10.271 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
10.272 * [backup-simplify]: Simplify (+ 0 0) into 0
10.272 * [backup-simplify]: Simplify 0 into 0
10.274 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
10.279 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.282 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
10.284 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
10.284 * [backup-simplify]: Simplify (+ 0 0) into 0
10.284 * [backup-simplify]: Simplify 0 into 0
10.288 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
10.290 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.292 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.293 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
10.294 * [backup-simplify]: Simplify (+ 0 0) into 0
10.294 * [backup-simplify]: Simplify 0 into 0
10.295 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
10.297 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.299 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.300 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
10.300 * [backup-simplify]: Simplify (+ 0 0) into 0
10.300 * [backup-simplify]: Simplify 0 into 0
10.303 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
10.309 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.313 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.314 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
10.315 * [backup-simplify]: Simplify (+ 0 0) into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a))
10.315 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
10.315 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
10.315 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
10.315 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
10.315 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
10.316 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
10.316 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
10.316 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
10.316 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
10.316 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
10.316 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
10.316 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
10.316 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a)))
10.316 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0
10.317 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a)))
10.317 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
10.318 * [backup-simplify]: Simplify (+ 0) into 0
10.318 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0
10.319 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
10.320 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0
10.321 * [backup-simplify]: Simplify (+ 0 0) into 0
10.321 * [backup-simplify]: Simplify 0 into 0
10.322 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
10.323 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
10.324 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
10.325 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
10.325 * [backup-simplify]: Simplify (+ 0 0) into 0
10.326 * [backup-simplify]: Simplify 0 into 0
10.327 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
10.328 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.330 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
10.331 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
10.332 * [backup-simplify]: Simplify (+ 0 0) into 0
10.332 * [backup-simplify]: Simplify 0 into 0
10.334 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
10.336 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.338 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.340 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
10.340 * [backup-simplify]: Simplify (+ 0 0) into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.342 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
10.344 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.347 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.348 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
10.349 * [backup-simplify]: Simplify (+ 0 0) into 0
10.349 * [backup-simplify]: Simplify 0 into 0
10.352 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
10.354 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.358 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
10.360 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
10.361 * [backup-simplify]: Simplify (+ 0 0) into 0
10.361 * [backup-simplify]: Simplify 0 into 0
10.361 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a))
10.361 * * * [progress]: simplifying candidates
10.362 * [simplify]: Simplifying:
  (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 (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 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
10.363 * * [simplify]: Extracting # 0 : cost  0
10.363 * * [simplify]: Extracting # 1 : cost  0
10.364 * * [simplify]: Extracting # 2 : cost  0
10.364 * * [simplify]: Extracting # 3 : cost  0
10.364 * * [simplify]: Extracting # 4 : cost  0
10.364 * * [simplify]: Extracting # 5 : cost  0
10.364 * * [simplify]: Extracting # 6 : cost  0
10.364 * * [simplify]: iteration  0 :  21  enodes  (cost  430 )
10.370 * * [simplify]: Extracting # 0 : cost  0
10.370 * * [simplify]: iteration  1 :  23  enodes  (cost  430 )
10.376 * * [simplify]: Extracting # 0 : cost  0
10.376 * * [simplify]: Extracting # 1 : cost  0
10.376 * * [simplify]: Extracting # 2 : cost  0
10.376 * * [simplify]: Extracting # 3 : cost  0
10.376 * * [simplify]: iteration  2 :  26  enodes  (cost  370 )
10.384 * * [simplify]: Extracting # 0 : cost  0
10.385 * * [simplify]: Extracting # 1 : cost  0
10.385 * * [simplify]: Extracting # 2 : cost  0
10.385 * * [simplify]: Extracting # 3 : cost  0
10.385 * * [simplify]: Extracting # 4 : cost  0
10.385 * * [simplify]: iteration  3 :  33  enodes  (cost  370 )
10.397 * * [simplify]: Extracting # 0 : cost  0
10.397 * * [simplify]: Extracting # 1 : cost  0
10.397 * * [simplify]: Extracting # 2 : cost  0
10.398 * * [simplify]: Extracting # 3 : cost  0
10.398 * * [simplify]: Extracting # 4 : cost  0
10.398 * * [simplify]: iteration  4 :  48  enodes  (cost  370 )
10.441 * * [simplify]: Extracting # 0 : cost  0
10.442 * * [simplify]: Extracting # 1 : cost  0
10.442 * * [simplify]: Extracting # 2 : cost  0
10.442 * * [simplify]: Extracting # 3 : cost  0
10.442 * * [simplify]: iteration  5 :  115  enodes  (cost  370 )
10.524 * * [simplify]: Extracting # 0 : cost  0
10.525 * * [simplify]: Extracting # 1 : cost  0
10.525 * * [simplify]: Extracting # 2 : cost  0
10.525 * * [simplify]: Extracting # 3 : cost  0
10.525 * * [simplify]: iteration  6 :  275  enodes  (cost  370 )
10.805 * * [simplify]: Extracting # 0 : cost  0
10.806 * * [simplify]: Extracting # 1 : cost  0
10.807 * * [simplify]: Extracting # 2 : cost  0
10.808 * * [simplify]: Extracting # 3 : cost  0
10.809 * * [simplify]: Extracting # 4 : cost  0
10.810 * * [simplify]: iteration  7 :  652  enodes  (cost  370 )
11.623 * * [simplify]: Extracting # 0 : cost  0
11.632 * * [simplify]: Extracting # 1 : cost  0
11.635 * * [simplify]: Extracting # 2 : cost  0
11.709 * * [simplify]: Extracting # 3 : cost  0
11.717 * * [simplify]: Extracting # 4 : cost  0
11.719 * * [simplify]: iteration  8 :  2140  enodes  (cost  370 )
14.122 * * [simplify]: Extracting # 0 : cost  0
14.161 * * [simplify]: Extracting # 1 : cost  0
14.168 * * [simplify]: Extracting # 2 : cost  0
14.175 * * [simplify]: Extracting # 3 : cost  0
14.186 * * [simplify]: Extracting # 4 : cost  0
14.199 * * [simplify]: Extracting # 5 : cost  0
14.210 * * [simplify]: iteration done:  5001  enodes  (cost  370 )
14.212 * [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 (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 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
14.218 * * * [progress]: adding candidates to table
14.557 * * [progress]: iteration 3 / 4
14.557 * * * [progress]: picking best candidate
14.759 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>
14.759 * * * [progress]: localizing error
14.948 * * * [progress]: generating rewritten candidates
14.949 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
14.953 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
14.955 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1)
14.956 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 1)
14.964 * * * [progress]: generating series expansions
14.964 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
14.967 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.967 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
14.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.968 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.968 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.969 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.969 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.970 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.970 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.970 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
14.970 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.970 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.970 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.971 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.971 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.971 * [backup-simplify]: Simplify 0 into 0
14.971 * [backup-simplify]: Simplify 0 into 0
14.971 * [backup-simplify]: Simplify 0 into 0
14.971 * [backup-simplify]: Simplify 0 into 0
14.971 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.972 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.972 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
14.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.973 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.973 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.973 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.973 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.974 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify 0 into 0
14.974 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.974 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
14.975 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.975 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
14.975 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.975 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.975 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.975 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.975 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.975 * [backup-simplify]: Simplify 0 into 0
14.975 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.976 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.976 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
14.976 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.977 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.977 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.977 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.977 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.977 * [backup-simplify]: Simplify 0 into 0
14.977 * [backup-simplify]: Simplify 0 into 0
14.977 * [backup-simplify]: Simplify 0 into 0
14.977 * [backup-simplify]: Simplify 0 into 0
14.977 * [backup-simplify]: Simplify 0 into 0
14.977 * [backup-simplify]: Simplify 0 into 0
14.978 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.978 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.978 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
14.978 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.979 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.979 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.979 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.979 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.979 * [backup-simplify]: Simplify 0 into 0
14.979 * [backup-simplify]: Simplify 0 into 0
14.979 * [backup-simplify]: Simplify 0 into 0
14.979 * [backup-simplify]: Simplify 0 into 0
14.979 * [backup-simplify]: Simplify 0 into 0
14.980 * [backup-simplify]: Simplify 0 into 0
14.980 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.980 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1)
14.980 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.980 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
14.980 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.980 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.980 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.981 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.981 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.981 * [backup-simplify]: Simplify 0 into 0
14.981 * [backup-simplify]: Simplify 0 into 0
14.981 * [backup-simplify]: Simplify 0 into 0
14.981 * [backup-simplify]: Simplify 0 into 0
14.981 * [backup-simplify]: Simplify 0 into 0
14.981 * [backup-simplify]: Simplify 0 into 0
14.981 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.982 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.982 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
14.982 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.982 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.982 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.982 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.983 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.983 * [backup-simplify]: Simplify 0 into 0
14.983 * [backup-simplify]: Simplify 0 into 0
14.983 * [backup-simplify]: Simplify 0 into 0
14.983 * [backup-simplify]: Simplify 0 into 0
14.983 * [backup-simplify]: Simplify 0 into 0
14.983 * [backup-simplify]: Simplify 0 into 0
14.983 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.984 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.984 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
14.984 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.984 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.984 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.985 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.985 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.985 * [backup-simplify]: Simplify 0 into 0
14.985 * [backup-simplify]: Simplify 0 into 0
14.985 * [backup-simplify]: Simplify 0 into 0
14.985 * [backup-simplify]: Simplify 0 into 0
14.985 * [backup-simplify]: Simplify 0 into 0
14.985 * [backup-simplify]: Simplify 0 into 0
14.986 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.986 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 1)
14.986 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.986 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
14.986 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.986 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.986 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
14.986 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.987 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.987 * [backup-simplify]: Simplify 0 into 0
14.987 * [backup-simplify]: Simplify 0 into 0
14.987 * [backup-simplify]: Simplify 0 into 0
14.987 * [backup-simplify]: Simplify 0 into 0
14.987 * [backup-simplify]: Simplify 0 into 0
14.987 * [backup-simplify]: Simplify 0 into 0
14.987 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.988 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.988 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
14.988 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.988 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.988 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
14.988 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.989 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
14.989 * [backup-simplify]: Simplify 0 into 0
14.989 * [backup-simplify]: Simplify 0 into 0
14.989 * [backup-simplify]: Simplify 0 into 0
14.989 * [backup-simplify]: Simplify 0 into 0
14.989 * [backup-simplify]: Simplify 0 into 0
14.989 * [backup-simplify]: Simplify 0 into 0
14.989 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.990 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.990 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
14.990 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.990 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.990 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
14.990 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.991 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.992 * * * [progress]: simplifying candidates
14.993 * [simplify]: Simplifying:
  (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 (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 (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 (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))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
14.997 * * [simplify]: Extracting # 0 : cost  0
14.997 * * [simplify]: Extracting # 1 : cost  0
14.998 * * [simplify]: Extracting # 2 : cost  0
14.998 * * [simplify]: Extracting # 3 : cost  0
14.998 * * [simplify]: Extracting # 4 : cost  0
14.998 * * [simplify]: Extracting # 5 : cost  0
14.998 * * [simplify]: Extracting # 6 : cost  0
14.998 * * [simplify]: Extracting # 7 : cost  0
14.998 * * [simplify]: Extracting # 8 : cost  0
14.998 * * [simplify]: iteration  0 :  14  enodes  (cost  508 )
15.004 * * [simplify]: Extracting # 0 : cost  0
15.005 * * [simplify]: iteration  1 :  15  enodes  (cost  508 )
15.009 * * [simplify]: Extracting # 0 : cost  0
15.009 * * [simplify]: Extracting # 1 : cost  0
15.009 * * [simplify]: Extracting # 2 : cost  0
15.009 * * [simplify]: Extracting # 3 : cost  0
15.009 * * [simplify]: iteration  2 :  17  enodes  (cost  436 )
15.039 * * [simplify]: Extracting # 0 : cost  0
15.039 * * [simplify]: Extracting # 1 : cost  0
15.039 * * [simplify]: Extracting # 2 : cost  0
15.039 * * [simplify]: Extracting # 3 : cost  0
15.039 * * [simplify]: Extracting # 4 : cost  0
15.039 * * [simplify]: iteration  3 :  22  enodes  (cost  436 )
15.048 * * [simplify]: Extracting # 0 : cost  0
15.048 * * [simplify]: Extracting # 1 : cost  0
15.048 * * [simplify]: Extracting # 2 : cost  0
15.048 * * [simplify]: Extracting # 3 : cost  0
15.048 * * [simplify]: Extracting # 4 : cost  0
15.048 * * [simplify]: iteration  4 :  30  enodes  (cost  436 )
15.062 * * [simplify]: Extracting # 0 : cost  0
15.062 * * [simplify]: Extracting # 1 : cost  0
15.062 * * [simplify]: Extracting # 2 : cost  0
15.062 * * [simplify]: Extracting # 3 : cost  0
15.062 * * [simplify]: Extracting # 4 : cost  0
15.063 * * [simplify]: iteration  5 :  64  enodes  (cost  436 )
15.097 * * [simplify]: Extracting # 0 : cost  0
15.098 * * [simplify]: Extracting # 1 : cost  0
15.098 * * [simplify]: Extracting # 2 : cost  0
15.098 * * [simplify]: Extracting # 3 : cost  0
15.098 * * [simplify]: Extracting # 4 : cost  0
15.098 * * [simplify]: iteration  6 :  149  enodes  (cost  436 )
15.255 * * [simplify]: Extracting # 0 : cost  0
15.255 * * [simplify]: Extracting # 1 : cost  0
15.256 * * [simplify]: Extracting # 2 : cost  0
15.256 * * [simplify]: Extracting # 3 : cost  0
15.256 * * [simplify]: Extracting # 4 : cost  0
15.256 * * [simplify]: iteration  7 :  330  enodes  (cost  436 )
15.547 * * [simplify]: Extracting # 0 : cost  0
15.549 * * [simplify]: Extracting # 1 : cost  0
15.550 * * [simplify]: Extracting # 2 : cost  0
15.552 * * [simplify]: Extracting # 3 : cost  0
15.553 * * [simplify]: Extracting # 4 : cost  0
15.555 * * [simplify]: iteration  8 :  1065  enodes  (cost  436 )
18.972 * * [simplify]: Extracting # 0 : cost  0
19.003 * * [simplify]: Extracting # 1 : cost  0
19.013 * * [simplify]: Extracting # 2 : cost  0
19.021 * * [simplify]: Extracting # 3 : cost  0
19.030 * * [simplify]: Extracting # 4 : cost  0
19.044 * * [simplify]: Extracting # 5 : cost  0
19.053 * * [simplify]: Extracting # 6 : cost  0
19.062 * * [simplify]: iteration done:  5000  enodes  (cost  436 )
19.063 * [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 (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 (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 (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))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.063 * * * [progress]: adding candidates to table
19.452 * * [progress]: iteration 4 / 4
19.452 * * * [progress]: picking best candidate
19.640 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>
19.642 * * * [progress]: localizing error
19.726 * * * [progress]: generating rewritten candidates
19.727 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
19.727 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1)
19.728 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
19.729 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
19.730 * * * [progress]: generating series expansions
19.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
19.730 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.730 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
19.730 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.731 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.731 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.731 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.731 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.731 * [backup-simplify]: Simplify 0 into 0
19.731 * [backup-simplify]: Simplify 0 into 0
19.731 * [backup-simplify]: Simplify 0 into 0
19.731 * [backup-simplify]: Simplify 0 into 0
19.731 * [backup-simplify]: Simplify 0 into 0
19.732 * [backup-simplify]: Simplify 0 into 0
19.732 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.732 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.732 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
19.732 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.732 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.732 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.733 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.733 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.733 * [backup-simplify]: Simplify 0 into 0
19.733 * [backup-simplify]: Simplify 0 into 0
19.733 * [backup-simplify]: Simplify 0 into 0
19.733 * [backup-simplify]: Simplify 0 into 0
19.733 * [backup-simplify]: Simplify 0 into 0
19.733 * [backup-simplify]: Simplify 0 into 0
19.734 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.734 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.734 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
19.734 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.735 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.735 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.735 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.735 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.735 * [backup-simplify]: Simplify 0 into 0
19.735 * [backup-simplify]: Simplify 0 into 0
19.735 * [backup-simplify]: Simplify 0 into 0
19.735 * [backup-simplify]: Simplify 0 into 0
19.736 * [backup-simplify]: Simplify 0 into 0
19.736 * [backup-simplify]: Simplify 0 into 0
19.736 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1)
19.736 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.736 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
19.736 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.737 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.737 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.737 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.737 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.737 * [backup-simplify]: Simplify 0 into 0
19.737 * [backup-simplify]: Simplify 0 into 0
19.737 * [backup-simplify]: Simplify 0 into 0
19.737 * [backup-simplify]: Simplify 0 into 0
19.737 * [backup-simplify]: Simplify 0 into 0
19.737 * [backup-simplify]: Simplify 0 into 0
19.738 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.738 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.738 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
19.738 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.738 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.738 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.739 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.739 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.739 * [backup-simplify]: Simplify 0 into 0
19.739 * [backup-simplify]: Simplify 0 into 0
19.739 * [backup-simplify]: Simplify 0 into 0
19.739 * [backup-simplify]: Simplify 0 into 0
19.739 * [backup-simplify]: Simplify 0 into 0
19.739 * [backup-simplify]: Simplify 0 into 0
19.740 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.740 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.740 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
19.740 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.740 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.740 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.741 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.741 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.741 * [backup-simplify]: Simplify 0 into 0
19.741 * [backup-simplify]: Simplify 0 into 0
19.741 * [backup-simplify]: Simplify 0 into 0
19.741 * [backup-simplify]: Simplify 0 into 0
19.741 * [backup-simplify]: Simplify 0 into 0
19.741 * [backup-simplify]: Simplify 0 into 0
19.742 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.742 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 2 1)
19.742 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.742 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
19.742 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.742 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.743 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.743 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.743 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.743 * [backup-simplify]: Simplify 0 into 0
19.743 * [backup-simplify]: Simplify 0 into 0
19.743 * [backup-simplify]: Simplify 0 into 0
19.743 * [backup-simplify]: Simplify 0 into 0
19.743 * [backup-simplify]: Simplify 0 into 0
19.743 * [backup-simplify]: Simplify 0 into 0
19.743 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.744 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.744 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
19.744 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.744 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.744 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.744 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.745 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.745 * [backup-simplify]: Simplify 0 into 0
19.745 * [backup-simplify]: Simplify 0 into 0
19.745 * [backup-simplify]: Simplify 0 into 0
19.745 * [backup-simplify]: Simplify 0 into 0
19.745 * [backup-simplify]: Simplify 0 into 0
19.745 * [backup-simplify]: Simplify 0 into 0
19.746 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.746 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.746 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
19.746 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.746 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.746 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.747 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.747 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.747 * [backup-simplify]: Simplify 0 into 0
19.747 * [backup-simplify]: Simplify 0 into 0
19.747 * [backup-simplify]: Simplify 0 into 0
19.747 * [backup-simplify]: Simplify 0 into 0
19.747 * [backup-simplify]: Simplify 0 into 0
19.747 * [backup-simplify]: Simplify 0 into 0
19.748 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.748 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1 1)
19.748 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.748 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
19.748 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.748 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.748 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
19.748 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.749 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.749 * [backup-simplify]: Simplify 0 into 0
19.749 * [backup-simplify]: Simplify 0 into 0
19.749 * [backup-simplify]: Simplify 0 into 0
19.749 * [backup-simplify]: Simplify 0 into 0
19.749 * [backup-simplify]: Simplify 0 into 0
19.749 * [backup-simplify]: Simplify 0 into 0
19.750 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.750 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.750 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
19.750 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.750 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.750 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
19.751 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.751 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
19.751 * [backup-simplify]: Simplify 0 into 0
19.751 * [backup-simplify]: Simplify 0 into 0
19.751 * [backup-simplify]: Simplify 0 into 0
19.751 * [backup-simplify]: Simplify 0 into 0
19.751 * [backup-simplify]: Simplify 0 into 0
19.751 * [backup-simplify]: Simplify 0 into 0
19.752 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.752 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.752 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
19.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.929 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.930 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
19.930 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.931 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
19.931 * [backup-simplify]: Simplify 0 into 0
19.931 * [backup-simplify]: Simplify 0 into 0
19.931 * [backup-simplify]: Simplify 0 into 0
19.931 * [backup-simplify]: Simplify 0 into 0
19.931 * [backup-simplify]: Simplify 0 into 0
19.931 * [backup-simplify]: Simplify 0 into 0
19.931 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.937 * * * [progress]: simplifying candidates
19.940 * [simplify]: Simplifying:
  (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 (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 (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 (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))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
19.944 * * [simplify]: Extracting # 0 : cost  0
19.944 * * [simplify]: Extracting # 1 : cost  0
19.944 * * [simplify]: Extracting # 2 : cost  0
19.944 * * [simplify]: Extracting # 3 : cost  0
19.944 * * [simplify]: Extracting # 4 : cost  0
19.945 * * [simplify]: Extracting # 5 : cost  0
19.945 * * [simplify]: Extracting # 6 : cost  0
19.945 * * [simplify]: Extracting # 7 : cost  0
19.945 * * [simplify]: Extracting # 8 : cost  0
19.945 * * [simplify]: iteration  0 :  14  enodes  (cost  508 )
19.952 * * [simplify]: Extracting # 0 : cost  0
19.953 * * [simplify]: iteration  1 :  15  enodes  (cost  508 )
19.960 * * [simplify]: Extracting # 0 : cost  0
19.961 * * [simplify]: Extracting # 1 : cost  0
19.961 * * [simplify]: Extracting # 2 : cost  0
19.961 * * [simplify]: Extracting # 3 : cost  0
19.961 * * [simplify]: iteration  2 :  17  enodes  (cost  436 )
19.993 * * [simplify]: Extracting # 0 : cost  0
19.994 * * [simplify]: Extracting # 1 : cost  0
19.994 * * [simplify]: Extracting # 2 : cost  0
19.994 * * [simplify]: Extracting # 3 : cost  0
19.994 * * [simplify]: Extracting # 4 : cost  0
19.994 * * [simplify]: iteration  3 :  22  enodes  (cost  436 )
20.012 * * [simplify]: Extracting # 0 : cost  0
20.013 * * [simplify]: Extracting # 1 : cost  0
20.013 * * [simplify]: Extracting # 2 : cost  0
20.013 * * [simplify]: Extracting # 3 : cost  0
20.013 * * [simplify]: Extracting # 4 : cost  0
20.013 * * [simplify]: iteration  4 :  30  enodes  (cost  436 )
20.038 * * [simplify]: Extracting # 0 : cost  0
20.039 * * [simplify]: Extracting # 1 : cost  0
20.039 * * [simplify]: Extracting # 2 : cost  0
20.039 * * [simplify]: Extracting # 3 : cost  0
20.040 * * [simplify]: Extracting # 4 : cost  0
20.040 * * [simplify]: iteration  5 :  64  enodes  (cost  436 )
20.100 * * [simplify]: Extracting # 0 : cost  0
20.100 * * [simplify]: Extracting # 1 : cost  0
20.100 * * [simplify]: Extracting # 2 : cost  0
20.101 * * [simplify]: Extracting # 3 : cost  0
20.101 * * [simplify]: Extracting # 4 : cost  0
20.101 * * [simplify]: iteration  6 :  149  enodes  (cost  436 )
20.207 * * [simplify]: Extracting # 0 : cost  0
20.208 * * [simplify]: Extracting # 1 : cost  0
20.208 * * [simplify]: Extracting # 2 : cost  0
20.209 * * [simplify]: Extracting # 3 : cost  0
20.209 * * [simplify]: Extracting # 4 : cost  0
20.210 * * [simplify]: iteration  7 :  330  enodes  (cost  436 )
20.606 * * [simplify]: Extracting # 0 : cost  0
20.608 * * [simplify]: Extracting # 1 : cost  0
20.611 * * [simplify]: Extracting # 2 : cost  0
20.614 * * [simplify]: Extracting # 3 : cost  0
20.617 * * [simplify]: Extracting # 4 : cost  0
20.619 * * [simplify]: iteration  8 :  1065  enodes  (cost  436 )
24.665 * * [simplify]: Extracting # 0 : cost  0
24.737 * * [simplify]: Extracting # 1 : cost  0
24.752 * * [simplify]: Extracting # 2 : cost  0
24.762 * * [simplify]: Extracting # 3 : cost  0
24.771 * * [simplify]: Extracting # 4 : cost  0
24.779 * * [simplify]: Extracting # 5 : cost  0
24.791 * * [simplify]: Extracting # 6 : cost  0
24.800 * * [simplify]: iteration done:  5000  enodes  (cost  436 )
24.812 * [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 (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 (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 (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))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
24.824 * * * [progress]: adding candidates to table
25.437 * [progress]: [Phase 3 of 3] Extracting.
25.452 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (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 (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (log (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (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 (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (exp (log (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 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (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 (* (* (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))))>)
25.526 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
25.537 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (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 (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (log (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (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 (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (exp (log (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 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (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 (* (* (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))))>)
25.866 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (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 (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (log (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (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 (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (exp (log (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 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (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 (* (* (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))))>)
26.263 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (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 (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (pow (expm1 a) 3)))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (log (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)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (* (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (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 (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (exp (log (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 (sin (exp (log (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (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 (* (* (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))))>)
26.588 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
26.590 * [simplify]: Simplifying:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
26.590 * * [simplify]: Extracting # 0 : cost  0
26.590 * * [simplify]: Extracting # 1 : cost  0
26.590 * * [simplify]: Extracting # 2 : cost  0
26.590 * * [simplify]: Extracting # 3 : cost  0
26.590 * * [simplify]: Extracting # 4 : cost  0
26.590 * * [simplify]: Extracting # 5 : cost  0
26.590 * * [simplify]: Extracting # 6 : cost  0
26.590 * * [simplify]: Extracting # 7 : cost  0
26.591 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
26.591 * * [simplify]: Extracting # 0 : cost  0
26.591 * * [simplify]: iteration done:  8  enodes  (cost  10 )
26.591 * [simplify]: Simplified to:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
89.105 * [regime-testing]: Baseline error score: 33.54151790275732
89.109 * [regime-testing]: Oracle error score: 32.50254790307905
89.119 * [regime-testing]: End program error score: 33.54151790275732