1.038 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.285 * * * [progress]: [2/2] Setting up program. 1.299 * [progress]: [Phase 2 of 3] Improving. 1.300 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.304 * [simplify]: Simplifying: (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) 1.306 * * [simplify]: iteration 1: (8 enodes) 1.311 * * [simplify]: Extracting #0: cost 1 inf + 0 1.311 * * [simplify]: Extracting #1: cost 2 inf + 0 1.312 * * [simplify]: Extracting #2: cost 4 inf + 0 1.357 * * [simplify]: Extracting #3: cost 5 inf + 1 1.357 * * [simplify]: Extracting #4: cost 5 inf + 107 1.357 * * [simplify]: Extracting #5: cost 6 inf + 107 1.357 * * [simplify]: Extracting #6: cost 0 inf + 2028 1.357 * [simplify]: Simplified to: (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) 1.369 * * [progress]: iteration 1 / 4 1.369 * * * [progress]: picking best candidate 1.376 * * * * [pick]: Picked # 1.376 * * * [progress]: localizing error 1.418 * * * [progress]: generating rewritten candidates 1.419 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.420 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1.425 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.426 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 1.428 * * * [progress]: generating series expansions 1.428 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.432 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1.432 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 1.433 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 1.435 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1.435 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 1.435 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1.436 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 1.440 * [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)) 1.440 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 1.440 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 1.440 * [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)) 1.440 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 1.440 * [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)) 1.440 * [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)) 1.440 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [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) 1.442 * [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)) 1.442 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 1.442 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 1.442 * [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)) 1.442 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 1.442 * [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)) 1.442 * [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)) 1.442 * [backup-simplify]: Simplify 0 into 0 1.442 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [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) 1.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 1.443 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 1.443 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0 1.443 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a 1.443 * [taylor]: Taking taylor expansion of (expm1 a) in a 1.443 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.443 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 1.443 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a)) 1.444 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a 1.444 * [taylor]: Taking taylor expansion of (expm1 a) in a 1.444 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.444 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 1.444 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a)) 1.444 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a)) 1.444 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0 1.445 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a)) 1.445 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 1.446 * [backup-simplify]: Simplify (+ 0) into 0 1.446 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0 1.448 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.448 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0 1.448 * [backup-simplify]: Simplify (+ 0 0) into 0 1.448 * [backup-simplify]: Simplify 0 into 0 1.449 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.450 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0 1.451 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.451 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0 1.452 * [backup-simplify]: Simplify (+ 0 0) into 0 1.452 * [backup-simplify]: Simplify 0 into 0 1.453 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1.454 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.455 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1.456 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1.456 * [backup-simplify]: Simplify (+ 0 0) into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.459 * [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 1.460 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.461 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 1.462 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 1.463 * [backup-simplify]: Simplify (+ 0 0) into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.465 * [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 1.466 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.468 * [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 1.469 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0 1.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1.470 * [backup-simplify]: Simplify 0 into 0 1.473 * [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 1.474 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.478 * [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 1.479 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0 1.479 * [backup-simplify]: Simplify (+ 0 0) into 0 1.479 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 1.480 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 1.480 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0 1.480 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a 1.480 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 1.480 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 1.480 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 1.480 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a))) 1.480 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a 1.480 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 1.480 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 1.480 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 1.480 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a))) 1.480 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a))) 1.480 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0 1.480 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a))) 1.480 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 1.481 * [backup-simplify]: Simplify (+ 0) into 0 1.481 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0 1.482 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.483 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0 1.483 * [backup-simplify]: Simplify (+ 0 0) into 0 1.483 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.484 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.485 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.486 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0 1.486 * [backup-simplify]: Simplify (+ 0 0) into 0 1.486 * [backup-simplify]: Simplify 0 into 0 1.487 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1.488 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.502 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1.503 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1.503 * [backup-simplify]: Simplify 0 into 0 1.505 * [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 1.506 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.508 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 1.508 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 1.509 * [backup-simplify]: Simplify (+ 0 0) into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.510 * [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 1.511 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.513 * [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 1.514 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0 1.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.518 * [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 1.520 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.523 * [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 1.524 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0 1.524 * [backup-simplify]: Simplify (+ 0 0) into 0 1.524 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a)) 1.525 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a))) 1.525 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0 1.525 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a 1.525 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 1.525 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 1.525 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a))) 1.525 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a))) 1.525 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a 1.525 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 1.525 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 1.525 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a))) 1.525 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a))) 1.525 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a))) 1.526 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0 1.526 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a))) 1.526 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a))) 1.526 * [backup-simplify]: Simplify (+ 0) into 0 1.527 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0 1.527 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1.528 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0 1.528 * [backup-simplify]: Simplify (+ 0 0) into 0 1.528 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1.530 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.531 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1.531 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0 1.531 * [backup-simplify]: Simplify (+ 0 0) into 0 1.531 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1.533 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.534 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1.535 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1.535 * [backup-simplify]: Simplify (+ 0 0) into 0 1.535 * [backup-simplify]: Simplify 0 into 0 1.538 * [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 1.539 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.540 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 1.541 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 1.541 * [backup-simplify]: Simplify (+ 0 0) into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.543 * [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 1.544 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.546 * [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 1.547 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0 1.547 * [backup-simplify]: Simplify (+ 0 0) into 0 1.547 * [backup-simplify]: Simplify 0 into 0 1.551 * [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 1.552 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.556 * [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 1.557 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0 1.557 * [backup-simplify]: Simplify (+ 0 0) into 0 1.557 * [backup-simplify]: Simplify 0 into 0 1.557 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a)) 1.557 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.557 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a))) 1.557 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0 1.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a))) 1.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a))) 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a))) 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify 0 into 0 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a))) 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a)))) 1.558 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0 1.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a)))) 1.558 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a)))) 1.558 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a)))) 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (/ 1 a))))) into (expm1 (sin (expm1 a))) 1.559 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (- a))))) into (expm1 (sin (expm1 (/ -1 a)))) 1.559 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0 1.559 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a 1.559 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a)))) 1.559 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a 1.559 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a)))) 1.559 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a)))) 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.559 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) into (expm1 (sin (expm1 a))) 1.560 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 1.560 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.560 * [approximate]: Taking taylor expansion of (expm1 a) in (a) around 0 1.560 * [taylor]: Taking taylor expansion of (expm1 a) in a 1.560 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.560 * [taylor]: Taking taylor expansion of (expm1 a) in a 1.560 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.560 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 1.560 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 1.560 * [approximate]: Taking taylor expansion of (expm1 (/ 1 a)) in (a) around 0 1.560 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 1.560 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 1.560 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 1.560 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 1.561 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify (expm1 (/ 1 (/ 1 a))) into (expm1 a) 1.561 * [backup-simplify]: Simplify (expm1 (/ 1 (- a))) into (expm1 (/ -1 a)) 1.561 * [approximate]: Taking taylor expansion of (expm1 (/ -1 a)) in (a) around 0 1.561 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 1.561 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 1.561 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 1.561 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 1.561 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify (expm1 (/ -1 (/ 1 (- a)))) into (expm1 a) 1.562 * * * [progress]: simplifying candidates 1.562 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #real (real->posit16 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> 1.562 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 1.562 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (sin (expm1 a))))) (atan a)) a)))> 1.563 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #real (real->posit16 (expm1 (sin (expm1 a))))) (atan a)) a)))> 1.563 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #real (real->posit16 (expm1 a))))) (atan a)) a)))> 1.563 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 1.563 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 1.564 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 1.565 * [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)) (real->posit16 (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))) (real->posit16 (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)))) (real->posit16 (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)) (real->posit16 (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) 1.565 * * [simplify]: iteration 1: (39 enodes) 1.580 * * [simplify]: iteration 2: (43 enodes) 1.592 * * [simplify]: iteration 3: (48 enodes) 1.607 * * [simplify]: iteration 4: (59 enodes) 1.631 * * [simplify]: iteration 5: (88 enodes) 1.675 * * [simplify]: iteration 6: (165 enodes) 1.720 * * [simplify]: iteration 7: (318 enodes) 1.826 * * [simplify]: iteration 8: (702 enodes) 2.292 * * [simplify]: iteration 9: (1865 enodes) 4.571 * * [simplify]: Extracting #0: cost 32 inf + 0 4.572 * * [simplify]: Extracting #1: cost 282 inf + 0 4.576 * * [simplify]: Extracting #2: cost 833 inf + 3514 4.581 * * [simplify]: Extracting #3: cost 808 inf + 10419 4.602 * * [simplify]: Extracting #4: cost 546 inf + 225447 4.668 * * [simplify]: Extracting #5: cost 100 inf + 680353 4.759 * * [simplify]: Extracting #6: cost 0 inf + 768445 4.899 * * [simplify]: Extracting #7: cost 0 inf + 767983 5.015 * [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)) (* (* (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)) (real->posit16 (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))) (real->posit16 (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)))) (real->posit16 (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)) (real->posit16 (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) 5.018 * * * [progress]: adding candidates to table 5.641 * * [progress]: iteration 2 / 4 5.641 * * * [progress]: picking best candidate 5.697 * * * * [pick]: Picked # 5.697 * * * [progress]: localizing error 5.770 * * * [progress]: generating rewritten candidates 5.770 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.770 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2) 5.772 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2) 5.774 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 5.776 * * * [progress]: generating series expansions 5.776 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.776 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 5.776 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 5.776 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 5.776 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 5.777 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 5.777 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 5.777 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 5.778 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 (/ 1 a))) (cbrt (expm1 (/ 1 a)))) (cbrt (expm1 (/ 1 a)))))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) 5.778 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 5.778 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 5.778 * [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)) 5.778 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 5.778 * [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)) 5.778 * [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)) 5.778 * [backup-simplify]: Simplify 0 into 0 5.778 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [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) 5.779 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 (/ 1 (- a)))) (cbrt (expm1 (/ 1 (- a))))) (cbrt (expm1 (/ 1 (- a))))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) 5.780 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 5.780 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 5.780 * [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)) 5.780 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 5.780 * [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)) 5.780 * [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)) 5.780 * [backup-simplify]: Simplify 0 into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.781 * [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) 5.781 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2) 5.781 * [backup-simplify]: Simplify (cbrt (expm1 a)) into (pow (expm1 a) 1/3) 5.781 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0 5.781 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a 5.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a 5.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a 5.781 * [taylor]: Taking taylor expansion of 1/3 in a 5.781 * [backup-simplify]: Simplify 1/3 into 1/3 5.781 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a 5.781 * [taylor]: Taking taylor expansion of (expm1 a) in a 5.781 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 5.781 * [backup-simplify]: Simplify (log (expm1 a)) into (log (expm1 a)) 5.782 * [backup-simplify]: Simplify (* 1/3 (log (expm1 a))) into (* 1/3 (log (expm1 a))) 5.782 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 a)))) into (pow (expm1 a) 1/3) 5.782 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a 5.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a 5.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a 5.782 * [taylor]: Taking taylor expansion of 1/3 in a 5.782 * [backup-simplify]: Simplify 1/3 into 1/3 5.782 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a 5.782 * [taylor]: Taking taylor expansion of (expm1 a) in a 5.782 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 5.782 * [backup-simplify]: Simplify (log (expm1 a)) into (log (expm1 a)) 5.782 * [backup-simplify]: Simplify (* 1/3 (log (expm1 a))) into (* 1/3 (log (expm1 a))) 5.782 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 a)))) into (pow (expm1 a) 1/3) 5.782 * [backup-simplify]: Simplify (pow (expm1 a) 1/3) into (pow (expm1 a) 1/3) 5.784 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 a) 1)))) 1) into 0 5.785 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 a)))) into 0 5.786 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.788 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 a) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 a) 1)))) 2) into 0 5.790 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 a))))) into 0 5.791 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.791 * [backup-simplify]: Simplify 0 into 0 5.795 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 a) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 a) 1)))) 6) into 0 5.797 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a)))))) into 0 5.799 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.799 * [backup-simplify]: Simplify 0 into 0 5.804 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 a) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 a) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 a) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 1)))) 24) into 0 5.806 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a))))))) into 0 5.809 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.809 * [backup-simplify]: Simplify 0 into 0 5.817 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 a) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 a) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 a) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 a) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 a) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 a) 1)))) 120) into 0 5.819 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a)))))))) into 0 5.823 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.823 * [backup-simplify]: Simplify 0 into 0 5.836 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 a) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 a) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 a) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 a) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 a) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 a) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 a) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 a) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 a) 1)))) 720) into 0 5.839 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a))))))))) into 0 5.845 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.845 * [backup-simplify]: Simplify 0 into 0 5.845 * [backup-simplify]: Simplify (pow (expm1 a) 1/3) into (pow (expm1 a) 1/3) 5.845 * [backup-simplify]: Simplify (cbrt (expm1 (/ 1 a))) into (pow (expm1 (/ 1 a)) 1/3) 5.845 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0 5.845 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a 5.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a 5.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a 5.845 * [taylor]: Taking taylor expansion of 1/3 in a 5.845 * [backup-simplify]: Simplify 1/3 into 1/3 5.845 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a 5.845 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 5.846 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 5.846 * [backup-simplify]: Simplify (log (expm1 (/ 1 a))) into (log (expm1 (/ 1 a))) 5.846 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ 1 a)))) into (* 1/3 (log (expm1 (/ 1 a)))) 5.846 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ 1 a))))) into (pow (expm1 (/ 1 a)) 1/3) 5.846 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a 5.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a 5.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a 5.846 * [taylor]: Taking taylor expansion of 1/3 in a 5.846 * [backup-simplify]: Simplify 1/3 into 1/3 5.846 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a 5.846 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 5.846 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 5.846 * [backup-simplify]: Simplify (log (expm1 (/ 1 a))) into (log (expm1 (/ 1 a))) 5.846 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ 1 a)))) into (* 1/3 (log (expm1 (/ 1 a)))) 5.846 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ 1 a))))) into (pow (expm1 (/ 1 a)) 1/3) 5.847 * [backup-simplify]: Simplify (pow (expm1 (/ 1 a)) 1/3) into (pow (expm1 (/ 1 a)) 1/3) 5.848 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 1) into 0 5.848 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 (/ 1 a))))) into 0 5.849 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.851 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 2) into 0 5.852 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))) into 0 5.853 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.853 * [backup-simplify]: Simplify 0 into 0 5.857 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 (/ 1 a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 6) into 0 5.858 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a))))))) into 0 5.860 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.860 * [backup-simplify]: Simplify 0 into 0 5.865 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 (/ 1 a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 24) into 0 5.867 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))))) into 0 5.870 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.870 * [backup-simplify]: Simplify 0 into 0 5.876 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 (/ 1 a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 120) into 0 5.877 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a))))))))) into 0 5.880 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.880 * [backup-simplify]: Simplify 0 into 0 5.887 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 (/ 1 a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 (/ 1 a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 720) into 0 5.889 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))))))) into 0 5.892 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.892 * [backup-simplify]: Simplify 0 into 0 5.892 * [backup-simplify]: Simplify (pow (expm1 (/ 1 (/ 1 a))) 1/3) into (pow (expm1 a) 1/3) 5.892 * [backup-simplify]: Simplify (cbrt (expm1 (/ 1 (- a)))) into (pow (expm1 (/ -1 a)) 1/3) 5.892 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0 5.892 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a 5.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a 5.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a 5.892 * [taylor]: Taking taylor expansion of 1/3 in a 5.892 * [backup-simplify]: Simplify 1/3 into 1/3 5.892 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a 5.892 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 5.892 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 5.892 * [backup-simplify]: Simplify (log (expm1 (/ -1 a))) into (log (expm1 (/ -1 a))) 5.893 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ -1 a)))) into (* 1/3 (log (expm1 (/ -1 a)))) 5.893 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ -1 a))))) into (pow (expm1 (/ -1 a)) 1/3) 5.893 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a 5.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a 5.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a 5.893 * [taylor]: Taking taylor expansion of 1/3 in a 5.893 * [backup-simplify]: Simplify 1/3 into 1/3 5.893 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a 5.893 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 5.893 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 5.893 * [backup-simplify]: Simplify (log (expm1 (/ -1 a))) into (log (expm1 (/ -1 a))) 5.893 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ -1 a)))) into (* 1/3 (log (expm1 (/ -1 a)))) 5.893 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ -1 a))))) into (pow (expm1 (/ -1 a)) 1/3) 5.893 * [backup-simplify]: Simplify (pow (expm1 (/ -1 a)) 1/3) into (pow (expm1 (/ -1 a)) 1/3) 5.894 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 1) into 0 5.894 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 (/ -1 a))))) into 0 5.895 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 5.895 * [backup-simplify]: Simplify 0 into 0 5.896 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 2) into 0 5.896 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))) into 0 5.897 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.897 * [backup-simplify]: Simplify 0 into 0 5.902 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 (/ -1 a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 6) into 0 5.902 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a))))))) into 0 5.903 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.904 * [backup-simplify]: Simplify 0 into 0 5.907 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 (/ -1 a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 24) into 0 5.908 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))))) into 0 5.909 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.910 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 (/ -1 a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 120) into 0 5.917 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a))))))))) into 0 5.921 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.921 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 (/ -1 a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 (/ -1 a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 720) into 0 5.937 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))))))) into 0 5.943 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.944 * [backup-simplify]: Simplify 0 into 0 5.944 * [backup-simplify]: Simplify (pow (expm1 (/ -1 (/ 1 (- a)))) 1/3) into (pow (expm1 a) 1/3) 5.944 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2) 5.944 * [backup-simplify]: Simplify (cbrt (expm1 a)) into (pow (expm1 a) 1/3) 5.944 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0 5.944 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a 5.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a 5.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a 5.944 * [taylor]: Taking taylor expansion of 1/3 in a 5.944 * [backup-simplify]: Simplify 1/3 into 1/3 5.944 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a 5.944 * [taylor]: Taking taylor expansion of (expm1 a) in a 5.944 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 5.944 * [backup-simplify]: Simplify (log (expm1 a)) into (log (expm1 a)) 5.944 * [backup-simplify]: Simplify (* 1/3 (log (expm1 a))) into (* 1/3 (log (expm1 a))) 5.944 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 a)))) into (pow (expm1 a) 1/3) 5.944 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a 5.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a 5.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a 5.945 * [taylor]: Taking taylor expansion of 1/3 in a 5.945 * [backup-simplify]: Simplify 1/3 into 1/3 5.945 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a 5.945 * [taylor]: Taking taylor expansion of (expm1 a) in a 5.945 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 5.945 * [backup-simplify]: Simplify (log (expm1 a)) into (log (expm1 a)) 5.945 * [backup-simplify]: Simplify (* 1/3 (log (expm1 a))) into (* 1/3 (log (expm1 a))) 5.945 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 a)))) into (pow (expm1 a) 1/3) 5.945 * [backup-simplify]: Simplify (pow (expm1 a) 1/3) into (pow (expm1 a) 1/3) 5.946 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 a) 1)))) 1) into 0 5.947 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 a)))) into 0 5.948 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0 5.948 * [backup-simplify]: Simplify 0 into 0 5.949 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 a) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 a) 1)))) 2) into 0 5.950 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 a))))) into 0 5.952 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.952 * [backup-simplify]: Simplify 0 into 0 5.954 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 a) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 a) 1)))) 6) into 0 5.956 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a)))))) into 0 5.958 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.958 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 a) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 a) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 a) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 1)))) 24) into 0 5.964 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a))))))) into 0 5.967 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 a) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 a) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 a) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 a) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 a) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 a) 1)))) 120) into 0 5.977 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a)))))))) into 0 5.981 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.982 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 a) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 a) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 a) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 a) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 a) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 a) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 a) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 a) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 a) 1)))) 720) into 0 5.997 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a))))))))) into 0 6.004 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.004 * [backup-simplify]: Simplify 0 into 0 6.004 * [backup-simplify]: Simplify (pow (expm1 a) 1/3) into (pow (expm1 a) 1/3) 6.004 * [backup-simplify]: Simplify (cbrt (expm1 (/ 1 a))) into (pow (expm1 (/ 1 a)) 1/3) 6.004 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0 6.004 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a 6.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a 6.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a 6.004 * [taylor]: Taking taylor expansion of 1/3 in a 6.004 * [backup-simplify]: Simplify 1/3 into 1/3 6.004 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a 6.004 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 6.004 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 6.004 * [backup-simplify]: Simplify (log (expm1 (/ 1 a))) into (log (expm1 (/ 1 a))) 6.005 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ 1 a)))) into (* 1/3 (log (expm1 (/ 1 a)))) 6.005 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ 1 a))))) into (pow (expm1 (/ 1 a)) 1/3) 6.005 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a 6.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a 6.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a 6.005 * [taylor]: Taking taylor expansion of 1/3 in a 6.005 * [backup-simplify]: Simplify 1/3 into 1/3 6.005 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a 6.005 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 6.005 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 6.005 * [backup-simplify]: Simplify (log (expm1 (/ 1 a))) into (log (expm1 (/ 1 a))) 6.005 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ 1 a)))) into (* 1/3 (log (expm1 (/ 1 a)))) 6.006 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ 1 a))))) into (pow (expm1 (/ 1 a)) 1/3) 6.006 * [backup-simplify]: Simplify (pow (expm1 (/ 1 a)) 1/3) into (pow (expm1 (/ 1 a)) 1/3) 6.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 1) into 0 6.007 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 (/ 1 a))))) into 0 6.008 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.008 * [backup-simplify]: Simplify 0 into 0 6.010 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 2) into 0 6.011 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))) into 0 6.013 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.013 * [backup-simplify]: Simplify 0 into 0 6.017 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 (/ 1 a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 6) into 0 6.018 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a))))))) into 0 6.020 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.020 * [backup-simplify]: Simplify 0 into 0 6.026 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 (/ 1 a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 24) into 0 6.027 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))))) into 0 6.030 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.030 * [backup-simplify]: Simplify 0 into 0 6.038 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 (/ 1 a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 120) into 0 6.040 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a))))))))) into 0 6.046 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.046 * [backup-simplify]: Simplify 0 into 0 6.057 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 (/ 1 a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 (/ 1 a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 720) into 0 6.058 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))))))) into 0 6.062 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.062 * [backup-simplify]: Simplify 0 into 0 6.062 * [backup-simplify]: Simplify (pow (expm1 (/ 1 (/ 1 a))) 1/3) into (pow (expm1 a) 1/3) 6.062 * [backup-simplify]: Simplify (cbrt (expm1 (/ 1 (- a)))) into (pow (expm1 (/ -1 a)) 1/3) 6.062 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0 6.062 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a 6.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a 6.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a 6.062 * [taylor]: Taking taylor expansion of 1/3 in a 6.062 * [backup-simplify]: Simplify 1/3 into 1/3 6.062 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a 6.062 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 6.062 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 6.062 * [backup-simplify]: Simplify (log (expm1 (/ -1 a))) into (log (expm1 (/ -1 a))) 6.062 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ -1 a)))) into (* 1/3 (log (expm1 (/ -1 a)))) 6.062 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ -1 a))))) into (pow (expm1 (/ -1 a)) 1/3) 6.062 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a 6.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a 6.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a 6.062 * [taylor]: Taking taylor expansion of 1/3 in a 6.062 * [backup-simplify]: Simplify 1/3 into 1/3 6.062 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a 6.063 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 6.063 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 6.063 * [backup-simplify]: Simplify (log (expm1 (/ -1 a))) into (log (expm1 (/ -1 a))) 6.063 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ -1 a)))) into (* 1/3 (log (expm1 (/ -1 a)))) 6.063 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ -1 a))))) into (pow (expm1 (/ -1 a)) 1/3) 6.063 * [backup-simplify]: Simplify (pow (expm1 (/ -1 a)) 1/3) into (pow (expm1 (/ -1 a)) 1/3) 6.063 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 1) into 0 6.064 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 (/ -1 a))))) into 0 6.064 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.064 * [backup-simplify]: Simplify 0 into 0 6.065 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 2) into 0 6.066 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))) into 0 6.067 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.067 * [backup-simplify]: Simplify 0 into 0 6.069 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 (/ -1 a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 6) into 0 6.069 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a))))))) into 0 6.070 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.070 * [backup-simplify]: Simplify 0 into 0 6.073 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 (/ -1 a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 24) into 0 6.074 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))))) into 0 6.076 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.076 * [backup-simplify]: Simplify 0 into 0 6.080 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 (/ -1 a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 120) into 0 6.082 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a))))))))) into 0 6.084 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.084 * [backup-simplify]: Simplify 0 into 0 6.092 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 (/ -1 a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 (/ -1 a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 720) into 0 6.093 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))))))) into 0 6.097 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.097 * [backup-simplify]: Simplify 0 into 0 6.097 * [backup-simplify]: Simplify (pow (expm1 (/ -1 (/ 1 (- a)))) 1/3) into (pow (expm1 a) 1/3) 6.097 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1) 6.097 * [backup-simplify]: Simplify (cbrt (expm1 a)) into (pow (expm1 a) 1/3) 6.097 * [approximate]: Taking taylor expansion of (pow (expm1 a) 1/3) in (a) around 0 6.097 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a 6.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a 6.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a 6.097 * [taylor]: Taking taylor expansion of 1/3 in a 6.097 * [backup-simplify]: Simplify 1/3 into 1/3 6.097 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a 6.097 * [taylor]: Taking taylor expansion of (expm1 a) in a 6.097 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 6.097 * [backup-simplify]: Simplify (log (expm1 a)) into (log (expm1 a)) 6.097 * [backup-simplify]: Simplify (* 1/3 (log (expm1 a))) into (* 1/3 (log (expm1 a))) 6.097 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 a)))) into (pow (expm1 a) 1/3) 6.097 * [taylor]: Taking taylor expansion of (pow (expm1 a) 1/3) in a 6.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 a)))) in a 6.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 a))) in a 6.098 * [taylor]: Taking taylor expansion of 1/3 in a 6.098 * [backup-simplify]: Simplify 1/3 into 1/3 6.098 * [taylor]: Taking taylor expansion of (log (expm1 a)) in a 6.098 * [taylor]: Taking taylor expansion of (expm1 a) in a 6.098 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 6.098 * [backup-simplify]: Simplify (log (expm1 a)) into (log (expm1 a)) 6.098 * [backup-simplify]: Simplify (* 1/3 (log (expm1 a))) into (* 1/3 (log (expm1 a))) 6.098 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 a)))) into (pow (expm1 a) 1/3) 6.098 * [backup-simplify]: Simplify (pow (expm1 a) 1/3) into (pow (expm1 a) 1/3) 6.098 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 a) 1)))) 1) into 0 6.099 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 a)))) into 0 6.099 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0 6.099 * [backup-simplify]: Simplify 0 into 0 6.100 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 a) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 a) 1)))) 2) into 0 6.101 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 a))))) into 0 6.102 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.102 * [backup-simplify]: Simplify 0 into 0 6.103 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 a) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 a) 1)))) 6) into 0 6.104 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a)))))) into 0 6.105 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.105 * [backup-simplify]: Simplify 0 into 0 6.108 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 a) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 a) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 a) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 1)))) 24) into 0 6.109 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a))))))) into 0 6.111 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.111 * [backup-simplify]: Simplify 0 into 0 6.115 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 a) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 a) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 a) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 a) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 a) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 a) 1)))) 120) into 0 6.117 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a)))))))) into 0 6.119 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.119 * [backup-simplify]: Simplify 0 into 0 6.130 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 a) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 a) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 a) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 a) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 a) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 a) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 a) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 a) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 a) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 a) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 a) 1)))) 720) into 0 6.132 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 a))))))))) into 0 6.138 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 a)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.139 * [backup-simplify]: Simplify 0 into 0 6.139 * [backup-simplify]: Simplify (pow (expm1 a) 1/3) into (pow (expm1 a) 1/3) 6.139 * [backup-simplify]: Simplify (cbrt (expm1 (/ 1 a))) into (pow (expm1 (/ 1 a)) 1/3) 6.139 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in (a) around 0 6.139 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a 6.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a 6.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a 6.139 * [taylor]: Taking taylor expansion of 1/3 in a 6.139 * [backup-simplify]: Simplify 1/3 into 1/3 6.139 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a 6.139 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 6.139 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 6.139 * [backup-simplify]: Simplify (log (expm1 (/ 1 a))) into (log (expm1 (/ 1 a))) 6.139 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ 1 a)))) into (* 1/3 (log (expm1 (/ 1 a)))) 6.139 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ 1 a))))) into (pow (expm1 (/ 1 a)) 1/3) 6.139 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 a)) 1/3) in a 6.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ 1 a))))) in a 6.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ 1 a)))) in a 6.139 * [taylor]: Taking taylor expansion of 1/3 in a 6.139 * [backup-simplify]: Simplify 1/3 into 1/3 6.140 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 a))) in a 6.140 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 6.140 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 6.140 * [backup-simplify]: Simplify (log (expm1 (/ 1 a))) into (log (expm1 (/ 1 a))) 6.140 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ 1 a)))) into (* 1/3 (log (expm1 (/ 1 a)))) 6.140 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ 1 a))))) into (pow (expm1 (/ 1 a)) 1/3) 6.140 * [backup-simplify]: Simplify (pow (expm1 (/ 1 a)) 1/3) into (pow (expm1 (/ 1 a)) 1/3) 6.141 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 1) into 0 6.141 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 (/ 1 a))))) into 0 6.142 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.142 * [backup-simplify]: Simplify 0 into 0 6.146 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 2) into 0 6.146 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))) into 0 6.148 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.148 * [backup-simplify]: Simplify 0 into 0 6.151 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 (/ 1 a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 6) into 0 6.152 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a))))))) into 0 6.154 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.154 * [backup-simplify]: Simplify 0 into 0 6.159 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 (/ 1 a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 24) into 0 6.160 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))))) into 0 6.163 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.171 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 (/ 1 a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 120) into 0 6.173 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a))))))))) into 0 6.177 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.177 * [backup-simplify]: Simplify 0 into 0 6.189 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 (/ 1 a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 (/ 1 a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 (/ 1 a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 (/ 1 a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 (/ 1 a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ 1 a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 (/ 1 a)) 1)))) 720) into 0 6.192 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ 1 a)))))))))) into 0 6.198 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ 1 a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.198 * [backup-simplify]: Simplify 0 into 0 6.199 * [backup-simplify]: Simplify (pow (expm1 (/ 1 (/ 1 a))) 1/3) into (pow (expm1 a) 1/3) 6.199 * [backup-simplify]: Simplify (cbrt (expm1 (/ 1 (- a)))) into (pow (expm1 (/ -1 a)) 1/3) 6.199 * [approximate]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in (a) around 0 6.199 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a 6.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a 6.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a 6.199 * [taylor]: Taking taylor expansion of 1/3 in a 6.199 * [backup-simplify]: Simplify 1/3 into 1/3 6.199 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a 6.199 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 6.199 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 6.199 * [backup-simplify]: Simplify (log (expm1 (/ -1 a))) into (log (expm1 (/ -1 a))) 6.199 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ -1 a)))) into (* 1/3 (log (expm1 (/ -1 a)))) 6.199 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ -1 a))))) into (pow (expm1 (/ -1 a)) 1/3) 6.199 * [taylor]: Taking taylor expansion of (pow (expm1 (/ -1 a)) 1/3) in a 6.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (expm1 (/ -1 a))))) in a 6.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (expm1 (/ -1 a)))) in a 6.199 * [taylor]: Taking taylor expansion of 1/3 in a 6.199 * [backup-simplify]: Simplify 1/3 into 1/3 6.199 * [taylor]: Taking taylor expansion of (log (expm1 (/ -1 a))) in a 6.199 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 6.200 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 6.200 * [backup-simplify]: Simplify (log (expm1 (/ -1 a))) into (log (expm1 (/ -1 a))) 6.200 * [backup-simplify]: Simplify (* 1/3 (log (expm1 (/ -1 a)))) into (* 1/3 (log (expm1 (/ -1 a)))) 6.200 * [backup-simplify]: Simplify (exp (* 1/3 (log (expm1 (/ -1 a))))) into (pow (expm1 (/ -1 a)) 1/3) 6.200 * [backup-simplify]: Simplify (pow (expm1 (/ -1 a)) 1/3) into (pow (expm1 (/ -1 a)) 1/3) 6.201 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 1) into 0 6.201 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (expm1 (/ -1 a))))) into 0 6.202 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 6.202 * [backup-simplify]: Simplify 0 into 0 6.204 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 2) into 0 6.205 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))) into 0 6.206 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.206 * [backup-simplify]: Simplify 0 into 0 6.209 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (expm1 (/ -1 a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 6) into 0 6.211 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a))))))) into 0 6.212 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.212 * [backup-simplify]: Simplify 0 into 0 6.218 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (expm1 (/ -1 a)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 24) into 0 6.219 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))))) into 0 6.220 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.220 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (expm1 (/ -1 a)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 120) into 0 6.226 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a))))))))) into 0 6.228 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.228 * [backup-simplify]: Simplify 0 into 0 6.235 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (expm1 (/ -1 a)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (expm1 (/ -1 a)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (expm1 (/ -1 a)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (expm1 (/ -1 a)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (expm1 (/ -1 a)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (expm1 (/ -1 a)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (expm1 (/ -1 a)) 1)))) 720) into 0 6.237 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (expm1 (/ -1 a)))))))))) into 0 6.240 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (expm1 (/ -1 a))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify (pow (expm1 (/ -1 (/ 1 (- a)))) 1/3) into (pow (expm1 a) 1/3) 6.241 * * * [progress]: simplifying candidates 6.241 * * * * [progress]: [ 1 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 2 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 3 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 4 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 5 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 6 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 7 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 8 / 56 ] simplifiying candidate #real (real->posit16 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))))> 6.241 * * * * [progress]: [ 9 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 10 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 11 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 12 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 13 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 14 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 15 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 16 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 17 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 18 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 19 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 20 / 56 ] simplifiying candidate #real (real->posit16 (cbrt (expm1 a))))))) (atan a)) a)))> 6.241 * * * * [progress]: [ 21 / 56 ] simplifiying candidate # 6.241 * * * * [progress]: [ 22 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 23 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 24 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 25 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 26 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 27 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 28 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 29 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 30 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 31 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 32 / 56 ] simplifiying candidate #real (real->posit16 (cbrt (expm1 a))))) (cbrt (expm1 a))))) (atan a)) a)))> 6.242 * * * * [progress]: [ 33 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 34 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 35 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 36 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 37 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 38 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 39 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 40 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 41 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 42 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 43 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 44 / 56 ] simplifiying candidate #real (real->posit16 (cbrt (expm1 a)))) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> 6.242 * * * * [progress]: [ 45 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 46 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 47 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 48 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 49 / 56 ] simplifiying candidate # 6.242 * * * * [progress]: [ 50 / 56 ] simplifiying candidate # 6.243 * * * * [progress]: [ 51 / 56 ] simplifiying candidate # 6.243 * * * * [progress]: [ 52 / 56 ] simplifiying candidate # 6.243 * * * * [progress]: [ 53 / 56 ] simplifiying candidate # 6.243 * * * * [progress]: [ 54 / 56 ] simplifiying candidate # 6.243 * * * * [progress]: [ 55 / 56 ] simplifiying candidate # 6.243 * * * * [progress]: [ 56 / 56 ] simplifiying candidate # 6.243 * [simplify]: Simplifying: (log (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (exp (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (* (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (* (* (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (real->posit16 (fmod (atan2 (expm1 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)) (log (cbrt (expm1 a))) (exp (cbrt (expm1 a))) (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt 1) (cbrt (expm1 a)) (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (real->posit16 (cbrt (expm1 a))) (log (cbrt (expm1 a))) (exp (cbrt (expm1 a))) (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt 1) (cbrt (expm1 a)) (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (real->posit16 (cbrt (expm1 a))) (log (cbrt (expm1 a))) (exp (cbrt (expm1 a))) (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt 1) (cbrt (expm1 a)) (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (real->posit16 (cbrt (expm1 a))) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) (pow (expm1 a) 1/3) 6.244 * * [simplify]: iteration 1: (35 enodes) 6.250 * * [simplify]: iteration 2: (45 enodes) 6.259 * * [simplify]: iteration 3: (76 enodes) 6.276 * * [simplify]: iteration 4: (133 enodes) 6.345 * * [simplify]: iteration 5: (364 enodes) 6.619 * * [simplify]: iteration 6: (1353 enodes) 12.145 * * [simplify]: Extracting #0: cost 19 inf + 0 12.145 * * [simplify]: Extracting #1: cost 256 inf + 1 12.150 * * [simplify]: Extracting #2: cost 1090 inf + 2007 12.166 * * [simplify]: Extracting #3: cost 998 inf + 69639 12.242 * * [simplify]: Extracting #4: cost 316 inf + 458521 12.330 * * [simplify]: Extracting #5: cost 20 inf + 708663 12.422 * * [simplify]: Extracting #6: cost 0 inf + 724779 12.585 * [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)) (* (* (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)) (real->posit16 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (* (log (expm1 a)) 1/3) (exp (cbrt (expm1 a))) (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))) 1 (cbrt (expm1 a)) (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (expm1 a) (sqrt (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (real->posit16 (cbrt (expm1 a))) (* (log (expm1 a)) 1/3) (exp (cbrt (expm1 a))) (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))) 1 (cbrt (expm1 a)) (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (expm1 a) (sqrt (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (real->posit16 (cbrt (expm1 a))) (* (log (expm1 a)) 1/3) (exp (cbrt (expm1 a))) (cbrt (* (cbrt (expm1 a)) (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (cbrt (sqrt (expm1 a))) (cbrt (sqrt (expm1 a))) 1 (cbrt (expm1 a)) (* (cbrt (cbrt (expm1 a))) (cbrt (cbrt (expm1 a)))) (cbrt (cbrt (expm1 a))) (expm1 a) (sqrt (cbrt (expm1 a))) (sqrt (cbrt (expm1 a))) (real->posit16 (cbrt (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) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) (cbrt (expm1 a)) 12.593 * * * [progress]: adding candidates to table 13.391 * * [progress]: iteration 3 / 4 13.391 * * * [progress]: picking best candidate 13.549 * * * * [pick]: Picked # 13.549 * * * [progress]: localizing error 13.607 * * * [progress]: generating rewritten candidates 13.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 13.607 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 13.607 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 13.608 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1) 13.610 * * * [progress]: generating series expansions 13.610 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 13.610 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.610 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 13.610 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 13.611 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.611 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 13.611 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.611 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.611 * [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)) 13.611 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 13.611 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 13.611 * [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)) 13.611 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 13.611 * [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)) 13.611 * [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)) 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.611 * [backup-simplify]: Simplify 0 into 0 13.612 * [backup-simplify]: Simplify 0 into 0 13.612 * [backup-simplify]: Simplify 0 into 0 13.612 * [backup-simplify]: Simplify 0 into 0 13.612 * [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) 13.612 * [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)) 13.612 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 13.612 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 13.612 * [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)) 13.612 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 13.612 * [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)) 13.612 * [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)) 13.612 * [backup-simplify]: Simplify 0 into 0 13.612 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [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) 13.613 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 13.613 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.613 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 13.613 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 13.613 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.613 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 13.613 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.613 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.613 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.613 * [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)) 13.613 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 13.613 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 13.614 * [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)) 13.614 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 13.614 * [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)) 13.614 * [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)) 13.614 * [backup-simplify]: Simplify 0 into 0 13.614 * [backup-simplify]: Simplify 0 into 0 13.614 * [backup-simplify]: Simplify 0 into 0 13.614 * [backup-simplify]: Simplify 0 into 0 13.614 * [backup-simplify]: Simplify 0 into 0 13.614 * [backup-simplify]: Simplify 0 into 0 13.614 * [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) 13.614 * [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)) 13.614 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 13.614 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 13.614 * [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)) 13.614 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 13.614 * [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)) 13.615 * [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)) 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [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) 13.615 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 13.615 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.615 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 13.615 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 13.615 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.615 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 13.615 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.615 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify 0 into 0 13.615 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 13.616 * [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)) 13.616 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 13.616 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 13.616 * [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)) 13.616 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 13.616 * [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)) 13.616 * [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)) 13.616 * [backup-simplify]: Simplify 0 into 0 13.616 * [backup-simplify]: Simplify 0 into 0 13.616 * [backup-simplify]: Simplify 0 into 0 13.616 * [backup-simplify]: Simplify 0 into 0 13.616 * [backup-simplify]: Simplify 0 into 0 13.616 * [backup-simplify]: Simplify 0 into 0 13.616 * [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) 13.616 * [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)) 13.616 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 13.616 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 13.616 * [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)) 13.616 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 13.617 * [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)) 13.617 * [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)) 13.617 * [backup-simplify]: Simplify 0 into 0 13.617 * [backup-simplify]: Simplify 0 into 0 13.617 * [backup-simplify]: Simplify 0 into 0 13.617 * [backup-simplify]: Simplify 0 into 0 13.617 * [backup-simplify]: Simplify 0 into 0 13.617 * [backup-simplify]: Simplify 0 into 0 13.617 * [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) 13.617 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1) 13.617 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 13.617 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0 13.617 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a 13.617 * [taylor]: Taking taylor expansion of (expm1 a) in a 13.617 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 13.617 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 13.617 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a)) 13.617 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a 13.617 * [taylor]: Taking taylor expansion of (expm1 a) in a 13.617 * [backup-simplify]: Simplify (expm1 a) into (expm1 a) 13.617 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 13.617 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a)) 13.617 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a)) 13.617 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0 13.617 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a)) 13.618 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 13.618 * [backup-simplify]: Simplify (+ 0) into 0 13.618 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0 13.619 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.619 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0 13.620 * [backup-simplify]: Simplify (+ 0 0) into 0 13.620 * [backup-simplify]: Simplify 0 into 0 13.620 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.621 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0 13.621 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.622 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0 13.622 * [backup-simplify]: Simplify (+ 0 0) into 0 13.622 * [backup-simplify]: Simplify 0 into 0 13.623 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 13.623 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.625 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 13.625 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 13.626 * [backup-simplify]: Simplify (+ 0 0) into 0 13.626 * [backup-simplify]: Simplify 0 into 0 13.627 * [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 13.628 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.628 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 13.629 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 13.629 * [backup-simplify]: Simplify (+ 0 0) into 0 13.629 * [backup-simplify]: Simplify 0 into 0 13.630 * [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 13.631 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.632 * [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 13.633 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0 13.633 * [backup-simplify]: Simplify (+ 0 0) into 0 13.633 * [backup-simplify]: Simplify 0 into 0 13.635 * [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 13.636 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.638 * [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 13.639 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0 13.639 * [backup-simplify]: Simplify (+ 0 0) into 0 13.639 * [backup-simplify]: Simplify 0 into 0 13.639 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a)) 13.639 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 13.639 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0 13.639 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a 13.639 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 13.639 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 13.639 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 13.640 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a))) 13.640 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a 13.640 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a 13.640 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a)) 13.640 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 13.640 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a))) 13.640 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a))) 13.640 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0 13.640 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a))) 13.640 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a))) 13.640 * [backup-simplify]: Simplify (+ 0) into 0 13.641 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0 13.641 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.642 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0 13.642 * [backup-simplify]: Simplify (+ 0 0) into 0 13.642 * [backup-simplify]: Simplify 0 into 0 13.643 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.643 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0 13.643 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.644 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0 13.644 * [backup-simplify]: Simplify (+ 0 0) into 0 13.644 * [backup-simplify]: Simplify 0 into 0 13.645 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 13.645 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.646 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 13.647 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 13.647 * [backup-simplify]: Simplify (+ 0 0) into 0 13.647 * [backup-simplify]: Simplify 0 into 0 13.648 * [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 13.649 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.650 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 13.650 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 13.651 * [backup-simplify]: Simplify (+ 0 0) into 0 13.651 * [backup-simplify]: Simplify 0 into 0 13.652 * [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 13.652 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.654 * [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 13.655 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0 13.655 * [backup-simplify]: Simplify (+ 0 0) into 0 13.655 * [backup-simplify]: Simplify 0 into 0 13.657 * [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 13.658 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.660 * [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 13.661 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0 13.661 * [backup-simplify]: Simplify (+ 0 0) into 0 13.661 * [backup-simplify]: Simplify 0 into 0 13.661 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a)) 13.661 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a))) 13.661 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0 13.661 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a 13.661 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 13.661 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 13.661 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a))) 13.661 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a))) 13.661 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a 13.661 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a 13.662 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a)) 13.662 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a))) 13.662 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a))) 13.662 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a))) 13.662 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0 13.662 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a))) 13.662 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a))) 13.662 * [backup-simplify]: Simplify (+ 0) into 0 13.663 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0 13.663 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 13.664 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0 13.664 * [backup-simplify]: Simplify (+ 0 0) into 0 13.664 * [backup-simplify]: Simplify 0 into 0 13.664 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 13.665 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0 13.665 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 13.666 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0 13.666 * [backup-simplify]: Simplify (+ 0 0) into 0 13.666 * [backup-simplify]: Simplify 0 into 0 13.667 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 13.667 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.668 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 13.668 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 13.669 * [backup-simplify]: Simplify (+ 0 0) into 0 13.669 * [backup-simplify]: Simplify 0 into 0 13.670 * [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 13.671 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.672 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 13.672 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 13.672 * [backup-simplify]: Simplify (+ 0 0) into 0 13.672 * [backup-simplify]: Simplify 0 into 0 13.673 * [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 13.675 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.677 * [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 13.678 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0 13.678 * [backup-simplify]: Simplify (+ 0 0) into 0 13.679 * [backup-simplify]: Simplify 0 into 0 13.682 * [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 13.683 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.687 * [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 13.688 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0 13.689 * [backup-simplify]: Simplify (+ 0 0) into 0 13.689 * [backup-simplify]: Simplify 0 into 0 13.689 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a)) 13.689 * * * [progress]: simplifying candidates 13.689 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 13.689 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 13.689 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 13.689 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 13.689 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 13.689 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #real (real->posit16 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> 13.690 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> 13.690 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 13.690 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #real (real->posit16 (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)))))> 13.691 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #real (real->posit16 (sin (expm1 a))))) (atan a)) a)))))> 13.691 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 13.691 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 13.692 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 13.692 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 13.692 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 13.692 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 13.692 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 13.692 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 13.693 * [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)) (real->posit16 (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)) (real->posit16 (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)) (real->posit16 (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))) (real->posit16 (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)) 13.693 * * [simplify]: iteration 1: (23 enodes) 13.699 * * [simplify]: iteration 2: (25 enodes) 13.703 * * [simplify]: iteration 3: (28 enodes) 13.709 * * [simplify]: iteration 4: (35 enodes) 13.718 * * [simplify]: iteration 5: (50 enodes) 13.729 * * [simplify]: iteration 6: (89 enodes) 13.757 * * [simplify]: iteration 7: (166 enodes) 13.830 * * [simplify]: iteration 8: (361 enodes) 14.017 * * [simplify]: iteration 9: (939 enodes) 14.990 * * [simplify]: Extracting #0: cost 16 inf + 0 14.991 * * [simplify]: Extracting #1: cost 134 inf + 0 14.994 * * [simplify]: Extracting #2: cost 419 inf + 890 15.000 * * [simplify]: Extracting #3: cost 395 inf + 8730 15.011 * * [simplify]: Extracting #4: cost 331 inf + 63429 15.065 * * [simplify]: Extracting #5: cost 79 inf + 328022 15.146 * * [simplify]: Extracting #6: cost 0 inf + 426030 15.198 * * [simplify]: Extracting #7: cost 0 inf + 425991 15.246 * [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)) (* (* (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)) (real->posit16 (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)) (real->posit16 (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)) (real->posit16 (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))) (real->posit16 (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)) 15.249 * * * [progress]: adding candidates to table 15.913 * * [progress]: iteration 4 / 4 15.913 * * * [progress]: picking best candidate 16.168 * * * * [pick]: Picked # 16.168 * * * [progress]: localizing error 16.248 * * * [progress]: generating rewritten candidates 16.249 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 16.249 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 16.249 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1) 16.249 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 1) 16.250 * * * [progress]: generating series expansions 16.250 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 16.250 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.250 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 16.250 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.250 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.250 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.250 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.250 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.250 * [backup-simplify]: Simplify 0 into 0 16.250 * [backup-simplify]: Simplify 0 into 0 16.250 * [backup-simplify]: Simplify 0 into 0 16.250 * [backup-simplify]: Simplify 0 into 0 16.250 * [backup-simplify]: Simplify 0 into 0 16.250 * [backup-simplify]: Simplify 0 into 0 16.250 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.251 * [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)) 16.251 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 16.251 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.251 * [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)) 16.251 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.251 * [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)) 16.251 * [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)) 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [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) 16.251 * [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)) 16.251 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 16.251 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.251 * [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)) 16.252 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.252 * [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)) 16.252 * [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)) 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [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) 16.252 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 16.252 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.252 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 16.252 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.252 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.252 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.252 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.252 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.253 * [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)) 16.253 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 16.253 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.253 * [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)) 16.253 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.253 * [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)) 16.253 * [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)) 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [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) 16.254 * [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)) 16.254 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 16.254 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.254 * [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)) 16.254 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.254 * [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)) 16.254 * [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)) 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [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) 16.254 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1) 16.254 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.254 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 16.254 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.254 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.254 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.254 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.255 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.255 * [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)) 16.255 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 16.255 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.255 * [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)) 16.255 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.255 * [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)) 16.255 * [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)) 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify 0 into 0 16.256 * [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) 16.256 * [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)) 16.256 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 16.256 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.256 * [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)) 16.256 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.256 * [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)) 16.256 * [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)) 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [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) 16.256 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 1) 16.256 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.256 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0 16.256 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.257 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.257 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a 16.257 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.257 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 16.257 * [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)) 16.257 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0 16.257 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.257 * [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)) 16.257 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a 16.257 * [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)) 16.257 * [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)) 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [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) 16.258 * [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)) 16.258 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0 16.258 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.258 * [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)) 16.259 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a 16.259 * [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)) 16.259 * [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)) 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [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) 16.259 * * * [progress]: simplifying candidates 16.259 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #real (real->posit16 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> 16.260 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 16.260 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #real (real->posit16 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> 16.261 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #real (real->posit16 (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)))))> 16.261 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 16.261 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #real (real->posit16 (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)))))> 16.262 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 40 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 16.262 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 16.263 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 16.263 * [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)) (real->posit16 (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)) (real->posit16 (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)) (real->posit16 (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)) (real->posit16 (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) 16.264 * * [simplify]: iteration 1: (15 enodes) 16.270 * * [simplify]: iteration 2: (16 enodes) 16.276 * * [simplify]: iteration 3: (18 enodes) 16.282 * * [simplify]: iteration 4: (23 enodes) 16.291 * * [simplify]: iteration 5: (31 enodes) 16.303 * * [simplify]: iteration 6: (51 enodes) 16.322 * * [simplify]: iteration 7: (90 enodes) 16.358 * * [simplify]: iteration 8: (195 enodes) 16.464 * * [simplify]: iteration 9: (497 enodes) 16.950 * * [simplify]: iteration 10: (1571 enodes) 23.419 * * [simplify]: Extracting #0: cost 8 inf + 0 23.419 * * [simplify]: Extracting #1: cost 167 inf + 0 23.423 * * [simplify]: Extracting #2: cost 937 inf + 4 23.429 * * [simplify]: Extracting #3: cost 930 inf + 122 23.434 * * [simplify]: Extracting #4: cost 931 inf + 123 23.440 * * [simplify]: Extracting #5: cost 929 inf + 195 23.445 * * [simplify]: Extracting #6: cost 926 inf + 973 23.456 * * [simplify]: Extracting #7: cost 891 inf + 30483 23.527 * * [simplify]: Extracting #8: cost 428 inf + 657413 23.745 * * [simplify]: Extracting #9: cost 11 inf + 1285567 23.930 * * [simplify]: Extracting #10: cost 0 inf + 1286990 24.158 * * [simplify]: Extracting #11: cost 0 inf + 1284505 24.369 * [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)) (* (* (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)) (real->posit16 (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)) (real->posit16 (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)) (real->posit16 (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)) (real->posit16 (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.378 * * * [progress]: adding candidates to table 25.053 * [progress]: [Phase 3 of 3] Extracting. 25.053 * * [regime]: Finding splitpoints for: (# # # #real (real->posit16 (expm1 a))))) (atan a)) a)))> # # # # # # # # # #real (real->posit16 (sin (expm1 a))))) (atan a)) a)))))> # # # # # # # # # #real (real->posit16 (cbrt (expm1 a))))))) (atan a)) a)))> # # # # #) 25.066 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a) 25.066 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (# # # #real (real->posit16 (expm1 a))))) (atan a)) a)))> # # # # # # # # # #real (real->posit16 (sin (expm1 a))))) (atan a)) a)))))> # # # # # # # # # #real (real->posit16 (cbrt (expm1 a))))))) (atan a)) a)))> # # # # #) 25.371 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (# # # # # #) 25.463 * * * * [regimes]: Trying to branch on a from (# # # #real (real->posit16 (expm1 a))))) (atan a)) a)))> # # # # # # # # # #real (real->posit16 (sin (expm1 a))))) (atan a)) a)))))> # # # # # # # # # #real (real->posit16 (cbrt (expm1 a))))))) (atan a)) a)))> # # # # #) 25.736 * * * [regime]: Found split indices: #