0.036 * [progress]: [Phase 1 of 3] Setting up.
0.039 * * * [progress]: [1/2] Preparing points
0.461 * * * [progress]: [2/2] Setting up program.
0.465 * [progress]: [Phase 2 of 3] Improving.
0.466 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))>
0.467 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2)))
0.468 * * [simplify]: iters left: 4 (7 enodes)
0.475 * * [simplify]: iters left: 3 (33 enodes)
0.482 * * [simplify]: iters left: 2 (57 enodes)
0.523 * * [simplify]: iters left: 1 (77 enodes)
0.547 * * [simplify]: Extracting #0: cost 1 inf + 0
0.547 * * [simplify]: Extracting #1: cost 4 inf + 0
0.547 * * [simplify]: Extracting #2: cost 16 inf + 0
0.548 * * [simplify]: Extracting #3: cost 24 inf + 166
0.548 * * [simplify]: Extracting #4: cost 19 inf + 653
0.549 * * [simplify]: Extracting #5: cost 6 inf + 2252
0.550 * * [simplify]: Extracting #6: cost 0 inf + 2972
0.551 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))
0.553 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
0.567 * * [progress]: iteration 1 / 4
0.568 * * * [progress]: picking best candidate
0.572 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.572 * * * [progress]: localizing error
0.588 * * * [progress]: generating rewritten candidates
0.589 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.593 * * * [progress]: generating series expansions
0.593 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.595 * [backup-simplify]: Simplify (sinh c) into (sinh c)
0.595 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
0.596 * [taylor]: Taking taylor expansion of (sinh c) in c
0.597 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.597 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.597 * [taylor]: Taking taylor expansion of (exp c) in c
0.597 * [taylor]: Taking taylor expansion of c in c
0.597 * [backup-simplify]: Simplify 0 into 0
0.597 * [backup-simplify]: Simplify 1 into 1
0.597 * [backup-simplify]: Simplify (exp 0) into 1
0.597 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.597 * [taylor]: Taking taylor expansion of (- c) in c
0.597 * [taylor]: Taking taylor expansion of c in c
0.597 * [backup-simplify]: Simplify 0 into 0
0.597 * [backup-simplify]: Simplify 1 into 1
0.598 * [backup-simplify]: Simplify (- 0) into 0
0.598 * [backup-simplify]: Simplify (- 1) into -1
0.598 * [backup-simplify]: Simplify (exp 0) into 1
0.598 * [taylor]: Taking taylor expansion of 2 in c
0.598 * [backup-simplify]: Simplify 2 into 2
0.598 * [backup-simplify]: Simplify (- 1) into -1
0.599 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.600 * [backup-simplify]: Simplify (- 1) into -1
0.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.601 * [backup-simplify]: Simplify (- -1) into 1
0.601 * [backup-simplify]: Simplify (+ 1 1) into 2
0.601 * [backup-simplify]: Simplify (/ 2 2) into 1
0.601 * [taylor]: Taking taylor expansion of (sinh c) in c
0.602 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.602 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.602 * [taylor]: Taking taylor expansion of (exp c) in c
0.602 * [taylor]: Taking taylor expansion of c in c
0.602 * [backup-simplify]: Simplify 0 into 0
0.602 * [backup-simplify]: Simplify 1 into 1
0.602 * [backup-simplify]: Simplify (exp 0) into 1
0.602 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.602 * [taylor]: Taking taylor expansion of (- c) in c
0.602 * [taylor]: Taking taylor expansion of c in c
0.602 * [backup-simplify]: Simplify 0 into 0
0.602 * [backup-simplify]: Simplify 1 into 1
0.602 * [backup-simplify]: Simplify (- 0) into 0
0.602 * [backup-simplify]: Simplify (- 1) into -1
0.602 * [backup-simplify]: Simplify (exp 0) into 1
0.602 * [taylor]: Taking taylor expansion of 2 in c
0.602 * [backup-simplify]: Simplify 2 into 2
0.602 * [backup-simplify]: Simplify (- 1) into -1
0.603 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.603 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.604 * [backup-simplify]: Simplify (- 1) into -1
0.604 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.604 * [backup-simplify]: Simplify (- -1) into 1
0.605 * [backup-simplify]: Simplify (+ 1 1) into 2
0.605 * [backup-simplify]: Simplify (/ 2 2) into 1
0.605 * [backup-simplify]: Simplify 1 into 1
0.607 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.607 * [backup-simplify]: Simplify (- 1) into -1
0.607 * [backup-simplify]: Simplify (- 0) into 0
0.608 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.608 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.608 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
0.609 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
0.609 * [backup-simplify]: Simplify 0 into 0
0.610 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.611 * [backup-simplify]: Simplify (- 1) into -1
0.611 * [backup-simplify]: Simplify (- 1) into -1
0.611 * [backup-simplify]: Simplify (- 0) into 0
0.611 * [backup-simplify]: Simplify (- 0) into 0
0.613 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.613 * [backup-simplify]: Simplify (- -1/6) into 1/6
0.613 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
0.614 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
0.614 * [backup-simplify]: Simplify 1/6 into 1/6
0.617 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.617 * [backup-simplify]: Simplify (- 1) into -1
0.617 * [backup-simplify]: Simplify (- 1) into -1
0.618 * [backup-simplify]: Simplify (- 0) into 0
0.618 * [backup-simplify]: Simplify (- 1) into -1
0.619 * [backup-simplify]: Simplify (- 0) into 0
0.619 * [backup-simplify]: Simplify (- 0) into 0
0.619 * [backup-simplify]: Simplify (- 0) into 0
0.634 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
0.635 * [backup-simplify]: Simplify (- 1/24) into -1/24
0.635 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
0.636 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
0.636 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
0.639 * [backup-simplify]: Simplify (- 1) into -1
0.640 * [backup-simplify]: Simplify (- 1) into -1
0.640 * [backup-simplify]: Simplify (- 0) into 0
0.640 * [backup-simplify]: Simplify (- 1) into -1
0.640 * [backup-simplify]: Simplify (- 0) into 0
0.640 * [backup-simplify]: Simplify (- 1) into -1
0.641 * [backup-simplify]: Simplify (- 0) into 0
0.641 * [backup-simplify]: Simplify (- 1) into -1
0.641 * [backup-simplify]: Simplify (- 0) into 0
0.641 * [backup-simplify]: Simplify (- 0) into 0
0.642 * [backup-simplify]: Simplify (- 0) into 0
0.642 * [backup-simplify]: Simplify (- 0) into 0
0.645 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
0.645 * [backup-simplify]: Simplify (- -1/120) into 1/120
0.645 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
0.646 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
0.646 * [backup-simplify]: Simplify 1/120 into 1/120
0.649 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
0.649 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
0.649 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
0.649 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.649 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.650 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.650 * [taylor]: Taking taylor expansion of c in c
0.650 * [backup-simplify]: Simplify 0 into 0
0.650 * [backup-simplify]: Simplify 1 into 1
0.650 * [backup-simplify]: Simplify (/ 1 1) into 1
0.650 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.650 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.650 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.650 * [taylor]: Taking taylor expansion of c in c
0.650 * [backup-simplify]: Simplify 0 into 0
0.650 * [backup-simplify]: Simplify 1 into 1
0.650 * [backup-simplify]: Simplify (/ 1 1) into 1
0.651 * [backup-simplify]: Simplify (- 1) into -1
0.651 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.651 * [taylor]: Taking taylor expansion of 2 in c
0.651 * [backup-simplify]: Simplify 2 into 2
0.651 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.651 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.651 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.651 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.651 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.651 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.651 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.651 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.651 * [taylor]: Taking taylor expansion of c in c
0.651 * [backup-simplify]: Simplify 0 into 0
0.651 * [backup-simplify]: Simplify 1 into 1
0.652 * [backup-simplify]: Simplify (/ 1 1) into 1
0.652 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.652 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.652 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.652 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.652 * [taylor]: Taking taylor expansion of c in c
0.652 * [backup-simplify]: Simplify 0 into 0
0.652 * [backup-simplify]: Simplify 1 into 1
0.652 * [backup-simplify]: Simplify (/ 1 1) into 1
0.652 * [backup-simplify]: Simplify (- 1) into -1
0.652 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.652 * [taylor]: Taking taylor expansion of 2 in c
0.652 * [backup-simplify]: Simplify 2 into 2
0.652 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.653 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.653 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.653 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.653 * [backup-simplify]: Simplify (- 0) into 0
0.653 * [backup-simplify]: Simplify (+ 0 0) into 0
0.654 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [backup-simplify]: Simplify (- 0) into 0
0.654 * [backup-simplify]: Simplify (+ 0 0) into 0
0.655 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.655 * [backup-simplify]: Simplify 0 into 0
0.656 * [backup-simplify]: Simplify (- 0) into 0
0.656 * [backup-simplify]: Simplify (+ 0 0) into 0
0.657 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.657 * [backup-simplify]: Simplify 0 into 0
0.657 * [backup-simplify]: Simplify (- 0) into 0
0.658 * [backup-simplify]: Simplify (+ 0 0) into 0
0.659 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.659 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify (- 0) into 0
0.660 * [backup-simplify]: Simplify (+ 0 0) into 0
0.661 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.661 * [backup-simplify]: Simplify 0 into 0
0.662 * [backup-simplify]: Simplify (- 0) into 0
0.662 * [backup-simplify]: Simplify (+ 0 0) into 0
0.664 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.664 * [backup-simplify]: Simplify 0 into 0
0.664 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
0.664 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
0.664 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
0.664 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.664 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.664 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.664 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.664 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.664 * [taylor]: Taking taylor expansion of -1 in c
0.664 * [backup-simplify]: Simplify -1 into -1
0.664 * [taylor]: Taking taylor expansion of c in c
0.664 * [backup-simplify]: Simplify 0 into 0
0.664 * [backup-simplify]: Simplify 1 into 1
0.665 * [backup-simplify]: Simplify (/ -1 1) into -1
0.665 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.665 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.665 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.665 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.665 * [taylor]: Taking taylor expansion of -1 in c
0.665 * [backup-simplify]: Simplify -1 into -1
0.665 * [taylor]: Taking taylor expansion of c in c
0.665 * [backup-simplify]: Simplify 0 into 0
0.665 * [backup-simplify]: Simplify 1 into 1
0.665 * [backup-simplify]: Simplify (/ -1 1) into -1
0.665 * [backup-simplify]: Simplify (- -1) into 1
0.665 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.665 * [taylor]: Taking taylor expansion of 2 in c
0.666 * [backup-simplify]: Simplify 2 into 2
0.666 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.666 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.666 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.666 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.666 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.666 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.666 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.666 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.666 * [taylor]: Taking taylor expansion of -1 in c
0.666 * [backup-simplify]: Simplify -1 into -1
0.666 * [taylor]: Taking taylor expansion of c in c
0.666 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify 1 into 1
0.666 * [backup-simplify]: Simplify (/ -1 1) into -1
0.666 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.666 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.666 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.666 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.666 * [taylor]: Taking taylor expansion of -1 in c
0.666 * [backup-simplify]: Simplify -1 into -1
0.666 * [taylor]: Taking taylor expansion of c in c
0.666 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify 1 into 1
0.667 * [backup-simplify]: Simplify (/ -1 1) into -1
0.667 * [backup-simplify]: Simplify (- -1) into 1
0.667 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.667 * [taylor]: Taking taylor expansion of 2 in c
0.667 * [backup-simplify]: Simplify 2 into 2
0.667 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.667 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.667 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.667 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.668 * [backup-simplify]: Simplify (- 0) into 0
0.668 * [backup-simplify]: Simplify (+ 0 0) into 0
0.669 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
0.669 * [backup-simplify]: Simplify 0 into 0
0.670 * [backup-simplify]: Simplify (- 0) into 0
0.670 * [backup-simplify]: Simplify (+ 0 0) into 0
0.671 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.672 * [backup-simplify]: Simplify 0 into 0
0.672 * [backup-simplify]: Simplify (- 0) into 0
0.672 * [backup-simplify]: Simplify (+ 0 0) into 0
0.674 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.674 * [backup-simplify]: Simplify 0 into 0
0.674 * [backup-simplify]: Simplify (- 0) into 0
0.675 * [backup-simplify]: Simplify (+ 0 0) into 0
0.677 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.677 * [backup-simplify]: Simplify 0 into 0
0.677 * [backup-simplify]: Simplify (- 0) into 0
0.678 * [backup-simplify]: Simplify (+ 0 0) into 0
0.680 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.681 * [backup-simplify]: Simplify 0 into 0
0.681 * [backup-simplify]: Simplify (- 0) into 0
0.681 * [backup-simplify]: Simplify (+ 0 0) into 0
0.684 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.684 * [backup-simplify]: Simplify 0 into 0
0.685 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
0.685 * * * [progress]: simplifying candidates
0.685 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.685 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (expm1 (log1p (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.685 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (/ (- (exp c) (exp (- c))) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.685 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.685 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.685 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.685 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (* (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.686 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.686 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.686 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (* 1 (sinh c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.686 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (posit16->real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.686 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
0.686 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
0.686 * * [simplify]: iters left: 6 (11 enodes)
0.694 * * [simplify]: iters left: 5 (53 enodes)
0.716 * * [simplify]: iters left: 4 (109 enodes)
0.772 * * [simplify]: iters left: 3 (233 enodes)
0.839 * * [simplify]: iters left: 2 (401 enodes)
0.994 * * [simplify]: Extracting #0: cost 1 inf + 0
0.994 * * [simplify]: Extracting #1: cost 19 inf + 0
0.994 * * [simplify]: Extracting #2: cost 80 inf + 44
0.996 * * [simplify]: Extracting #3: cost 137 inf + 1669
0.999 * * [simplify]: Extracting #4: cost 112 inf + 7111
1.004 * * [simplify]: Extracting #5: cost 60 inf + 27882
1.013 * * [simplify]: Extracting #6: cost 4 inf + 55832
1.024 * * [simplify]: Extracting #7: cost 0 inf + 58188
1.035 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c))
1.035 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
1.035 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.035 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c))))
1.035 * * [simplify]: iters left: 6 (7 enodes)
1.039 * * [simplify]: iters left: 5 (26 enodes)
1.049 * * [simplify]: iters left: 4 (42 enodes)
1.064 * * [simplify]: iters left: 3 (62 enodes)
1.085 * * [simplify]: iters left: 2 (82 enodes)
1.108 * * [simplify]: iters left: 1 (86 enodes)
1.127 * * [simplify]: Extracting #0: cost 1 inf + 0
1.127 * * [simplify]: Extracting #1: cost 11 inf + 0
1.127 * * [simplify]: Extracting #2: cost 20 inf + 2
1.127 * * [simplify]: Extracting #3: cost 17 inf + 46
1.128 * * [simplify]: Extracting #4: cost 5 inf + 1453
1.129 * * [simplify]: Extracting #5: cost 1 inf + 1819
1.130 * * [simplify]: Extracting #6: cost 0 inf + 1987
1.130 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c)))
1.131 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
1.131 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (* -1 c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.131 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c))))
1.131 * * [simplify]: iters left: 6 (8 enodes)
1.136 * * [simplify]: iters left: 5 (31 enodes)
1.144 * * [simplify]: iters left: 4 (49 enodes)
1.153 * * [simplify]: iters left: 3 (85 enodes)
1.170 * * [simplify]: iters left: 2 (151 enodes)
1.208 * * [simplify]: iters left: 1 (304 enodes)
1.329 * * [simplify]: Extracting #0: cost 1 inf + 0
1.329 * * [simplify]: Extracting #1: cost 15 inf + 0
1.330 * * [simplify]: Extracting #2: cost 135 inf + 2
1.331 * * [simplify]: Extracting #3: cost 204 inf + 2517
1.333 * * [simplify]: Extracting #4: cost 151 inf + 20916
1.341 * * [simplify]: Extracting #5: cost 64 inf + 60923
1.358 * * [simplify]: Extracting #6: cost 2 inf + 103278
1.369 * * [simplify]: Extracting #7: cost 0 inf + 102022
1.380 * * [simplify]: Extracting #8: cost 0 inf + 101942
1.396 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c)))
1.396 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (exp c) 1/2 (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
1.396 * * * [progress]: adding candidates to table
1.545 * * [progress]: iteration 2 / 4
1.545 * * * [progress]: picking best candidate
1.549 * * * * [pick]: Picked  #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.549 * * * [progress]: localizing error
1.594 * * * [progress]: generating rewritten candidates
1.594 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 3 2)
1.606 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 3)
1.607 * * * [progress]: generating series expansions
1.607 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 3 2)
1.607 * [backup-simplify]: Simplify (* 1/6 c) into (* 1/6 c)
1.607 * [approximate]: Taking taylor expansion of (* 1/6 c) in (c) around 0
1.607 * [taylor]: Taking taylor expansion of (* 1/6 c) in c
1.608 * [taylor]: Taking taylor expansion of 1/6 in c
1.608 * [backup-simplify]: Simplify 1/6 into 1/6
1.608 * [taylor]: Taking taylor expansion of c in c
1.608 * [backup-simplify]: Simplify 0 into 0
1.608 * [backup-simplify]: Simplify 1 into 1
1.608 * [taylor]: Taking taylor expansion of (* 1/6 c) in c
1.608 * [taylor]: Taking taylor expansion of 1/6 in c
1.608 * [backup-simplify]: Simplify 1/6 into 1/6
1.608 * [taylor]: Taking taylor expansion of c in c
1.608 * [backup-simplify]: Simplify 0 into 0
1.608 * [backup-simplify]: Simplify 1 into 1
1.609 * [backup-simplify]: Simplify (* 1/6 0) into 0
1.609 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
1.610 * [backup-simplify]: Simplify 1/6 into 1/6
1.611 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
1.611 * [backup-simplify]: Simplify 0 into 0
1.612 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.612 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.613 * [backup-simplify]: Simplify 0 into 0
1.615 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.615 * [backup-simplify]: Simplify 0 into 0
1.617 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.617 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.619 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify (* 1/6 c) into (* 1/6 c)
1.619 * [backup-simplify]: Simplify (* 1/6 (/ 1 c)) into (/ 1/6 c)
1.619 * [approximate]: Taking taylor expansion of (/ 1/6 c) in (c) around 0
1.619 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c
1.619 * [taylor]: Taking taylor expansion of 1/6 in c
1.619 * [backup-simplify]: Simplify 1/6 into 1/6
1.619 * [taylor]: Taking taylor expansion of c in c
1.619 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify 1 into 1
1.620 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
1.620 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c
1.620 * [taylor]: Taking taylor expansion of 1/6 in c
1.620 * [backup-simplify]: Simplify 1/6 into 1/6
1.620 * [taylor]: Taking taylor expansion of c in c
1.620 * [backup-simplify]: Simplify 0 into 0
1.620 * [backup-simplify]: Simplify 1 into 1
1.620 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
1.620 * [backup-simplify]: Simplify 1/6 into 1/6
1.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
1.621 * [backup-simplify]: Simplify 0 into 0
1.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.622 * [backup-simplify]: Simplify 0 into 0
1.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.623 * [backup-simplify]: Simplify 0 into 0
1.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.625 * [backup-simplify]: Simplify 0 into 0
1.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.626 * [backup-simplify]: Simplify 0 into 0
1.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.627 * [backup-simplify]: Simplify 0 into 0
1.627 * [backup-simplify]: Simplify (* 1/6 (/ 1 (/ 1 c))) into (* 1/6 c)
1.627 * [backup-simplify]: Simplify (* 1/6 (/ 1 (- c))) into (/ -1/6 c)
1.627 * [approximate]: Taking taylor expansion of (/ -1/6 c) in (c) around 0
1.627 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c
1.627 * [taylor]: Taking taylor expansion of -1/6 in c
1.627 * [backup-simplify]: Simplify -1/6 into -1/6
1.627 * [taylor]: Taking taylor expansion of c in c
1.627 * [backup-simplify]: Simplify 0 into 0
1.627 * [backup-simplify]: Simplify 1 into 1
1.628 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
1.628 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c
1.628 * [taylor]: Taking taylor expansion of -1/6 in c
1.628 * [backup-simplify]: Simplify -1/6 into -1/6
1.628 * [taylor]: Taking taylor expansion of c in c
1.628 * [backup-simplify]: Simplify 0 into 0
1.628 * [backup-simplify]: Simplify 1 into 1
1.629 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
1.629 * [backup-simplify]: Simplify -1/6 into -1/6
1.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0
1.630 * [backup-simplify]: Simplify 0 into 0
1.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.631 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.632 * [backup-simplify]: Simplify 0 into 0
1.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.633 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.634 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (* -1/6 (/ 1 (/ 1 (- c)))) into (* 1/6 c)
1.635 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 3)
1.635 * [backup-simplify]: Simplify (fma (* c c) (* 1/6 c) c) into (fma (pow c 2) (* 1/6 c) c)
1.635 * [approximate]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) c) in (c) around 0
1.635 * [taylor]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) c) in c
1.636 * [taylor]: Rewrote expression to (+ (* (pow c 2) (* 1/6 c)) c)
1.636 * [taylor]: Taking taylor expansion of (* (pow c 2) (* 1/6 c)) in c
1.636 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.636 * [taylor]: Taking taylor expansion of c in c
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [taylor]: Taking taylor expansion of (* 1/6 c) in c
1.636 * [taylor]: Taking taylor expansion of 1/6 in c
1.636 * [backup-simplify]: Simplify 1/6 into 1/6
1.636 * [taylor]: Taking taylor expansion of c in c
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [taylor]: Taking taylor expansion of c in c
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [taylor]: Taking taylor expansion of (fma (pow c 2) (* 1/6 c) c) in c
1.636 * [taylor]: Rewrote expression to (+ (* (pow c 2) (* 1/6 c)) c)
1.636 * [taylor]: Taking taylor expansion of (* (pow c 2) (* 1/6 c)) in c
1.636 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.636 * [taylor]: Taking taylor expansion of c in c
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [taylor]: Taking taylor expansion of (* 1/6 c) in c
1.636 * [taylor]: Taking taylor expansion of 1/6 in c
1.637 * [backup-simplify]: Simplify 1/6 into 1/6
1.637 * [taylor]: Taking taylor expansion of c in c
1.637 * [backup-simplify]: Simplify 0 into 0
1.637 * [backup-simplify]: Simplify 1 into 1
1.637 * [taylor]: Taking taylor expansion of c in c
1.637 * [backup-simplify]: Simplify 0 into 0
1.637 * [backup-simplify]: Simplify 1 into 1
1.637 * [backup-simplify]: Simplify (+ 0 0) into 0
1.637 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify (+ 0 1) into 1
1.638 * [backup-simplify]: Simplify 1 into 1
1.638 * [backup-simplify]: Simplify (* 1 1) into 1
1.639 * [backup-simplify]: Simplify (* 1/6 0) into 0
1.639 * [backup-simplify]: Simplify (* 1 0) into 0
1.639 * [backup-simplify]: Simplify (+ 0 0) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
1.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.642 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 0)) into 1/6
1.642 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
1.642 * [backup-simplify]: Simplify 1/6 into 1/6
1.643 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
1.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 0))) into 0
1.645 * [backup-simplify]: Simplify (+ 0 0) into 0
1.645 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0)))) into 0
1.649 * [backup-simplify]: Simplify (+ 0 0) into 0
1.649 * [backup-simplify]: Simplify 0 into 0
1.650 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0))))) into 0
1.653 * [backup-simplify]: Simplify (+ 0 0) into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0)))))) into 0
1.658 * [backup-simplify]: Simplify (+ 0 0) into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0))))))) into 0
1.663 * [backup-simplify]: Simplify (+ 0 0) into 0
1.663 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 0)))))))) into 0
1.669 * [backup-simplify]: Simplify (+ 0 0) into 0
1.669 * [backup-simplify]: Simplify 0 into 0
1.669 * [backup-simplify]: Simplify (+ (* 1/6 (pow c 3)) (* 1 c)) into (+ (* 1/6 (pow c 3)) c)
1.670 * [backup-simplify]: Simplify (fma (* (/ 1 c) (/ 1 c)) (* 1/6 (/ 1 c)) (/ 1 c)) into (fma (/ 1 (pow c 2)) (/ 1/6 c) (/ 1 c))
1.670 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (/ 1 c)) in (c) around 0
1.670 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (/ 1 c)) in c
1.670 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ 1/6 c)) (/ 1 c))
1.670 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ 1/6 c)) in c
1.670 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.670 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.670 * [taylor]: Taking taylor expansion of c in c
1.670 * [backup-simplify]: Simplify 0 into 0
1.670 * [backup-simplify]: Simplify 1 into 1
1.671 * [backup-simplify]: Simplify (* 1 1) into 1
1.671 * [backup-simplify]: Simplify (/ 1 1) into 1
1.671 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c
1.671 * [taylor]: Taking taylor expansion of 1/6 in c
1.671 * [backup-simplify]: Simplify 1/6 into 1/6
1.671 * [taylor]: Taking taylor expansion of c in c
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.672 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
1.672 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.672 * [taylor]: Taking taylor expansion of c in c
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [backup-simplify]: Simplify (/ 1 1) into 1
1.672 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ 1/6 c) (/ 1 c)) in c
1.672 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ 1/6 c)) (/ 1 c))
1.672 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ 1/6 c)) in c
1.672 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.672 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.672 * [taylor]: Taking taylor expansion of c in c
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.673 * [backup-simplify]: Simplify (* 1 1) into 1
1.673 * [backup-simplify]: Simplify (/ 1 1) into 1
1.673 * [taylor]: Taking taylor expansion of (/ 1/6 c) in c
1.673 * [taylor]: Taking taylor expansion of 1/6 in c
1.673 * [backup-simplify]: Simplify 1/6 into 1/6
1.673 * [taylor]: Taking taylor expansion of c in c
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
1.674 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.674 * [taylor]: Taking taylor expansion of c in c
1.674 * [backup-simplify]: Simplify 0 into 0
1.674 * [backup-simplify]: Simplify 1 into 1
1.674 * [backup-simplify]: Simplify (/ 1 1) into 1
1.675 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
1.675 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
1.675 * [backup-simplify]: Simplify 1/6 into 1/6
1.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
1.677 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.678 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0
1.679 * [backup-simplify]: Simplify (+ 0 0) into 0
1.679 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0
1.683 * [backup-simplify]: Simplify (+ 0 1) into 1
1.683 * [backup-simplify]: Simplify 1 into 1
1.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0
1.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.689 * [backup-simplify]: Simplify (+ 0 0) into 0
1.689 * [backup-simplify]: Simplify 0 into 0
1.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
1.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.703 * [backup-simplify]: Simplify (+ 0 0) into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
1.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.712 * [backup-simplify]: Simplify (+ 0 0) into 0
1.712 * [backup-simplify]: Simplify 0 into 0
1.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
1.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.719 * [backup-simplify]: Simplify (+ 0 0) into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
1.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.726 * [backup-simplify]: Simplify (+ 0 0) into 0
1.726 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
1.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))))) into 0
1.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.734 * [backup-simplify]: Simplify (+ 0 0) into 0
1.734 * [backup-simplify]: Simplify 0 into 0
1.734 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (* 1/6 (pow (/ 1 (/ 1 c)) 3))) into (+ (* 1/6 (pow c 3)) c)
1.735 * [backup-simplify]: Simplify (fma (* (/ 1 (- c)) (/ 1 (- c))) (* 1/6 (/ 1 (- c))) (/ 1 (- c))) into (fma (/ 1 (pow c 2)) (/ -1/6 c) (/ -1 c))
1.735 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (/ -1 c)) in (c) around 0
1.735 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (/ -1 c)) in c
1.735 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ -1/6 c)) (/ -1 c))
1.735 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ -1/6 c)) in c
1.735 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.735 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.735 * [taylor]: Taking taylor expansion of c in c
1.735 * [backup-simplify]: Simplify 0 into 0
1.735 * [backup-simplify]: Simplify 1 into 1
1.735 * [backup-simplify]: Simplify (* 1 1) into 1
1.736 * [backup-simplify]: Simplify (/ 1 1) into 1
1.736 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c
1.736 * [taylor]: Taking taylor expansion of -1/6 in c
1.736 * [backup-simplify]: Simplify -1/6 into -1/6
1.736 * [taylor]: Taking taylor expansion of c in c
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify 1 into 1
1.736 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
1.736 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.736 * [taylor]: Taking taylor expansion of -1 in c
1.737 * [backup-simplify]: Simplify -1 into -1
1.737 * [taylor]: Taking taylor expansion of c in c
1.737 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify 1 into 1
1.737 * [backup-simplify]: Simplify (/ -1 1) into -1
1.737 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow c 2)) (/ -1/6 c) (/ -1 c)) in c
1.737 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow c 2)) (/ -1/6 c)) (/ -1 c))
1.737 * [taylor]: Taking taylor expansion of (* (/ 1 (pow c 2)) (/ -1/6 c)) in c
1.737 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
1.737 * [taylor]: Taking taylor expansion of (pow c 2) in c
1.737 * [taylor]: Taking taylor expansion of c in c
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.738 * [backup-simplify]: Simplify (* 1 1) into 1
1.738 * [backup-simplify]: Simplify (/ 1 1) into 1
1.738 * [taylor]: Taking taylor expansion of (/ -1/6 c) in c
1.738 * [taylor]: Taking taylor expansion of -1/6 in c
1.738 * [backup-simplify]: Simplify -1/6 into -1/6
1.738 * [taylor]: Taking taylor expansion of c in c
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.739 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
1.739 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.739 * [taylor]: Taking taylor expansion of -1 in c
1.739 * [backup-simplify]: Simplify -1 into -1
1.739 * [taylor]: Taking taylor expansion of c in c
1.739 * [backup-simplify]: Simplify 0 into 0
1.739 * [backup-simplify]: Simplify 1 into 1
1.740 * [backup-simplify]: Simplify (/ -1 1) into -1
1.740 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
1.740 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
1.741 * [backup-simplify]: Simplify -1/6 into -1/6
1.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0
1.742 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1/6)) into 0
1.744 * [backup-simplify]: Simplify (+ 0 0) into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/6))) into 0
1.748 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.748 * [backup-simplify]: Simplify -1 into -1
1.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/6)))) into 0
1.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.754 * [backup-simplify]: Simplify (+ 0 0) into 0
1.754 * [backup-simplify]: Simplify 0 into 0
1.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/6))))) into 0
1.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.760 * [backup-simplify]: Simplify (+ 0 0) into 0
1.760 * [backup-simplify]: Simplify 0 into 0
1.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/6)))))) into 0
1.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.766 * [backup-simplify]: Simplify (+ 0 0) into 0
1.766 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/6))))))) into 0
1.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.773 * [backup-simplify]: Simplify (+ 0 0) into 0
1.773 * [backup-simplify]: Simplify 0 into 0
1.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/6)))))))) into 0
1.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.780 * [backup-simplify]: Simplify (+ 0 0) into 0
1.780 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
1.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/6))))))))) into 0
1.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.788 * [backup-simplify]: Simplify (+ 0 0) into 0
1.788 * [backup-simplify]: Simplify 0 into 0
1.789 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (* -1/6 (pow (/ 1 (/ 1 (- c))) 3))) into (+ (* 1/6 (pow c 3)) c)
1.789 * * * [progress]: simplifying candidates
1.789 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (log1p (expm1 (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.789 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (expm1 (log1p (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.789 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (pow (* 1/6 c) 1) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.790 * [simplify]: Simplifying (* 1/6 c)
1.790 * * [simplify]: iters left: 2 (3 enodes)
1.792 * * [simplify]: iters left: 1 (10 enodes)
1.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1.795 * * [simplify]: Extracting #1: cost 4 inf + 0
1.795 * * [simplify]: Extracting #2: cost 2 inf + 2
1.795 * * [simplify]: Extracting #3: cost 0 inf + 86
1.795 * [simplify]: Simplified to (* 1/6 c)
1.795 * [simplify]: Simplified (2 1 3 2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (pow (* 1/6 c) 1) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
1.795 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (pow (* 1/6 c) 1) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.795 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (exp (+ (log 1/6) (log c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.796 * [simplify]: Simplifying (+ (log 1/6) (log c))
1.796 * * [simplify]: iters left: 3 (5 enodes)
1.799 * * [simplify]: iters left: 2 (16 enodes)
1.804 * * [simplify]: Extracting #0: cost 1 inf + 0
1.804 * * [simplify]: Extracting #1: cost 4 inf + 0
1.804 * * [simplify]: Extracting #2: cost 8 inf + 0
1.804 * * [simplify]: Extracting #3: cost 4 inf + 144
1.804 * * [simplify]: Extracting #4: cost 0 inf + 650
1.805 * [simplify]: Simplified to (+ (log 1/6) (log c))
1.805 * [simplify]: Simplified (2 1 3 2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (exp (+ (log 1/6) (log c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
1.805 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (exp (log (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.805 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (log (exp (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.805 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (cbrt (* (* (* 1/6 1/6) 1/6) (* (* c c) c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
1.805 * [simplify]: Simplifying (* (* (* 1/6 1/6) 1/6) (* (* c c) c))
1.805 * * [simplify]: iters left: 6 (7 enodes)
1.811 * * [simplify]: iters left: 5 (29 enodes)
1.824 * * [simplify]: iters left: 4 (59 enodes)
1.845 * * [simplify]: iters left: 3 (115 enodes)
1.895 * * [simplify]: iters left: 2 (193 enodes)
1.959 * * [simplify]: iters left: 1 (265 enodes)
2.019 * * [simplify]: Extracting #0: cost 1 inf + 0
2.019 * * [simplify]: Extracting #1: cost 27 inf + 0
2.020 * * [simplify]: Extracting #2: cost 62 inf + 210
2.021 * * [simplify]: Extracting #3: cost 46 inf + 1990
2.023 * * [simplify]: Extracting #4: cost 28 inf + 7163
2.027 * * [simplify]: Extracting #5: cost 10 inf + 12930
2.030 * * [simplify]: Extracting #6: cost 0 inf + 17345
2.034 * [simplify]: Simplified to (* 1/216 (* c (* c c)))
2.034 * [simplify]: Simplified (2 1 3 2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (cbrt (* 1/216 (* c (* c c)))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.035 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* (cbrt (* 1/6 c)) (cbrt (* 1/6 c))) (cbrt (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.035 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (cbrt (* (* (* 1/6 c) (* 1/6 c)) (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.035 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (sqrt (* 1/6 c)) (sqrt (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.035 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1 (* 1/6 c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.035 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* (sqrt 1/6) (sqrt c)) (* (sqrt 1/6) (sqrt c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.035 * [simplify]: Simplifying (* (sqrt 1/6) (sqrt c))
2.035 * * [simplify]: iters left: 3 (5 enodes)
2.039 * * [simplify]: iters left: 2 (16 enodes)
2.044 * * [simplify]: Extracting #0: cost 1 inf + 0
2.044 * * [simplify]: Extracting #1: cost 4 inf + 0
2.044 * * [simplify]: Extracting #2: cost 8 inf + 0
2.044 * * [simplify]: Extracting #3: cost 4 inf + 84
2.044 * * [simplify]: Extracting #4: cost 0 inf + 410
2.044 * [simplify]: Simplified to (* (sqrt c) (sqrt 1/6))
2.044 * [simplify]: Simplified (2 1 3 2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* (sqrt c) (sqrt 1/6)) (* (sqrt 1/6) (sqrt c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.045 * [simplify]: Simplifying (* (sqrt 1/6) (sqrt c))
2.045 * * [simplify]: iters left: 3 (5 enodes)
2.046 * * [simplify]: iters left: 2 (16 enodes)
2.050 * * [simplify]: Extracting #0: cost 1 inf + 0
2.050 * * [simplify]: Extracting #1: cost 4 inf + 0
2.050 * * [simplify]: Extracting #2: cost 8 inf + 0
2.050 * * [simplify]: Extracting #3: cost 4 inf + 84
2.050 * * [simplify]: Extracting #4: cost 0 inf + 410
2.050 * [simplify]: Simplified to (* (sqrt c) (sqrt 1/6))
2.050 * [simplify]: Simplified (2 1 3 2 2) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* (sqrt 1/6) (sqrt c)) (* (sqrt c) (sqrt 1/6))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.050 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* 1/6 (* (cbrt c) (cbrt c))) (cbrt c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.050 * [simplify]: Simplifying (cbrt c)
2.050 * * [simplify]: iters left: 1 (2 enodes)
2.051 * * [simplify]: Extracting #0: cost 1 inf + 0
2.051 * * [simplify]: Extracting #1: cost 3 inf + 0
2.051 * * [simplify]: Extracting #2: cost 2 inf + 1
2.051 * * [simplify]: Extracting #3: cost 0 inf + 163
2.051 * [simplify]: Simplified to (cbrt c)
2.051 * [simplify]: Simplified (2 1 3 2 2) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* 1/6 (* (cbrt c) (cbrt c))) (cbrt c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.051 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* 1/6 (sqrt c)) (sqrt c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.051 * [simplify]: Simplifying (sqrt c)
2.051 * * [simplify]: iters left: 1 (2 enodes)
2.052 * * [simplify]: Extracting #0: cost 1 inf + 0
2.052 * * [simplify]: Extracting #1: cost 3 inf + 0
2.052 * * [simplify]: Extracting #2: cost 2 inf + 1
2.052 * * [simplify]: Extracting #3: cost 0 inf + 83
2.052 * [simplify]: Simplified to (sqrt c)
2.052 * [simplify]: Simplified (2 1 3 2 2) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* 1/6 (sqrt c)) (sqrt c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.052 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* 1/6 1) c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.052 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* (cbrt 1/6) (cbrt 1/6)) (* (cbrt 1/6) c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.052 * [simplify]: Simplifying (* (cbrt 1/6) (cbrt 1/6))
2.052 * * [simplify]: iters left: 3 (3 enodes)
2.054 * * [simplify]: iters left: 2 (9 enodes)
2.055 * * [simplify]: Extracting #0: cost 1 inf + 0
2.055 * * [simplify]: Extracting #1: cost 3 inf + 0
2.056 * * [simplify]: Extracting #2: cost 5 inf + 0
2.056 * * [simplify]: Extracting #3: cost 4 inf + 1
2.056 * * [simplify]: Extracting #4: cost 0 inf + 405
2.056 * [simplify]: Simplified to (* (cbrt 1/6) (cbrt 1/6))
2.056 * [simplify]: Simplified (2 1 3 2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (* (cbrt 1/6) (cbrt 1/6)) (* (cbrt 1/6) c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.056 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (sqrt 1/6) (* (sqrt 1/6) c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.056 * [simplify]: Simplifying (sqrt 1/6)
2.056 * * [simplify]: iters left: 1 (2 enodes)
2.057 * * [simplify]: Extracting #0: cost 1 inf + 0
2.057 * * [simplify]: Extracting #1: cost 3 inf + 0
2.057 * * [simplify]: Extracting #2: cost 2 inf + 1
2.057 * * [simplify]: Extracting #3: cost 0 inf + 83
2.057 * [simplify]: Simplified to (sqrt 1/6)
2.057 * [simplify]: Simplified (2 1 3 2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* (sqrt 1/6) (* (sqrt 1/6) c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.057 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1 (* 1/6 c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.057 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (posit16->real (real->posit16 (* 1/6 c))) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* c 1/6) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (log1p (expm1 (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (expm1 (log1p (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (+ (* (* c c) (* 1/6 c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (pow (fma (* c c) (* 1/6 c) c) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (exp (log (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (log (exp (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (* (* (cbrt (fma (* c c) (* 1/6 c) c)) (cbrt (fma (* c c) (* 1/6 c) c))) (cbrt (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (cbrt (* (* (fma (* c c) (* 1/6 c) c) (fma (* c c) (* 1/6 c) c)) (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (* (sqrt (fma (* c c) (* 1/6 c) c)) (sqrt (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (* 1 (fma (* c c) (* 1/6 c) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (posit16->real (real->posit16 (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.058 * [simplify]: Simplifying (* 1/6 c)
2.058 * * [simplify]: iters left: 2 (3 enodes)
2.060 * * [simplify]: iters left: 1 (10 enodes)
2.061 * * [simplify]: Extracting #0: cost 1 inf + 0
2.061 * * [simplify]: Extracting #1: cost 4 inf + 0
2.061 * * [simplify]: Extracting #2: cost 2 inf + 2
2.061 * * [simplify]: Extracting #3: cost 0 inf + 86
2.061 * [simplify]: Simplified to (* 1/6 c)
2.061 * [simplify]: Simplified (2 1 3 2) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.061 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.062 * [simplify]: Simplifying (* 1/6 c)
2.062 * * [simplify]: iters left: 2 (3 enodes)
2.063 * * [simplify]: iters left: 1 (10 enodes)
2.064 * * [simplify]: Extracting #0: cost 1 inf + 0
2.064 * * [simplify]: Extracting #1: cost 4 inf + 0
2.065 * * [simplify]: Extracting #2: cost 2 inf + 2
2.065 * * [simplify]: Extracting #3: cost 0 inf + 86
2.065 * [simplify]: Simplified to (* 1/6 c)
2.065 * [simplify]: Simplified (2 1 3 2) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.065 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.065 * [simplify]: Simplifying (* 1/6 c)
2.065 * * [simplify]: iters left: 2 (3 enodes)
2.066 * * [simplify]: iters left: 1 (10 enodes)
2.068 * * [simplify]: Extracting #0: cost 1 inf + 0
2.068 * * [simplify]: Extracting #1: cost 4 inf + 0
2.068 * * [simplify]: Extracting #2: cost 2 inf + 2
2.068 * * [simplify]: Extracting #3: cost 0 inf + 86
2.068 * [simplify]: Simplified to (* 1/6 c)
2.068 * [simplify]: Simplified (2 1 3 2) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.068 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (+ (* 1/6 (pow c 3)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.068 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) c)
2.068 * * [simplify]: iters left: 5 (6 enodes)
2.071 * * [simplify]: iters left: 4 (29 enodes)
2.083 * * [simplify]: iters left: 3 (58 enodes)
2.106 * * [simplify]: iters left: 2 (113 enodes)
2.129 * * [simplify]: iters left: 1 (203 enodes)
2.202 * * [simplify]: Extracting #0: cost 1 inf + 0
2.202 * * [simplify]: Extracting #1: cost 20 inf + 0
2.202 * * [simplify]: Extracting #2: cost 67 inf + 43
2.203 * * [simplify]: Extracting #3: cost 49 inf + 5381
2.205 * * [simplify]: Extracting #4: cost 28 inf + 13677
2.207 * * [simplify]: Extracting #5: cost 2 inf + 26661
2.210 * * [simplify]: Extracting #6: cost 0 inf + 27257
2.212 * [simplify]: Simplified to (fma 1/6 (* c (* c c)) c)
2.213 * [simplify]: Simplified (2 1 3) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma 1/6 (* c (* c c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.213 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (+ (* 1/6 (pow c 3)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.213 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) c)
2.213 * * [simplify]: iters left: 5 (6 enodes)
2.216 * * [simplify]: iters left: 4 (29 enodes)
2.222 * * [simplify]: iters left: 3 (58 enodes)
2.246 * * [simplify]: iters left: 2 (113 enodes)
2.287 * * [simplify]: iters left: 1 (203 enodes)
2.339 * * [simplify]: Extracting #0: cost 1 inf + 0
2.339 * * [simplify]: Extracting #1: cost 20 inf + 0
2.339 * * [simplify]: Extracting #2: cost 67 inf + 43
2.340 * * [simplify]: Extracting #3: cost 49 inf + 5381
2.341 * * [simplify]: Extracting #4: cost 28 inf + 13677
2.344 * * [simplify]: Extracting #5: cost 2 inf + 26661
2.347 * * [simplify]: Extracting #6: cost 0 inf + 27257
2.349 * [simplify]: Simplified to (fma 1/6 (* c (* c c)) c)
2.349 * [simplify]: Simplified (2 1 3) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma 1/6 (* c (* c c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.349 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (+ (* 1/6 (pow c 3)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
2.350 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) c)
2.350 * * [simplify]: iters left: 5 (6 enodes)
2.352 * * [simplify]: iters left: 4 (29 enodes)
2.361 * * [simplify]: iters left: 3 (58 enodes)
2.386 * * [simplify]: iters left: 2 (113 enodes)
2.431 * * [simplify]: iters left: 1 (203 enodes)
2.494 * * [simplify]: Extracting #0: cost 1 inf + 0
2.494 * * [simplify]: Extracting #1: cost 20 inf + 0
2.495 * * [simplify]: Extracting #2: cost 67 inf + 43
2.495 * * [simplify]: Extracting #3: cost 49 inf + 5381
2.497 * * [simplify]: Extracting #4: cost 28 inf + 13677
2.500 * * [simplify]: Extracting #5: cost 2 inf + 26661
2.505 * * [simplify]: Extracting #6: cost 0 inf + 27257
2.511 * [simplify]: Simplified to (fma 1/6 (* c (* c c)) c)
2.511 * [simplify]: Simplified (2 1 3) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma 1/6 (* c (* c c)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))
2.511 * * * [progress]: adding candidates to table
3.058 * [progress]: [Phase 3 of 3] Extracting.
3.058 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>)
3.060 * * * [regime-changes]: Trying 1 branch expressions: (c)
3.060 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> #<alt (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>)
3.100 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.101 * [simplify]: Simplifying (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))
3.101 * * [simplify]: iters left: 5 (6 enodes)
3.102 * * [simplify]: Extracting #0: cost 1 inf + 0
3.102 * * [simplify]: Extracting #1: cost 3 inf + 0
3.102 * * [simplify]: Extracting #2: cost 5 inf + 0
3.102 * * [simplify]: Extracting #3: cost 5 inf + 1
3.102 * * [simplify]: Extracting #4: cost 0 inf + 388
3.103 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))
14.172 * [regime-testing]: Baseline error score: 0.008751093886735842
14.174 * [regime-testing]: Oracle error score: 0.004000500062507814
14.182 * [regime-testing]: End program error score: 0.008751093886735842