0.643 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.023 * * * [progress]: [2/2] Setting up program. 1.028 * [progress]: [Phase 2 of 3] Improving. 1.030 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.030 * [simplify]: Sending expressions to egg_math: (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) 1.033 * * [simplify]: iteration 0 : 16 enodes (cost 6 ) 1.034 * * [simplify]: iteration 1 : 24 enodes (cost 6 ) 1.036 * * [simplify]: iteration 2 : 43 enodes (cost 6 ) 1.037 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 1.039 * * [simplify]: iteration 4 : 257 enodes (cost 6 ) 1.045 * * [simplify]: iteration 5 : 1277 enodes (cost 6 ) 1.072 * * [simplify]: iteration 6 : 5002 enodes (cost 6 ) 1.074 * * [progress]: iteration 1 / 4 1.074 * * * [progress]: picking best candidate 1.077 * * * * [pick]: Picked # 1.077 * * * [progress]: localizing error 1.089 * * * [progress]: generating rewritten candidates 1.089 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.090 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.091 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.102 * * * [progress]: generating series expansions 1.102 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.106 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.106 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.107 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.108 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.109 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.109 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.109 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.109 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.110 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.110 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.110 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.110 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.110 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.112 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.113 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.113 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.113 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.113 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.113 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.113 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.113 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.113 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.113 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify 0 into 0 1.114 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.114 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.114 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.114 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.114 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.114 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.114 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.114 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.115 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.115 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.115 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.115 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.115 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.116 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.116 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a)) 1.116 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 1.116 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1.116 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1.116 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1.116 * [taylor]: Taking taylor expansion of (log1p a) in a 1.117 * [taylor]: Rewrote expression to (log (+ 1 a)) 1.117 * [taylor]: Taking taylor expansion of (+ 1 a) in a 1.117 * [taylor]: Taking taylor expansion of 1 in a 1.117 * [backup-simplify]: Simplify 1 into 1 1.117 * [taylor]: Taking taylor expansion of a in a 1.117 * [backup-simplify]: Simplify 0 into 0 1.117 * [backup-simplify]: Simplify 1 into 1 1.118 * [backup-simplify]: Simplify (+ 1 0) into 1 1.118 * [backup-simplify]: Simplify (log 1) into 0 1.118 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1.118 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.118 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.118 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1.119 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1.119 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1.120 * [backup-simplify]: Simplify (+ 0 1) into 1 1.120 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.121 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1.121 * [backup-simplify]: Simplify (exp 0) into 1 1.121 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1.121 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1.121 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1.121 * [taylor]: Taking taylor expansion of (log1p a) in a 1.121 * [taylor]: Rewrote expression to (log (+ 1 a)) 1.121 * [taylor]: Taking taylor expansion of (+ 1 a) in a 1.121 * [taylor]: Taking taylor expansion of 1 in a 1.121 * [backup-simplify]: Simplify 1 into 1 1.121 * [taylor]: Taking taylor expansion of a in a 1.121 * [backup-simplify]: Simplify 0 into 0 1.121 * [backup-simplify]: Simplify 1 into 1 1.121 * [backup-simplify]: Simplify (+ 1 0) into 1 1.121 * [backup-simplify]: Simplify (log 1) into 0 1.121 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1.122 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.122 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.122 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1.122 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1.122 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1.123 * [backup-simplify]: Simplify (+ 0 1) into 1 1.123 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1.124 * [backup-simplify]: Simplify (exp 0) into 1 1.124 * [backup-simplify]: Simplify 1 into 1 1.124 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2))) 1.125 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1.126 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0 1.127 * [backup-simplify]: Simplify (+ 0 0) into 0 1.128 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1.129 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1.129 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1.130 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1.131 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 1.131 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) 1.131 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 1.131 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1.131 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.131 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.131 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 1.131 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 1.131 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1.131 * [taylor]: Taking taylor expansion of 1 in a 1.131 * [backup-simplify]: Simplify 1 into 1 1.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.131 * [taylor]: Taking taylor expansion of a in a 1.131 * [backup-simplify]: Simplify 0 into 0 1.131 * [backup-simplify]: Simplify 1 into 1 1.132 * [backup-simplify]: Simplify (/ 1 1) into 1 1.132 * [backup-simplify]: Simplify (+ 0 1) into 1 1.133 * [backup-simplify]: Simplify (log 1) into 0 1.133 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.133 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.133 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.133 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.133 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.133 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1.134 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1.134 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1.134 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1.134 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1.134 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 1.134 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 1.134 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1.134 * [taylor]: Taking taylor expansion of 1 in a 1.134 * [backup-simplify]: Simplify 1 into 1 1.134 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.134 * [taylor]: Taking taylor expansion of a in a 1.134 * [backup-simplify]: Simplify 0 into 0 1.134 * [backup-simplify]: Simplify 1 into 1 1.134 * [backup-simplify]: Simplify (/ 1 1) into 1 1.134 * [backup-simplify]: Simplify (+ 0 1) into 1 1.135 * [backup-simplify]: Simplify (log 1) into 0 1.135 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.135 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.135 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.135 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.135 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.135 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1.136 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1.136 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1.136 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.137 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.138 * [backup-simplify]: Simplify (+ 1 0) into 1 1.138 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1.138 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.139 * [backup-simplify]: Simplify (* (exp (* -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 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) 1.139 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) 1.139 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1.141 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0 1.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.141 * [backup-simplify]: Simplify (+ 0 0) into 0 1.143 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1.143 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1.144 * [backup-simplify]: Simplify (* (exp (* -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 (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) 1.144 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) 1.146 * [backup-simplify]: Simplify (+ (* (* (- (* 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)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2)))) 1.146 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) 1.146 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 1.146 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1.146 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.146 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.146 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 1.147 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 1.147 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1.147 * [taylor]: Taking taylor expansion of 1 in a 1.147 * [backup-simplify]: Simplify 1 into 1 1.147 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.147 * [taylor]: Taking taylor expansion of -1 in a 1.147 * [backup-simplify]: Simplify -1 into -1 1.147 * [taylor]: Taking taylor expansion of a in a 1.147 * [backup-simplify]: Simplify 0 into 0 1.147 * [backup-simplify]: Simplify 1 into 1 1.147 * [backup-simplify]: Simplify (/ -1 1) into -1 1.147 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.148 * [backup-simplify]: Simplify (log -1) into (log -1) 1.148 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.148 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.148 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.148 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.148 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.149 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))) 1.149 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) 1.149 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1.149 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1.149 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1.149 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 1.149 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 1.149 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1.149 * [taylor]: Taking taylor expansion of 1 in a 1.149 * [backup-simplify]: Simplify 1 into 1 1.149 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.149 * [taylor]: Taking taylor expansion of -1 in a 1.149 * [backup-simplify]: Simplify -1 into -1 1.149 * [taylor]: Taking taylor expansion of a in a 1.149 * [backup-simplify]: Simplify 0 into 0 1.150 * [backup-simplify]: Simplify 1 into 1 1.150 * [backup-simplify]: Simplify (/ -1 1) into -1 1.150 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.150 * [backup-simplify]: Simplify (log -1) into (log -1) 1.150 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.150 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.151 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.151 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.151 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))) 1.152 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) 1.152 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) 1.153 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.153 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.154 * [backup-simplify]: Simplify (+ 1 0) into 1 1.155 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1.155 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1.156 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) 1.157 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) 1.157 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1.158 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0 1.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.159 * [backup-simplify]: Simplify (+ 0 0) into 0 1.161 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1.161 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1.162 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (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 (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) 1.163 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) 1.165 * [backup-simplify]: Simplify (+ (* (* (- (* 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)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2)))) 1.166 * * * [progress]: simplifying candidates 1.166 * [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))) (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)))) (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)) (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 (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2)))) (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2)))) 1.167 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (log1p (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (/ h1 2) (asin (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (log (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (exp (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (* (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))))) (cbrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (* (* (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (sqrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (sqrt (acos (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (expm1 (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (log1p (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (* (log (fmod (cosh h0) (* h0 h0))) (log1p h0)) (* (log (fmod (cosh h0) (* h0 h0))) (log1p h0)) (* 1 (log1p h0)) (pow (fmod (cosh h0) (* h0 h0)) (* (cbrt (log1p h0)) (cbrt (log1p h0)))) (pow (fmod (cosh h0) (* h0 h0)) (sqrt (log1p h0))) (pow (fmod (cosh h0) (* h0 h0)) 1) (pow (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (log1p h0)) (pow (cbrt (fmod (cosh h0) (* h0 h0))) (log1p h0)) (pow (sqrt (fmod (cosh h0) (* h0 h0))) (log1p h0)) (pow (sqrt (fmod (cosh h0) (* h0 h0))) (log1p h0)) (pow 1 (log1p h0)) (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)) (log (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (exp (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (* (cbrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (cbrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)))) (cbrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (* (* (pow (fmod (cosh h0) (* h0 h0)) (log1p h0)) (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (sqrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (sqrt (pow (fmod (cosh h0) (* h0 h0)) (log1p h0))) (pow (fmod (cosh h0) (* h0 h0)) (/ (log1p h0) 2)) (pow (fmod (cosh h0) (* h0 h0)) (/ (log1p h0) 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (- (+ (* 1/2 (* (pow h0 2) (pow (log (fmod (cosh h0) (pow h0 2))) 2))) (+ (* h0 (log (fmod (cosh h0) (pow h0 2)))) 1)) (* 1/2 (* (pow h0 2) (log (fmod (cosh h0) (pow h0 2)))))) (- (+ (exp (* -1 (* (log (/ 1 h0)) (log (fmod (cosh h0) (pow h0 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 h0)) (log (fmod (cosh h0) (pow h0 2)))))) (pow (log (fmod (cosh h0) (pow h0 2))) 2)) (pow h0 2))) (/ (* (exp (* -1 (* (log (/ 1 h0)) (log (fmod (cosh h0) (pow h0 2)))))) (log (fmod (cosh h0) (pow h0 2)))) h0))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 h0)) (log (fmod (cosh h0) (pow h0 2)))))) (log (fmod (cosh h0) (pow h0 2)))) (pow h0 2)))) (- (+ (pow (fmod (cosh h0) (pow h0 2)) (- (log -1) (log (/ -1 h0)))) (+ (* 1/2 (/ (* (pow (fmod (cosh h0) (pow h0 2)) (- (log -1) (log (/ -1 h0)))) (pow (log (fmod (cosh h0) (pow h0 2))) 2)) (pow h0 2))) (/ (* (pow (fmod (cosh h0) (pow h0 2)) (- (log -1) (log (/ -1 h0)))) (log (fmod (cosh h0) (pow h0 2)))) h0))) (* 1/2 (/ (* (pow (fmod (cosh h0) (pow h0 2)) (- (log -1) (log (/ -1 h0)))) (log (fmod (cosh h0) (pow h0 2)))) (pow h0 2)))) 1.170 * * [simplify]: iteration 0 : 220 enodes (cost 450 ) 1.174 * * [simplify]: iteration 1 : 820 enodes (cost 423 ) 1.190 * * [simplify]: iteration 2 : 3551 enodes (cost 413 ) 1.266 * * [simplify]: iteration 3 : 5001 enodes (cost 405 ) 1.269 * * * [progress]: adding candidates to table 1.412 * * [progress]: iteration 2 / 4 1.412 * * * [progress]: picking best candidate 1.438 * * * * [pick]: Picked # 1.438 * * * [progress]: localizing error 1.451 * * * [progress]: generating rewritten candidates 1.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 1.451 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.453 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.457 * * * [progress]: generating series expansions 1.457 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 1.457 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.457 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.458 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.458 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.459 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.459 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.459 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.459 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.460 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.460 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1.460 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.460 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.460 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.460 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.460 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.460 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.461 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.461 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.461 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.461 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify 0 into 0 1.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.462 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.462 * [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))) 1.462 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1.462 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.463 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.463 * [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)))) 1.463 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1.463 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.464 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.465 * [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)))) 1.465 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1.465 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.465 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.465 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1.465 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.465 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1.466 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.466 * [backup-simplify]: Simplify (exp (fmod (cosh a) (* a a))) into (exp (fmod (cosh a) (pow a 2))) 1.466 * [approximate]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in (a) around 0 1.466 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 1.466 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.466 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.466 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 1.466 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 1.466 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.466 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.466 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 1.466 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 1.467 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0 1.467 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.468 * [backup-simplify]: Simplify 0 into 0 1.469 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.469 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.471 * [backup-simplify]: Simplify 0 into 0 1.473 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.473 * [backup-simplify]: Simplify 0 into 0 1.476 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.476 * [backup-simplify]: Simplify 0 into 0 1.476 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 1.476 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.476 * [approximate]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0 1.476 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.476 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.476 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.476 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.476 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1.476 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.477 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.477 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.477 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1.478 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.478 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.479 * [backup-simplify]: Simplify 0 into 0 1.480 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.480 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.481 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.483 * [backup-simplify]: Simplify 0 into 0 1.486 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.486 * [backup-simplify]: Simplify 0 into 0 1.486 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (exp (fmod (cosh a) (pow a 2))) 1.486 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.486 * [approximate]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0 1.486 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.486 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.487 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.487 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.487 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1.487 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.487 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.487 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.487 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1.488 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.489 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.489 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.490 * [backup-simplify]: Simplify 0 into 0 1.491 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.491 * [backup-simplify]: Simplify 0 into 0 1.493 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.493 * [backup-simplify]: Simplify 0 into 0 1.496 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.496 * [backup-simplify]: Simplify 0 into 0 1.496 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (exp (fmod (cosh a) (pow a 2))) 1.496 * * * [progress]: simplifying candidates 1.497 * [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))) (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))))) (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)))) (expm1 (exp (fmod (cosh a) (* a a)))) (log1p (exp (fmod (cosh a) (* a a)))) (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (exp (sqrt (fmod (cosh a) (* a a)))) (exp 1) (log (exp (fmod (cosh a) (* a a)))) (exp (exp (fmod (cosh a) (* a a)))) (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))) (cbrt (exp (fmod (cosh a) (* a a)))) (* (* (exp (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a)))) (exp (fmod (cosh a) (* a a)))) (sqrt (exp (fmod (cosh a) (* a a)))) (sqrt (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)) (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))) (exp (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) 1.497 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (expm1 (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (log1p (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (log (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (exp (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (cbrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (* (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (expm1 (exp (fmod (cosh h0) (* h0 h0)))) (log1p (exp (fmod (cosh h0) (* h0 h0)))) (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0))))) (exp (sqrt (fmod (cosh h0) (* h0 h0)))) (exp 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (exp (exp (fmod (cosh h0) (* h0 h0)))) (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (* (* (exp (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0)))) (exp (fmod (cosh h0) (* h0 h0)))) (sqrt (exp (fmod (cosh h0) (* h0 h0)))) (sqrt (exp (fmod (cosh h0) (* h0 h0)))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (acos (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (exp (fmod (cosh h0) (pow h0 2))) (exp (fmod (cosh h0) (pow h0 2))) (exp (fmod (cosh h0) (pow h0 2))) 1.502 * * [simplify]: iteration 0 : 88 enodes (cost 383 ) 1.504 * * [simplify]: iteration 1 : 133 enodes (cost 336 ) 1.506 * * [simplify]: iteration 2 : 257 enodes (cost 336 ) 1.510 * * [simplify]: iteration 3 : 681 enodes (cost 336 ) 1.528 * * [simplify]: iteration 4 : 3339 enodes (cost 336 ) 1.621 * * [simplify]: iteration 5 : 5002 enodes (cost 336 ) 1.622 * * * [progress]: adding candidates to table 1.812 * * [progress]: iteration 3 / 4 1.812 * * * [progress]: picking best candidate 1.844 * * * * [pick]: Picked # 1.844 * * * [progress]: localizing error 1.862 * * * [progress]: generating rewritten candidates 1.862 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1) 1.862 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 1.862 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1) 1.862 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 1.868 * * * [progress]: generating series expansions 1.868 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1) 1.868 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.868 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.868 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.868 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.868 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.869 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.870 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.870 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1) 1.871 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.871 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.871 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.871 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.871 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.872 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.873 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1) 1.873 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1.873 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.873 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.873 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.873 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.873 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.874 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.874 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.875 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.875 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify 0 into 0 1.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.875 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 1.876 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1.876 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1.876 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.876 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1.876 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.876 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.876 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify 0 into 0 1.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1.877 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.877 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1.877 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.877 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.877 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1.877 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.878 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1.878 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify 0 into 0 1.878 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1.878 * * * [progress]: simplifying candidates 1.879 * [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))) (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))) (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))) (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))))) (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)) 1.879 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) 1.881 * * [simplify]: iteration 0 : 56 enodes (cost 278 ) 1.883 * * [simplify]: iteration 1 : 79 enodes (cost 244 ) 1.884 * * [simplify]: iteration 2 : 161 enodes (cost 244 ) 1.887 * * [simplify]: iteration 3 : 412 enodes (cost 244 ) 1.898 * * [simplify]: iteration 4 : 1977 enodes (cost 244 ) 1.958 * * [simplify]: iteration 5 : 5001 enodes (cost 244 ) 1.960 * * * [progress]: adding candidates to table 2.215 * * [progress]: iteration 4 / 4 2.215 * * * [progress]: picking best candidate 2.245 * * * * [pick]: Picked # 2.245 * * * [progress]: localizing error 2.263 * * * [progress]: generating rewritten candidates 2.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1) 2.263 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 2.266 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 2.288 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.293 * * * [progress]: generating series expansions 2.293 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1) 2.293 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 2.293 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.293 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.293 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.293 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.293 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.294 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.294 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.295 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.296 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 2.296 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 2.296 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 2.296 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.296 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.296 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 2.296 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.296 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 2.296 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.296 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 2.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 2.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 2.297 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.297 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 2.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.297 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 2.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 2.298 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.299 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.299 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0 2.299 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 2.299 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 2.299 * [taylor]: Taking taylor expansion of 1/2 in a 2.299 * [backup-simplify]: Simplify 1/2 into 1/2 2.299 * [taylor]: Taking taylor expansion of PI in a 2.299 * [backup-simplify]: Simplify PI into PI 2.299 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.299 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.299 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 2.299 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 2.299 * [taylor]: Taking taylor expansion of 1/2 in a 2.299 * [backup-simplify]: Simplify 1/2 into 1/2 2.299 * [taylor]: Taking taylor expansion of PI in a 2.299 * [backup-simplify]: Simplify PI into PI 2.299 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.299 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.300 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 2.300 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.300 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.301 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.301 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 2.302 * [backup-simplify]: Simplify (- 0) into 0 2.302 * [backup-simplify]: Simplify (+ 0 0) into 0 2.302 * [backup-simplify]: Simplify 0 into 0 2.302 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 2.303 * [backup-simplify]: Simplify (- 0) into 0 2.303 * [backup-simplify]: Simplify (+ 0 0) into 0 2.303 * [backup-simplify]: Simplify 0 into 0 2.304 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 2.304 * [backup-simplify]: Simplify (- 0) into 0 2.304 * [backup-simplify]: Simplify (+ 0 0) into 0 2.304 * [backup-simplify]: Simplify 0 into 0 2.305 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 2.305 * [backup-simplify]: Simplify (- 0) into 0 2.305 * [backup-simplify]: Simplify (+ 0 0) into 0 2.305 * [backup-simplify]: Simplify 0 into 0 2.306 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 2.306 * [backup-simplify]: Simplify (- 0) into 0 2.306 * [backup-simplify]: Simplify (+ 0 0) into 0 2.306 * [backup-simplify]: Simplify 0 into 0 2.307 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 2.307 * [backup-simplify]: Simplify (- 0) into 0 2.308 * [backup-simplify]: Simplify (+ 0 0) into 0 2.308 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.309 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) 2.309 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in (a) around 0 2.309 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in a 2.309 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 2.309 * [taylor]: Taking taylor expansion of 1/2 in a 2.309 * [backup-simplify]: Simplify 1/2 into 1/2 2.309 * [taylor]: Taking taylor expansion of PI in a 2.309 * [backup-simplify]: Simplify PI into PI 2.309 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.309 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.309 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in a 2.309 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 2.309 * [taylor]: Taking taylor expansion of 1/2 in a 2.309 * [backup-simplify]: Simplify 1/2 into 1/2 2.309 * [taylor]: Taking taylor expansion of PI in a 2.309 * [backup-simplify]: Simplify PI into PI 2.309 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.309 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.310 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 2.310 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) 2.311 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) 2.311 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) 2.312 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 2.312 * [backup-simplify]: Simplify (- 0) into 0 2.312 * [backup-simplify]: Simplify (+ 0 0) into 0 2.312 * [backup-simplify]: Simplify 0 into 0 2.313 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 2.313 * [backup-simplify]: Simplify (- 0) into 0 2.313 * [backup-simplify]: Simplify (+ 0 0) into 0 2.313 * [backup-simplify]: Simplify 0 into 0 2.314 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 2.314 * [backup-simplify]: Simplify (- 0) into 0 2.314 * [backup-simplify]: Simplify (+ 0 0) into 0 2.314 * [backup-simplify]: Simplify 0 into 0 2.315 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 2.315 * [backup-simplify]: Simplify (- 0) into 0 2.315 * [backup-simplify]: Simplify (+ 0 0) into 0 2.315 * [backup-simplify]: Simplify 0 into 0 2.316 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 2.316 * [backup-simplify]: Simplify (- 0) into 0 2.316 * [backup-simplify]: Simplify (+ 0 0) into 0 2.316 * [backup-simplify]: Simplify 0 into 0 2.317 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 2.317 * [backup-simplify]: Simplify (- 0) into 0 2.318 * [backup-simplify]: Simplify (+ 0 0) into 0 2.318 * [backup-simplify]: Simplify 0 into 0 2.318 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.319 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) 2.319 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in (a) around 0 2.319 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in a 2.319 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 2.319 * [taylor]: Taking taylor expansion of 1/2 in a 2.319 * [backup-simplify]: Simplify 1/2 into 1/2 2.319 * [taylor]: Taking taylor expansion of PI in a 2.319 * [backup-simplify]: Simplify PI into PI 2.319 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.319 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.319 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in a 2.319 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 2.319 * [taylor]: Taking taylor expansion of 1/2 in a 2.319 * [backup-simplify]: Simplify 1/2 into 1/2 2.319 * [taylor]: Taking taylor expansion of PI in a 2.319 * [backup-simplify]: Simplify PI into PI 2.319 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.320 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.320 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 2.320 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) 2.321 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) 2.321 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) 2.322 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 2.322 * [backup-simplify]: Simplify (- 0) into 0 2.322 * [backup-simplify]: Simplify (+ 0 0) into 0 2.322 * [backup-simplify]: Simplify 0 into 0 2.323 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 2.323 * [backup-simplify]: Simplify (- 0) into 0 2.323 * [backup-simplify]: Simplify (+ 0 0) into 0 2.323 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 2.324 * [backup-simplify]: Simplify (- 0) into 0 2.324 * [backup-simplify]: Simplify (+ 0 0) into 0 2.324 * [backup-simplify]: Simplify 0 into 0 2.325 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 2.325 * [backup-simplify]: Simplify (- 0) into 0 2.325 * [backup-simplify]: Simplify (+ 0 0) into 0 2.325 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 2.326 * [backup-simplify]: Simplify (- 0) into 0 2.326 * [backup-simplify]: Simplify (+ 0 0) into 0 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 2.328 * [backup-simplify]: Simplify (- 0) into 0 2.328 * [backup-simplify]: Simplify (+ 0 0) into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 2.329 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 2.329 * [backup-simplify]: Simplify (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.329 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 2.329 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.329 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.329 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 2.329 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.329 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.329 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.330 * [backup-simplify]: Simplify (asin (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.330 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 2.330 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.330 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.330 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 2.330 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.331 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify 0 into 0 2.331 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.331 * [backup-simplify]: Simplify (asin (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.331 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 2.331 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.331 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.331 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 2.332 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.332 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify 0 into 0 2.332 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.332 * * * [progress]: simplifying candidates 2.337 * [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))) (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))))) (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma (/ 1 1) (/ PI 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (/ 1 1) (/ PI 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma (/ 1 1) (/ PI 2) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma 1 (/ PI 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma 1 (/ PI 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma 1 (/ PI 2) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (fma PI (/ 1 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma PI (/ 1 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (fma PI (/ 1 2) (- (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1 (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1)) (expm1 (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log1p (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (/ (exp (/ PI 2)) (exp (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (log (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (exp (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (cbrt (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (* (* (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (- (pow (/ PI 2) 3) (pow (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 3)) (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (* (/ PI 2) (/ PI 2)) (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (+ (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (- (/ PI 2) (/ PI 2)) (- (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (expm1 (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (log1p (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (/ PI 2) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (log (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (exp (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (* (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (asin (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)) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 2.339 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (* h0 h0))) (log1p (fmod (cosh h0) (* h0 h0))) (log (fmod (cosh h0) (* h0 h0))) (exp (fmod (cosh h0) (* h0 h0))) (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))) (cbrt (fmod (cosh h0) (* h0 h0))) (* (* (fmod (cosh h0) (* h0 h0)) (fmod (cosh h0) (* h0 h0))) (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (sqrt (fmod (cosh h0) (* h0 h0))) (expm1 (log (exp (fmod (cosh h0) (* h0 h0))))) (log1p (log (exp (fmod (cosh h0) (* h0 h0))))) (log (* (cbrt (exp (fmod (cosh h0) (* h0 h0)))) (cbrt (exp (fmod (cosh h0) (* h0 h0)))))) (log (cbrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log (sqrt (exp (fmod (cosh h0) (* h0 h0))))) (log 1) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (* (cbrt (fmod (cosh h0) (* h0 h0))) (cbrt (fmod (cosh h0) (* h0 h0)))))) (log (exp (sqrt (fmod (cosh h0) (* h0 h0))))) (log (exp 1)) (log (log (exp (fmod (cosh h0) (* h0 h0))))) (exp (log (exp (fmod (cosh h0) (* h0 h0))))) (* (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0)))))) (cbrt (log (exp (fmod (cosh h0) (* h0 h0))))) (* (* (log (exp (fmod (cosh h0) (* h0 h0)))) (log (exp (fmod (cosh h0) (* h0 h0))))) (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (sqrt (log (exp (fmod (cosh h0) (* h0 h0))))) (fma (* (cbrt (/ h1 2)) (cbrt (/ h1 2))) (cbrt (/ h1 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (* (cbrt (/ h1 2)) (cbrt (/ h1 2))) (cbrt (/ h1 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (* (cbrt (/ h1 2)) (cbrt (/ h1 2))) (cbrt (/ h1 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (sqrt (/ h1 2)) (sqrt (/ h1 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (sqrt (/ h1 2)) (sqrt (/ h1 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (sqrt (/ h1 2)) (sqrt (/ h1 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ (* (cbrt h1) (cbrt h1)) (* (cbrt 2) (cbrt 2))) (/ (cbrt h1) (cbrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ (* (cbrt h1) (cbrt h1)) (* (cbrt 2) (cbrt 2))) (/ (cbrt h1) (cbrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ (* (cbrt h1) (cbrt h1)) (* (cbrt 2) (cbrt 2))) (/ (cbrt h1) (cbrt 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ (* (cbrt h1) (cbrt h1)) (sqrt 2)) (/ (cbrt h1) (sqrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ (* (cbrt h1) (cbrt h1)) (sqrt 2)) (/ (cbrt h1) (sqrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ (* (cbrt h1) (cbrt h1)) (sqrt 2)) (/ (cbrt h1) (sqrt 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ (* (cbrt h1) (cbrt h1)) 1) (/ (cbrt h1) 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ (* (cbrt h1) (cbrt h1)) 1) (/ (cbrt h1) 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ (* (cbrt h1) (cbrt h1)) 1) (/ (cbrt h1) 2) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ (sqrt h1) (* (cbrt 2) (cbrt 2))) (/ (sqrt h1) (cbrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ (sqrt h1) (* (cbrt 2) (cbrt 2))) (/ (sqrt h1) (cbrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ (sqrt h1) (* (cbrt 2) (cbrt 2))) (/ (sqrt h1) (cbrt 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ (sqrt h1) (sqrt 2)) (/ (sqrt h1) (sqrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ (sqrt h1) (sqrt 2)) (/ (sqrt h1) (sqrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ (sqrt h1) (sqrt 2)) (/ (sqrt h1) (sqrt 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ (sqrt h1) 1) (/ (sqrt h1) 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ (sqrt h1) 1) (/ (sqrt h1) 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ (sqrt h1) 1) (/ (sqrt h1) 2) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ h1 (cbrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ h1 (cbrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ h1 (cbrt 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ 1 (sqrt 2)) (/ h1 (sqrt 2)) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ 1 (sqrt 2)) (/ h1 (sqrt 2)) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ 1 (sqrt 2)) (/ h1 (sqrt 2)) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma (/ 1 1) (/ h1 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (/ 1 1) (/ h1 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma (/ 1 1) (/ h1 2) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma 1 (/ h1 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma 1 (/ h1 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma 1 (/ h1 2) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (fma h1 (/ 1 2) (- (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))))) (fma (- (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma h1 (/ 1 2) (- (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))))) (fma (- (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (fma h1 (/ 1 2) (- (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1))) (fma (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) 1 (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 1)) (expm1 (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (log1p (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (/ (exp (/ h1 2)) (exp (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (log (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (exp (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (cbrt (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (cbrt (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (cbrt (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (* (* (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (sqrt (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (- (pow (/ h1 2) 3) (pow (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) 3)) (+ (* (/ h1 2) (/ h1 2)) (+ (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))))) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (* (/ h1 2) (/ h1 2)) (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (+ (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (+ (sqrt (/ h1 2)) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (- (sqrt (/ h1 2)) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (+ (/ (sqrt h1) (sqrt 2)) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (- (/ (sqrt h1) (sqrt 2)) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (- (/ h1 2) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (- (/ h1 2) (/ h1 2)) (- (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (expm1 (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (log1p (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (/ h1 2) (acos (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (log (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (exp (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))))) (cbrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (* (* (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0))) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (sqrt (asin (pow (log (exp (fmod (cosh h0) (* h0 h0)))) (log1p h0)))) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (fmod (cosh h0) (pow h0 2)) (- (* 1/2 h1) (asin (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))) (- (* 1/2 h1) (asin (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))) (- (* 1/2 h1) (asin (pow (fmod (cosh h0) (pow h0 2)) (log1p h0)))) (asin (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (asin (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) (asin (pow (fmod (cosh h0) (pow h0 2)) (log1p h0))) 2.347 * * [simplify]: iteration 0 : 309 enodes (cost 2819 ) 2.351 * * [simplify]: iteration 1 : 761 enodes (cost 1452 ) 2.368 * * [simplify]: iteration 2 : 4112 enodes (cost 1425 ) 2.505 * * [simplify]: iteration 3 : 5001 enodes (cost 1396 ) 2.511 * * * [progress]: adding candidates to table 2.830 * [progress]: [Phase 3 of 3] Extracting. 2.830 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.835 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a) 2.835 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # # # # #) 2.898 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# #) 2.922 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # # # # # # #) 2.984 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # #) 3.037 * * * [regime]: Found split indices: #