0.005 * [progress]: [Phase 1 of 3] Setting up.
0.006 * * * [progress]: [1/2] Preparing points
1.639 * * * [progress]: [2/2] Setting up program.
1.644 * [progress]: [Phase 2 of 3] Improving.
1.644 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.646 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.647 * * [simplify]: iteration 1: (7 enodes)
1.652 * * [simplify]: iteration 2: (30 enodes)
1.659 * * [simplify]: iteration 3: (52 enodes)
1.670 * * [simplify]: iteration 4: (80 enodes)
1.712 * * [simplify]: iteration 5: (137 enodes)
1.763 * * [simplify]: iteration 6: (253 enodes)
1.943 * * [simplify]: iteration 7: (697 enodes)
2.805 * * [simplify]: Extracting #0: cost 1 inf + 0
2.806 * * [simplify]: Extracting #1: cost 3 inf + 0
2.806 * * [simplify]: Extracting #2: cost 70 inf + 0
2.807 * * [simplify]: Extracting #3: cost 260 inf + 2
2.809 * * [simplify]: Extracting #4: cost 305 inf + 1152
2.813 * * [simplify]: Extracting #5: cost 246 inf + 20558
2.837 * * [simplify]: Extracting #6: cost 138 inf + 104869
2.875 * * [simplify]: Extracting #7: cost 15 inf + 240028
2.923 * * [simplify]: Extracting #8: cost 0 inf + 253964
2.989 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.998 * * [progress]: iteration 1 / 4
2.999 * * * [progress]: picking best candidate
3.005 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
3.005 * * * [progress]: localizing error
3.040 * * * [progress]: generating rewritten candidates
3.040 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
3.041 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.043 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.046 * * * [progress]: generating series expansions
3.047 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
3.052 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.052 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.053 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.055 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.055 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.055 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.056 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.057 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.057 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.057 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.059 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.059 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.059 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.059 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.059 * [backup-simplify]: Simplify 0 into 0
3.059 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.060 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.060 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.060 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
3.060 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.060 * [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.060 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.060 * [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.061 * [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.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [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.061 * [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))))
3.061 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
3.061 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.062 * [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.062 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.062 * [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.062 * [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.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [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.063 * [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))))
3.063 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
3.063 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.063 * [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.063 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.064 * [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.064 * [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.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.064 * [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.065 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.065 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
3.065 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
3.065 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
3.065 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
3.065 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
3.065 * [taylor]: Taking taylor expansion of (log1p a) in a
3.065 * [taylor]: Rewrote expression to (log (+ 1 a))
3.065 * [taylor]: Taking taylor expansion of (+ 1 a) in a
3.065 * [taylor]: Taking taylor expansion of 1 in a
3.065 * [backup-simplify]: Simplify 1 into 1
3.065 * [taylor]: Taking taylor expansion of a in a
3.065 * [backup-simplify]: Simplify 0 into 0
3.065 * [backup-simplify]: Simplify 1 into 1
3.067 * [backup-simplify]: Simplify (+ 1 0) into 1
3.067 * [backup-simplify]: Simplify (log 1) into 0
3.067 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
3.067 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.067 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.067 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
3.068 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
3.069 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
3.069 * [backup-simplify]: Simplify (+ 0 1) into 1
3.071 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.071 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
3.071 * [backup-simplify]: Simplify (exp 0) into 1
3.071 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
3.071 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
3.071 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
3.071 * [taylor]: Taking taylor expansion of (log1p a) in a
3.071 * [taylor]: Rewrote expression to (log (+ 1 a))
3.071 * [taylor]: Taking taylor expansion of (+ 1 a) in a
3.071 * [taylor]: Taking taylor expansion of 1 in a
3.072 * [backup-simplify]: Simplify 1 into 1
3.072 * [taylor]: Taking taylor expansion of a in a
3.072 * [backup-simplify]: Simplify 0 into 0
3.072 * [backup-simplify]: Simplify 1 into 1
3.072 * [backup-simplify]: Simplify (+ 1 0) into 1
3.073 * [backup-simplify]: Simplify (log 1) into 0
3.073 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
3.073 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.073 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.073 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
3.073 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
3.074 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
3.074 * [backup-simplify]: Simplify (+ 0 1) into 1
3.075 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
3.076 * [backup-simplify]: Simplify (exp 0) into 1
3.076 * [backup-simplify]: Simplify 1 into 1
3.077 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
3.077 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
3.080 * [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.080 * [backup-simplify]: Simplify (+ 0 0) into 0
3.083 * [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.085 * [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.085 * [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.085 * [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.087 * [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.087 * [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)))
3.087 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
3.087 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
3.087 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
3.087 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
3.087 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
3.087 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
3.087 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
3.087 * [taylor]: Taking taylor expansion of 1 in a
3.087 * [backup-simplify]: Simplify 1 into 1
3.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.087 * [taylor]: Taking taylor expansion of a in a
3.087 * [backup-simplify]: Simplify 0 into 0
3.087 * [backup-simplify]: Simplify 1 into 1
3.088 * [backup-simplify]: Simplify (/ 1 1) into 1
3.089 * [backup-simplify]: Simplify (+ 0 1) into 1
3.089 * [backup-simplify]: Simplify (log 1) into 0
3.089 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
3.089 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.089 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.090 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.090 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
3.090 * [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.090 * [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.091 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
3.091 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
3.091 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
3.091 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
3.091 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
3.091 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
3.091 * [taylor]: Taking taylor expansion of 1 in a
3.091 * [backup-simplify]: Simplify 1 into 1
3.091 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.091 * [taylor]: Taking taylor expansion of a in a
3.091 * [backup-simplify]: Simplify 0 into 0
3.091 * [backup-simplify]: Simplify 1 into 1
3.091 * [backup-simplify]: Simplify (/ 1 1) into 1
3.092 * [backup-simplify]: Simplify (+ 0 1) into 1
3.092 * [backup-simplify]: Simplify (log 1) into 0
3.092 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
3.092 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.092 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.092 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.093 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
3.093 * [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.093 * [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.094 * [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.094 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
3.095 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
3.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.097 * [backup-simplify]: Simplify (+ 1 0) into 1
3.098 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.098 * [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.099 * [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.099 * [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.100 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
3.101 * [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.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.103 * [backup-simplify]: Simplify (+ 0 0) into 0
3.106 * [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.106 * [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.107 * [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.108 * [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.110 * [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.110 * [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)))
3.110 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
3.110 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
3.110 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
3.110 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
3.110 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
3.111 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
3.111 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
3.111 * [taylor]: Taking taylor expansion of 1 in a
3.111 * [backup-simplify]: Simplify 1 into 1
3.111 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.111 * [taylor]: Taking taylor expansion of -1 in a
3.111 * [backup-simplify]: Simplify -1 into -1
3.111 * [taylor]: Taking taylor expansion of a in a
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify 1 into 1
3.112 * [backup-simplify]: Simplify (/ -1 1) into -1
3.112 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.112 * [backup-simplify]: Simplify (log -1) into (log -1)
3.112 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
3.113 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.113 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.113 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.114 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
3.114 * [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.115 * [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.115 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
3.115 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
3.115 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
3.115 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
3.115 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
3.115 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
3.115 * [taylor]: Taking taylor expansion of 1 in a
3.115 * [backup-simplify]: Simplify 1 into 1
3.115 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.115 * [taylor]: Taking taylor expansion of -1 in a
3.115 * [backup-simplify]: Simplify -1 into -1
3.115 * [taylor]: Taking taylor expansion of a in a
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 1 into 1
3.116 * [backup-simplify]: Simplify (/ -1 1) into -1
3.116 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.117 * [backup-simplify]: Simplify (log -1) into (log -1)
3.117 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
3.117 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.117 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.117 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.118 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
3.118 * [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.119 * [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.120 * [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.120 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
3.121 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
3.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.123 * [backup-simplify]: Simplify (+ 1 0) into 1
3.124 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
3.125 * [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.126 * [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.127 * [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.128 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
3.129 * [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.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.131 * [backup-simplify]: Simplify (+ 0 0) into 0
3.134 * [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.135 * [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.136 * [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.137 * [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.140 * [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.140 * * * [progress]: simplifying candidates
3.140 * * * * [progress]: [ 1 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 2 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 3 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
3.141 * * * * [progress]: [ 4 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 5 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 6 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 7 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 8 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 9 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
3.141 * * * * [progress]: [ 10 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
3.141 * * * * [progress]: [ 11 / 50 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.141 * * * * [progress]: [ 12 / 50 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.141 * * * * [progress]: [ 13 / 50 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
3.141 * * * * [progress]: [ 14 / 50 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
3.142 * * * * [progress]: [ 15 / 50 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 16 / 50 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 17 / 50 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 18 / 50 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 19 / 50 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 20 / 50 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
3.142 * * * * [progress]: [ 21 / 50 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 22 / 50 ] simplifiying candidate #<alt (λ (a) (acos (log1p (expm1 (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 23 / 50 ] simplifiying candidate #<alt (λ (a) (acos (expm1 (log1p (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.142 * * * * [progress]: [ 24 / 50 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))>
3.142 * * * * [progress]: [ 25 / 50 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))>
3.142 * * * * [progress]: [ 26 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a)))))>
3.142 * * * * [progress]: [ 27 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a)))))>
3.142 * * * * [progress]: [ 28 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (sqrt (log1p a)))))>
3.142 * * * * [progress]: [ 29 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
3.142 * * * * [progress]: [ 30 / 50 ] simplifiying candidate #<alt (λ (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)))))>
3.142 * * * * [progress]: [ 31 / 50 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>
3.142 * * * * [progress]: [ 32 / 50 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a)))))>
3.143 * * * * [progress]: [ 33 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 1)))>
3.143 * * * * [progress]: [ 34 / 50 ] simplifiying candidate #<alt (λ (a) (acos (exp (log (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.143 * * * * [progress]: [ 35 / 50 ] simplifiying candidate #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.143 * * * * [progress]: [ 36 / 50 ] simplifiying candidate #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.143 * * * * [progress]: [ 37 / 50 ] simplifiying candidate #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.143 * * * * [progress]: [ 38 / 50 ] simplifiying candidate #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.143 * * * * [progress]: [ 39 / 50 ] simplifiying candidate #<alt (λ (a) (acos (* 1 (pow (fmod (cosh a) (* a a)) (log1p a)))))>
3.143 * * * * [progress]: [ 40 / 50 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))>
3.143 * * * * [progress]: [ 41 / 50 ] simplifiying candidate #<alt (λ (a) (acos (posit16->real (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.143 * * * * [progress]: [ 42 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.143 * * * * [progress]: [ 43 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.143 * * * * [progress]: [ 44 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.143 * * * * [progress]: [ 45 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.143 * * * * [progress]: [ 46 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.143 * * * * [progress]: [ 47 / 50 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.143 * * * * [progress]: [ 48 / 50 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (* 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.143 * * * * [progress]: [ 49 / 50 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (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.144 * * * * [progress]: [ 50 / 50 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (/ (* (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.145 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ (* 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))))))
  (- (+ (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))))
  (- (+ (/ (* (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.147 * * [simplify]: iteration 1: (102 enodes)
3.185 * * [simplify]: iteration 2: (429 enodes)
3.298 * * [simplify]: iteration 3: (990 enodes)
3.722 * * [simplify]: Extracting #0: cost 43 inf + 0
3.723 * * [simplify]: Extracting #1: cost 262 inf + 1
3.726 * * [simplify]: Extracting #2: cost 685 inf + 417
3.742 * * [simplify]: Extracting #3: cost 826 inf + 8377
3.766 * * [simplify]: Extracting #4: cost 570 inf + 106389
3.838 * * [simplify]: Extracting #5: cost 198 inf + 306808
3.948 * * [simplify]: Extracting #6: cost 24 inf + 427473
4.044 * * [simplify]: Extracting #7: cost 0 inf + 435772
4.125 * * [simplify]: Extracting #8: cost 0 inf + 430481
4.219 * * [simplify]: Extracting #9: cost 0 inf + 430449
4.321 * * [simplify]: Extracting #10: cost 0 inf + 430433
4.448 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (pow (fmod (cosh a) (* a a)) (log1p a)) (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (+ (fma (* (* (* a a) 1/2) (log (fmod (cosh a) (* a a)))) (log (fmod (cosh a) (* a a))) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))
  (+ (/ (exp (* (log (fmod (cosh a) (* a a))) (log a))) (/ a (log (fmod (cosh a) (* a a))))) (+ (exp (* (log (fmod (cosh a) (* a a))) (log a))) (* (/ 1/2 a) (- (/ (* (log (fmod (cosh a) (* a a))) (exp (* (log (fmod (cosh a) (* a a))) (log a)))) (/ a (log (fmod (cosh a) (* a a))))) (/ (exp (* (log (fmod (cosh a) (* a a))) (log a))) (/ a (log (fmod (cosh a) (* a a)))))))))
  (fma -1/2 (/ (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (* a a) (log (fmod (cosh a) (* a a))))) (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (fma (/ (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (log (fmod (cosh a) (* a a)))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (+ 0 (log a))))))
4.450 * * * [progress]: adding candidates to table
4.929 * * [progress]: iteration 2 / 4
4.929 * * * [progress]: picking best candidate
4.964 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
4.965 * * * [progress]: localizing error
4.997 * * * [progress]: generating rewritten candidates
4.997 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.998 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.002 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.006 * * * [progress]: generating series expansions
5.006 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.006 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.006 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.006 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.006 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.006 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.006 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.006 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.006 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.007 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.007 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.007 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.008 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.008 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.008 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.008 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.008 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.008 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.008 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
5.008 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
5.008 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.008 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.008 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.009 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.009 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.009 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.009 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.009 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.009 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.010 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.010 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.010 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.010 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.010 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.010 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.010 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.010 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.010 * [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)))
5.010 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
5.010 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.010 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.010 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.011 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.011 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.011 * [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))))
5.011 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
5.011 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.011 * [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))))
5.011 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.011 * [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))))
5.011 * [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))))
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [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)))
5.012 * [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))))
5.012 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
5.012 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.012 * [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))))
5.012 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.012 * [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))))
5.012 * [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))))
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.013 * [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)))
5.013 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.013 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
5.013 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
5.013 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
5.013 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
5.013 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
5.013 * [taylor]: Taking taylor expansion of (log1p a) in a
5.013 * [taylor]: Rewrote expression to (log (+ 1 a))
5.013 * [taylor]: Taking taylor expansion of (+ 1 a) in a
5.013 * [taylor]: Taking taylor expansion of 1 in a
5.013 * [backup-simplify]: Simplify 1 into 1
5.013 * [taylor]: Taking taylor expansion of a in a
5.013 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify 1 into 1
5.013 * [backup-simplify]: Simplify (+ 1 0) into 1
5.014 * [backup-simplify]: Simplify (log 1) into 0
5.014 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
5.014 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.014 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.014 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
5.014 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
5.015 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
5.015 * [backup-simplify]: Simplify (+ 0 1) into 1
5.016 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.016 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
5.016 * [backup-simplify]: Simplify (exp 0) into 1
5.016 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
5.016 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
5.016 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
5.016 * [taylor]: Taking taylor expansion of (log1p a) in a
5.016 * [taylor]: Rewrote expression to (log (+ 1 a))
5.016 * [taylor]: Taking taylor expansion of (+ 1 a) in a
5.016 * [taylor]: Taking taylor expansion of 1 in a
5.016 * [backup-simplify]: Simplify 1 into 1
5.016 * [taylor]: Taking taylor expansion of a in a
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify 1 into 1
5.016 * [backup-simplify]: Simplify (+ 1 0) into 1
5.017 * [backup-simplify]: Simplify (log 1) into 0
5.017 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
5.017 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.017 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
5.017 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
5.017 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
5.018 * [backup-simplify]: Simplify (+ 0 1) into 1
5.018 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.019 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
5.019 * [backup-simplify]: Simplify (exp 0) into 1
5.019 * [backup-simplify]: Simplify 1 into 1
5.019 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
5.019 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
5.020 * [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
5.020 * [backup-simplify]: Simplify (+ 0 0) into 0
5.022 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
5.022 * [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)))))
5.023 * [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)))))
5.023 * [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)))))
5.023 * [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))))))
5.023 * [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)))
5.023 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
5.023 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
5.023 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
5.023 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
5.023 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.024 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
5.024 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
5.024 * [taylor]: Taking taylor expansion of 1 in a
5.024 * [backup-simplify]: Simplify 1 into 1
5.024 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.024 * [taylor]: Taking taylor expansion of a in a
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify 1 into 1
5.024 * [backup-simplify]: Simplify (/ 1 1) into 1
5.024 * [backup-simplify]: Simplify (+ 0 1) into 1
5.024 * [backup-simplify]: Simplify (log 1) into 0
5.024 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
5.024 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.025 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
5.025 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.025 * [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)))
5.025 * [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))))
5.025 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
5.025 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
5.025 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
5.025 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.026 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
5.026 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
5.026 * [taylor]: Taking taylor expansion of 1 in a
5.026 * [backup-simplify]: Simplify 1 into 1
5.026 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.026 * [taylor]: Taking taylor expansion of a in a
5.026 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify 1 into 1
5.026 * [backup-simplify]: Simplify (/ 1 1) into 1
5.026 * [backup-simplify]: Simplify (+ 0 1) into 1
5.026 * [backup-simplify]: Simplify (log 1) into 0
5.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
5.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.027 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
5.027 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.027 * [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)))
5.027 * [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))))
5.027 * [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))))
5.028 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.028 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
5.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.029 * [backup-simplify]: Simplify (+ 1 0) into 1
5.031 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.031 * [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))))
5.031 * [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)))))
5.032 * [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)))))
5.032 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.034 * [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
5.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.035 * [backup-simplify]: Simplify (+ 0 0) into 0
5.038 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
5.039 * [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))))))
5.040 * [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)))))))
5.041 * [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)))))))
5.042 * [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))))
5.043 * [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)))
5.043 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
5.043 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
5.043 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
5.043 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
5.043 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.043 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
5.043 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
5.043 * [taylor]: Taking taylor expansion of 1 in a
5.043 * [backup-simplify]: Simplify 1 into 1
5.043 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.043 * [taylor]: Taking taylor expansion of -1 in a
5.043 * [backup-simplify]: Simplify -1 into -1
5.043 * [taylor]: Taking taylor expansion of a in a
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.044 * [backup-simplify]: Simplify (/ -1 1) into -1
5.044 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.045 * [backup-simplify]: Simplify (log -1) into (log -1)
5.045 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
5.045 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.045 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.045 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
5.046 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.047 * [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)))))
5.047 * [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)))
5.047 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
5.047 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
5.047 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
5.047 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.047 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
5.047 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
5.047 * [taylor]: Taking taylor expansion of 1 in a
5.047 * [backup-simplify]: Simplify 1 into 1
5.047 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.047 * [taylor]: Taking taylor expansion of -1 in a
5.047 * [backup-simplify]: Simplify -1 into -1
5.047 * [taylor]: Taking taylor expansion of a in a
5.048 * [backup-simplify]: Simplify 0 into 0
5.048 * [backup-simplify]: Simplify 1 into 1
5.048 * [backup-simplify]: Simplify (/ -1 1) into -1
5.048 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.049 * [backup-simplify]: Simplify (log -1) into (log -1)
5.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
5.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.049 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
5.057 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.058 * [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)))))
5.059 * [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)))
5.060 * [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)))
5.061 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.061 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
5.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.063 * [backup-simplify]: Simplify (+ 1 0) into 1
5.064 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
5.065 * [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)))))
5.066 * [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))))))
5.067 * [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))))))
5.068 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.069 * [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
5.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.071 * [backup-simplify]: Simplify (+ 0 0) into 0
5.073 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
5.074 * [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))))))
5.074 * [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)))))))
5.075 * [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)))))))
5.077 * [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))))
5.077 * * * [progress]: simplifying candidates
5.077 * * * * [progress]: [ 1 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 2 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 3 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
5.077 * * * * [progress]: [ 4 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 5 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 6 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 7 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 8 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 9 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
5.077 * * * * [progress]: [ 10 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 11 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 12 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 13 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 14 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.077 * * * * [progress]: [ 15 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
5.078 * * * * [progress]: [ 16 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
5.078 * * * * [progress]: [ 17 / 75 ] simplifiying candidate #<alt (λ (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))))>
5.078 * * * * [progress]: [ 18 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 19 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
5.078 * * * * [progress]: [ 20 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
5.078 * * * * [progress]: [ 21 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
5.078 * * * * [progress]: [ 22 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 23 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 24 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 25 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 26 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 27 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
5.078 * * * * [progress]: [ 28 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
5.078 * * * * [progress]: [ 29 / 75 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 30 / 75 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 31 / 75 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
5.078 * * * * [progress]: [ 32 / 75 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
5.078 * * * * [progress]: [ 33 / 75 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 34 / 75 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 35 / 75 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 36 / 75 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 37 / 75 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 38 / 75 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
5.078 * * * * [progress]: [ 39 / 75 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 40 / 75 ] simplifiying candidate #<alt (λ (a) (acos (log1p (expm1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 41 / 75 ] simplifiying candidate #<alt (λ (a) (acos (expm1 (log1p (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.078 * * * * [progress]: [ 42 / 75 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
5.078 * * * * [progress]: [ 43 / 75 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
5.079 * * * * [progress]: [ 44 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (* 1 (log1p a)))))>
5.079 * * * * [progress]: [ 45 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a)))))>
5.079 * * * * [progress]: [ 46 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))>
5.079 * * * * [progress]: [ 47 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
5.079 * * * * [progress]: [ 48 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
5.079 * * * * [progress]: [ 49 / 75 ] simplifiying candidate #<alt (λ (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)))))>
5.079 * * * * [progress]: [ 50 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a)))))>
5.079 * * * * [progress]: [ 51 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (log (exp 1)) (log1p a)))))>
5.079 * * * * [progress]: [ 52 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)) (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
5.079 * * * * [progress]: [ 53 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
5.079 * * * * [progress]: [ 54 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
5.079 * * * * [progress]: [ 55 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) 1)))>
5.079 * * * * [progress]: [ 56 / 75 ] simplifiying candidate #<alt (λ (a) (acos (exp (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.079 * * * * [progress]: [ 57 / 75 ] simplifiying candidate #<alt (λ (a) (acos (log (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.079 * * * * [progress]: [ 58 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.079 * * * * [progress]: [ 59 / 75 ] simplifiying candidate #<alt (λ (a) (acos (cbrt (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.079 * * * * [progress]: [ 60 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.079 * * * * [progress]: [ 61 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
5.079 * * * * [progress]: [ 62 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)) (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)))))>
5.079 * * * * [progress]: [ 63 / 75 ] simplifiying candidate #<alt (λ (a) (acos (posit16->real (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
5.079 * * * * [progress]: [ 64 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
5.079 * * * * [progress]: [ 65 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
5.079 * * * * [progress]: [ 66 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
5.079 * * * * [progress]: [ 67 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
5.079 * * * * [progress]: [ 68 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
5.079 * * * * [progress]: [ 69 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
5.079 * * * * [progress]: [ 70 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
5.079 * * * * [progress]: [ 71 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
5.079 * * * * [progress]: [ 72 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
5.079 * * * * [progress]: [ 73 / 75 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (* 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.080 * * * * [progress]: [ 74 / 75 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (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.080 * * * * [progress]: [ 75 / 75 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (/ (* (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.080 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (log (exp (fmod (cosh a) (* a a)))))
  (log1p (log (exp (fmod (cosh a) (* a a)))))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (real->posit16 (log (exp (fmod (cosh a) (* a a)))))
  (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (expm1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log1p (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) 1)
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (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))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (log (exp 1)) (log1p a))
  (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ (* 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))))))
  (- (+ (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))))
  (- (+ (/ (* (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.081 * * [simplify]: iteration 1: (132 enodes)
5.124 * * [simplify]: iteration 2: (519 enodes)
5.317 * * [simplify]: iteration 3: (1179 enodes)
5.834 * * [simplify]: Extracting #0: cost 47 inf + 0
5.835 * * [simplify]: Extracting #1: cost 277 inf + 2
5.837 * * [simplify]: Extracting #2: cost 784 inf + 187
5.845 * * [simplify]: Extracting #3: cost 820 inf + 56710
5.902 * * [simplify]: Extracting #4: cost 333 inf + 274100
6.019 * * [simplify]: Extracting #5: cost 45 inf + 451408
6.099 * * [simplify]: Extracting #6: cost 0 inf + 476669
6.173 * * [simplify]: Extracting #7: cost 0 inf + 475531
6.299 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  1
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (+ (fma (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))
  (fma (* (/ (log (fmod (cosh a) (* a a))) (* a a)) (exp (* (log a) (log (fmod (cosh a) (* a a)))))) -1/2 (fma (/ (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (/ (* a a) (exp (* (log a) (log (fmod (cosh a) (* a a))))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (exp (* (log a) (log (fmod (cosh a) (* a a))))) (exp (* (log a) (log (fmod (cosh a) (* a a))))))))
  (fma (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (log (fmod (cosh a) (* a a))) (* a a))) -1/2 (fma (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (* a a))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))))))
6.307 * * * [progress]: adding candidates to table
7.121 * * [progress]: iteration 3 / 4
7.121 * * * [progress]: picking best candidate
7.171 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (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.171 * * * [progress]: localizing error
7.243 * * * [progress]: generating rewritten candidates
7.243 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
7.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
7.244 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
7.245 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
7.250 * * * [progress]: generating series expansions
7.250 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
7.250 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.250 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.250 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.250 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.250 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.250 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.251 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.251 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.251 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.252 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.253 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
7.253 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.253 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.253 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.254 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.254 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.255 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.255 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.256 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.256 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
7.256 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.257 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.257 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.257 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.257 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.257 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.257 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.257 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.257 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.257 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.258 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.258 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.258 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.258 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.258 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.259 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.259 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.259 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.259 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.260 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
7.260 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.260 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.260 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.260 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.260 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.260 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.260 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.261 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.261 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.261 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify 0 into 0
7.262 * [backup-simplify]: Simplify 0 into 0
7.262 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.262 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.262 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.263 * * * [progress]: simplifying candidates
7.263 * * * * [progress]: [ 1 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.263 * * * * [progress]: [ 2 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.263 * * * * [progress]: [ 3 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))))>
7.263 * * * * [progress]: [ 4 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.263 * * * * [progress]: [ 5 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.264 * * * * [progress]: [ 6 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.264 * * * * [progress]: [ 7 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.264 * * * * [progress]: [ 8 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.264 * * * * [progress]: [ 9 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))))>
7.264 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.264 * * * * [progress]: [ 11 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.264 * * * * [progress]: [ 12 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.264 * * * * [progress]: [ 13 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.264 * * * * [progress]: [ 14 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.264 * * * * [progress]: [ 15 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.264 * * * * [progress]: [ 16 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.264 * * * * [progress]: [ 17 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.265 * * * * [progress]: [ 18 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.265 * * * * [progress]: [ 19 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.265 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.265 * * * * [progress]: [ 21 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 22 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 23 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (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.265 * * * * [progress]: [ 24 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 25 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 26 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 27 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 28 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 29 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (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.265 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (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.265 * * * * [progress]: [ 31 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 32 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 33 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 34 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 35 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
7.266 * * * * [progress]: [ 36 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
7.266 * * * * [progress]: [ 37 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (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.266 * * * * [progress]: [ 38 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 39 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))))>
7.266 * * * * [progress]: [ 40 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))))>
7.266 * * * * [progress]: [ 41 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
7.266 * * * * [progress]: [ 42 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 43 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.266 * * * * [progress]: [ 44 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.267 * * * * [progress]: [ 45 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.267 * * * * [progress]: [ 46 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.267 * * * * [progress]: [ 47 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
7.267 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.267 * * * * [progress]: [ 49 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
7.267 * * * * [progress]: [ 50 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
7.267 * * * * [progress]: [ 51 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
7.267 * * * * [progress]: [ 52 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.267 * * * * [progress]: [ 53 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.267 * * * * [progress]: [ 54 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.267 * * * * [progress]: [ 55 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (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.267 * * * * [progress]: [ 56 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (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.267 * * * * [progress]: [ 57 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (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.267 * * * * [progress]: [ 58 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
7.268 * * * * [progress]: [ 59 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
7.268 * * * * [progress]: [ 60 / 60 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
7.269 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (log (exp (fmod (cosh a) (* a a)))))
  (log1p (log (exp (fmod (cosh a) (* a a)))))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (real->posit16 (log (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
7.270 * * [simplify]: iteration 1: (42 enodes)
7.291 * * [simplify]: iteration 2: (114 enodes)
7.329 * * [simplify]: iteration 3: (143 enodes)
7.345 * * [simplify]: iteration 4: (164 enodes)
7.373 * * [simplify]: iteration 5: (206 enodes)
7.401 * * [simplify]: iteration 6: (308 enodes)
7.476 * * [simplify]: iteration 7: (568 enodes)
7.696 * * [simplify]: iteration 8: (1459 enodes)
10.524 * * [simplify]: Extracting #0: cost 15 inf + 0
10.525 * * [simplify]: Extracting #1: cost 108 inf + 2
10.526 * * [simplify]: Extracting #2: cost 454 inf + 6
10.530 * * [simplify]: Extracting #3: cost 1064 inf + 1978
10.552 * * [simplify]: Extracting #4: cost 985 inf + 87129
10.697 * * [simplify]: Extracting #5: cost 221 inf + 667892
10.900 * * [simplify]: Extracting #6: cost 5 inf + 838112
11.101 * * [simplify]: Extracting #7: cost 0 inf + 832871
11.307 * * [simplify]: Extracting #8: cost 0 inf + 831529
11.536 * * [simplify]: Extracting #9: cost 0 inf + 831196
11.737 * * [simplify]: Extracting #10: cost 0 inf + 831085
11.934 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
11.941 * * * [progress]: adding candidates to table
12.903 * * [progress]: iteration 4 / 4
12.903 * * * [progress]: picking best candidate
12.956 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
12.956 * * * [progress]: localizing error
13.023 * * * [progress]: generating rewritten candidates
13.023 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
13.023 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1)
13.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
13.024 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
13.024 * * * [progress]: generating series expansions
13.024 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
13.025 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.025 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.025 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.025 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.025 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify 0 into 0
13.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.025 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.025 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.025 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.026 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify 0 into 0
13.026 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.026 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1 1 1)
13.027 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.027 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.027 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.027 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.027 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.027 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.027 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.027 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.027 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.028 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify 0 into 0
13.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.029 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
13.029 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.029 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.029 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.029 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.029 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.029 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.029 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify 0 into 0
13.029 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.030 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify 0 into 0
13.030 * [backup-simplify]: Simplify 0 into 0
13.031 * [backup-simplify]: Simplify 0 into 0
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.031 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.031 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.032 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify 0 into 0
13.032 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.032 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
13.032 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.032 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.032 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.032 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.032 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.033 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.033 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify 0 into 0
13.033 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.034 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.034 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.034 * [backup-simplify]: Simplify 0 into 0
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.035 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.035 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.035 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify 0 into 0
13.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.036 * * * [progress]: simplifying candidates
13.036 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
13.036 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
13.036 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.037 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (log1p (expm1 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (expm1 (log1p (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (exp (log (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (log (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (* 1 (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.037 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.038 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.039 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
13.039 * * [simplify]: iteration 1: (17 enodes)
13.043 * * [simplify]: iteration 2: (57 enodes)
13.051 * * [simplify]: iteration 3: (75 enodes)
13.061 * * [simplify]: iteration 4: (85 enodes)
13.075 * * [simplify]: iteration 5: (95 enodes)
13.104 * * [simplify]: iteration 6: (112 enodes)
13.127 * * [simplify]: iteration 7: (145 enodes)
13.163 * * [simplify]: iteration 8: (222 enodes)
13.232 * * [simplify]: iteration 9: (475 enodes)
13.542 * * [simplify]: iteration 10: (1522 enodes)
18.323 * * [simplify]: Extracting #0: cost 10 inf + 0
18.324 * * [simplify]: Extracting #1: cost 195 inf + 0
18.334 * * [simplify]: Extracting #2: cost 1311 inf + 3
18.341 * * [simplify]: Extracting #3: cost 1321 inf + 114
18.354 * * [simplify]: Extracting #4: cost 1233 inf + 68304
18.469 * * [simplify]: Extracting #5: cost 398 inf + 903041
18.669 * * [simplify]: Extracting #6: cost 17 inf + 1271718
18.889 * * [simplify]: Extracting #7: cost 0 inf + 1286403
19.078 * * [simplify]: Extracting #8: cost 0 inf + 1285660
19.277 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
19.284 * * * [progress]: adding candidates to table
20.278 * [progress]: [Phase 3 of 3] Extracting.
20.278 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
20.283 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
20.283 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
20.344 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
20.413 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.467 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
20.548 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.593 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
20.593 * [simplify]: Simplifying:
  (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
20.593 * * [simplify]: iteration 1: (12 enodes)
20.594 * * [simplify]: iteration 2: (13 enodes)
20.594 * * [simplify]: Extracting #0: cost 1 inf + 0
20.594 * * [simplify]: Extracting #1: cost 3 inf + 0
20.594 * * [simplify]: Extracting #2: cost 4 inf + 0
20.594 * * [simplify]: Extracting #3: cost 5 inf + 0
20.594 * * [simplify]: Extracting #4: cost 7 inf + 0
20.594 * * [simplify]: Extracting #5: cost 9 inf + 0
20.594 * * [simplify]: Extracting #6: cost 9 inf + 1
20.594 * * [simplify]: Extracting #7: cost 10 inf + 92
20.595 * * [simplify]: Extracting #8: cost 0 inf + 4647
20.595 * [simplify]: Simplified to:
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
53.794 * [regime-testing]: Baseline error score: 59.632537156632665
53.796 * [regime-testing]: Oracle error score: 59.24856729603258
53.803 * [regime-testing]: End program error score: 59.632537156632665