0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.445 * * * [progress]: [2/2] Setting up program. 1.450 * [progress]: [Phase 2 of 3] Improving. 1.451 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.452 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.453 * * [simplify]: iters left: 5 (7 enodes) 1.457 * * [simplify]: iters left: 4 (30 enodes) 1.464 * * [simplify]: iters left: 3 (52 enodes) 1.473 * * [simplify]: iters left: 2 (80 enodes) 1.494 * * [simplify]: iters left: 1 (137 enodes) 1.566 * * [simplify]: Extracting #0: cost 1 inf + 0 1.566 * * [simplify]: Extracting #1: cost 3 inf + 0 1.566 * * [simplify]: Extracting #2: cost 15 inf + 0 1.568 * * [simplify]: Extracting #3: cost 52 inf + 1 1.568 * * [simplify]: Extracting #4: cost 67 inf + 61 1.570 * * [simplify]: Extracting #5: cost 47 inf + 4801 1.572 * * [simplify]: Extracting #6: cost 27 inf + 11788 1.578 * * [simplify]: Extracting #7: cost 2 inf + 27949 1.583 * * [simplify]: Extracting #8: cost 0 inf + 28280 1.586 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.587 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1.592 * * [progress]: iteration 1 / 4 1.592 * * * [progress]: picking best candidate 1.595 * * * * [pick]: Picked # 1.595 * * * [progress]: localizing error 1.614 * * * [progress]: generating rewritten candidates 1.614 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.615 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.618 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.625 * * * [progress]: generating series expansions 1.626 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.631 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.631 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.633 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.635 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.635 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.635 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.635 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.636 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.636 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.636 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.637 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.637 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.637 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.637 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.637 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.637 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.638 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.638 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.638 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.638 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.638 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.638 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.638 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.638 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.639 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.639 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.639 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.639 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.639 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.639 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.639 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.639 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.639 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.639 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.640 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.640 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.640 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.640 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.640 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.640 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a)) 1.640 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 1.640 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1.640 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1.640 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1.640 * [taylor]: Taking taylor expansion of (log1p a) in a 1.640 * [taylor]: Rewrote expression to (log (+ 1 a)) 1.640 * [taylor]: Taking taylor expansion of (+ 1 a) in a 1.640 * [taylor]: Taking taylor expansion of 1 in a 1.641 * [backup-simplify]: Simplify 1 into 1 1.641 * [taylor]: Taking taylor expansion of a in a 1.641 * [backup-simplify]: Simplify 0 into 0 1.641 * [backup-simplify]: Simplify 1 into 1 1.641 * [backup-simplify]: Simplify (+ 1 0) into 1 1.642 * [backup-simplify]: Simplify (log 1) into 0 1.642 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1.642 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.642 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.642 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1.642 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1.643 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1.643 * [backup-simplify]: Simplify (+ 0 1) into 1 1.644 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.644 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1.644 * [backup-simplify]: Simplify (exp 0) into 1 1.644 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1.644 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1.644 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1.644 * [taylor]: Taking taylor expansion of (log1p a) in a 1.644 * [taylor]: Rewrote expression to (log (+ 1 a)) 1.644 * [taylor]: Taking taylor expansion of (+ 1 a) in a 1.644 * [taylor]: Taking taylor expansion of 1 in a 1.644 * [backup-simplify]: Simplify 1 into 1 1.644 * [taylor]: Taking taylor expansion of a in a 1.644 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify 1 into 1 1.645 * [backup-simplify]: Simplify (+ 1 0) into 1 1.645 * [backup-simplify]: Simplify (log 1) into 0 1.645 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1.645 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.645 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.645 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1.645 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1.646 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1.646 * [backup-simplify]: Simplify (+ 0 1) into 1 1.647 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.647 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1.647 * [backup-simplify]: Simplify (exp 0) into 1 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2))) 1.648 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1.649 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0 1.649 * [backup-simplify]: Simplify (+ 0 0) into 0 1.651 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1.652 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1.652 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1.652 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1.662 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 1.662 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) 1.662 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 1.662 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1.662 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.662 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.662 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 1.662 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 1.662 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1.662 * [taylor]: Taking taylor expansion of 1 in a 1.662 * [backup-simplify]: Simplify 1 into 1 1.662 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.662 * [taylor]: Taking taylor expansion of a in a 1.662 * [backup-simplify]: Simplify 0 into 0 1.662 * [backup-simplify]: Simplify 1 into 1 1.663 * [backup-simplify]: Simplify (/ 1 1) into 1 1.663 * [backup-simplify]: Simplify (+ 0 1) into 1 1.664 * [backup-simplify]: Simplify (log 1) into 0 1.664 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.664 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.664 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.664 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.664 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.664 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 1.664 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1.664 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1.664 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.664 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.664 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 1.665 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 1.665 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1.665 * [taylor]: Taking taylor expansion of 1 in a 1.665 * [backup-simplify]: Simplify 1 into 1 1.665 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.665 * [taylor]: Taking taylor expansion of a in a 1.665 * [backup-simplify]: Simplify 0 into 0 1.665 * [backup-simplify]: Simplify 1 into 1 1.665 * [backup-simplify]: Simplify (/ 1 1) into 1 1.665 * [backup-simplify]: Simplify (+ 0 1) into 1 1.665 * [backup-simplify]: Simplify (log 1) into 0 1.665 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.665 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.666 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.666 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.666 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.666 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 1.666 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1.666 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1.667 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.668 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.670 * [backup-simplify]: Simplify (+ 1 0) into 1 1.671 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.671 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.672 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1.672 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1.673 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.674 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0 1.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.676 * [backup-simplify]: Simplify (+ 0 0) into 0 1.679 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1.680 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1.680 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1.681 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1.683 * [backup-simplify]: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 1.684 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) 1.684 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 1.684 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1.684 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.684 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.684 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 1.684 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 1.684 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1.684 * [taylor]: Taking taylor expansion of 1 in a 1.684 * [backup-simplify]: Simplify 1 into 1 1.684 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.684 * [taylor]: Taking taylor expansion of -1 in a 1.684 * [backup-simplify]: Simplify -1 into -1 1.684 * [taylor]: Taking taylor expansion of a in a 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 1 into 1 1.685 * [backup-simplify]: Simplify (/ -1 1) into -1 1.686 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.686 * [backup-simplify]: Simplify (log -1) into (log -1) 1.686 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.686 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.686 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.686 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.687 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.688 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1.689 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1.689 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1.689 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.689 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.689 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 1.689 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 1.689 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1.689 * [taylor]: Taking taylor expansion of 1 in a 1.689 * [backup-simplify]: Simplify 1 into 1 1.689 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.689 * [taylor]: Taking taylor expansion of -1 in a 1.689 * [backup-simplify]: Simplify -1 into -1 1.689 * [taylor]: Taking taylor expansion of a in a 1.689 * [backup-simplify]: Simplify 0 into 0 1.689 * [backup-simplify]: Simplify 1 into 1 1.690 * [backup-simplify]: Simplify (/ -1 1) into -1 1.690 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.691 * [backup-simplify]: Simplify (log -1) into (log -1) 1.691 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.691 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.691 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.691 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.692 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.692 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1.693 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1.694 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1.695 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.695 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.697 * [backup-simplify]: Simplify (+ 1 0) into 1 1.698 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1.699 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1.700 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1.701 * [backup-simplify]: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1.702 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.704 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0 1.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.705 * [backup-simplify]: Simplify (+ 0 0) into 0 1.708 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1.709 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1.710 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1.711 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1.715 * [backup-simplify]: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 1.715 * * * [progress]: simplifying candidates 1.715 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 1.715 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 10 / 50 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))> 1.716 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 1.716 * * * * [progress]: [ 21 / 50 ] simplifiying candidate #real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> 1.717 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 1.717 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 1.717 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 1.717 * [simplify]: Simplifying (* (log (fmod (cosh a) (* a a))) (log1p a)) 1.717 * * [simplify]: iters left: 6 (7 enodes) 1.720 * * [simplify]: iters left: 5 (28 enodes) 1.729 * * [simplify]: iters left: 4 (41 enodes) 1.741 * * [simplify]: iters left: 3 (45 enodes) 1.753 * * [simplify]: iters left: 2 (47 enodes) 1.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1.760 * * [simplify]: Extracting #1: cost 4 inf + 0 1.760 * * [simplify]: Extracting #2: cost 8 inf + 0 1.760 * * [simplify]: Extracting #3: cost 10 inf + 1 1.760 * * [simplify]: Extracting #4: cost 10 inf + 280 1.760 * * [simplify]: Extracting #5: cost 9 inf + 544 1.760 * * [simplify]: Extracting #6: cost 8 inf + 1749 1.761 * * [simplify]: Extracting #7: cost 5 inf + 2098 1.761 * * [simplify]: Extracting #8: cost 3 inf + 2250 1.761 * * [simplify]: Extracting #9: cost 0 inf + 2803 1.762 * [simplify]: Simplified to (* (log (fmod (cosh a) (* a a))) (log1p a)) 1.762 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))) 1.762 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 1.762 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 1.762 * [simplify]: Simplifying (fmod (cosh a) (* a a)) 1.762 * * [simplify]: iters left: 3 (4 enodes) 1.763 * * [simplify]: iters left: 2 (18 enodes) 1.766 * * [simplify]: iters left: 1 (31 enodes) 1.771 * * [simplify]: Extracting #0: cost 1 inf + 0 1.771 * * [simplify]: Extracting #1: cost 4 inf + 0 1.771 * * [simplify]: Extracting #2: cost 9 inf + 0 1.771 * * [simplify]: Extracting #3: cost 10 inf + 2 1.771 * * [simplify]: Extracting #4: cost 7 inf + 599 1.771 * * [simplify]: Extracting #5: cost 5 inf + 712 1.771 * * [simplify]: Extracting #6: cost 0 inf + 1417 1.772 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 1.772 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a))))) 1.772 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 1.772 * [simplify]: Simplifying (cbrt (log1p a)) 1.772 * * [simplify]: iters left: 2 (3 enodes) 1.773 * * [simplify]: iters left: 1 (9 enodes) 1.774 * * [simplify]: Extracting #0: cost 1 inf + 0 1.774 * * [simplify]: Extracting #1: cost 3 inf + 0 1.774 * * [simplify]: Extracting #2: cost 5 inf + 0 1.774 * * [simplify]: Extracting #3: cost 4 inf + 1 1.774 * * [simplify]: Extracting #4: cost 0 inf + 525 1.774 * [simplify]: Simplified to (cbrt (log1p a)) 1.774 * [simplify]: Simplified (2 1 2) to (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a))))) 1.774 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 1.774 * [simplify]: Simplifying (sqrt (log1p a)) 1.774 * * [simplify]: iters left: 2 (3 enodes) 1.775 * * [simplify]: iters left: 1 (9 enodes) 1.776 * * [simplify]: Extracting #0: cost 1 inf + 0 1.776 * * [simplify]: Extracting #1: cost 3 inf + 0 1.776 * * [simplify]: Extracting #2: cost 5 inf + 0 1.776 * * [simplify]: Extracting #3: cost 4 inf + 1 1.776 * * [simplify]: Extracting #4: cost 0 inf + 445 1.776 * [simplify]: Simplified to (sqrt (log1p a)) 1.776 * [simplify]: Simplified (2 1 2) to (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (sqrt (log1p a))))) 1.776 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 1.776 * [simplify]: Simplifying (log1p a) 1.777 * * [simplify]: iters left: 1 (2 enodes) 1.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1.777 * * [simplify]: Extracting #1: cost 3 inf + 0 1.777 * * [simplify]: Extracting #2: cost 2 inf + 1 1.777 * * [simplify]: Extracting #3: cost 0 inf + 183 1.777 * [simplify]: Simplified to (log1p a) 1.777 * [simplify]: Simplified (2 1 2) to (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a)))) 1.777 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 1.777 * [simplify]: Simplifying (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) 1.777 * * [simplify]: iters left: 6 (8 enodes) 1.779 * * [simplify]: iters left: 5 (33 enodes) 1.793 * * [simplify]: iters left: 4 (55 enodes) 1.802 * * [simplify]: iters left: 3 (83 enodes) 1.819 * * [simplify]: iters left: 2 (140 enodes) 1.845 * * [simplify]: iters left: 1 (247 enodes) 1.934 * * [simplify]: Extracting #0: cost 1 inf + 0 1.934 * * [simplify]: Extracting #1: cost 26 inf + 0 1.935 * * [simplify]: Extracting #2: cost 90 inf + 1 1.936 * * [simplify]: Extracting #3: cost 119 inf + 6 1.937 * * [simplify]: Extracting #4: cost 114 inf + 934 1.940 * * [simplify]: Extracting #5: cost 73 inf + 11756 1.952 * * [simplify]: Extracting #6: cost 25 inf + 52397 1.967 * * [simplify]: Extracting #7: cost 7 inf + 75091 1.980 * * [simplify]: Extracting #8: cost 1 inf + 77076 1.991 * * [simplify]: Extracting #9: cost 0 inf + 77117 2.013 * [simplify]: Simplified to (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) 2.013 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))))) 2.013 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 2.013 * [simplify]: Simplifying (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 2.014 * * [simplify]: iters left: 5 (7 enodes) 2.017 * * [simplify]: iters left: 4 (30 enodes) 2.027 * * [simplify]: iters left: 3 (52 enodes) 2.035 * * [simplify]: iters left: 2 (80 enodes) 2.049 * * [simplify]: iters left: 1 (137 enodes) 2.086 * * [simplify]: Extracting #0: cost 1 inf + 0 2.086 * * [simplify]: Extracting #1: cost 13 inf + 0 2.086 * * [simplify]: Extracting #2: cost 49 inf + 1 2.087 * * [simplify]: Extracting #3: cost 65 inf + 5 2.087 * * [simplify]: Extracting #4: cost 59 inf + 1289 2.088 * * [simplify]: Extracting #5: cost 31 inf + 8947 2.091 * * [simplify]: Extracting #6: cost 6 inf + 28272 2.094 * * [simplify]: Extracting #7: cost 1 inf + 28911 2.097 * * [simplify]: Extracting #8: cost 0 inf + 28820 2.103 * [simplify]: Simplified to (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 2.103 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))))) 2.103 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 2.103 * [simplify]: Simplifying (pow 1 (log1p a)) 2.103 * * [simplify]: iters left: 2 (4 enodes) 2.106 * * [simplify]: iters left: 1 (12 enodes) 2.110 * * [simplify]: Extracting #0: cost 1 inf + 0 2.110 * * [simplify]: Extracting #1: cost 0 inf + 1 2.111 * [simplify]: Simplified to 1 2.111 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* 1 (pow (fmod (cosh a) (* a a)) (log1p a))))) 2.111 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 2.111 * * * * [progress]: [ 41 / 50 ] simplifiying candidate #real (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a))))))> 2.111 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 2.112 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 2.112 * * [simplify]: iters left: 2 (5 enodes) 2.115 * * [simplify]: iters left: 1 (25 enodes) 2.119 * * [simplify]: Extracting #0: cost 1 inf + 0 2.119 * * [simplify]: Extracting #1: cost 4 inf + 0 2.119 * * [simplify]: Extracting #2: cost 9 inf + 0 2.119 * * [simplify]: Extracting #3: cost 10 inf + 2 2.119 * * [simplify]: Extracting #4: cost 8 inf + 433 2.119 * * [simplify]: Extracting #5: cost 4 inf + 823 2.119 * * [simplify]: Extracting #6: cost 0 inf + 1417 2.120 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 2.120 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.120 * * * * [progress]: [ 43 / 50 ] simplifiying candidate # 2.120 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 2.120 * * [simplify]: iters left: 2 (5 enodes) 2.122 * * [simplify]: iters left: 1 (25 enodes) 2.126 * * [simplify]: Extracting #0: cost 1 inf + 0 2.126 * * [simplify]: Extracting #1: cost 4 inf + 0 2.126 * * [simplify]: Extracting #2: cost 9 inf + 0 2.126 * * [simplify]: Extracting #3: cost 10 inf + 2 2.126 * * [simplify]: Extracting #4: cost 8 inf + 433 2.126 * * [simplify]: Extracting #5: cost 4 inf + 823 2.127 * * [simplify]: Extracting #6: cost 0 inf + 1417 2.127 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 2.127 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.127 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 2.127 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 2.127 * * [simplify]: iters left: 2 (5 enodes) 2.129 * * [simplify]: iters left: 1 (25 enodes) 2.133 * * [simplify]: Extracting #0: cost 1 inf + 0 2.133 * * [simplify]: Extracting #1: cost 4 inf + 0 2.133 * * [simplify]: Extracting #2: cost 9 inf + 0 2.133 * * [simplify]: Extracting #3: cost 10 inf + 2 2.133 * * [simplify]: Extracting #4: cost 8 inf + 433 2.133 * * [simplify]: Extracting #5: cost 4 inf + 823 2.133 * * [simplify]: Extracting #6: cost 0 inf + 1417 2.134 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 2.134 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.134 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 2.134 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.134 * * [simplify]: iters left: 4 (8 enodes) 2.136 * * [simplify]: iters left: 3 (37 enodes) 2.142 * * [simplify]: iters left: 2 (60 enodes) 2.150 * * [simplify]: iters left: 1 (86 enodes) 2.164 * * [simplify]: Extracting #0: cost 1 inf + 0 2.164 * * [simplify]: Extracting #1: cost 3 inf + 0 2.164 * * [simplify]: Extracting #2: cost 13 inf + 0 2.164 * * [simplify]: Extracting #3: cost 38 inf + 0 2.164 * * [simplify]: Extracting #4: cost 45 inf + 241 2.164 * * [simplify]: Extracting #5: cost 33 inf + 2907 2.165 * * [simplify]: Extracting #6: cost 22 inf + 6227 2.166 * * [simplify]: Extracting #7: cost 3 inf + 14662 2.169 * * [simplify]: Extracting #8: cost 0 inf + 16508 2.175 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 2.176 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.176 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 2.176 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.176 * * [simplify]: iters left: 4 (8 enodes) 2.181 * * [simplify]: iters left: 3 (37 enodes) 2.188 * * [simplify]: iters left: 2 (60 enodes) 2.197 * * [simplify]: iters left: 1 (86 enodes) 2.210 * * [simplify]: Extracting #0: cost 1 inf + 0 2.210 * * [simplify]: Extracting #1: cost 3 inf + 0 2.210 * * [simplify]: Extracting #2: cost 13 inf + 0 2.210 * * [simplify]: Extracting #3: cost 38 inf + 0 2.210 * * [simplify]: Extracting #4: cost 45 inf + 241 2.211 * * [simplify]: Extracting #5: cost 33 inf + 2907 2.211 * * [simplify]: Extracting #6: cost 22 inf + 6227 2.213 * * [simplify]: Extracting #7: cost 3 inf + 14662 2.214 * * [simplify]: Extracting #8: cost 0 inf + 16508 2.216 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 2.216 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.216 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 2.216 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.216 * * [simplify]: iters left: 4 (8 enodes) 2.219 * * [simplify]: iters left: 3 (37 enodes) 2.225 * * [simplify]: iters left: 2 (60 enodes) 2.233 * * [simplify]: iters left: 1 (86 enodes) 2.256 * * [simplify]: Extracting #0: cost 1 inf + 0 2.256 * * [simplify]: Extracting #1: cost 3 inf + 0 2.256 * * [simplify]: Extracting #2: cost 13 inf + 0 2.256 * * [simplify]: Extracting #3: cost 38 inf + 0 2.256 * * [simplify]: Extracting #4: cost 45 inf + 241 2.256 * * [simplify]: Extracting #5: cost 33 inf + 2907 2.257 * * [simplify]: Extracting #6: cost 22 inf + 6227 2.258 * * [simplify]: Extracting #7: cost 3 inf + 14662 2.260 * * [simplify]: Extracting #8: cost 0 inf + 16508 2.262 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 2.262 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 2.263 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 2.263 * [simplify]: Simplifying (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 2.263 * * [simplify]: iters left: 6 (17 enodes) 2.269 * * [simplify]: iters left: 5 (83 enodes) 2.289 * * [simplify]: iters left: 4 (174 enodes) 2.361 * * [simplify]: iters left: 3 (388 enodes) 2.562 * * [simplify]: Extracting #0: cost 1 inf + 0 2.562 * * [simplify]: Extracting #1: cost 45 inf + 0 2.563 * * [simplify]: Extracting #2: cost 163 inf + 4 2.565 * * [simplify]: Extracting #3: cost 159 inf + 826 2.568 * * [simplify]: Extracting #4: cost 147 inf + 3081 2.586 * * [simplify]: Extracting #5: cost 39 inf + 42222 2.609 * * [simplify]: Extracting #6: cost 3 inf + 54713 2.624 * * [simplify]: Extracting #7: cost 0 inf + 55050 2.647 * [simplify]: Simplified to (fma -1/2 (* (* a a) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (fma (* (* a a) (log (fmod (cosh a) (* a a)))) 1/2 a) 1)) 2.647 * [simplify]: Simplified (2 1) to (λ (a) (acos (fma -1/2 (* (* a a) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (fma (* (* a a) (log (fmod (cosh a) (* a a)))) 1/2 a) 1)))) 2.647 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 2.648 * [simplify]: Simplifying (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 2.648 * * [simplify]: iters left: 6 (25 enodes) 2.667 * * [simplify]: iters left: 5 (121 enodes) 2.689 * * [simplify]: iters left: 4 (271 enodes) 2.799 * * [simplify]: Extracting #0: cost 1 inf + 0 2.799 * * [simplify]: Extracting #1: cost 30 inf + 0 2.800 * * [simplify]: Extracting #2: cost 139 inf + 2 2.801 * * [simplify]: Extracting #3: cost 210 inf + 283 2.807 * * [simplify]: Extracting #4: cost 156 inf + 21978 2.824 * * [simplify]: Extracting #5: cost 33 inf + 84714 2.849 * * [simplify]: Extracting #6: cost 4 inf + 98297 2.876 * * [simplify]: Extracting #7: cost 1 inf + 96852 2.897 * * [simplify]: Extracting #8: cost 0 inf + 96891 2.932 * [simplify]: Simplified to (+ (/ -1/2 (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) (fma (/ (log (fmod (cosh a) (* a a))) (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (exp (* (log (fmod (cosh a) (* a a))) (log a))) (exp (* (log (fmod (cosh a) (* a a))) (log a)))))) 2.932 * [simplify]: Simplified (2 1) to (λ (a) (acos (+ (/ -1/2 (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) (fma (/ (log (fmod (cosh a) (* a a))) (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (exp (* (log (fmod (cosh a) (* a a))) (log a))) (exp (* (log (fmod (cosh a) (* a a))) (log a)))))))) 2.932 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 2.932 * [simplify]: Simplifying (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 2.933 * * [simplify]: iters left: 6 (24 enodes) 2.939 * * [simplify]: iters left: 5 (113 enodes) 2.962 * * [simplify]: iters left: 4 (271 enodes) 3.053 * * [simplify]: Extracting #0: cost 1 inf + 0 3.053 * * [simplify]: Extracting #1: cost 30 inf + 0 3.054 * * [simplify]: Extracting #2: cost 139 inf + 2 3.054 * * [simplify]: Extracting #3: cost 219 inf + 168 3.056 * * [simplify]: Extracting #4: cost 221 inf + 4341 3.061 * * [simplify]: Extracting #5: cost 155 inf + 35127 3.089 * * [simplify]: Extracting #6: cost 61 inf + 88691 3.118 * * [simplify]: Extracting #7: cost 4 inf + 126605 3.150 * * [simplify]: Extracting #8: cost 0 inf + 126531 3.192 * [simplify]: Simplified to (fma -1/2 (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (* a a)) (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) a))) 3.192 * [simplify]: Simplified (2 1) to (λ (a) (acos (fma -1/2 (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (* a a)) (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) a))))) 3.192 * * * [progress]: adding candidates to table 3.751 * * [progress]: iteration 2 / 4 3.751 * * * [progress]: picking best candidate 3.780 * * * * [pick]: Picked # 3.780 * * * [progress]: localizing error 3.803 * * * [progress]: generating rewritten candidates 3.803 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 3.803 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.816 * * * [progress]: generating series expansions 3.816 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 3.816 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 3.816 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 3.816 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 3.816 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.816 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 3.816 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.816 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.817 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.817 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 3.817 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 3.817 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.817 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 3.817 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.818 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 3.818 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.818 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 3.818 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 3.819 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.819 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 3.819 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.819 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 3.819 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.820 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 3.820 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 3.820 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 3.820 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.820 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 3.820 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.820 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.821 * [backup-simplify]: Simplify 0 into 0 3.821 * [backup-simplify]: Simplify 0 into 0 3.821 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.821 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.821 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 3.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 3.821 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 3.821 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.821 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 3.822 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.822 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 3.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 3.822 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.822 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 3.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 3.823 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.824 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.824 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 3.824 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 3.824 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.824 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 3.824 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.824 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 0 into 0 3.825 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.825 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 3.825 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 3.825 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 3.825 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 3.825 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 3.825 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 3.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.827 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 3.827 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 3.827 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 3.827 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 3.827 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 3.827 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 3.827 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 3.827 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.828 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a)) 3.828 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 3.828 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 3.828 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 3.828 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 3.828 * [taylor]: Taking taylor expansion of (log1p a) in a 3.828 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.829 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.829 * [taylor]: Taking taylor expansion of 1 in a 3.829 * [backup-simplify]: Simplify 1 into 1 3.829 * [taylor]: Taking taylor expansion of a in a 3.829 * [backup-simplify]: Simplify 0 into 0 3.829 * [backup-simplify]: Simplify 1 into 1 3.829 * [backup-simplify]: Simplify (+ 1 0) into 1 3.830 * [backup-simplify]: Simplify (log 1) into 0 3.830 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 3.830 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 3.830 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.830 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 3.830 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 3.831 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 3.832 * [backup-simplify]: Simplify (+ 0 1) into 1 3.833 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.833 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 3.833 * [backup-simplify]: Simplify (exp 0) into 1 3.833 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 3.833 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 3.833 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 3.833 * [taylor]: Taking taylor expansion of (log1p a) in a 3.834 * [taylor]: Rewrote expression to (log (+ 1 a)) 3.834 * [taylor]: Taking taylor expansion of (+ 1 a) in a 3.834 * [taylor]: Taking taylor expansion of 1 in a 3.834 * [backup-simplify]: Simplify 1 into 1 3.834 * [taylor]: Taking taylor expansion of a in a 3.834 * [backup-simplify]: Simplify 0 into 0 3.834 * [backup-simplify]: Simplify 1 into 1 3.834 * [backup-simplify]: Simplify (+ 1 0) into 1 3.835 * [backup-simplify]: Simplify (log 1) into 0 3.835 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 3.835 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 3.835 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 3.835 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 3.835 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 3.836 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 3.836 * [backup-simplify]: Simplify (+ 0 1) into 1 3.837 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.838 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 3.838 * [backup-simplify]: Simplify (exp 0) into 1 3.838 * [backup-simplify]: Simplify 1 into 1 3.838 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2))) 3.838 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 3.840 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0 3.841 * [backup-simplify]: Simplify (+ 0 0) into 0 3.844 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 3.845 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) 3.846 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) 3.846 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 3.847 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) 3.847 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 3.847 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 3.847 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 3.847 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 3.847 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.847 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.847 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.847 * [taylor]: Taking taylor expansion of 1 in a 3.847 * [backup-simplify]: Simplify 1 into 1 3.847 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.847 * [taylor]: Taking taylor expansion of a in a 3.847 * [backup-simplify]: Simplify 0 into 0 3.847 * [backup-simplify]: Simplify 1 into 1 3.848 * [backup-simplify]: Simplify (/ 1 1) into 1 3.848 * [backup-simplify]: Simplify (+ 0 1) into 1 3.848 * [backup-simplify]: Simplify (log 1) into 0 3.849 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 3.849 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 3.849 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.849 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3.849 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.850 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 3.850 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 3.850 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 3.850 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 3.850 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 3.850 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 3.850 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 3.850 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 3.850 * [taylor]: Taking taylor expansion of 1 in a 3.850 * [backup-simplify]: Simplify 1 into 1 3.850 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.850 * [taylor]: Taking taylor expansion of a in a 3.850 * [backup-simplify]: Simplify 0 into 0 3.850 * [backup-simplify]: Simplify 1 into 1 3.851 * [backup-simplify]: Simplify (/ 1 1) into 1 3.851 * [backup-simplify]: Simplify (+ 0 1) into 1 3.851 * [backup-simplify]: Simplify (log 1) into 0 3.851 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 3.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 3.852 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3.852 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3.852 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.853 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 3.853 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 3.853 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 3.854 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.854 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 3.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.856 * [backup-simplify]: Simplify (+ 1 0) into 1 3.857 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.857 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3.858 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3.858 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3.859 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 3.861 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0 3.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.862 * [backup-simplify]: Simplify (+ 0 0) into 0 3.865 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.866 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3.867 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 3.867 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 3.869 * [backup-simplify]: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 3.870 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) 3.870 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 3.870 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 3.870 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 3.870 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 3.870 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.870 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.870 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.870 * [taylor]: Taking taylor expansion of 1 in a 3.870 * [backup-simplify]: Simplify 1 into 1 3.870 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.870 * [taylor]: Taking taylor expansion of -1 in a 3.870 * [backup-simplify]: Simplify -1 into -1 3.870 * [taylor]: Taking taylor expansion of a in a 3.870 * [backup-simplify]: Simplify 0 into 0 3.870 * [backup-simplify]: Simplify 1 into 1 3.871 * [backup-simplify]: Simplify (/ -1 1) into -1 3.872 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.872 * [backup-simplify]: Simplify (log -1) into (log -1) 3.872 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 3.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 3.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.873 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3.880 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.882 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3.882 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 3.882 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 3.882 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 3.882 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 3.882 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 3.883 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 3.883 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 3.883 * [taylor]: Taking taylor expansion of 1 in a 3.883 * [backup-simplify]: Simplify 1 into 1 3.883 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.883 * [taylor]: Taking taylor expansion of -1 in a 3.883 * [backup-simplify]: Simplify -1 into -1 3.883 * [taylor]: Taking taylor expansion of a in a 3.883 * [backup-simplify]: Simplify 0 into 0 3.883 * [backup-simplify]: Simplify 1 into 1 3.883 * [backup-simplify]: Simplify (/ -1 1) into -1 3.884 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.884 * [backup-simplify]: Simplify (log -1) into (log -1) 3.884 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 3.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 3.885 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3.885 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3.886 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.886 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3.887 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 3.888 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 3.888 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.889 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 3.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.891 * [backup-simplify]: Simplify (+ 1 0) into 1 3.892 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.893 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3.894 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3.895 * [backup-simplify]: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3.896 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 3.898 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0 3.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.900 * [backup-simplify]: Simplify (+ 0 0) into 0 3.903 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.904 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3.905 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 3.906 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 3.909 * [backup-simplify]: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 3.910 * * * [progress]: simplifying candidates 3.910 * * * * [progress]: [ 1 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 2 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 3 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 4 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 5 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 6 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 7 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 8 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 9 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 10 / 75 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))> 3.910 * * * * [progress]: [ 11 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 12 / 75 ] simplifiying candidate # 3.910 * * * * [progress]: [ 13 / 75 ] simplifiying candidate # 3.911 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) 3.911 * * [simplify]: iters left: 6 (8 enodes) 3.914 * * [simplify]: iters left: 5 (32 enodes) 3.925 * * [simplify]: iters left: 4 (47 enodes) 3.939 * * [simplify]: iters left: 3 (51 enodes) 3.953 * * [simplify]: iters left: 2 (53 enodes) 3.968 * * [simplify]: Extracting #0: cost 1 inf + 0 3.968 * * [simplify]: Extracting #1: cost 4 inf + 0 3.968 * * [simplify]: Extracting #2: cost 7 inf + 0 3.968 * * [simplify]: Extracting #3: cost 9 inf + 0 3.968 * * [simplify]: Extracting #4: cost 11 inf + 0 3.968 * * [simplify]: Extracting #5: cost 14 inf + 0 3.968 * * [simplify]: Extracting #6: cost 19 inf + 0 3.968 * * [simplify]: Extracting #7: cost 20 inf + 2 3.969 * * [simplify]: Extracting #8: cost 18 inf + 543 3.969 * * [simplify]: Extracting #9: cost 12 inf + 1580 3.970 * * [simplify]: Extracting #10: cost 1 inf + 4471 3.971 * * [simplify]: Extracting #11: cost 0 inf + 4857 3.972 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) 3.972 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 3.972 * * * * [progress]: [ 14 / 75 ] simplifiying candidate # 3.972 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a))))) 3.973 * * [simplify]: iters left: 6 (7 enodes) 3.975 * * [simplify]: iters left: 5 (27 enodes) 3.980 * * [simplify]: iters left: 4 (40 enodes) 3.985 * * [simplify]: iters left: 3 (44 enodes) 3.992 * * [simplify]: iters left: 2 (46 enodes) 3.998 * * [simplify]: Extracting #0: cost 1 inf + 0 3.998 * * [simplify]: Extracting #1: cost 3 inf + 0 3.998 * * [simplify]: Extracting #2: cost 5 inf + 0 3.998 * * [simplify]: Extracting #3: cost 7 inf + 0 3.998 * * [simplify]: Extracting #4: cost 10 inf + 0 3.998 * * [simplify]: Extracting #5: cost 15 inf + 0 3.998 * * [simplify]: Extracting #6: cost 16 inf + 2 3.998 * * [simplify]: Extracting #7: cost 14 inf + 433 3.999 * * [simplify]: Extracting #8: cost 7 inf + 1446 3.999 * * [simplify]: Extracting #9: cost 0 inf + 3133 3.999 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a))))) 3.999 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 3.999 * * * * [progress]: [ 15 / 75 ] simplifiying candidate # 4.000 * [simplify]: Simplifying (log 1) 4.000 * * [simplify]: iters left: 1 (2 enodes) 4.001 * * [simplify]: Extracting #0: cost 1 inf + 0 4.001 * * [simplify]: Extracting #1: cost 0 inf + 1 4.001 * [simplify]: Simplified to 0 4.001 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) 4.001 * * * * [progress]: [ 16 / 75 ] simplifiying candidate # 4.001 * * * * [progress]: [ 17 / 75 ] simplifiying candidate # 4.001 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a))) 4.001 * * [simplify]: iters left: 4 (5 enodes) 4.002 * * [simplify]: iters left: 3 (21 enodes) 4.005 * * [simplify]: iters left: 2 (34 enodes) 4.012 * * [simplify]: iters left: 1 (38 enodes) 4.018 * * [simplify]: Extracting #0: cost 1 inf + 0 4.018 * * [simplify]: Extracting #1: cost 3 inf + 0 4.018 * * [simplify]: Extracting #2: cost 6 inf + 0 4.018 * * [simplify]: Extracting #3: cost 11 inf + 0 4.018 * * [simplify]: Extracting #4: cost 12 inf + 2 4.018 * * [simplify]: Extracting #5: cost 9 inf + 599 4.018 * * [simplify]: Extracting #6: cost 5 inf + 1069 4.018 * * [simplify]: Extracting #7: cost 0 inf + 1909 4.018 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a))) 4.018 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 4.019 * * * * [progress]: [ 18 / 75 ] simplifiying candidate # 4.019 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a))) 4.019 * * [simplify]: iters left: 4 (5 enodes) 4.020 * * [simplify]: iters left: 3 (21 enodes) 4.023 * * [simplify]: iters left: 2 (34 enodes) 4.028 * * [simplify]: iters left: 1 (38 enodes) 4.034 * * [simplify]: Extracting #0: cost 1 inf + 0 4.034 * * [simplify]: Extracting #1: cost 3 inf + 0 4.034 * * [simplify]: Extracting #2: cost 6 inf + 0 4.034 * * [simplify]: Extracting #3: cost 11 inf + 0 4.034 * * [simplify]: Extracting #4: cost 12 inf + 2 4.034 * * [simplify]: Extracting #5: cost 9 inf + 599 4.034 * * [simplify]: Extracting #6: cost 5 inf + 1029 4.034 * * [simplify]: Extracting #7: cost 0 inf + 1829 4.034 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 4.035 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 4.035 * * * * [progress]: [ 19 / 75 ] simplifiying candidate # 4.035 * [simplify]: Simplifying (fmod (cosh a) (* a a)) 4.035 * * [simplify]: iters left: 3 (4 enodes) 4.036 * * [simplify]: iters left: 2 (18 enodes) 4.039 * * [simplify]: iters left: 1 (31 enodes) 4.043 * * [simplify]: Extracting #0: cost 1 inf + 0 4.043 * * [simplify]: Extracting #1: cost 4 inf + 0 4.043 * * [simplify]: Extracting #2: cost 9 inf + 0 4.043 * * [simplify]: Extracting #3: cost 10 inf + 2 4.044 * * [simplify]: Extracting #4: cost 7 inf + 599 4.044 * * [simplify]: Extracting #5: cost 5 inf + 712 4.044 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.044 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.044 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))) 4.044 * * * * [progress]: [ 20 / 75 ] simplifiying candidate # 4.044 * * * * [progress]: [ 21 / 75 ] simplifiying candidate # 4.044 * [simplify]: Simplifying (cosh a) 4.044 * * [simplify]: iters left: 1 (2 enodes) 4.045 * * [simplify]: Extracting #0: cost 1 inf + 0 4.045 * * [simplify]: Extracting #1: cost 5 inf + 0 4.045 * * [simplify]: Extracting #2: cost 5 inf + 2 4.045 * * [simplify]: Extracting #3: cost 3 inf + 185 4.045 * * [simplify]: Extracting #4: cost 0 inf + 558 4.045 * [simplify]: Simplified to (cosh a) 4.045 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 4.045 * * * * [progress]: [ 22 / 75 ] simplifiying candidate # 4.045 * * * * [progress]: [ 23 / 75 ] simplifiying candidate # 4.045 * * * * [progress]: [ 24 / 75 ] simplifiying candidate # 4.045 * * * * [progress]: [ 25 / 75 ] simplifiying candidate # 4.045 * * * * [progress]: [ 26 / 75 ] simplifiying candidate # 4.045 * * * * [progress]: [ 27 / 75 ] simplifiying candidate # 4.045 * * * * [progress]: [ 28 / 75 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))> 4.045 * * * * [progress]: [ 29 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 30 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 31 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 32 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 33 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 34 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 35 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 36 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 37 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 38 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 39 / 75 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 4.046 * * * * [progress]: [ 40 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 41 / 75 ] simplifiying candidate # 4.046 * * * * [progress]: [ 42 / 75 ] simplifiying candidate # 4.046 * [simplify]: Simplifying (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)) 4.046 * * [simplify]: iters left: 6 (9 enodes) 4.048 * * [simplify]: iters left: 5 (32 enodes) 4.053 * * [simplify]: iters left: 4 (45 enodes) 4.059 * * [simplify]: iters left: 3 (49 enodes) 4.065 * * [simplify]: iters left: 2 (51 enodes) 4.073 * * [simplify]: Extracting #0: cost 1 inf + 0 4.073 * * [simplify]: Extracting #1: cost 4 inf + 0 4.073 * * [simplify]: Extracting #2: cost 8 inf + 0 4.073 * * [simplify]: Extracting #3: cost 11 inf + 1 4.073 * * [simplify]: Extracting #4: cost 9 inf + 993 4.074 * * [simplify]: Extracting #5: cost 5 inf + 2150 4.074 * * [simplify]: Extracting #6: cost 7 inf + 2457 4.075 * * [simplify]: Extracting #7: cost 3 inf + 2902 4.076 * * [simplify]: Extracting #8: cost 0 inf + 3275 4.076 * [simplify]: Simplified to (* (log1p a) (log (fmod (cosh a) (* a a)))) 4.076 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))) 4.076 * * * * [progress]: [ 43 / 75 ] simplifiying candidate # 4.076 * * * * [progress]: [ 44 / 75 ] simplifiying candidate # 4.077 * [simplify]: Simplifying (log (exp (fmod (cosh a) (* a a)))) 4.077 * * [simplify]: iters left: 5 (6 enodes) 4.079 * * [simplify]: iters left: 4 (22 enodes) 4.086 * * [simplify]: iters left: 3 (35 enodes) 4.097 * * [simplify]: iters left: 2 (39 enodes) 4.108 * * [simplify]: iters left: 1 (41 enodes) 4.119 * * [simplify]: Extracting #0: cost 1 inf + 0 4.119 * * [simplify]: Extracting #1: cost 5 inf + 0 4.120 * * [simplify]: Extracting #2: cost 11 inf + 0 4.120 * * [simplify]: Extracting #3: cost 12 inf + 2 4.120 * * [simplify]: Extracting #4: cost 11 inf + 377 4.120 * * [simplify]: Extracting #5: cost 5 inf + 1184 4.121 * * [simplify]: Extracting #6: cost 1 inf + 1668 4.121 * * [simplify]: Extracting #7: cost 0 inf + 1889 4.122 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.122 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a))))) 4.122 * * * * [progress]: [ 45 / 75 ] simplifiying candidate # 4.122 * [simplify]: Simplifying (cbrt (log1p a)) 4.122 * * [simplify]: iters left: 2 (3 enodes) 4.123 * * [simplify]: iters left: 1 (9 enodes) 4.126 * * [simplify]: Extracting #0: cost 1 inf + 0 4.126 * * [simplify]: Extracting #1: cost 3 inf + 0 4.126 * * [simplify]: Extracting #2: cost 5 inf + 0 4.126 * * [simplify]: Extracting #3: cost 4 inf + 1 4.126 * * [simplify]: Extracting #4: cost 0 inf + 525 4.126 * [simplify]: Simplified to (cbrt (log1p a)) 4.126 * [simplify]: Simplified (2 1 2) to (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a))))) 4.126 * * * * [progress]: [ 46 / 75 ] simplifiying candidate # 4.127 * [simplify]: Simplifying (sqrt (log1p a)) 4.127 * * [simplify]: iters left: 2 (3 enodes) 4.128 * * [simplify]: iters left: 1 (9 enodes) 4.130 * * [simplify]: Extracting #0: cost 1 inf + 0 4.130 * * [simplify]: Extracting #1: cost 3 inf + 0 4.130 * * [simplify]: Extracting #2: cost 5 inf + 0 4.130 * * [simplify]: Extracting #3: cost 4 inf + 1 4.130 * * [simplify]: Extracting #4: cost 0 inf + 445 4.131 * [simplify]: Simplified to (sqrt (log1p a)) 4.131 * [simplify]: Simplified (2 1 2) to (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))) 4.131 * * * * [progress]: [ 47 / 75 ] simplifiying candidate # 4.131 * [simplify]: Simplifying (log1p a) 4.131 * * [simplify]: iters left: 1 (2 enodes) 4.132 * * [simplify]: Extracting #0: cost 1 inf + 0 4.132 * * [simplify]: Extracting #1: cost 3 inf + 0 4.132 * * [simplify]: Extracting #2: cost 2 inf + 1 4.133 * * [simplify]: Extracting #3: cost 0 inf + 183 4.133 * [simplify]: Simplified to (log1p a) 4.133 * [simplify]: Simplified (2 1 2) to (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a)))) 4.133 * * * * [progress]: [ 48 / 75 ] simplifiying candidate # 4.133 * [simplify]: Simplifying (pow 1 (log1p a)) 4.133 * * [simplify]: iters left: 2 (4 enodes) 4.135 * * [simplify]: iters left: 1 (12 enodes) 4.139 * * [simplify]: Extracting #0: cost 1 inf + 0 4.139 * * [simplify]: Extracting #1: cost 0 inf + 1 4.139 * [simplify]: Simplified to 1 4.139 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) 4.139 * * * * [progress]: [ 49 / 75 ] simplifiying candidate # 4.140 * [simplify]: Simplifying (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) 4.140 * * [simplify]: iters left: 5 (7 enodes) 4.143 * * [simplify]: iters left: 4 (30 enodes) 4.153 * * [simplify]: iters left: 3 (52 enodes) 4.169 * * [simplify]: iters left: 2 (80 enodes) 4.198 * * [simplify]: iters left: 1 (137 enodes) 4.252 * * [simplify]: Extracting #0: cost 1 inf + 0 4.252 * * [simplify]: Extracting #1: cost 13 inf + 0 4.253 * * [simplify]: Extracting #2: cost 49 inf + 1 4.253 * * [simplify]: Extracting #3: cost 65 inf + 5 4.254 * * [simplify]: Extracting #4: cost 59 inf + 1289 4.255 * * [simplify]: Extracting #5: cost 31 inf + 9267 4.258 * * [simplify]: Extracting #6: cost 6 inf + 29552 4.261 * * [simplify]: Extracting #7: cost 1 inf + 30231 4.264 * * [simplify]: Extracting #8: cost 0 inf + 30140 4.267 * [simplify]: Simplified to (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) 4.267 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) 4.268 * * * * [progress]: [ 50 / 75 ] simplifiying candidate # 4.268 * [simplify]: Simplifying (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 4.268 * * [simplify]: iters left: 5 (7 enodes) 4.269 * * [simplify]: iters left: 4 (30 enodes) 4.274 * * [simplify]: iters left: 3 (52 enodes) 4.289 * * [simplify]: iters left: 2 (80 enodes) 4.310 * * [simplify]: iters left: 1 (137 enodes) 4.340 * * [simplify]: Extracting #0: cost 1 inf + 0 4.342 * * [simplify]: Extracting #1: cost 13 inf + 0 4.342 * * [simplify]: Extracting #2: cost 49 inf + 1 4.343 * * [simplify]: Extracting #3: cost 65 inf + 5 4.343 * * [simplify]: Extracting #4: cost 59 inf + 1289 4.345 * * [simplify]: Extracting #5: cost 31 inf + 8947 4.349 * * [simplify]: Extracting #6: cost 6 inf + 28272 4.352 * * [simplify]: Extracting #7: cost 1 inf + 28911 4.355 * * [simplify]: Extracting #8: cost 0 inf + 28820 4.359 * [simplify]: Simplified to (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 4.359 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))))) 4.359 * * * * [progress]: [ 51 / 75 ] simplifiying candidate # 4.359 * [simplify]: Simplifying (pow (fmod (cosh a) (* a a)) (log1p a)) 4.359 * * [simplify]: iters left: 4 (6 enodes) 4.360 * * [simplify]: iters left: 3 (27 enodes) 4.365 * * [simplify]: iters left: 2 (49 enodes) 4.373 * * [simplify]: iters left: 1 (77 enodes) 4.394 * * [simplify]: Extracting #0: cost 1 inf + 0 4.394 * * [simplify]: Extracting #1: cost 11 inf + 0 4.394 * * [simplify]: Extracting #2: cost 36 inf + 0 4.395 * * [simplify]: Extracting #3: cost 40 inf + 677 4.395 * * [simplify]: Extracting #4: cost 20 inf + 5780 4.396 * * [simplify]: Extracting #5: cost 11 inf + 9709 4.398 * * [simplify]: Extracting #6: cost 1 inf + 15632 4.399 * * [simplify]: Extracting #7: cost 0 inf + 15394 4.401 * [simplify]: Simplified to (pow (fmod (cosh a) (* a a)) (log1p a)) 4.401 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (log (exp 1)) (log1p a))))) 4.401 * * * * [progress]: [ 52 / 75 ] simplifiying candidate # 4.401 * [simplify]: Simplifying (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)) 4.401 * * [simplify]: iters left: 6 (10 enodes) 4.403 * * [simplify]: iters left: 5 (37 enodes) 4.409 * * [simplify]: iters left: 4 (59 enodes) 4.418 * * [simplify]: iters left: 3 (87 enodes) 4.444 * * [simplify]: iters left: 2 (141 enodes) 4.485 * * [simplify]: iters left: 1 (260 enodes) 4.616 * * [simplify]: Extracting #0: cost 1 inf + 0 4.616 * * [simplify]: Extracting #1: cost 23 inf + 0 4.617 * * [simplify]: Extracting #2: cost 86 inf + 1 4.617 * * [simplify]: Extracting #3: cost 114 inf + 6 4.618 * * [simplify]: Extracting #4: cost 95 inf + 3146 4.619 * * [simplify]: Extracting #5: cost 78 inf + 6957 4.622 * * [simplify]: Extracting #6: cost 49 inf + 25004 4.633 * * [simplify]: Extracting #7: cost 19 inf + 56289 4.656 * * [simplify]: Extracting #8: cost 1 inf + 74741 4.677 * * [simplify]: Extracting #9: cost 0 inf + 74782 4.697 * [simplify]: Simplified to (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) 4.697 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))))) 4.697 * * * * [progress]: [ 53 / 75 ] simplifiying candidate # 4.698 * [simplify]: Simplifying (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) 4.698 * * [simplify]: iters left: 6 (9 enodes) 4.701 * * [simplify]: iters left: 5 (34 enodes) 4.710 * * [simplify]: iters left: 4 (56 enodes) 4.718 * * [simplify]: iters left: 3 (84 enodes) 4.732 * * [simplify]: iters left: 2 (138 enodes) 4.778 * * [simplify]: iters left: 1 (262 enodes) 4.898 * * [simplify]: Extracting #0: cost 1 inf + 0 4.898 * * [simplify]: Extracting #1: cost 24 inf + 0 4.898 * * [simplify]: Extracting #2: cost 86 inf + 1 4.899 * * [simplify]: Extracting #3: cost 113 inf + 98 4.900 * * [simplify]: Extracting #4: cost 87 inf + 5059 4.903 * * [simplify]: Extracting #5: cost 44 inf + 28043 4.912 * * [simplify]: Extracting #6: cost 6 inf + 66904 4.920 * * [simplify]: Extracting #7: cost 1 inf + 67017 4.929 * * [simplify]: Extracting #8: cost 0 inf + 67058 4.938 * [simplify]: Simplified to (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 4.938 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))))) 4.938 * * * * [progress]: [ 54 / 75 ] simplifiying candidate # 4.938 * [simplify]: Simplifying (pow 1 (log1p a)) 4.938 * * [simplify]: iters left: 2 (4 enodes) 4.940 * * [simplify]: iters left: 1 (12 enodes) 4.942 * * [simplify]: Extracting #0: cost 1 inf + 0 4.942 * * [simplify]: Extracting #1: cost 0 inf + 1 4.942 * [simplify]: Simplified to 1 4.942 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) 4.942 * * * * [progress]: [ 55 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 56 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 57 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 58 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 59 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 60 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 61 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 62 / 75 ] simplifiying candidate # 4.942 * * * * [progress]: [ 63 / 75 ] simplifiying candidate #real (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> 4.942 * * * * [progress]: [ 64 / 75 ] simplifiying candidate # 4.942 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 4.943 * * [simplify]: iters left: 2 (5 enodes) 4.944 * * [simplify]: iters left: 1 (25 enodes) 4.951 * * [simplify]: Extracting #0: cost 1 inf + 0 4.951 * * [simplify]: Extracting #1: cost 4 inf + 0 4.951 * * [simplify]: Extracting #2: cost 9 inf + 0 4.951 * * [simplify]: Extracting #3: cost 10 inf + 2 4.951 * * [simplify]: Extracting #4: cost 8 inf + 433 4.951 * * [simplify]: Extracting #5: cost 4 inf + 823 4.952 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.952 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.952 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 4.952 * * * * [progress]: [ 65 / 75 ] simplifiying candidate # 4.952 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 4.952 * * [simplify]: iters left: 2 (5 enodes) 4.954 * * [simplify]: iters left: 1 (25 enodes) 4.958 * * [simplify]: Extracting #0: cost 1 inf + 0 4.958 * * [simplify]: Extracting #1: cost 4 inf + 0 4.958 * * [simplify]: Extracting #2: cost 9 inf + 0 4.958 * * [simplify]: Extracting #3: cost 10 inf + 2 4.958 * * [simplify]: Extracting #4: cost 8 inf + 433 4.958 * * [simplify]: Extracting #5: cost 4 inf + 823 4.958 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.959 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.959 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 4.959 * * * * [progress]: [ 66 / 75 ] simplifiying candidate # 4.959 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 4.959 * * [simplify]: iters left: 2 (5 enodes) 4.961 * * [simplify]: iters left: 1 (25 enodes) 4.965 * * [simplify]: Extracting #0: cost 1 inf + 0 4.965 * * [simplify]: Extracting #1: cost 4 inf + 0 4.965 * * [simplify]: Extracting #2: cost 9 inf + 0 4.965 * * [simplify]: Extracting #3: cost 10 inf + 2 4.965 * * [simplify]: Extracting #4: cost 8 inf + 433 4.965 * * [simplify]: Extracting #5: cost 4 inf + 823 4.965 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.966 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.966 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 4.966 * * * * [progress]: [ 67 / 75 ] simplifiying candidate # 4.966 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 4.966 * * [simplify]: iters left: 2 (5 enodes) 4.968 * * [simplify]: iters left: 1 (25 enodes) 4.972 * * [simplify]: Extracting #0: cost 1 inf + 0 4.972 * * [simplify]: Extracting #1: cost 4 inf + 0 4.972 * * [simplify]: Extracting #2: cost 9 inf + 0 4.972 * * [simplify]: Extracting #3: cost 10 inf + 2 4.972 * * [simplify]: Extracting #4: cost 8 inf + 433 4.972 * * [simplify]: Extracting #5: cost 4 inf + 823 4.972 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.973 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.973 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 4.973 * * * * [progress]: [ 68 / 75 ] simplifiying candidate # 4.973 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 4.973 * * [simplify]: iters left: 2 (5 enodes) 4.975 * * [simplify]: iters left: 1 (25 enodes) 4.979 * * [simplify]: Extracting #0: cost 1 inf + 0 4.979 * * [simplify]: Extracting #1: cost 4 inf + 0 4.979 * * [simplify]: Extracting #2: cost 9 inf + 0 4.979 * * [simplify]: Extracting #3: cost 10 inf + 2 4.979 * * [simplify]: Extracting #4: cost 8 inf + 433 4.979 * * [simplify]: Extracting #5: cost 4 inf + 823 4.980 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.980 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.980 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 4.980 * * * * [progress]: [ 69 / 75 ] simplifiying candidate # 4.980 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 4.980 * * [simplify]: iters left: 2 (5 enodes) 4.982 * * [simplify]: iters left: 1 (25 enodes) 4.986 * * [simplify]: Extracting #0: cost 1 inf + 0 4.986 * * [simplify]: Extracting #1: cost 4 inf + 0 4.986 * * [simplify]: Extracting #2: cost 9 inf + 0 4.986 * * [simplify]: Extracting #3: cost 10 inf + 2 4.986 * * [simplify]: Extracting #4: cost 8 inf + 433 4.986 * * [simplify]: Extracting #5: cost 4 inf + 823 4.986 * * [simplify]: Extracting #6: cost 0 inf + 1417 4.987 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 4.987 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 4.987 * * * * [progress]: [ 70 / 75 ] simplifiying candidate # 4.987 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.987 * * [simplify]: iters left: 4 (8 enodes) 4.990 * * [simplify]: iters left: 3 (37 enodes) 4.996 * * [simplify]: iters left: 2 (60 enodes) 5.006 * * [simplify]: iters left: 1 (86 enodes) 5.019 * * [simplify]: Extracting #0: cost 1 inf + 0 5.019 * * [simplify]: Extracting #1: cost 3 inf + 0 5.019 * * [simplify]: Extracting #2: cost 13 inf + 0 5.019 * * [simplify]: Extracting #3: cost 38 inf + 0 5.020 * * [simplify]: Extracting #4: cost 45 inf + 241 5.020 * * [simplify]: Extracting #5: cost 33 inf + 2907 5.021 * * [simplify]: Extracting #6: cost 22 inf + 6227 5.022 * * [simplify]: Extracting #7: cost 3 inf + 14662 5.023 * * [simplify]: Extracting #8: cost 0 inf + 16508 5.025 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.025 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.025 * * * * [progress]: [ 71 / 75 ] simplifiying candidate # 5.025 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.025 * * [simplify]: iters left: 4 (8 enodes) 5.029 * * [simplify]: iters left: 3 (37 enodes) 5.035 * * [simplify]: iters left: 2 (60 enodes) 5.044 * * [simplify]: iters left: 1 (86 enodes) 5.057 * * [simplify]: Extracting #0: cost 1 inf + 0 5.057 * * [simplify]: Extracting #1: cost 3 inf + 0 5.057 * * [simplify]: Extracting #2: cost 13 inf + 0 5.058 * * [simplify]: Extracting #3: cost 38 inf + 0 5.058 * * [simplify]: Extracting #4: cost 45 inf + 241 5.058 * * [simplify]: Extracting #5: cost 33 inf + 2907 5.059 * * [simplify]: Extracting #6: cost 22 inf + 6227 5.061 * * [simplify]: Extracting #7: cost 3 inf + 14662 5.065 * * [simplify]: Extracting #8: cost 0 inf + 16508 5.069 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.069 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.069 * * * * [progress]: [ 72 / 75 ] simplifiying candidate # 5.069 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.069 * * [simplify]: iters left: 4 (8 enodes) 5.074 * * [simplify]: iters left: 3 (37 enodes) 5.086 * * [simplify]: iters left: 2 (60 enodes) 5.104 * * [simplify]: iters left: 1 (86 enodes) 5.131 * * [simplify]: Extracting #0: cost 1 inf + 0 5.131 * * [simplify]: Extracting #1: cost 3 inf + 0 5.131 * * [simplify]: Extracting #2: cost 13 inf + 0 5.131 * * [simplify]: Extracting #3: cost 38 inf + 0 5.131 * * [simplify]: Extracting #4: cost 45 inf + 241 5.132 * * [simplify]: Extracting #5: cost 33 inf + 2907 5.133 * * [simplify]: Extracting #6: cost 22 inf + 6227 5.136 * * [simplify]: Extracting #7: cost 3 inf + 14662 5.139 * * [simplify]: Extracting #8: cost 0 inf + 16508 5.142 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.142 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 5.143 * * * * [progress]: [ 73 / 75 ] simplifiying candidate # 5.143 * [simplify]: Simplifying (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 5.143 * * [simplify]: iters left: 6 (17 enodes) 5.155 * * [simplify]: iters left: 5 (83 enodes) 5.186 * * [simplify]: iters left: 4 (174 enodes) 5.261 * * [simplify]: iters left: 3 (388 enodes) 5.505 * * [simplify]: Extracting #0: cost 1 inf + 0 5.506 * * [simplify]: Extracting #1: cost 45 inf + 0 5.507 * * [simplify]: Extracting #2: cost 163 inf + 4 5.509 * * [simplify]: Extracting #3: cost 159 inf + 826 5.512 * * [simplify]: Extracting #4: cost 147 inf + 3081 5.524 * * [simplify]: Extracting #5: cost 39 inf + 42222 5.539 * * [simplify]: Extracting #6: cost 3 inf + 54713 5.561 * * [simplify]: Extracting #7: cost 0 inf + 55050 5.585 * [simplify]: Simplified to (fma -1/2 (* (* a a) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (fma (* (* a a) (log (fmod (cosh a) (* a a)))) 1/2 a) 1)) 5.585 * [simplify]: Simplified (2 1) to (λ (a) (acos (fma -1/2 (* (* a a) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (fma (* (* a a) (log (fmod (cosh a) (* a a)))) 1/2 a) 1)))) 5.585 * * * * [progress]: [ 74 / 75 ] simplifiying candidate # 5.585 * [simplify]: Simplifying (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 5.586 * * [simplify]: iters left: 6 (25 enodes) 5.593 * * [simplify]: iters left: 5 (121 enodes) 5.626 * * [simplify]: iters left: 4 (271 enodes) 5.722 * * [simplify]: Extracting #0: cost 1 inf + 0 5.722 * * [simplify]: Extracting #1: cost 30 inf + 0 5.722 * * [simplify]: Extracting #2: cost 139 inf + 2 5.723 * * [simplify]: Extracting #3: cost 210 inf + 283 5.726 * * [simplify]: Extracting #4: cost 156 inf + 21978 5.743 * * [simplify]: Extracting #5: cost 33 inf + 84714 5.776 * * [simplify]: Extracting #6: cost 4 inf + 98297 5.811 * * [simplify]: Extracting #7: cost 1 inf + 96852 5.847 * * [simplify]: Extracting #8: cost 0 inf + 96891 5.885 * [simplify]: Simplified to (+ (/ -1/2 (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) (fma (/ (log (fmod (cosh a) (* a a))) (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (exp (* (log (fmod (cosh a) (* a a))) (log a))) (exp (* (log (fmod (cosh a) (* a a))) (log a)))))) 5.886 * [simplify]: Simplified (2 1) to (λ (a) (acos (+ (/ -1/2 (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) (fma (/ (log (fmod (cosh a) (* a a))) (/ (/ (* a a) (log (fmod (cosh a) (* a a)))) (exp (* (log (fmod (cosh a) (* a a))) (log a))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (exp (* (log (fmod (cosh a) (* a a))) (log a))) (exp (* (log (fmod (cosh a) (* a a))) (log a)))))))) 5.886 * * * * [progress]: [ 75 / 75 ] simplifiying candidate # 5.886 * [simplify]: Simplifying (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 5.887 * * [simplify]: iters left: 6 (24 enodes) 5.894 * * [simplify]: iters left: 5 (113 enodes) 5.917 * * [simplify]: iters left: 4 (271 enodes) 6.027 * * [simplify]: Extracting #0: cost 1 inf + 0 6.027 * * [simplify]: Extracting #1: cost 30 inf + 0 6.027 * * [simplify]: Extracting #2: cost 139 inf + 2 6.028 * * [simplify]: Extracting #3: cost 219 inf + 168 6.029 * * [simplify]: Extracting #4: cost 221 inf + 4341 6.036 * * [simplify]: Extracting #5: cost 155 inf + 35127 6.050 * * [simplify]: Extracting #6: cost 61 inf + 88691 6.074 * * [simplify]: Extracting #7: cost 4 inf + 126605 6.110 * * [simplify]: Extracting #8: cost 0 inf + 126531 6.150 * [simplify]: Simplified to (fma -1/2 (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (* a a)) (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) a))) 6.150 * [simplify]: Simplified (2 1) to (λ (a) (acos (fma -1/2 (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (* a a)) (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) a))))) 6.150 * * * [progress]: adding candidates to table 6.882 * * [progress]: iteration 3 / 4 6.882 * * * [progress]: picking best candidate 6.968 * * * * [pick]: Picked # 6.968 * * * [progress]: localizing error 7.026 * * * [progress]: generating rewritten candidates 7.026 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1) 7.026 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 7.028 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 7.030 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 7.034 * * * [progress]: generating series expansions 7.034 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1) 7.034 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.034 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.034 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.034 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.035 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.035 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.036 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 7.036 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 7.036 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.036 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.036 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.036 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.036 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.036 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.037 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.037 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.037 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.037 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.038 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 7.038 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.038 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 7.038 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.038 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.038 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.038 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.038 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.039 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.039 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 7.039 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.039 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.039 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.039 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.039 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.040 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.040 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 7.040 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.040 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.040 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.040 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.040 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.040 * [backup-simplify]: Simplify 0 into 0 7.040 * [backup-simplify]: Simplify 0 into 0 7.040 * [backup-simplify]: Simplify 0 into 0 7.040 * [backup-simplify]: Simplify 0 into 0 7.040 * [backup-simplify]: Simplify 0 into 0 7.040 * [backup-simplify]: Simplify 0 into 0 7.040 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.041 * * * * [progress]: [ 4 / 4 ] generating series at (2) 7.041 * [backup-simplify]: Simplify (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.041 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 7.041 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.041 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.041 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.041 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.041 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.041 * [backup-simplify]: Simplify (log (exp (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.041 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 7.041 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.041 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.042 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.042 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.042 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.042 * [backup-simplify]: Simplify (log (exp (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.042 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 7.042 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.042 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.042 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.043 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.043 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.043 * * * [progress]: simplifying candidates 7.043 * * * * [progress]: [ 1 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 2 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 3 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 4 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 5 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 6 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 7 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 8 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 9 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 10 / 70 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))> 7.043 * * * * [progress]: [ 11 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 12 / 70 ] simplifiying candidate # 7.043 * * * * [progress]: [ 13 / 70 ] simplifiying candidate # 7.044 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) 7.044 * * [simplify]: iters left: 6 (8 enodes) 7.045 * * [simplify]: iters left: 5 (32 enodes) 7.050 * * [simplify]: iters left: 4 (47 enodes) 7.057 * * [simplify]: iters left: 3 (51 enodes) 7.064 * * [simplify]: iters left: 2 (53 enodes) 7.075 * * [simplify]: Extracting #0: cost 1 inf + 0 7.075 * * [simplify]: Extracting #1: cost 4 inf + 0 7.075 * * [simplify]: Extracting #2: cost 7 inf + 0 7.076 * * [simplify]: Extracting #3: cost 9 inf + 0 7.076 * * [simplify]: Extracting #4: cost 11 inf + 0 7.076 * * [simplify]: Extracting #5: cost 14 inf + 0 7.076 * * [simplify]: Extracting #6: cost 19 inf + 0 7.076 * * [simplify]: Extracting #7: cost 20 inf + 2 7.076 * * [simplify]: Extracting #8: cost 18 inf + 543 7.076 * * [simplify]: Extracting #9: cost 12 inf + 1580 7.077 * * [simplify]: Extracting #10: cost 1 inf + 4471 7.078 * * [simplify]: Extracting #11: cost 0 inf + 4857 7.080 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) 7.080 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 7.080 * * * * [progress]: [ 14 / 70 ] simplifiying candidate # 7.080 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a))))) 7.080 * * [simplify]: iters left: 6 (7 enodes) 7.083 * * [simplify]: iters left: 5 (27 enodes) 7.092 * * [simplify]: iters left: 4 (40 enodes) 7.104 * * [simplify]: iters left: 3 (44 enodes) 7.111 * * [simplify]: iters left: 2 (46 enodes) 7.117 * * [simplify]: Extracting #0: cost 1 inf + 0 7.117 * * [simplify]: Extracting #1: cost 3 inf + 0 7.117 * * [simplify]: Extracting #2: cost 5 inf + 0 7.117 * * [simplify]: Extracting #3: cost 7 inf + 0 7.117 * * [simplify]: Extracting #4: cost 10 inf + 0 7.117 * * [simplify]: Extracting #5: cost 15 inf + 0 7.118 * * [simplify]: Extracting #6: cost 16 inf + 2 7.118 * * [simplify]: Extracting #7: cost 14 inf + 433 7.118 * * [simplify]: Extracting #8: cost 7 inf + 1446 7.118 * * [simplify]: Extracting #9: cost 0 inf + 3133 7.119 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a))))) 7.119 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))) 7.119 * * * * [progress]: [ 15 / 70 ] simplifiying candidate # 7.119 * [simplify]: Simplifying (log 1) 7.119 * * [simplify]: iters left: 1 (2 enodes) 7.120 * * [simplify]: Extracting #0: cost 1 inf + 0 7.120 * * [simplify]: Extracting #1: cost 0 inf + 1 7.120 * [simplify]: Simplified to 0 7.120 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))) 7.120 * * * * [progress]: [ 16 / 70 ] simplifiying candidate # 7.121 * * * * [progress]: [ 17 / 70 ] simplifiying candidate # 7.121 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a))) 7.121 * * [simplify]: iters left: 4 (5 enodes) 7.122 * * [simplify]: iters left: 3 (21 enodes) 7.125 * * [simplify]: iters left: 2 (34 enodes) 7.133 * * [simplify]: iters left: 1 (38 enodes) 7.144 * * [simplify]: Extracting #0: cost 1 inf + 0 7.144 * * [simplify]: Extracting #1: cost 3 inf + 0 7.144 * * [simplify]: Extracting #2: cost 6 inf + 0 7.144 * * [simplify]: Extracting #3: cost 11 inf + 0 7.144 * * [simplify]: Extracting #4: cost 12 inf + 2 7.144 * * [simplify]: Extracting #5: cost 9 inf + 599 7.145 * * [simplify]: Extracting #6: cost 5 inf + 1069 7.145 * * [simplify]: Extracting #7: cost 0 inf + 1909 7.146 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a))) 7.146 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))))) 7.146 * * * * [progress]: [ 18 / 70 ] simplifiying candidate # 7.146 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a))) 7.146 * * [simplify]: iters left: 4 (5 enodes) 7.147 * * [simplify]: iters left: 3 (21 enodes) 7.151 * * [simplify]: iters left: 2 (34 enodes) 7.156 * * [simplify]: iters left: 1 (38 enodes) 7.161 * * [simplify]: Extracting #0: cost 1 inf + 0 7.161 * * [simplify]: Extracting #1: cost 3 inf + 0 7.161 * * [simplify]: Extracting #2: cost 6 inf + 0 7.161 * * [simplify]: Extracting #3: cost 11 inf + 0 7.161 * * [simplify]: Extracting #4: cost 12 inf + 2 7.162 * * [simplify]: Extracting #5: cost 9 inf + 599 7.162 * * [simplify]: Extracting #6: cost 5 inf + 1029 7.162 * * [simplify]: Extracting #7: cost 0 inf + 1829 7.162 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 7.162 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 7.162 * * * * [progress]: [ 19 / 70 ] simplifiying candidate # 7.162 * [simplify]: Simplifying (fmod (cosh a) (* a a)) 7.163 * * [simplify]: iters left: 3 (4 enodes) 7.163 * * [simplify]: iters left: 2 (18 enodes) 7.166 * * [simplify]: iters left: 1 (31 enodes) 7.171 * * [simplify]: Extracting #0: cost 1 inf + 0 7.171 * * [simplify]: Extracting #1: cost 4 inf + 0 7.171 * * [simplify]: Extracting #2: cost 9 inf + 0 7.171 * * [simplify]: Extracting #3: cost 10 inf + 2 7.171 * * [simplify]: Extracting #4: cost 7 inf + 599 7.171 * * [simplify]: Extracting #5: cost 5 inf + 712 7.171 * * [simplify]: Extracting #6: cost 0 inf + 1417 7.171 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 7.171 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))))) 7.172 * * * * [progress]: [ 20 / 70 ] simplifiying candidate # 7.172 * * * * [progress]: [ 21 / 70 ] simplifiying candidate # 7.172 * [simplify]: Simplifying (cosh a) 7.172 * * [simplify]: iters left: 1 (2 enodes) 7.172 * * [simplify]: Extracting #0: cost 1 inf + 0 7.172 * * [simplify]: Extracting #1: cost 5 inf + 0 7.172 * * [simplify]: Extracting #2: cost 5 inf + 2 7.172 * * [simplify]: Extracting #3: cost 3 inf + 185 7.172 * * [simplify]: Extracting #4: cost 0 inf + 558 7.173 * [simplify]: Simplified to (cosh a) 7.173 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 7.173 * * * * [progress]: [ 22 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 23 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 24 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 25 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 26 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 27 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 28 / 70 ] simplifiying candidate #real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> 7.173 * * * * [progress]: [ 29 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 30 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 31 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 32 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 33 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 34 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 35 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 36 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 37 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 38 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 39 / 70 ] simplifiying candidate #real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> 7.173 * * * * [progress]: [ 40 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 41 / 70 ] simplifiying candidate # 7.173 * * * * [progress]: [ 42 / 70 ] simplifiying candidate # 7.173 * [simplify]: Simplifying (log (* (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) 7.174 * * [simplify]: iters left: 6 (13 enodes) 7.177 * * [simplify]: iters left: 5 (48 enodes) 7.184 * * [simplify]: iters left: 4 (72 enodes) 7.196 * * [simplify]: iters left: 3 (100 enodes) 7.211 * * [simplify]: iters left: 2 (154 enodes) 7.261 * * [simplify]: iters left: 1 (270 enodes) 7.399 * * [simplify]: Extracting #0: cost 1 inf + 0 7.399 * * [simplify]: Extracting #1: cost 4 inf + 0 7.399 * * [simplify]: Extracting #2: cost 7 inf + 0 7.399 * * [simplify]: Extracting #3: cost 9 inf + 0 7.399 * * [simplify]: Extracting #4: cost 11 inf + 0 7.399 * * [simplify]: Extracting #5: cost 13 inf + 0 7.399 * * [simplify]: Extracting #6: cost 37 inf + 0 7.400 * * [simplify]: Extracting #7: cost 101 inf + 1 7.401 * * [simplify]: Extracting #8: cost 117 inf + 3188 7.406 * * [simplify]: Extracting #9: cost 54 inf + 30685 7.416 * * [simplify]: Extracting #10: cost 5 inf + 73256 7.425 * * [simplify]: Extracting #11: cost 1 inf + 73163 7.434 * * [simplify]: Extracting #12: cost 0 inf + 72883 7.442 * [simplify]: Simplified to (log (* (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) 7.442 * [simplify]: Simplified (2 1) to (λ (a) (+ (log (* (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) 7.443 * * * * [progress]: [ 43 / 70 ] simplifiying candidate # 7.443 * [simplify]: Simplifying (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 7.443 * * [simplify]: iters left: 6 (12 enodes) 7.445 * * [simplify]: iters left: 5 (43 enodes) 7.452 * * [simplify]: iters left: 4 (65 enodes) 7.462 * * [simplify]: iters left: 3 (93 enodes) 7.477 * * [simplify]: iters left: 2 (150 enodes) 7.506 * * [simplify]: iters left: 1 (263 enodes) 7.579 * * [simplify]: Extracting #0: cost 1 inf + 0 7.579 * * [simplify]: Extracting #1: cost 3 inf + 0 7.579 * * [simplify]: Extracting #2: cost 5 inf + 0 7.579 * * [simplify]: Extracting #3: cost 7 inf + 0 7.579 * * [simplify]: Extracting #4: cost 9 inf + 0 7.579 * * [simplify]: Extracting #5: cost 33 inf + 0 7.580 * * [simplify]: Extracting #6: cost 103 inf + 1 7.580 * * [simplify]: Extracting #7: cost 126 inf + 2154 7.583 * * [simplify]: Extracting #8: cost 72 inf + 20050 7.588 * * [simplify]: Extracting #9: cost 30 inf + 44303 7.599 * * [simplify]: Extracting #10: cost 1 inf + 68236 7.609 * * [simplify]: Extracting #11: cost 0 inf + 67206 7.618 * [simplify]: Simplified to (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 7.619 * [simplify]: Simplified (2 1) to (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) 7.619 * * * * [progress]: [ 44 / 70 ] simplifiying candidate # 7.619 * [simplify]: Simplifying (log 1) 7.619 * * [simplify]: iters left: 1 (2 enodes) 7.620 * * [simplify]: Extracting #0: cost 1 inf + 0 7.620 * * [simplify]: Extracting #1: cost 0 inf + 1 7.621 * [simplify]: Simplified to 0 7.621 * [simplify]: Simplified (2 1) to (λ (a) (+ 0 (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) 7.621 * * * * [progress]: [ 45 / 70 ] simplifiying candidate # 7.621 * [simplify]: Simplifying (log (exp (/ PI 2))) 7.621 * * [simplify]: iters left: 4 (5 enodes) 7.622 * * [simplify]: iters left: 3 (15 enodes) 7.624 * * [simplify]: iters left: 2 (17 enodes) 7.627 * * [simplify]: Extracting #0: cost 1 inf + 0 7.627 * * [simplify]: Extracting #1: cost 5 inf + 0 7.627 * * [simplify]: Extracting #2: cost 5 inf + 2 7.627 * * [simplify]: Extracting #3: cost 3 inf + 157 7.627 * * [simplify]: Extracting #4: cost 0 inf + 450 7.627 * [simplify]: Simplified to (/ PI 2) 7.627 * [simplify]: Simplified (2 1) to (λ (a) (- (/ PI 2) (log (exp (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) 7.627 * * * * [progress]: [ 46 / 70 ] simplifiying candidate # 7.627 * * * * [progress]: [ 47 / 70 ] simplifiying candidate # 7.628 * [simplify]: Simplifying (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 7.628 * * [simplify]: iters left: 6 (10 enodes) 7.632 * * [simplify]: iters left: 5 (37 enodes) 7.638 * * [simplify]: iters left: 4 (59 enodes) 7.647 * * [simplify]: iters left: 3 (87 enodes) 7.662 * * [simplify]: iters left: 2 (141 enodes) 7.688 * * [simplify]: iters left: 1 (262 enodes) 7.790 * * [simplify]: Extracting #0: cost 1 inf + 0 7.790 * * [simplify]: Extracting #1: cost 3 inf + 0 7.790 * * [simplify]: Extracting #2: cost 5 inf + 0 7.791 * * [simplify]: Extracting #3: cost 28 inf + 0 7.791 * * [simplify]: Extracting #4: cost 93 inf + 1 7.792 * * [simplify]: Extracting #5: cost 119 inf + 435 7.794 * * [simplify]: Extracting #6: cost 90 inf + 7153 7.798 * * [simplify]: Extracting #7: cost 39 inf + 31893 7.808 * * [simplify]: Extracting #8: cost 6 inf + 56878 7.821 * * [simplify]: Extracting #9: cost 0 inf + 60012 7.842 * [simplify]: Simplified to (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 7.842 * [simplify]: Simplified (2 1) to (λ (a) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log (exp (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))) 7.843 * * * * [progress]: [ 48 / 70 ] simplifiying candidate # 7.843 * [simplify]: Simplifying (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 7.843 * * [simplify]: iters left: 6 (10 enodes) 7.847 * * [simplify]: iters left: 5 (37 enodes) 7.859 * * [simplify]: iters left: 4 (59 enodes) 7.877 * * [simplify]: iters left: 3 (87 enodes) 7.907 * * [simplify]: iters left: 2 (141 enodes) 7.940 * * [simplify]: iters left: 1 (262 enodes) 8.044 * * [simplify]: Extracting #0: cost 1 inf + 0 8.044 * * [simplify]: Extracting #1: cost 3 inf + 0 8.044 * * [simplify]: Extracting #2: cost 5 inf + 0 8.045 * * [simplify]: Extracting #3: cost 28 inf + 0 8.045 * * [simplify]: Extracting #4: cost 93 inf + 1 8.045 * * [simplify]: Extracting #5: cost 119 inf + 435 8.046 * * [simplify]: Extracting #6: cost 90 inf + 7113 8.050 * * [simplify]: Extracting #7: cost 39 inf + 31813 8.069 * * [simplify]: Extracting #8: cost 6 inf + 56798 8.093 * * [simplify]: Extracting #9: cost 0 inf + 59932 8.123 * [simplify]: Simplified to (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 8.123 * [simplify]: Simplified (2 1) to (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log (exp (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) 8.123 * * * * [progress]: [ 49 / 70 ] simplifiying candidate # 8.124 * [simplify]: Simplifying (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 8.125 * * [simplify]: iters left: 6 (9 enodes) 8.128 * * [simplify]: iters left: 5 (34 enodes) 8.140 * * [simplify]: iters left: 4 (56 enodes) 8.157 * * [simplify]: iters left: 3 (84 enodes) 8.184 * * [simplify]: iters left: 2 (138 enodes) 8.230 * * [simplify]: iters left: 1 (260 enodes) 8.356 * * [simplify]: Extracting #0: cost 1 inf + 0 8.356 * * [simplify]: Extracting #1: cost 3 inf + 0 8.356 * * [simplify]: Extracting #2: cost 28 inf + 0 8.357 * * [simplify]: Extracting #3: cost 96 inf + 1 8.358 * * [simplify]: Extracting #4: cost 112 inf + 2422 8.362 * * [simplify]: Extracting #5: cost 62 inf + 20219 8.373 * * [simplify]: Extracting #6: cost 19 inf + 57297 8.388 * * [simplify]: Extracting #7: cost 1 inf + 71887 8.402 * * [simplify]: Extracting #8: cost 0 inf + 71601 8.417 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.417 * [simplify]: Simplified (2 1) to (λ (a) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (log (exp 1)))) 8.417 * * * * [progress]: [ 50 / 70 ] simplifiying candidate # 8.417 * * * * [progress]: [ 51 / 70 ] simplifiying candidate # 8.417 * [simplify]: Simplifying (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) 8.417 * * [simplify]: iters left: 6 (8 enodes) 8.420 * * [simplify]: iters left: 5 (31 enodes) 8.429 * * [simplify]: iters left: 4 (53 enodes) 8.445 * * [simplify]: iters left: 3 (81 enodes) 8.473 * * [simplify]: iters left: 2 (135 enodes) 8.524 * * [simplify]: iters left: 1 (251 enodes) 8.635 * * [simplify]: Extracting #0: cost 1 inf + 0 8.635 * * [simplify]: Extracting #1: cost 25 inf + 0 8.636 * * [simplify]: Extracting #2: cost 91 inf + 1 8.637 * * [simplify]: Extracting #3: cost 120 inf + 62 8.638 * * [simplify]: Extracting #4: cost 108 inf + 1886 8.640 * * [simplify]: Extracting #5: cost 73 inf + 10515 8.650 * * [simplify]: Extracting #6: cost 18 inf + 48246 8.665 * * [simplify]: Extracting #7: cost 1 inf + 64659 8.680 * * [simplify]: Extracting #8: cost 0 inf + 65748 8.688 * [simplify]: Simplified to (pow (fmod (cosh a) (* a a)) (log1p a)) 8.688 * [simplify]: Simplified (2 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 8.688 * * * * [progress]: [ 52 / 70 ] simplifiying candidate # 8.688 * * * * [progress]: [ 53 / 70 ] simplifiying candidate # 8.688 * * * * [progress]: [ 54 / 70 ] simplifiying candidate # 8.688 * * * * [progress]: [ 55 / 70 ] simplifiying candidate # 8.688 * * * * [progress]: [ 56 / 70 ] simplifiying candidate # 8.688 * * * * [progress]: [ 57 / 70 ] simplifiying candidate # 8.688 * * * * [progress]: [ 58 / 70 ] simplifiying candidate #real (real->posit16 (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> 8.688 * * * * [progress]: [ 59 / 70 ] simplifiying candidate # 8.688 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 8.689 * * [simplify]: iters left: 2 (5 enodes) 8.691 * * [simplify]: iters left: 1 (25 enodes) 8.695 * * [simplify]: Extracting #0: cost 1 inf + 0 8.695 * * [simplify]: Extracting #1: cost 4 inf + 0 8.695 * * [simplify]: Extracting #2: cost 9 inf + 0 8.695 * * [simplify]: Extracting #3: cost 10 inf + 2 8.697 * * [simplify]: Extracting #4: cost 8 inf + 433 8.697 * * [simplify]: Extracting #5: cost 4 inf + 823 8.697 * * [simplify]: Extracting #6: cost 0 inf + 1417 8.698 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 8.698 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 8.698 * * * * [progress]: [ 60 / 70 ] simplifiying candidate # 8.698 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 8.698 * * [simplify]: iters left: 2 (5 enodes) 8.700 * * [simplify]: iters left: 1 (25 enodes) 8.704 * * [simplify]: Extracting #0: cost 1 inf + 0 8.704 * * [simplify]: Extracting #1: cost 4 inf + 0 8.704 * * [simplify]: Extracting #2: cost 9 inf + 0 8.704 * * [simplify]: Extracting #3: cost 10 inf + 2 8.704 * * [simplify]: Extracting #4: cost 8 inf + 433 8.704 * * [simplify]: Extracting #5: cost 4 inf + 823 8.704 * * [simplify]: Extracting #6: cost 0 inf + 1417 8.705 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 8.705 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 8.705 * * * * [progress]: [ 61 / 70 ] simplifiying candidate # 8.705 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 8.705 * * [simplify]: iters left: 2 (5 enodes) 8.707 * * [simplify]: iters left: 1 (25 enodes) 8.711 * * [simplify]: Extracting #0: cost 1 inf + 0 8.711 * * [simplify]: Extracting #1: cost 4 inf + 0 8.711 * * [simplify]: Extracting #2: cost 9 inf + 0 8.711 * * [simplify]: Extracting #3: cost 10 inf + 2 8.711 * * [simplify]: Extracting #4: cost 8 inf + 433 8.711 * * [simplify]: Extracting #5: cost 4 inf + 823 8.711 * * [simplify]: Extracting #6: cost 0 inf + 1417 8.712 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 8.712 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) 8.712 * * * * [progress]: [ 62 / 70 ] simplifiying candidate # 8.712 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 8.712 * * [simplify]: iters left: 2 (5 enodes) 8.714 * * [simplify]: iters left: 1 (25 enodes) 8.718 * * [simplify]: Extracting #0: cost 1 inf + 0 8.718 * * [simplify]: Extracting #1: cost 4 inf + 0 8.718 * * [simplify]: Extracting #2: cost 9 inf + 0 8.718 * * [simplify]: Extracting #3: cost 10 inf + 2 8.718 * * [simplify]: Extracting #4: cost 8 inf + 433 8.718 * * [simplify]: Extracting #5: cost 4 inf + 823 8.718 * * [simplify]: Extracting #6: cost 0 inf + 1417 8.718 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 8.718 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 8.718 * * * * [progress]: [ 63 / 70 ] simplifiying candidate # 8.719 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 8.719 * * [simplify]: iters left: 2 (5 enodes) 8.722 * * [simplify]: iters left: 1 (25 enodes) 8.727 * * [simplify]: Extracting #0: cost 1 inf + 0 8.727 * * [simplify]: Extracting #1: cost 4 inf + 0 8.727 * * [simplify]: Extracting #2: cost 9 inf + 0 8.727 * * [simplify]: Extracting #3: cost 10 inf + 2 8.727 * * [simplify]: Extracting #4: cost 8 inf + 433 8.727 * * [simplify]: Extracting #5: cost 4 inf + 823 8.728 * * [simplify]: Extracting #6: cost 0 inf + 1417 8.728 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 8.728 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 8.728 * * * * [progress]: [ 64 / 70 ] simplifiying candidate # 8.728 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 8.728 * * [simplify]: iters left: 2 (5 enodes) 8.730 * * [simplify]: iters left: 1 (25 enodes) 8.734 * * [simplify]: Extracting #0: cost 1 inf + 0 8.734 * * [simplify]: Extracting #1: cost 4 inf + 0 8.734 * * [simplify]: Extracting #2: cost 9 inf + 0 8.734 * * [simplify]: Extracting #3: cost 10 inf + 2 8.734 * * [simplify]: Extracting #4: cost 8 inf + 433 8.734 * * [simplify]: Extracting #5: cost 4 inf + 823 8.734 * * [simplify]: Extracting #6: cost 0 inf + 1417 8.735 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 8.735 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 8.735 * * * * [progress]: [ 65 / 70 ] simplifiying candidate # 8.735 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.735 * * [simplify]: iters left: 4 (8 enodes) 8.737 * * [simplify]: iters left: 3 (37 enodes) 8.743 * * [simplify]: iters left: 2 (60 enodes) 8.752 * * [simplify]: iters left: 1 (86 enodes) 8.767 * * [simplify]: Extracting #0: cost 1 inf + 0 8.767 * * [simplify]: Extracting #1: cost 3 inf + 0 8.767 * * [simplify]: Extracting #2: cost 13 inf + 0 8.767 * * [simplify]: Extracting #3: cost 38 inf + 0 8.767 * * [simplify]: Extracting #4: cost 45 inf + 241 8.767 * * [simplify]: Extracting #5: cost 33 inf + 2907 8.768 * * [simplify]: Extracting #6: cost 22 inf + 6227 8.769 * * [simplify]: Extracting #7: cost 3 inf + 14662 8.771 * * [simplify]: Extracting #8: cost 0 inf + 16508 8.772 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.772 * [simplify]: Simplified (2 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 8.772 * * * * [progress]: [ 66 / 70 ] simplifiying candidate # 8.773 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.773 * * [simplify]: iters left: 4 (8 enodes) 8.775 * * [simplify]: iters left: 3 (37 enodes) 8.789 * * [simplify]: iters left: 2 (60 enodes) 8.807 * * [simplify]: iters left: 1 (86 enodes) 8.834 * * [simplify]: Extracting #0: cost 1 inf + 0 8.834 * * [simplify]: Extracting #1: cost 3 inf + 0 8.834 * * [simplify]: Extracting #2: cost 13 inf + 0 8.834 * * [simplify]: Extracting #3: cost 38 inf + 0 8.835 * * [simplify]: Extracting #4: cost 45 inf + 241 8.835 * * [simplify]: Extracting #5: cost 33 inf + 2907 8.836 * * [simplify]: Extracting #6: cost 22 inf + 6227 8.839 * * [simplify]: Extracting #7: cost 3 inf + 14662 8.842 * * [simplify]: Extracting #8: cost 0 inf + 16508 8.846 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.846 * [simplify]: Simplified (2 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 8.846 * * * * [progress]: [ 67 / 70 ] simplifiying candidate # 8.846 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.847 * * [simplify]: iters left: 4 (8 enodes) 8.851 * * [simplify]: iters left: 3 (37 enodes) 8.857 * * [simplify]: iters left: 2 (60 enodes) 8.866 * * [simplify]: iters left: 1 (86 enodes) 8.879 * * [simplify]: Extracting #0: cost 1 inf + 0 8.880 * * [simplify]: Extracting #1: cost 3 inf + 0 8.880 * * [simplify]: Extracting #2: cost 13 inf + 0 8.880 * * [simplify]: Extracting #3: cost 38 inf + 0 8.880 * * [simplify]: Extracting #4: cost 45 inf + 241 8.880 * * [simplify]: Extracting #5: cost 33 inf + 2907 8.881 * * [simplify]: Extracting #6: cost 22 inf + 6227 8.882 * * [simplify]: Extracting #7: cost 3 inf + 14662 8.884 * * [simplify]: Extracting #8: cost 0 inf + 16508 8.885 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.885 * [simplify]: Simplified (2 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 8.885 * * * * [progress]: [ 68 / 70 ] simplifiying candidate # 8.886 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.886 * * [simplify]: iters left: 4 (8 enodes) 8.888 * * [simplify]: iters left: 3 (37 enodes) 8.896 * * [simplify]: iters left: 2 (60 enodes) 8.914 * * [simplify]: iters left: 1 (86 enodes) 8.927 * * [simplify]: Extracting #0: cost 1 inf + 0 8.928 * * [simplify]: Extracting #1: cost 3 inf + 0 8.928 * * [simplify]: Extracting #2: cost 13 inf + 0 8.928 * * [simplify]: Extracting #3: cost 38 inf + 0 8.928 * * [simplify]: Extracting #4: cost 45 inf + 241 8.928 * * [simplify]: Extracting #5: cost 33 inf + 2907 8.929 * * [simplify]: Extracting #6: cost 22 inf + 6227 8.930 * * [simplify]: Extracting #7: cost 3 inf + 14662 8.932 * * [simplify]: Extracting #8: cost 0 inf + 16508 8.933 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.933 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 8.933 * * * * [progress]: [ 69 / 70 ] simplifiying candidate # 8.934 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.934 * * [simplify]: iters left: 4 (8 enodes) 8.936 * * [simplify]: iters left: 3 (37 enodes) 8.944 * * [simplify]: iters left: 2 (60 enodes) 8.960 * * [simplify]: iters left: 1 (86 enodes) 8.979 * * [simplify]: Extracting #0: cost 1 inf + 0 8.979 * * [simplify]: Extracting #1: cost 3 inf + 0 8.979 * * [simplify]: Extracting #2: cost 13 inf + 0 8.979 * * [simplify]: Extracting #3: cost 38 inf + 0 8.980 * * [simplify]: Extracting #4: cost 45 inf + 241 8.980 * * [simplify]: Extracting #5: cost 33 inf + 2907 8.981 * * [simplify]: Extracting #6: cost 22 inf + 6227 8.982 * * [simplify]: Extracting #7: cost 3 inf + 14662 8.983 * * [simplify]: Extracting #8: cost 0 inf + 16508 8.985 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.985 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 8.985 * * * * [progress]: [ 70 / 70 ] simplifiying candidate # 8.985 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.985 * * [simplify]: iters left: 4 (8 enodes) 8.988 * * [simplify]: iters left: 3 (37 enodes) 8.995 * * [simplify]: iters left: 2 (60 enodes) 9.004 * * [simplify]: iters left: 1 (86 enodes) 9.023 * * [simplify]: Extracting #0: cost 1 inf + 0 9.023 * * [simplify]: Extracting #1: cost 3 inf + 0 9.023 * * [simplify]: Extracting #2: cost 13 inf + 0 9.023 * * [simplify]: Extracting #3: cost 38 inf + 0 9.023 * * [simplify]: Extracting #4: cost 45 inf + 241 9.024 * * [simplify]: Extracting #5: cost 33 inf + 2907 9.025 * * [simplify]: Extracting #6: cost 22 inf + 6227 9.027 * * [simplify]: Extracting #7: cost 3 inf + 14662 9.029 * * [simplify]: Extracting #8: cost 0 inf + 16508 9.030 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 9.030 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 9.031 * * * [progress]: adding candidates to table 9.861 * * [progress]: iteration 4 / 4 9.861 * * * [progress]: picking best candidate 9.947 * * * * [pick]: Picked # 9.947 * * * [progress]: localizing error 10.017 * * * [progress]: generating rewritten candidates 10.017 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1) 10.017 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1) 10.017 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2) 10.020 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 10.022 * * * [progress]: generating series expansions 10.022 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2 1 1 1) 10.022 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 10.022 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 10.022 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.022 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.022 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.023 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.023 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.023 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 10.023 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.023 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify 0 into 0 10.023 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 10.024 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.024 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 10.024 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.024 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.024 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.024 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.024 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 10.024 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1) 10.024 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 10.024 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 10.024 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.024 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.024 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.024 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.024 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.025 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 10.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 10.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.025 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 10.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 10.026 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2) 10.026 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2))) 10.026 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0 10.026 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 10.026 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.026 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.027 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 10.027 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.027 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a 10.027 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.027 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.027 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 10.027 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.027 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 10.027 * [backup-simplify]: Simplify 0 into 0 10.028 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.028 * [backup-simplify]: Simplify 0 into 0 10.029 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.029 * [backup-simplify]: Simplify 0 into 0 10.029 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.029 * [backup-simplify]: Simplify 0 into 0 10.030 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.030 * [backup-simplify]: Simplify 0 into 0 10.030 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0 10.030 * [backup-simplify]: Simplify 0 into 0 10.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2))) 10.031 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 10.031 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0 10.031 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 10.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 10.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.031 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 10.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 10.031 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.031 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 10.031 * [backup-simplify]: Simplify 0 into 0 10.037 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.037 * [backup-simplify]: Simplify 0 into 0 10.038 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.038 * [backup-simplify]: Simplify 0 into 0 10.039 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.039 * [backup-simplify]: Simplify 0 into 0 10.039 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.039 * [backup-simplify]: Simplify 0 into 0 10.040 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 10.040 * [backup-simplify]: Simplify 0 into 0 10.040 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 10.040 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 10.040 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0 10.040 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 10.040 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.040 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.040 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 10.041 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.041 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 10.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.041 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.041 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 10.041 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.041 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 10.041 * [backup-simplify]: Simplify 0 into 0 10.041 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.042 * [backup-simplify]: Simplify 0 into 0 10.042 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.042 * [backup-simplify]: Simplify 0 into 0 10.043 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.043 * [backup-simplify]: Simplify 0 into 0 10.044 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.044 * [backup-simplify]: Simplify 0 into 0 10.045 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 10.045 * [backup-simplify]: Simplify 0 into 0 10.045 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2))) 10.045 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 10.046 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.046 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 10.046 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 10.046 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.046 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 10.046 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.046 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.046 * [backup-simplify]: Simplify 0 into 0 10.046 * [backup-simplify]: Simplify 0 into 0 10.046 * [backup-simplify]: Simplify 0 into 0 10.046 * [backup-simplify]: Simplify 0 into 0 10.047 * [backup-simplify]: Simplify 0 into 0 10.047 * [backup-simplify]: Simplify 0 into 0 10.047 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.048 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 10.048 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 10.048 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 10.048 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 10.048 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 10.048 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 10.049 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify 0 into 0 10.049 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.050 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 10.050 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 10.050 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 10.050 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 10.050 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 10.050 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 10.050 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 10.051 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify 0 into 0 10.051 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.051 * * * [progress]: simplifying candidates 10.051 * * * * [progress]: [ 1 / 64 ] simplifiying candidate # 10.051 * * * * [progress]: [ 2 / 64 ] simplifiying candidate # 10.051 * * * * [progress]: [ 3 / 64 ] simplifiying candidate # 10.051 * * * * [progress]: [ 4 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 5 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 6 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 7 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 8 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 9 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))> 10.052 * * * * [progress]: [ 11 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 12 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 13 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 14 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 15 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 16 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 17 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 18 / 64 ] simplifiying candidate # 10.052 * * * * [progress]: [ 19 / 64 ] simplifiying candidate # 10.053 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))> 10.053 * * * * [progress]: [ 21 / 64 ] simplifiying candidate # 10.053 * * * * [progress]: [ 22 / 64 ] simplifiying candidate # 10.053 * * * * [progress]: [ 23 / 64 ] simplifiying candidate # 10.053 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 10.053 * * [simplify]: iters left: 6 (9 enodes) 10.057 * * [simplify]: iters left: 5 (35 enodes) 10.068 * * [simplify]: iters left: 4 (50 enodes) 10.082 * * [simplify]: iters left: 3 (54 enodes) 10.098 * * [simplify]: iters left: 2 (56 enodes) 10.114 * * [simplify]: Extracting #0: cost 1 inf + 0 10.114 * * [simplify]: Extracting #1: cost 4 inf + 0 10.114 * * [simplify]: Extracting #2: cost 7 inf + 0 10.114 * * [simplify]: Extracting #3: cost 9 inf + 0 10.114 * * [simplify]: Extracting #4: cost 11 inf + 0 10.114 * * [simplify]: Extracting #5: cost 13 inf + 0 10.114 * * [simplify]: Extracting #6: cost 16 inf + 0 10.114 * * [simplify]: Extracting #7: cost 21 inf + 0 10.114 * * [simplify]: Extracting #8: cost 22 inf + 2 10.115 * * [simplify]: Extracting #9: cost 22 inf + 211 10.115 * * [simplify]: Extracting #10: cost 11 inf + 1858 10.116 * * [simplify]: Extracting #11: cost 2 inf + 4777 10.117 * * [simplify]: Extracting #12: cost 0 inf + 5669 10.119 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) 10.119 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 10.119 * * * * [progress]: [ 24 / 64 ] simplifiying candidate # 10.119 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 10.120 * * [simplify]: iters left: 6 (8 enodes) 10.123 * * [simplify]: iters left: 5 (30 enodes) 10.133 * * [simplify]: iters left: 4 (43 enodes) 10.146 * * [simplify]: iters left: 3 (47 enodes) 10.160 * * [simplify]: iters left: 2 (49 enodes) 10.175 * * [simplify]: Extracting #0: cost 1 inf + 0 10.175 * * [simplify]: Extracting #1: cost 3 inf + 0 10.175 * * [simplify]: Extracting #2: cost 5 inf + 0 10.175 * * [simplify]: Extracting #3: cost 7 inf + 0 10.175 * * [simplify]: Extracting #4: cost 9 inf + 0 10.175 * * [simplify]: Extracting #5: cost 12 inf + 0 10.175 * * [simplify]: Extracting #6: cost 17 inf + 0 10.175 * * [simplify]: Extracting #7: cost 18 inf + 2 10.176 * * [simplify]: Extracting #8: cost 17 inf + 377 10.176 * * [simplify]: Extracting #9: cost 10 inf + 1400 10.177 * * [simplify]: Extracting #10: cost 0 inf + 3785 10.178 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 10.178 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 10.178 * * * * [progress]: [ 25 / 64 ] simplifiying candidate # 10.179 * [simplify]: Simplifying (log 1) 10.179 * * [simplify]: iters left: 1 (2 enodes) 10.181 * * [simplify]: Extracting #0: cost 1 inf + 0 10.181 * * [simplify]: Extracting #1: cost 0 inf + 1 10.181 * [simplify]: Simplified to 0 10.181 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))) 10.181 * * * * [progress]: [ 26 / 64 ] simplifiying candidate # 10.181 * * * * [progress]: [ 27 / 64 ] simplifiying candidate # 10.182 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a)))) 10.182 * * [simplify]: iters left: 5 (6 enodes) 10.184 * * [simplify]: iters left: 4 (24 enodes) 10.192 * * [simplify]: iters left: 3 (37 enodes) 10.205 * * [simplify]: iters left: 2 (41 enodes) 10.211 * * [simplify]: iters left: 1 (43 enodes) 10.217 * * [simplify]: Extracting #0: cost 1 inf + 0 10.217 * * [simplify]: Extracting #1: cost 3 inf + 0 10.217 * * [simplify]: Extracting #2: cost 5 inf + 0 10.217 * * [simplify]: Extracting #3: cost 8 inf + 0 10.217 * * [simplify]: Extracting #4: cost 13 inf + 0 10.217 * * [simplify]: Extracting #5: cost 14 inf + 2 10.218 * * [simplify]: Extracting #6: cost 13 inf + 377 10.218 * * [simplify]: Extracting #7: cost 6 inf + 1410 10.218 * * [simplify]: Extracting #8: cost 1 inf + 2180 10.218 * * [simplify]: Extracting #9: cost 0 inf + 2401 10.219 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a)))) 10.219 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a)))))) 10.219 * * * * [progress]: [ 28 / 64 ] simplifiying candidate # 10.219 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a)))) 10.219 * * [simplify]: iters left: 5 (6 enodes) 10.220 * * [simplify]: iters left: 4 (24 enodes) 10.224 * * [simplify]: iters left: 3 (37 enodes) 10.230 * * [simplify]: iters left: 2 (41 enodes) 10.235 * * [simplify]: iters left: 1 (43 enodes) 10.242 * * [simplify]: Extracting #0: cost 1 inf + 0 10.242 * * [simplify]: Extracting #1: cost 3 inf + 0 10.242 * * [simplify]: Extracting #2: cost 5 inf + 0 10.242 * * [simplify]: Extracting #3: cost 8 inf + 0 10.242 * * [simplify]: Extracting #4: cost 13 inf + 0 10.242 * * [simplify]: Extracting #5: cost 14 inf + 2 10.242 * * [simplify]: Extracting #6: cost 13 inf + 377 10.242 * * [simplify]: Extracting #7: cost 6 inf + 1490 10.242 * * [simplify]: Extracting #8: cost 1 inf + 2260 10.243 * * [simplify]: Extracting #9: cost 0 inf + 2481 10.243 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a)))) 10.243 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))))) 10.243 * * * * [progress]: [ 29 / 64 ] simplifiying candidate # 10.243 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 10.243 * * [simplify]: iters left: 5 (6 enodes) 10.245 * * [simplify]: iters left: 4 (24 enodes) 10.248 * * [simplify]: iters left: 3 (37 enodes) 10.256 * * [simplify]: iters left: 2 (41 enodes) 10.266 * * [simplify]: iters left: 1 (43 enodes) 10.278 * * [simplify]: Extracting #0: cost 1 inf + 0 10.278 * * [simplify]: Extracting #1: cost 3 inf + 0 10.278 * * [simplify]: Extracting #2: cost 5 inf + 0 10.278 * * [simplify]: Extracting #3: cost 8 inf + 0 10.278 * * [simplify]: Extracting #4: cost 13 inf + 0 10.278 * * [simplify]: Extracting #5: cost 14 inf + 2 10.278 * * [simplify]: Extracting #6: cost 13 inf + 377 10.279 * * [simplify]: Extracting #7: cost 6 inf + 1370 10.279 * * [simplify]: Extracting #8: cost 1 inf + 2100 10.279 * * [simplify]: Extracting #9: cost 0 inf + 2321 10.280 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 10.280 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 10.280 * * * * [progress]: [ 30 / 64 ] simplifiying candidate # 10.280 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a))) 10.280 * * [simplify]: iters left: 4 (5 enodes) 10.281 * * [simplify]: iters left: 3 (21 enodes) 10.285 * * [simplify]: iters left: 2 (34 enodes) 10.292 * * [simplify]: iters left: 1 (38 enodes) 10.298 * * [simplify]: Extracting #0: cost 1 inf + 0 10.298 * * [simplify]: Extracting #1: cost 3 inf + 0 10.298 * * [simplify]: Extracting #2: cost 6 inf + 0 10.298 * * [simplify]: Extracting #3: cost 11 inf + 0 10.299 * * [simplify]: Extracting #4: cost 12 inf + 2 10.299 * * [simplify]: Extracting #5: cost 9 inf + 599 10.299 * * [simplify]: Extracting #6: cost 5 inf + 1029 10.299 * * [simplify]: Extracting #7: cost 0 inf + 1829 10.299 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 10.299 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a)))))) 10.300 * * * * [progress]: [ 31 / 64 ] simplifiying candidate # 10.300 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a)))) 10.300 * * [simplify]: iters left: 5 (6 enodes) 10.301 * * [simplify]: iters left: 4 (24 enodes) 10.305 * * [simplify]: iters left: 3 (37 enodes) 10.310 * * [simplify]: iters left: 2 (41 enodes) 10.317 * * [simplify]: iters left: 1 (43 enodes) 10.323 * * [simplify]: Extracting #0: cost 1 inf + 0 10.323 * * [simplify]: Extracting #1: cost 3 inf + 0 10.323 * * [simplify]: Extracting #2: cost 5 inf + 0 10.323 * * [simplify]: Extracting #3: cost 8 inf + 0 10.323 * * [simplify]: Extracting #4: cost 13 inf + 0 10.323 * * [simplify]: Extracting #5: cost 14 inf + 2 10.323 * * [simplify]: Extracting #6: cost 13 inf + 377 10.324 * * [simplify]: Extracting #7: cost 6 inf + 1370 10.324 * * [simplify]: Extracting #8: cost 1 inf + 2100 10.325 * * [simplify]: Extracting #9: cost 0 inf + 2321 10.325 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a)))) 10.325 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))) 10.325 * * * * [progress]: [ 32 / 64 ] simplifiying candidate # 10.326 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a))) 10.326 * * [simplify]: iters left: 4 (5 enodes) 10.328 * * [simplify]: iters left: 3 (21 enodes) 10.334 * * [simplify]: iters left: 2 (34 enodes) 10.343 * * [simplify]: iters left: 1 (38 enodes) 10.353 * * [simplify]: Extracting #0: cost 1 inf + 0 10.353 * * [simplify]: Extracting #1: cost 3 inf + 0 10.354 * * [simplify]: Extracting #2: cost 6 inf + 0 10.354 * * [simplify]: Extracting #3: cost 11 inf + 0 10.354 * * [simplify]: Extracting #4: cost 12 inf + 2 10.354 * * [simplify]: Extracting #5: cost 9 inf + 599 10.354 * * [simplify]: Extracting #6: cost 5 inf + 1029 10.355 * * [simplify]: Extracting #7: cost 0 inf + 1829 10.355 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 10.355 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a)))))) 10.355 * * * * [progress]: [ 33 / 64 ] simplifiying candidate # 10.355 * * * * [progress]: [ 34 / 64 ] simplifiying candidate # 10.356 * [simplify]: Simplifying (fmod (cosh a) (* a a)) 10.356 * * [simplify]: iters left: 3 (4 enodes) 10.357 * * [simplify]: iters left: 2 (18 enodes) 10.363 * * [simplify]: iters left: 1 (31 enodes) 10.372 * * [simplify]: Extracting #0: cost 1 inf + 0 10.372 * * [simplify]: Extracting #1: cost 4 inf + 0 10.372 * * [simplify]: Extracting #2: cost 9 inf + 0 10.372 * * [simplify]: Extracting #3: cost 10 inf + 2 10.372 * * [simplify]: Extracting #4: cost 7 inf + 599 10.373 * * [simplify]: Extracting #5: cost 5 inf + 712 10.373 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.373 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.373 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))) 10.374 * * * * [progress]: [ 35 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 36 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 37 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 38 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 39 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 40 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))> 10.374 * * * * [progress]: [ 42 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 43 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 44 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 45 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 46 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 47 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 48 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 49 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 50 / 64 ] simplifiying candidate # 10.374 * * * * [progress]: [ 51 / 64 ] simplifiying candidate # 10.375 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> 10.375 * * * * [progress]: [ 53 / 64 ] simplifiying candidate # 10.375 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 10.375 * * [simplify]: iters left: 2 (5 enodes) 10.378 * * [simplify]: iters left: 1 (25 enodes) 10.384 * * [simplify]: Extracting #0: cost 1 inf + 0 10.384 * * [simplify]: Extracting #1: cost 4 inf + 0 10.384 * * [simplify]: Extracting #2: cost 9 inf + 0 10.384 * * [simplify]: Extracting #3: cost 10 inf + 2 10.385 * * [simplify]: Extracting #4: cost 8 inf + 433 10.385 * * [simplify]: Extracting #5: cost 4 inf + 823 10.385 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.385 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.385 * [simplify]: Simplified (2 1 1 1 1 2 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 10.385 * * * * [progress]: [ 54 / 64 ] simplifiying candidate # 10.385 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 10.385 * * [simplify]: iters left: 2 (5 enodes) 10.387 * * [simplify]: iters left: 1 (25 enodes) 10.391 * * [simplify]: Extracting #0: cost 1 inf + 0 10.391 * * [simplify]: Extracting #1: cost 4 inf + 0 10.391 * * [simplify]: Extracting #2: cost 9 inf + 0 10.391 * * [simplify]: Extracting #3: cost 10 inf + 2 10.392 * * [simplify]: Extracting #4: cost 8 inf + 433 10.392 * * [simplify]: Extracting #5: cost 4 inf + 823 10.392 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.392 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.392 * [simplify]: Simplified (2 1 1 1 1 2 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 10.392 * * * * [progress]: [ 55 / 64 ] simplifiying candidate # 10.392 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 10.392 * * [simplify]: iters left: 2 (5 enodes) 10.394 * * [simplify]: iters left: 1 (25 enodes) 10.400 * * [simplify]: Extracting #0: cost 1 inf + 0 10.400 * * [simplify]: Extracting #1: cost 4 inf + 0 10.400 * * [simplify]: Extracting #2: cost 9 inf + 0 10.400 * * [simplify]: Extracting #3: cost 10 inf + 2 10.400 * * [simplify]: Extracting #4: cost 8 inf + 433 10.400 * * [simplify]: Extracting #5: cost 4 inf + 823 10.400 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.400 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.400 * [simplify]: Simplified (2 1 1 1 1 2 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 10.400 * * * * [progress]: [ 56 / 64 ] simplifiying candidate # 10.401 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 10.401 * * [simplify]: iters left: 2 (5 enodes) 10.402 * * [simplify]: iters left: 1 (25 enodes) 10.406 * * [simplify]: Extracting #0: cost 1 inf + 0 10.406 * * [simplify]: Extracting #1: cost 4 inf + 0 10.406 * * [simplify]: Extracting #2: cost 9 inf + 0 10.406 * * [simplify]: Extracting #3: cost 10 inf + 2 10.406 * * [simplify]: Extracting #4: cost 8 inf + 433 10.407 * * [simplify]: Extracting #5: cost 4 inf + 823 10.407 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.407 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.407 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 10.407 * * * * [progress]: [ 57 / 64 ] simplifiying candidate # 10.407 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 10.407 * * [simplify]: iters left: 2 (5 enodes) 10.409 * * [simplify]: iters left: 1 (25 enodes) 10.413 * * [simplify]: Extracting #0: cost 1 inf + 0 10.413 * * [simplify]: Extracting #1: cost 4 inf + 0 10.413 * * [simplify]: Extracting #2: cost 9 inf + 0 10.413 * * [simplify]: Extracting #3: cost 10 inf + 2 10.413 * * [simplify]: Extracting #4: cost 8 inf + 433 10.413 * * [simplify]: Extracting #5: cost 4 inf + 823 10.413 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.414 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.414 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 10.414 * * * * [progress]: [ 58 / 64 ] simplifiying candidate # 10.414 * [simplify]: Simplifying (fmod (cosh a) (pow a 2)) 10.414 * * [simplify]: iters left: 2 (5 enodes) 10.415 * * [simplify]: iters left: 1 (25 enodes) 10.419 * * [simplify]: Extracting #0: cost 1 inf + 0 10.419 * * [simplify]: Extracting #1: cost 4 inf + 0 10.419 * * [simplify]: Extracting #2: cost 9 inf + 0 10.419 * * [simplify]: Extracting #3: cost 10 inf + 2 10.420 * * [simplify]: Extracting #4: cost 8 inf + 433 10.420 * * [simplify]: Extracting #5: cost 4 inf + 823 10.420 * * [simplify]: Extracting #6: cost 0 inf + 1417 10.420 * [simplify]: Simplified to (fmod (cosh a) (* a a)) 10.420 * [simplify]: Simplified (2 1 1 1 1 1 1) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) 10.420 * * * * [progress]: [ 59 / 64 ] simplifiying candidate # 10.420 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 10.420 * * [simplify]: iters left: 3 (6 enodes) 10.422 * * [simplify]: iters left: 2 (28 enodes) 10.429 * * [simplify]: iters left: 1 (42 enodes) 10.441 * * [simplify]: Extracting #0: cost 1 inf + 0 10.441 * * [simplify]: Extracting #1: cost 3 inf + 0 10.441 * * [simplify]: Extracting #2: cost 6 inf + 0 10.441 * * [simplify]: Extracting #3: cost 11 inf + 0 10.441 * * [simplify]: Extracting #4: cost 12 inf + 2 10.441 * * [simplify]: Extracting #5: cost 12 inf + 226 10.441 * * [simplify]: Extracting #6: cost 6 inf + 918 10.442 * * [simplify]: Extracting #7: cost 1 inf + 1608 10.442 * * [simplify]: Extracting #8: cost 0 inf + 1829 10.442 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 10.443 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))) 10.443 * * * * [progress]: [ 60 / 64 ] simplifiying candidate # 10.443 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 10.443 * * [simplify]: iters left: 3 (6 enodes) 10.446 * * [simplify]: iters left: 2 (28 enodes) 10.454 * * [simplify]: iters left: 1 (42 enodes) 10.464 * * [simplify]: Extracting #0: cost 1 inf + 0 10.464 * * [simplify]: Extracting #1: cost 3 inf + 0 10.464 * * [simplify]: Extracting #2: cost 6 inf + 0 10.464 * * [simplify]: Extracting #3: cost 11 inf + 0 10.464 * * [simplify]: Extracting #4: cost 12 inf + 2 10.465 * * [simplify]: Extracting #5: cost 12 inf + 226 10.465 * * [simplify]: Extracting #6: cost 6 inf + 918 10.465 * * [simplify]: Extracting #7: cost 1 inf + 1608 10.466 * * [simplify]: Extracting #8: cost 0 inf + 1829 10.466 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 10.466 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))) 10.466 * * * * [progress]: [ 61 / 64 ] simplifiying candidate # 10.466 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2))) 10.467 * * [simplify]: iters left: 3 (6 enodes) 10.470 * * [simplify]: iters left: 2 (28 enodes) 10.477 * * [simplify]: iters left: 1 (42 enodes) 10.487 * * [simplify]: Extracting #0: cost 1 inf + 0 10.487 * * [simplify]: Extracting #1: cost 3 inf + 0 10.487 * * [simplify]: Extracting #2: cost 6 inf + 0 10.487 * * [simplify]: Extracting #3: cost 11 inf + 0 10.487 * * [simplify]: Extracting #4: cost 12 inf + 2 10.487 * * [simplify]: Extracting #5: cost 12 inf + 226 10.488 * * [simplify]: Extracting #6: cost 6 inf + 918 10.488 * * [simplify]: Extracting #7: cost 1 inf + 1608 10.488 * * [simplify]: Extracting #8: cost 0 inf + 1829 10.489 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a))) 10.489 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))) 10.489 * * * * [progress]: [ 62 / 64 ] simplifiying candidate # 10.489 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.489 * * [simplify]: iters left: 4 (8 enodes) 10.493 * * [simplify]: iters left: 3 (37 enodes) 10.500 * * [simplify]: iters left: 2 (60 enodes) 10.513 * * [simplify]: iters left: 1 (86 enodes) 10.526 * * [simplify]: Extracting #0: cost 1 inf + 0 10.526 * * [simplify]: Extracting #1: cost 3 inf + 0 10.527 * * [simplify]: Extracting #2: cost 13 inf + 0 10.527 * * [simplify]: Extracting #3: cost 38 inf + 0 10.527 * * [simplify]: Extracting #4: cost 45 inf + 241 10.527 * * [simplify]: Extracting #5: cost 33 inf + 2907 10.528 * * [simplify]: Extracting #6: cost 22 inf + 6227 10.529 * * [simplify]: Extracting #7: cost 3 inf + 14662 10.531 * * [simplify]: Extracting #8: cost 0 inf + 16508 10.532 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 10.532 * [simplify]: Simplified (2 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 10.532 * * * * [progress]: [ 63 / 64 ] simplifiying candidate # 10.533 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.533 * * [simplify]: iters left: 4 (8 enodes) 10.535 * * [simplify]: iters left: 3 (37 enodes) 10.545 * * [simplify]: iters left: 2 (60 enodes) 10.560 * * [simplify]: iters left: 1 (86 enodes) 10.574 * * [simplify]: Extracting #0: cost 1 inf + 0 10.574 * * [simplify]: Extracting #1: cost 3 inf + 0 10.574 * * [simplify]: Extracting #2: cost 13 inf + 0 10.574 * * [simplify]: Extracting #3: cost 38 inf + 0 10.574 * * [simplify]: Extracting #4: cost 45 inf + 241 10.574 * * [simplify]: Extracting #5: cost 33 inf + 2907 10.575 * * [simplify]: Extracting #6: cost 22 inf + 6227 10.576 * * [simplify]: Extracting #7: cost 3 inf + 14662 10.578 * * [simplify]: Extracting #8: cost 0 inf + 16508 10.580 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 10.580 * [simplify]: Simplified (2 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 10.580 * * * * [progress]: [ 64 / 64 ] simplifiying candidate # 10.580 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 10.580 * * [simplify]: iters left: 4 (8 enodes) 10.582 * * [simplify]: iters left: 3 (37 enodes) 10.588 * * [simplify]: iters left: 2 (60 enodes) 10.598 * * [simplify]: iters left: 1 (86 enodes) 10.613 * * [simplify]: Extracting #0: cost 1 inf + 0 10.613 * * [simplify]: Extracting #1: cost 3 inf + 0 10.613 * * [simplify]: Extracting #2: cost 13 inf + 0 10.613 * * [simplify]: Extracting #3: cost 38 inf + 0 10.613 * * [simplify]: Extracting #4: cost 45 inf + 241 10.613 * * [simplify]: Extracting #5: cost 33 inf + 2907 10.614 * * [simplify]: Extracting #6: cost 22 inf + 6227 10.616 * * [simplify]: Extracting #7: cost 3 inf + 14662 10.618 * * [simplify]: Extracting #8: cost 0 inf + 16508 10.621 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 10.621 * [simplify]: Simplified (2 1 1) to (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 10.621 * * * [progress]: adding candidates to table 11.450 * [progress]: [Phase 3 of 3] Extracting. 11.450 * * [regime]: Finding splitpoints for: (#real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> # # # # # # # # #) 11.453 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 11.453 * * * * [regimes]: Trying to branch on a from (#real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> # # # # # # # # #) 11.523 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> # # # # # # # # #) 11.613 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # #) 11.656 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))> # # # # # # # # #) 11.739 * * * [regime]: Found split indices: #