1546421686.874 * [misc]progress: [Phase 1 of 3] Setting up. 1546421686.875 * * * [misc]progress: [1/2] Preparing points 1546421686.876 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546421687.574 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421687.575 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1546421687.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421687.881 * * * * [misc]points: Sampling 146 additional inputs, on iter 2 have 110 / 256 1546421688.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421688.448 * * * * [misc]points: Sampling 111 additional inputs, on iter 3 have 145 / 256 1546421688.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421688.599 * * * * [misc]points: Sampling 91 additional inputs, on iter 4 have 165 / 256 1546421688.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421688.707 * * * * [misc]points: Sampling 69 additional inputs, on iter 5 have 187 / 256 1546421688.873 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421688.873 * * * * [misc]points: Sampling 46 additional inputs, on iter 6 have 210 / 256 1546421688.963 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421688.963 * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 222 / 256 1546421689.018 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.018 * * * * [misc]points: Sampling 25 additional inputs, on iter 8 have 231 / 256 1546421689.064 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.064 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1546421689.093 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.093 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1546421689.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.115 * * * * [misc]points: Sampling 12 additional inputs, on iter 11 have 244 / 256 1546421689.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.136 * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 1546421689.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.160 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1546421689.164 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.164 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1546421689.171 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.171 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 253 / 256 1546421689.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.181 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1546421689.192 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.192 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1546421689.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.205 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1546421689.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.212 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1546421689.221 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.221 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 255 / 256 1546421689.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421689.234 * * * * [exit]points: Sampled 258 points with exact outputs 1546421689.235 * * * [misc]progress: [2/2] Setting up program. 1546421689.242 * [misc]progress: [Phase 2 of 3] Improving. 1546421689.242 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546421689.244 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421689.245 * * [misc]simplify: iters left: 5 (7 enodes) 1546421689.252 * * [misc]simplify: iters left: 4 (13 enodes) 1546421689.255 * * [misc]simplify: iters left: 3 (16 enodes) 1546421689.286 * * [misc]simplify: iters left: 2 (18 enodes) 1546421689.291 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421689.292 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.301 * * [misc]progress: iteration 1 / 4 1546421689.301 * * * [misc]progress: picking best candidate 1546421689.307 * * * * [misc]pick: Picked # 1546421689.307 * * * [misc]progress: localizing error 1546421689.342 * * * [misc]progress: generating rewritten candidates 1546421689.342 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1546421689.344 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1546421689.346 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1546421689.351 * * * [misc]progress: generating series expansions 1546421689.351 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1546421689.356 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421689.356 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421689.357 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421689.359 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421689.359 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421689.359 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421689.360 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421689.360 * [misc]backup-simplify: Simplify 0 into 0 1546421689.360 * [misc]backup-simplify: Simplify 0 into 0 1546421689.360 * [misc]backup-simplify: Simplify 0 into 0 1546421689.360 * [misc]backup-simplify: Simplify 0 into 0 1546421689.360 * [misc]backup-simplify: Simplify 0 into 0 1546421689.360 * [misc]backup-simplify: Simplify 0 into 0 1546421689.360 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421689.360 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421689.360 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421689.360 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421689.361 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421689.361 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421689.361 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421689.361 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421689.361 * [misc]backup-simplify: Simplify 0 into 0 1546421689.361 * [misc]backup-simplify: Simplify 0 into 0 1546421689.361 * [misc]backup-simplify: Simplify 0 into 0 1546421689.361 * [misc]backup-simplify: Simplify 0 into 0 1546421689.361 * [misc]backup-simplify: Simplify 0 into 0 1546421689.361 * [misc]backup-simplify: Simplify 0 into 0 1546421689.361 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421689.362 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421689.362 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421689.362 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421689.363 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421689.363 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421689.363 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421689.363 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421689.363 * [misc]backup-simplify: Simplify 0 into 0 1546421689.363 * [misc]backup-simplify: Simplify 0 into 0 1546421689.363 * [misc]backup-simplify: Simplify 0 into 0 1546421689.363 * [misc]backup-simplify: Simplify 0 into 0 1546421689.363 * [misc]backup-simplify: Simplify 0 into 0 1546421689.363 * [misc]backup-simplify: Simplify 0 into 0 1546421689.364 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421689.364 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1546421689.364 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.364 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1546421689.364 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1546421689.364 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.364 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1546421689.365 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.365 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.365 * [misc]backup-simplify: Simplify 0 into 0 1546421689.365 * [misc]backup-simplify: Simplify 0 into 0 1546421689.365 * [misc]backup-simplify: Simplify 0 into 0 1546421689.365 * [misc]backup-simplify: Simplify 0 into 0 1546421689.365 * [misc]backup-simplify: Simplify 0 into 0 1546421689.365 * [misc]backup-simplify: Simplify 0 into 0 1546421689.365 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.365 * [misc]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)))) 1546421689.366 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1546421689.366 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1546421689.366 * [misc]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)))) 1546421689.366 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1546421689.366 * [misc]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)))) 1546421689.366 * [misc]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)))) 1546421689.366 * [misc]backup-simplify: Simplify 0 into 0 1546421689.366 * [misc]backup-simplify: Simplify 0 into 0 1546421689.367 * [misc]backup-simplify: Simplify 0 into 0 1546421689.367 * [misc]backup-simplify: Simplify 0 into 0 1546421689.367 * [misc]backup-simplify: Simplify 0 into 0 1546421689.367 * [misc]backup-simplify: Simplify 0 into 0 1546421689.367 * [misc]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))) 1546421689.367 * [misc]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)))) 1546421689.367 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1546421689.367 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1546421689.368 * [misc]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)))) 1546421689.368 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1546421689.368 * [misc]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)))) 1546421689.368 * [misc]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)))) 1546421689.368 * [misc]backup-simplify: Simplify 0 into 0 1546421689.368 * [misc]backup-simplify: Simplify 0 into 0 1546421689.368 * [misc]backup-simplify: Simplify 0 into 0 1546421689.368 * [misc]backup-simplify: Simplify 0 into 0 1546421689.368 * [misc]backup-simplify: Simplify 0 into 0 1546421689.368 * [misc]backup-simplify: Simplify 0 into 0 1546421689.369 * [misc]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))) 1546421689.369 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1546421689.369 * [misc]backup-simplify: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a)) 1546421689.369 * [misc]approximate: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 1546421689.369 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1546421689.369 * [misc]taylor: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1546421689.369 * [misc]taylor: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1546421689.369 * [misc]taylor: Taking taylor expansion of (log1p a) in a 1546421689.369 * [misc]taylor: Rewrote expression to (log (+ 1 a)) 1546421689.369 * [misc]taylor: Taking taylor expansion of (+ 1 a) in a 1546421689.369 * [misc]taylor: Taking taylor expansion of 1 in a 1546421689.370 * [misc]backup-simplify: Simplify 1 into 1 1546421689.370 * [misc]taylor: Taking taylor expansion of a in a 1546421689.370 * [misc]backup-simplify: Simplify 0 into 0 1546421689.370 * [misc]backup-simplify: Simplify 1 into 1 1546421689.371 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421689.371 * [misc]backup-simplify: Simplify (log 1) into 0 1546421689.371 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1546421689.371 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421689.371 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421689.371 * [misc]backup-simplify: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1546421689.372 * [misc]backup-simplify: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1546421689.374 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1546421689.375 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421689.378 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1546421689.378 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1546421689.378 * [misc]backup-simplify: Simplify (exp 0) into 1 1546421689.378 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1546421689.378 * [misc]taylor: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1546421689.378 * [misc]taylor: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1546421689.378 * [misc]taylor: Taking taylor expansion of (log1p a) in a 1546421689.378 * [misc]taylor: Rewrote expression to (log (+ 1 a)) 1546421689.378 * [misc]taylor: Taking taylor expansion of (+ 1 a) in a 1546421689.378 * [misc]taylor: Taking taylor expansion of 1 in a 1546421689.379 * [misc]backup-simplify: Simplify 1 into 1 1546421689.379 * [misc]taylor: Taking taylor expansion of a in a 1546421689.379 * [misc]backup-simplify: Simplify 0 into 0 1546421689.379 * [misc]backup-simplify: Simplify 1 into 1 1546421689.379 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421689.379 * [misc]backup-simplify: Simplify (log 1) into 0 1546421689.379 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1546421689.379 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421689.379 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421689.379 * [misc]backup-simplify: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1546421689.379 * [misc]backup-simplify: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1546421689.380 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1546421689.381 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421689.383 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1546421689.383 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1546421689.383 * [misc]backup-simplify: Simplify (exp 0) into 1 1546421689.384 * [misc]backup-simplify: Simplify 1 into 1 1546421689.384 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2))) 1546421689.384 * [misc]backup-simplify: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1546421689.387 * [misc]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 1546421689.387 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546421689.392 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1546421689.393 * [misc]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))))) 1546421689.394 * [misc]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))))) 1546421689.394 * [misc]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))))) 1546421689.395 * [misc]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)))))) 1546421689.395 * [misc]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))) 1546421689.395 * [misc]approximate: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 1546421689.395 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1546421689.396 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1546421689.396 * [misc]taylor: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1546421689.396 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 a)) in a 1546421689.396 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 a))) 1546421689.396 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1546421689.396 * [misc]taylor: Taking taylor expansion of 1 in a 1546421689.396 * [misc]backup-simplify: Simplify 1 into 1 1546421689.396 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1546421689.396 * [misc]taylor: Taking taylor expansion of a in a 1546421689.396 * [misc]backup-simplify: Simplify 0 into 0 1546421689.396 * [misc]backup-simplify: Simplify 1 into 1 1546421689.396 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546421689.396 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421689.396 * [misc]backup-simplify: Simplify (log 1) into 0 1546421689.396 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1546421689.396 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421689.397 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421689.397 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1546421689.397 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421689.397 * [misc]backup-simplify: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 1546421689.397 * [misc]backup-simplify: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1546421689.397 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1546421689.397 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1546421689.397 * [misc]taylor: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1546421689.397 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 a)) in a 1546421689.397 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 a))) 1546421689.397 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1546421689.397 * [misc]taylor: Taking taylor expansion of 1 in a 1546421689.397 * [misc]backup-simplify: Simplify 1 into 1 1546421689.397 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1546421689.397 * [misc]taylor: Taking taylor expansion of a in a 1546421689.397 * [misc]backup-simplify: Simplify 0 into 0 1546421689.397 * [misc]backup-simplify: Simplify 1 into 1 1546421689.397 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546421689.398 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421689.398 * [misc]backup-simplify: Simplify (log 1) into 0 1546421689.398 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1546421689.398 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421689.398 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421689.398 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1546421689.398 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421689.398 * [misc]backup-simplify: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 1546421689.398 * [misc]backup-simplify: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1546421689.398 * [misc]backup-simplify: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1546421689.399 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421689.399 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1546421689.400 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546421689.400 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421689.401 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1546421689.401 * [misc]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)))) 1546421689.401 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1546421689.402 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1546421689.402 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421689.403 * [misc]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 1546421689.403 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546421689.403 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546421689.406 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1546421689.406 * [misc]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)))))) 1546421689.406 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1546421689.407 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1546421689.408 * [misc]backup-simplify: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 1546421689.408 * [misc]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))) 1546421689.408 * [misc]approximate: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 1546421689.408 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1546421689.408 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1546421689.408 * [misc]taylor: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1546421689.408 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 a)) in a 1546421689.408 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 a))) 1546421689.408 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1546421689.408 * [misc]taylor: Taking taylor expansion of 1 in a 1546421689.408 * [misc]backup-simplify: Simplify 1 into 1 1546421689.408 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1546421689.408 * [misc]taylor: Taking taylor expansion of -1 in a 1546421689.408 * [misc]backup-simplify: Simplify -1 into -1 1546421689.408 * [misc]taylor: Taking taylor expansion of a in a 1546421689.408 * [misc]backup-simplify: Simplify 0 into 0 1546421689.408 * [misc]backup-simplify: Simplify 1 into 1 1546421689.409 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546421689.409 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546421689.409 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546421689.409 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1546421689.409 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421689.409 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421689.409 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1546421689.409 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421689.410 * [misc]backup-simplify: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1546421689.410 * [misc]backup-simplify: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1546421689.410 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1546421689.410 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1546421689.410 * [misc]taylor: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1546421689.410 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 a)) in a 1546421689.410 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 a))) 1546421689.410 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1546421689.410 * [misc]taylor: Taking taylor expansion of 1 in a 1546421689.410 * [misc]backup-simplify: Simplify 1 into 1 1546421689.410 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1546421689.410 * [misc]taylor: Taking taylor expansion of -1 in a 1546421689.410 * [misc]backup-simplify: Simplify -1 into -1 1546421689.410 * [misc]taylor: Taking taylor expansion of a in a 1546421689.410 * [misc]backup-simplify: Simplify 0 into 0 1546421689.410 * [misc]backup-simplify: Simplify 1 into 1 1546421689.410 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546421689.410 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546421689.410 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546421689.410 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1546421689.410 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421689.410 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421689.411 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1546421689.411 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421689.411 * [misc]backup-simplify: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1546421689.411 * [misc]backup-simplify: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1546421689.411 * [misc]backup-simplify: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1546421689.412 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421689.412 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1546421689.413 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1546421689.413 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421689.415 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1546421689.415 * [misc]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))))) 1546421689.415 * [misc]backup-simplify: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1546421689.415 * [misc]backup-simplify: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1546421689.416 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421689.417 * [misc]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 1546421689.417 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546421689.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546421689.419 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1546421689.420 * [misc]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)))))) 1546421689.420 * [misc]backup-simplify: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1546421689.421 * [misc]backup-simplify: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1546421689.422 * [misc]backup-simplify: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 1546421689.436 * * * [misc]progress: simplifying candidates 1546421689.436 * * * * [misc]progress: [ 1 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 2 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 3 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 4 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 5 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 6 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 7 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 8 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 9 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 10 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 11 / 46 ] simplifiying candidate # 1546421689.436 * * * * [misc]progress: [ 12 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 13 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 14 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 15 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 16 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 17 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 18 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 19 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 20 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 21 / 46 ] simplifiying candidate # 1546421689.437 * * * * [misc]progress: [ 22 / 46 ] simplifiying candidate # 1546421689.437 * [enter]simplify: Simplifying (* (log (fmod (cosh a) (* a a))) (log1p a)) 1546421689.438 * * [misc]simplify: iters left: 6 (7 enodes) 1546421689.440 * * [misc]simplify: iters left: 5 (14 enodes) 1546421689.444 * * [misc]simplify: iters left: 4 (17 enodes) 1546421689.449 * * [misc]simplify: iters left: 3 (19 enodes) 1546421689.454 * [exit]simplify: Simplified to (* (log (fmod (cosh a) (* a a))) (log1p a)) 1546421689.454 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))) 1546421689.454 * * * * [misc]progress: [ 23 / 46 ] simplifiying candidate # 1546421689.454 * * * * [misc]progress: [ 24 / 46 ] simplifiying candidate # 1546421689.454 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1546421689.454 * * [misc]simplify: iters left: 3 (4 enodes) 1546421689.456 * * [misc]simplify: iters left: 2 (10 enodes) 1546421689.459 * * [misc]simplify: iters left: 1 (13 enodes) 1546421689.462 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421689.462 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a))))) 1546421689.462 * * * * [misc]progress: [ 25 / 46 ] simplifiying candidate # 1546421689.463 * [enter]simplify: Simplifying (cbrt (log1p a)) 1546421689.463 * * [misc]simplify: iters left: 2 (3 enodes) 1546421689.464 * [exit]simplify: Simplified to (cbrt (log1p a)) 1546421689.464 * [misc]simplify: Simplified (2 1 2) to (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a))))) 1546421689.464 * * * * [misc]progress: [ 26 / 46 ] simplifiying candidate # 1546421689.464 * [enter]simplify: Simplifying (sqrt (log1p a)) 1546421689.464 * * [misc]simplify: iters left: 2 (3 enodes) 1546421689.465 * [exit]simplify: Simplified to (sqrt (log1p a)) 1546421689.465 * [misc]simplify: Simplified (2 1 2) to (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (sqrt (log1p a))))) 1546421689.465 * * * * [misc]progress: [ 27 / 46 ] simplifiying candidate # 1546421689.465 * [enter]simplify: Simplifying (log1p a) 1546421689.465 * * [misc]simplify: iters left: 1 (2 enodes) 1546421689.466 * [exit]simplify: Simplified to (log1p a) 1546421689.466 * [misc]simplify: Simplified (2 1 2) to (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a)))) 1546421689.466 * * * * [misc]progress: [ 28 / 46 ] simplifiying candidate # 1546421689.466 * [enter]simplify: Simplifying (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) 1546421689.466 * * [misc]simplify: iters left: 6 (8 enodes) 1546421689.469 * * [misc]simplify: iters left: 5 (14 enodes) 1546421689.473 * * [misc]simplify: iters left: 4 (17 enodes) 1546421689.478 * * [misc]simplify: iters left: 3 (19 enodes) 1546421689.481 * [exit]simplify: Simplified to (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) 1546421689.481 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))))) 1546421689.481 * * * * [misc]progress: [ 29 / 46 ] simplifiying candidate # 1546421689.481 * [enter]simplify: Simplifying (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1546421689.482 * * [misc]simplify: iters left: 5 (7 enodes) 1546421689.483 * * [misc]simplify: iters left: 4 (13 enodes) 1546421689.484 * * [misc]simplify: iters left: 3 (16 enodes) 1546421689.486 * * [misc]simplify: iters left: 2 (18 enodes) 1546421689.489 * [exit]simplify: Simplified to (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1546421689.489 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))))) 1546421689.489 * * * * [misc]progress: [ 30 / 46 ] simplifiying candidate # 1546421689.489 * [enter]simplify: Simplifying (pow 1 (log1p a)) 1546421689.489 * * [misc]simplify: iters left: 2 (4 enodes) 1546421689.490 * * [misc]simplify: iters left: 1 (6 enodes) 1546421689.490 * [exit]simplify: Simplified to 1 1546421689.490 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* 1 (pow (fmod (cosh a) (* a a)) (log1p a))))) 1546421689.490 * * * * [misc]progress: [ 31 / 46 ] simplifiying candidate # 1546421689.490 * * * * [misc]progress: [ 32 / 46 ] simplifiying candidate # 1546421689.490 * * * * [misc]progress: [ 33 / 46 ] simplifiying candidate # 1546421689.491 * * * * [misc]progress: [ 34 / 46 ] simplifiying candidate # 1546421689.491 * * * * [misc]progress: [ 35 / 46 ] simplifiying candidate # 1546421689.491 * * * * [misc]progress: [ 36 / 46 ] simplifiying candidate # 1546421689.491 * * * * [misc]progress: [ 37 / 46 ] simplifiying candidate # 1546421689.491 * * * * [misc]progress: [ 38 / 46 ] simplifiying candidate # 1546421689.491 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421689.491 * * [misc]simplify: iters left: 2 (5 enodes) 1546421689.492 * * [misc]simplify: iters left: 1 (11 enodes) 1546421689.493 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421689.493 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.493 * * * * [misc]progress: [ 39 / 46 ] simplifiying candidate # 1546421689.493 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421689.493 * * [misc]simplify: iters left: 2 (5 enodes) 1546421689.494 * * [misc]simplify: iters left: 1 (11 enodes) 1546421689.496 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421689.496 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.496 * * * * [misc]progress: [ 40 / 46 ] simplifiying candidate # 1546421689.496 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421689.496 * * [misc]simplify: iters left: 2 (5 enodes) 1546421689.496 * * [misc]simplify: iters left: 1 (11 enodes) 1546421689.498 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421689.498 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.498 * * * * [misc]progress: [ 41 / 46 ] simplifiying candidate # 1546421689.498 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.498 * * [misc]simplify: iters left: 4 (8 enodes) 1546421689.499 * * [misc]simplify: iters left: 3 (14 enodes) 1546421689.501 * * [misc]simplify: iters left: 2 (17 enodes) 1546421689.503 * * [misc]simplify: iters left: 1 (19 enodes) 1546421689.506 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421689.506 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.506 * * * * [misc]progress: [ 42 / 46 ] simplifiying candidate # 1546421689.506 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.506 * * [misc]simplify: iters left: 4 (8 enodes) 1546421689.507 * * [misc]simplify: iters left: 3 (14 enodes) 1546421689.509 * * [misc]simplify: iters left: 2 (17 enodes) 1546421689.511 * * [misc]simplify: iters left: 1 (19 enodes) 1546421689.514 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421689.514 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.514 * * * * [misc]progress: [ 43 / 46 ] simplifiying candidate # 1546421689.514 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421689.514 * * [misc]simplify: iters left: 4 (8 enodes) 1546421689.515 * * [misc]simplify: iters left: 3 (14 enodes) 1546421689.517 * * [misc]simplify: iters left: 2 (17 enodes) 1546421689.519 * * [misc]simplify: iters left: 1 (19 enodes) 1546421689.521 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421689.522 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421689.522 * * * * [misc]progress: [ 44 / 46 ] simplifiying candidate # 1546421689.522 * [enter]simplify: Simplifying (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 1546421689.522 * * [misc]simplify: iters left: 6 (17 enodes) 1546421689.525 * * [misc]simplify: iters left: 5 (44 enodes) 1546421689.536 * * [misc]simplify: iters left: 4 (109 enodes) 1546421689.584 * * [misc]simplify: iters left: 3 (264 enodes) 1546421689.766 * [exit]simplify: Simplified to (fma (* (* a a) 1/2) (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2)) 1)) 1546421689.766 * [misc]simplify: Simplified (2 1) to (λ (a) (acos (fma (* (* a a) 1/2) (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2)) 1)))) 1546421689.766 * * * * [misc]progress: [ 45 / 46 ] simplifiying candidate # 1546421689.767 * [enter]simplify: Simplifying (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 1546421689.767 * * [misc]simplify: iters left: 6 (25 enodes) 1546421689.772 * * [misc]simplify: iters left: 5 (66 enodes) 1546421689.795 * * [misc]simplify: iters left: 4 (165 enodes) 1546421689.870 * * [misc]simplify: iters left: 3 (469 enodes) 1546421690.320 * [exit]simplify: Simplified to (fma (* (/ (log (fmod (cosh a) (* a a))) a) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) 1/2) (fma -1/2 (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) (* a a))) (fma (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a))))) 1546421690.320 * [misc]simplify: Simplified (2 1) to (λ (a) (acos (fma (* (/ (log (fmod (cosh a) (* a a))) a) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) 1/2) (fma -1/2 (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) (* a a))) (fma (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a))))))) 1546421690.320 * * * * [misc]progress: [ 46 / 46 ] simplifiying candidate # 1546421690.321 * [enter]simplify: Simplifying (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 1546421690.321 * * [misc]simplify: iters left: 6 (24 enodes) 1546421690.325 * * [misc]simplify: iters left: 5 (56 enodes) 1546421690.335 * * [misc]simplify: iters left: 4 (142 enodes) 1546421690.369 * * [misc]simplify: iters left: 3 (378 enodes) 1546421690.602 * [exit]simplify: Simplified to (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (log a))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (log a))) (fma (/ -1/2 a) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)))) 1546421690.602 * [misc]simplify: Simplified (2 1) to (λ (a) (acos (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (log a))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (log a))) (fma (/ -1/2 a) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)))))) 1546421690.602 * * * [misc]progress: adding candidates to table 1546421691.110 * * [misc]progress: iteration 2 / 4 1546421691.110 * * * [misc]progress: picking best candidate 1546421691.156 * * * * [misc]pick: Picked # 1546421691.157 * * * [misc]progress: localizing error 1546421691.169 * * * [misc]progress: generating rewritten candidates 1546421691.169 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 1) 1546421691.169 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1546421691.171 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1546421691.172 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1546421691.178 * * * [misc]progress: generating series expansions 1546421691.178 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 1) 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421691.178 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421691.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.178 * [misc]backup-simplify: Simplify 0 into 0 1546421691.178 * [misc]backup-simplify: Simplify 0 into 0 1546421691.178 * [misc]backup-simplify: Simplify 0 into 0 1546421691.178 * [misc]backup-simplify: Simplify 0 into 0 1546421691.178 * [misc]backup-simplify: Simplify 0 into 0 1546421691.178 * [misc]backup-simplify: Simplify 0 into 0 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.178 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421691.178 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421691.178 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421691.179 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.179 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421691.180 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1546421691.180 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 1546421691.180 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421691.180 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421691.180 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.180 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421691.180 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.180 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify 0 into 0 1546421691.180 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.180 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.180 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421691.180 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421691.180 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.180 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421691.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421691.181 * [misc]backup-simplify: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.181 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421691.181 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421691.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.181 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421691.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.181 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.181 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421691.182 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1546421691.182 * [misc]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))) 1546421691.182 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 1546421691.182 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1546421691.182 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.182 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 1546421691.182 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.182 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify 0 into 0 1546421691.182 * [misc]backup-simplify: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.182 * [misc]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)))) 1546421691.182 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 1546421691.183 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1546421691.183 * [misc]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)))) 1546421691.183 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 1546421691.183 * [misc]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)))) 1546421691.183 * [misc]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)))) 1546421691.183 * [misc]backup-simplify: Simplify 0 into 0 1546421691.183 * [misc]backup-simplify: Simplify 0 into 0 1546421691.183 * [misc]backup-simplify: Simplify 0 into 0 1546421691.183 * [misc]backup-simplify: Simplify 0 into 0 1546421691.183 * [misc]backup-simplify: Simplify 0 into 0 1546421691.183 * [misc]backup-simplify: Simplify 0 into 0 1546421691.183 * [misc]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))) 1546421691.183 * [misc]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)))) 1546421691.183 * [misc]approximate: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 1546421691.183 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1546421691.184 * [misc]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)))) 1546421691.184 * [misc]taylor: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 1546421691.184 * [misc]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)))) 1546421691.184 * [misc]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)))) 1546421691.184 * [misc]backup-simplify: Simplify 0 into 0 1546421691.184 * [misc]backup-simplify: Simplify 0 into 0 1546421691.184 * [misc]backup-simplify: Simplify 0 into 0 1546421691.184 * [misc]backup-simplify: Simplify 0 into 0 1546421691.184 * [misc]backup-simplify: Simplify 0 into 0 1546421691.184 * [misc]backup-simplify: Simplify 0 into 0 1546421691.184 * [misc]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))) 1546421691.184 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1546421691.184 * [misc]backup-simplify: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a)) 1546421691.184 * [misc]approximate: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0 1546421691.184 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1546421691.184 * [misc]taylor: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1546421691.184 * [misc]taylor: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1546421691.184 * [misc]taylor: Taking taylor expansion of (log1p a) in a 1546421691.184 * [misc]taylor: Rewrote expression to (log (+ 1 a)) 1546421691.184 * [misc]taylor: Taking taylor expansion of (+ 1 a) in a 1546421691.184 * [misc]taylor: Taking taylor expansion of 1 in a 1546421691.184 * [misc]backup-simplify: Simplify 1 into 1 1546421691.185 * [misc]taylor: Taking taylor expansion of a in a 1546421691.185 * [misc]backup-simplify: Simplify 0 into 0 1546421691.185 * [misc]backup-simplify: Simplify 1 into 1 1546421691.185 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421691.185 * [misc]backup-simplify: Simplify (log 1) into 0 1546421691.185 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1546421691.185 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421691.185 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.185 * [misc]backup-simplify: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1546421691.185 * [misc]backup-simplify: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1546421691.186 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1546421691.186 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421691.188 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1546421691.188 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1546421691.188 * [misc]backup-simplify: Simplify (exp 0) into 1 1546421691.188 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a 1546421691.188 * [misc]taylor: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a 1546421691.188 * [misc]taylor: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a 1546421691.188 * [misc]taylor: Taking taylor expansion of (log1p a) in a 1546421691.188 * [misc]taylor: Rewrote expression to (log (+ 1 a)) 1546421691.188 * [misc]taylor: Taking taylor expansion of (+ 1 a) in a 1546421691.188 * [misc]taylor: Taking taylor expansion of 1 in a 1546421691.188 * [misc]backup-simplify: Simplify 1 into 1 1546421691.188 * [misc]taylor: Taking taylor expansion of a in a 1546421691.188 * [misc]backup-simplify: Simplify 0 into 0 1546421691.188 * [misc]backup-simplify: Simplify 1 into 1 1546421691.188 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421691.188 * [misc]backup-simplify: Simplify (log 1) into 0 1546421691.188 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a 1546421691.188 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421691.188 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421691.188 * [misc]backup-simplify: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1546421691.188 * [misc]backup-simplify: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0 1546421691.190 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0 1546421691.190 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421691.191 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1546421691.191 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2))) 1546421691.191 * [misc]backup-simplify: Simplify (exp 0) into 1 1546421691.191 * [misc]backup-simplify: Simplify 1 into 1 1546421691.191 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2))) 1546421691.191 * [misc]backup-simplify: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2))) 1546421691.192 * [misc]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 1546421691.193 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546421691.195 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1546421691.195 * [misc]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))))) 1546421691.196 * [misc]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))))) 1546421691.196 * [misc]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))))) 1546421691.196 * [misc]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)))))) 1546421691.197 * [misc]backup-simplify: Simplify (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) 1546421691.197 * [misc]approximate: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0 1546421691.197 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1546421691.197 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1546421691.197 * [misc]taylor: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1546421691.197 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 a)) in a 1546421691.197 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 a))) 1546421691.197 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1546421691.197 * [misc]taylor: Taking taylor expansion of 1 in a 1546421691.197 * [misc]backup-simplify: Simplify 1 into 1 1546421691.197 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1546421691.197 * [misc]taylor: Taking taylor expansion of a in a 1546421691.197 * [misc]backup-simplify: Simplify 0 into 0 1546421691.197 * [misc]backup-simplify: Simplify 1 into 1 1546421691.197 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546421691.197 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421691.197 * [misc]backup-simplify: Simplify (log 1) into 0 1546421691.197 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1546421691.197 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421691.197 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.198 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1546421691.198 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421691.198 * [misc]backup-simplify: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 1546421691.198 * [misc]backup-simplify: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1546421691.198 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a 1546421691.198 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 1546421691.198 * [misc]taylor: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 1546421691.198 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 a)) in a 1546421691.198 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 a))) 1546421691.198 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 a)) in a 1546421691.198 * [misc]taylor: Taking taylor expansion of 1 in a 1546421691.198 * [misc]backup-simplify: Simplify 1 into 1 1546421691.198 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1546421691.198 * [misc]taylor: Taking taylor expansion of a in a 1546421691.198 * [misc]backup-simplify: Simplify 0 into 0 1546421691.198 * [misc]backup-simplify: Simplify 1 into 1 1546421691.198 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546421691.198 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546421691.198 * [misc]backup-simplify: Simplify (log 1) into 0 1546421691.199 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 1546421691.199 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421691.199 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421691.199 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1546421691.199 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421691.199 * [misc]backup-simplify: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))) 1546421691.199 * [misc]backup-simplify: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1546421691.199 * [misc]backup-simplify: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) 1546421691.199 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421691.200 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1546421691.200 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546421691.200 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421691.202 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1546421691.202 * [misc]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)))) 1546421691.202 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1546421691.202 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1546421691.202 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 1546421691.203 * [misc]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 1546421691.204 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546421691.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546421691.206 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1546421691.206 * [misc]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)))))) 1546421691.207 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1546421691.207 * [misc]backup-simplify: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) 1546421691.208 * [misc]backup-simplify: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 1546421691.208 * [misc]backup-simplify: Simplify (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) 1546421691.208 * [misc]approximate: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0 1546421691.208 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1546421691.208 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1546421691.208 * [misc]taylor: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1546421691.209 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 a)) in a 1546421691.209 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 a))) 1546421691.209 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1546421691.209 * [misc]taylor: Taking taylor expansion of 1 in a 1546421691.209 * [misc]backup-simplify: Simplify 1 into 1 1546421691.209 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1546421691.209 * [misc]taylor: Taking taylor expansion of -1 in a 1546421691.209 * [misc]backup-simplify: Simplify -1 into -1 1546421691.209 * [misc]taylor: Taking taylor expansion of a in a 1546421691.209 * [misc]backup-simplify: Simplify 0 into 0 1546421691.209 * [misc]backup-simplify: Simplify 1 into 1 1546421691.209 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546421691.209 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546421691.209 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546421691.209 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1546421691.209 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421691.209 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.209 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1546421691.210 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421691.210 * [misc]backup-simplify: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1546421691.210 * [misc]backup-simplify: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1546421691.210 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a 1546421691.210 * [misc]taylor: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 1546421691.210 * [misc]taylor: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 1546421691.210 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 a)) in a 1546421691.210 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 a))) 1546421691.210 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 a)) in a 1546421691.210 * [misc]taylor: Taking taylor expansion of 1 in a 1546421691.210 * [misc]backup-simplify: Simplify 1 into 1 1546421691.210 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1546421691.210 * [misc]taylor: Taking taylor expansion of -1 in a 1546421691.210 * [misc]backup-simplify: Simplify -1 into -1 1546421691.210 * [misc]taylor: Taking taylor expansion of a in a 1546421691.210 * [misc]backup-simplify: Simplify 0 into 0 1546421691.210 * [misc]backup-simplify: Simplify 1 into 1 1546421691.210 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546421691.210 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546421691.211 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546421691.211 * [misc]taylor: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 1546421691.211 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421691.211 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421691.211 * [misc]backup-simplify: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1546421691.211 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421691.211 * [misc]backup-simplify: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1546421691.211 * [misc]backup-simplify: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1546421691.212 * [misc]backup-simplify: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) 1546421691.212 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421691.213 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0 1546421691.213 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1546421691.213 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546421691.214 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1546421691.214 * [misc]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))))) 1546421691.215 * [misc]backup-simplify: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1546421691.215 * [misc]backup-simplify: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1546421691.215 * [misc]backup-simplify: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 1546421691.216 * [misc]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 1546421691.217 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546421691.217 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546421691.219 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1546421691.219 * [misc]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)))))) 1546421691.220 * [misc]backup-simplify: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1546421691.220 * [misc]backup-simplify: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) 1546421691.222 * [misc]backup-simplify: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 1546421691.222 * * * [misc]progress: simplifying candidates 1546421691.222 * * * * [misc]progress: [ 1 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 2 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 3 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 4 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 5 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 6 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 7 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 8 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 9 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 10 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 11 / 70 ] simplifiying candidate # 1546421691.222 * * * * [misc]progress: [ 12 / 70 ] simplifiying candidate # 1546421691.222 * [enter]simplify: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) 1546421691.223 * * [misc]simplify: iters left: 6 (8 enodes) 1546421691.224 * * [misc]simplify: iters left: 5 (16 enodes) 1546421691.226 * * [misc]simplify: iters left: 4 (19 enodes) 1546421691.230 * * [misc]simplify: iters left: 3 (21 enodes) 1546421691.235 * [exit]simplify: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) 1546421691.235 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 1546421691.236 * * * * [misc]progress: [ 13 / 70 ] simplifiying candidate # 1546421691.236 * [enter]simplify: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a))))) 1546421691.236 * * [misc]simplify: iters left: 6 (7 enodes) 1546421691.238 * * [misc]simplify: iters left: 5 (13 enodes) 1546421691.242 * * [misc]simplify: iters left: 4 (16 enodes) 1546421691.246 * * [misc]simplify: iters left: 3 (18 enodes) 1546421691.251 * [exit]simplify: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a))))) 1546421691.251 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) 1546421691.251 * * * * [misc]progress: [ 14 / 70 ] simplifiying candidate # 1546421691.251 * [enter]simplify: Simplifying (log 1) 1546421691.251 * * [misc]simplify: iters left: 1 (2 enodes) 1546421691.253 * [exit]simplify: Simplified to 0 1546421691.253 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) 1546421691.253 * * * * [misc]progress: [ 15 / 70 ] simplifiying candidate # 1546421691.253 * * * * [misc]progress: [ 16 / 70 ] simplifiying candidate # 1546421691.253 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1546421691.253 * * [misc]simplify: iters left: 4 (5 enodes) 1546421691.254 * * [misc]simplify: iters left: 3 (11 enodes) 1546421691.258 * * [misc]simplify: iters left: 2 (14 enodes) 1546421691.261 * * [misc]simplify: iters left: 1 (16 enodes) 1546421691.265 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1546421691.265 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421691.265 * * * * [misc]progress: [ 17 / 70 ] simplifiying candidate # 1546421691.266 * [enter]simplify: Simplifying (sqrt (fmod (cosh a) (* a a))) 1546421691.266 * * [misc]simplify: iters left: 4 (5 enodes) 1546421691.267 * * [misc]simplify: iters left: 3 (11 enodes) 1546421691.270 * * [misc]simplify: iters left: 2 (14 enodes) 1546421691.274 * * [misc]simplify: iters left: 1 (16 enodes) 1546421691.278 * [exit]simplify: Simplified to (sqrt (fmod (cosh a) (* a a))) 1546421691.278 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1546421691.278 * * * * [misc]progress: [ 18 / 70 ] simplifiying candidate # 1546421691.278 * [enter]simplify: Simplifying (fmod (cosh a) (* a a)) 1546421691.278 * * [misc]simplify: iters left: 3 (4 enodes) 1546421691.279 * * [misc]simplify: iters left: 2 (10 enodes) 1546421691.282 * * [misc]simplify: iters left: 1 (13 enodes) 1546421691.286 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.286 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))) 1546421691.286 * * * * [misc]progress: [ 19 / 70 ] simplifiying candidate # 1546421691.286 * * * * [misc]progress: [ 20 / 70 ] simplifiying candidate # 1546421691.286 * [enter]simplify: Simplifying (cosh a) 1546421691.286 * * [misc]simplify: iters left: 1 (2 enodes) 1546421691.287 * [exit]simplify: Simplified to (cosh a) 1546421691.287 * [misc]simplify: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.287 * * * * [misc]progress: [ 21 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 22 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 23 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 24 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 25 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 26 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 27 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 28 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 29 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 30 / 70 ] simplifiying candidate # 1546421691.287 * * * * [misc]progress: [ 31 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 32 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 33 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 34 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 35 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 36 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 37 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 38 / 70 ] simplifiying candidate # 1546421691.288 * * * * [misc]progress: [ 39 / 70 ] simplifiying candidate # 1546421691.288 * [enter]simplify: Simplifying (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)) 1546421691.288 * * [misc]simplify: iters left: 6 (9 enodes) 1546421691.291 * * [misc]simplify: iters left: 5 (16 enodes) 1546421691.297 * * [misc]simplify: iters left: 4 (19 enodes) 1546421691.300 * * [misc]simplify: iters left: 3 (21 enodes) 1546421691.303 * [exit]simplify: Simplified to (* (log1p a) (log (fmod (cosh a) (* a a)))) 1546421691.303 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))) 1546421691.303 * * * * [misc]progress: [ 40 / 70 ] simplifiying candidate # 1546421691.304 * * * * [misc]progress: [ 41 / 70 ] simplifiying candidate # 1546421691.304 * [enter]simplify: Simplifying (log (exp (fmod (cosh a) (* a a)))) 1546421691.304 * * [misc]simplify: iters left: 5 (6 enodes) 1546421691.305 * * [misc]simplify: iters left: 4 (12 enodes) 1546421691.306 * * [misc]simplify: iters left: 3 (15 enodes) 1546421691.308 * * [misc]simplify: iters left: 2 (17 enodes) 1546421691.310 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.310 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a))))) 1546421691.310 * * * * [misc]progress: [ 42 / 70 ] simplifiying candidate # 1546421691.310 * [enter]simplify: Simplifying (cbrt (log1p a)) 1546421691.310 * * [misc]simplify: iters left: 2 (3 enodes) 1546421691.311 * [exit]simplify: Simplified to (cbrt (log1p a)) 1546421691.311 * [misc]simplify: Simplified (2 1 2) to (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a))))) 1546421691.311 * * * * [misc]progress: [ 43 / 70 ] simplifiying candidate # 1546421691.311 * [enter]simplify: Simplifying (sqrt (log1p a)) 1546421691.311 * * [misc]simplify: iters left: 2 (3 enodes) 1546421691.311 * [exit]simplify: Simplified to (sqrt (log1p a)) 1546421691.311 * [misc]simplify: Simplified (2 1 2) to (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a))))) 1546421691.311 * * * * [misc]progress: [ 44 / 70 ] simplifiying candidate # 1546421691.312 * [enter]simplify: Simplifying (log1p a) 1546421691.312 * * [misc]simplify: iters left: 1 (2 enodes) 1546421691.312 * [exit]simplify: Simplified to (log1p a) 1546421691.312 * [misc]simplify: Simplified (2 1 2) to (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a)))) 1546421691.312 * * * * [misc]progress: [ 45 / 70 ] simplifiying candidate # 1546421691.312 * [enter]simplify: Simplifying (pow 1 (log1p a)) 1546421691.312 * * [misc]simplify: iters left: 2 (4 enodes) 1546421691.313 * * [misc]simplify: iters left: 1 (6 enodes) 1546421691.313 * [exit]simplify: Simplified to 1 1546421691.313 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) 1546421691.313 * * * * [misc]progress: [ 46 / 70 ] simplifiying candidate # 1546421691.313 * [enter]simplify: Simplifying (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) 1546421691.314 * * [misc]simplify: iters left: 5 (7 enodes) 1546421691.314 * * [misc]simplify: iters left: 4 (13 enodes) 1546421691.316 * * [misc]simplify: iters left: 3 (16 enodes) 1546421691.318 * * [misc]simplify: iters left: 2 (18 enodes) 1546421691.320 * [exit]simplify: Simplified to (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) 1546421691.321 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) 1546421691.321 * * * * [misc]progress: [ 47 / 70 ] simplifiying candidate # 1546421691.321 * [enter]simplify: Simplifying (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1546421691.321 * * [misc]simplify: iters left: 5 (7 enodes) 1546421691.322 * * [misc]simplify: iters left: 4 (13 enodes) 1546421691.324 * * [misc]simplify: iters left: 3 (16 enodes) 1546421691.326 * * [misc]simplify: iters left: 2 (18 enodes) 1546421691.328 * [exit]simplify: Simplified to (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1546421691.328 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))))) 1546421691.328 * * * * [misc]progress: [ 48 / 70 ] simplifiying candidate # 1546421691.328 * [enter]simplify: Simplifying (pow (fmod (cosh a) (* a a)) (log1p a)) 1546421691.328 * * [misc]simplify: iters left: 4 (6 enodes) 1546421691.329 * * [misc]simplify: iters left: 3 (12 enodes) 1546421691.331 * * [misc]simplify: iters left: 2 (15 enodes) 1546421691.333 * * [misc]simplify: iters left: 1 (17 enodes) 1546421691.335 * [exit]simplify: Simplified to (pow (fmod (cosh a) (* a a)) (log1p a)) 1546421691.335 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (log (exp 1)) (log1p a))))) 1546421691.335 * * * * [misc]progress: [ 49 / 70 ] simplifiying candidate # 1546421691.335 * [enter]simplify: Simplifying (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)) 1546421691.336 * * [misc]simplify: iters left: 6 (10 enodes) 1546421691.339 * * [misc]simplify: iters left: 5 (16 enodes) 1546421691.343 * * [misc]simplify: iters left: 4 (19 enodes) 1546421691.349 * * [misc]simplify: iters left: 3 (21 enodes) 1546421691.355 * [exit]simplify: Simplified to (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) 1546421691.355 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))))) 1546421691.355 * * * * [misc]progress: [ 50 / 70 ] simplifiying candidate # 1546421691.355 * [enter]simplify: Simplifying (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) 1546421691.355 * * [misc]simplify: iters left: 6 (9 enodes) 1546421691.358 * * [misc]simplify: iters left: 5 (15 enodes) 1546421691.362 * * [misc]simplify: iters left: 4 (18 enodes) 1546421691.367 * * [misc]simplify: iters left: 3 (20 enodes) 1546421691.372 * [exit]simplify: Simplified to (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) 1546421691.373 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))))) 1546421691.373 * * * * [misc]progress: [ 51 / 70 ] simplifiying candidate # 1546421691.373 * [enter]simplify: Simplifying (pow 1 (log1p a)) 1546421691.373 * * [misc]simplify: iters left: 2 (4 enodes) 1546421691.374 * * [misc]simplify: iters left: 1 (6 enodes) 1546421691.376 * [exit]simplify: Simplified to 1 1546421691.376 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) 1546421691.376 * * * * [misc]progress: [ 52 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 53 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 54 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 55 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 56 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 57 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 58 / 70 ] simplifiying candidate # 1546421691.376 * * * * [misc]progress: [ 59 / 70 ] simplifiying candidate # 1546421691.376 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421691.377 * * [misc]simplify: iters left: 2 (5 enodes) 1546421691.378 * * [misc]simplify: iters left: 1 (11 enodes) 1546421691.380 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.380 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1546421691.380 * * * * [misc]progress: [ 60 / 70 ] simplifiying candidate # 1546421691.381 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421691.381 * * [misc]simplify: iters left: 2 (5 enodes) 1546421691.381 * * [misc]simplify: iters left: 1 (11 enodes) 1546421691.383 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.383 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1546421691.383 * * * * [misc]progress: [ 61 / 70 ] simplifiying candidate # 1546421691.383 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421691.383 * * [misc]simplify: iters left: 2 (5 enodes) 1546421691.384 * * [misc]simplify: iters left: 1 (11 enodes) 1546421691.386 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.386 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) 1546421691.386 * * * * [misc]progress: [ 62 / 70 ] simplifiying candidate # 1546421691.386 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421691.386 * * [misc]simplify: iters left: 2 (5 enodes) 1546421691.387 * * [misc]simplify: iters left: 1 (11 enodes) 1546421691.388 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.388 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.388 * * * * [misc]progress: [ 63 / 70 ] simplifiying candidate # 1546421691.388 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421691.388 * * [misc]simplify: iters left: 2 (5 enodes) 1546421691.389 * * [misc]simplify: iters left: 1 (11 enodes) 1546421691.391 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.391 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.391 * * * * [misc]progress: [ 64 / 70 ] simplifiying candidate # 1546421691.391 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421691.391 * * [misc]simplify: iters left: 2 (5 enodes) 1546421691.392 * * [misc]simplify: iters left: 1 (11 enodes) 1546421691.393 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421691.393 * [misc]simplify: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.393 * * * * [misc]progress: [ 65 / 70 ] simplifiying candidate # 1546421691.394 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.394 * * [misc]simplify: iters left: 4 (8 enodes) 1546421691.395 * * [misc]simplify: iters left: 3 (14 enodes) 1546421691.398 * * [misc]simplify: iters left: 2 (17 enodes) 1546421691.400 * * [misc]simplify: iters left: 1 (19 enodes) 1546421691.402 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421691.403 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.403 * * * * [misc]progress: [ 66 / 70 ] simplifiying candidate # 1546421691.403 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.403 * * [misc]simplify: iters left: 4 (8 enodes) 1546421691.404 * * [misc]simplify: iters left: 3 (14 enodes) 1546421691.406 * * [misc]simplify: iters left: 2 (17 enodes) 1546421691.408 * * [misc]simplify: iters left: 1 (19 enodes) 1546421691.410 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421691.410 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.410 * * * * [misc]progress: [ 67 / 70 ] simplifiying candidate # 1546421691.410 * [enter]simplify: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1546421691.410 * * [misc]simplify: iters left: 4 (8 enodes) 1546421691.411 * * [misc]simplify: iters left: 3 (14 enodes) 1546421691.413 * * [misc]simplify: iters left: 2 (17 enodes) 1546421691.415 * * [misc]simplify: iters left: 1 (19 enodes) 1546421691.418 * [exit]simplify: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1546421691.418 * [misc]simplify: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421691.418 * * * * [misc]progress: [ 68 / 70 ] simplifiying candidate # 1546421691.418 * [enter]simplify: Simplifying (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))) 1546421691.418 * * [misc]simplify: iters left: 6 (17 enodes) 1546421691.421 * * [misc]simplify: iters left: 5 (44 enodes) 1546421691.429 * * [misc]simplify: iters left: 4 (109 enodes) 1546421691.457 * * [misc]simplify: iters left: 3 (264 enodes) 1546421691.614 * [exit]simplify: Simplified to (fma (* (* a a) 1/2) (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2)) 1)) 1546421691.615 * [misc]simplify: Simplified (2 1) to (λ (a) (acos (fma (* (* a a) 1/2) (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (fma (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2)) 1)))) 1546421691.615 * * * * [misc]progress: [ 69 / 70 ] simplifiying candidate # 1546421691.615 * [enter]simplify: Simplifying (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))) 1546421691.615 * * [misc]simplify: iters left: 6 (25 enodes) 1546421691.625 * * [misc]simplify: iters left: 5 (66 enodes) 1546421691.637 * * [misc]simplify: iters left: 4 (165 enodes) 1546421691.724 * * [misc]simplify: iters left: 3 (469 enodes) 1546421692.142 * [exit]simplify: Simplified to (fma (* (/ (log (fmod (cosh a) (* a a))) a) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) 1/2) (fma -1/2 (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) (* a a))) (fma (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a))))) 1546421692.142 * [misc]simplify: Simplified (2 1) to (λ (a) (acos (fma (* (/ (log (fmod (cosh a) (* a a))) a) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) 1/2) (fma -1/2 (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) (* a a))) (fma (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a))))))) 1546421692.142 * * * * [misc]progress: [ 70 / 70 ] simplifiying candidate # 1546421692.143 * [enter]simplify: Simplifying (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))) 1546421692.143 * * [misc]simplify: iters left: 6 (24 enodes) 1546421692.148 * * [misc]simplify: iters left: 5 (56 enodes) 1546421692.158 * * [misc]simplify: iters left: 4 (142 enodes) 1546421692.190 * * [misc]simplify: iters left: 3 (378 enodes) 1546421692.367 * [exit]simplify: Simplified to (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (log a))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (log a))) (fma (/ -1/2 a) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)))) 1546421692.368 * [misc]simplify: Simplified (2 1) to (λ (a) (acos (+ (fma (/ (* (log (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) (log a))) (/ (* a a) (log (fmod (cosh a) (* a a))))) 1/2 (pow (fmod (cosh a) (* a a)) (log a))) (fma (/ -1/2 a) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)) (* (pow (fmod (cosh a) (* a a)) (log a)) (/ (log (fmod (cosh a) (* a a))) a)))))) 1546421692.368 * * * [misc]progress: adding candidates to table 1546421693.354 * * [misc]progress: iteration 3 / 4 1546421693.354 * * * [misc]progress: picking best candidate 1546421693.390 * * * * [misc]pick: Picked # 1546421693.390 * * * [misc]progress: localizing error 1546421693.410 * * * [misc]progress: generating rewritten candidates 1546421693.410 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2 1) 1546421693.410 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1) 1546421693.410 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1546421693.410 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1546421693.413 * * * [misc]progress: generating series expansions 1546421693.413 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1 1 2 1) 1546421693.413 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421693.413 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421693.413 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.414 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.414 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421693.414 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.414 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.414 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.414 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.415 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421693.415 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.415 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.415 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify 0 into 0 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421693.415 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1) 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421693.415 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421693.415 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.415 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.415 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.416 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421693.416 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.416 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify 0 into 0 1546421693.416 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.417 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421693.417 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.417 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421693.417 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1) 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421693.417 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421693.417 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.417 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.417 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.417 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.418 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421693.418 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.418 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify 0 into 0 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421693.418 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.418 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421693.418 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.419 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.419 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.419 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.419 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.419 * [misc]backup-simplify: Simplify 0 into 0 1546421693.419 * [misc]backup-simplify: Simplify 0 into 0 1546421693.419 * [misc]backup-simplify: Simplify 0 into 0 1546421693.419 * [misc]backup-simplify: Simplify 0 into 0 1546421693.419 * [misc]backup-simplify: Simplify 0 into 0 1546421693.419 * [misc]backup-simplify: Simplify 0 into 0 1546421693.419 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421693.419 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1546421693.419 * [misc]backup-simplify: Simplify (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.419 * [misc]approximate: Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in (a) around 0 1546421693.419 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in a 1546421693.419 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) in a 1546421693.419 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) in a 1546421693.419 * [misc]taylor: Taking taylor expansion of 1/3 in a 1546421693.419 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546421693.419 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh a) (pow a 2)) 2)) in a 1546421693.419 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 2) in a 1546421693.419 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.419 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.421 * [misc]backup-simplify: Simplify (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) into (pow (fmod (cosh a) (pow a 2)) 2) 1546421693.421 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh a) (pow a 2)) 2)) into (log (pow (fmod (cosh a) (pow a 2)) 2)) 1546421693.421 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) into (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) 1546421693.421 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.421 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in a 1546421693.421 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) in a 1546421693.421 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) in a 1546421693.421 * [misc]taylor: Taking taylor expansion of 1/3 in a 1546421693.421 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546421693.421 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh a) (pow a 2)) 2)) in a 1546421693.421 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 2) in a 1546421693.421 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421693.421 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421693.421 * [misc]backup-simplify: Simplify (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) into (pow (fmod (cosh a) (pow a 2)) 2) 1546421693.421 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh a) (pow a 2)) 2)) into (log (pow (fmod (cosh a) (pow a 2)) 2)) 1546421693.421 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) into (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) 1546421693.421 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.421 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.422 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0 1546421693.422 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 1) into 0 1546421693.423 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into 0 1546421693.423 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1546421693.423 * [misc]backup-simplify: Simplify 0 into 0 1546421693.424 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0 1546421693.425 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 2) into 0 1546421693.425 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))) into 0 1546421693.426 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546421693.426 * [misc]backup-simplify: Simplify 0 into 0 1546421693.427 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0 1546421693.429 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 6) into 0 1546421693.429 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))))) into 0 1546421693.431 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1546421693.431 * [misc]backup-simplify: Simplify 0 into 0 1546421693.432 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0 1546421693.435 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 24) into 0 1546421693.435 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))))) into 0 1546421693.438 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 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 1546421693.438 * [misc]backup-simplify: Simplify 0 into 0 1546421693.439 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0 1546421693.446 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 120) into 0 1546421693.447 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))))))) into 0 1546421693.452 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 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 1546421693.452 * [misc]backup-simplify: Simplify 0 into 0 1546421693.453 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0 1546421693.460 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 720) into 0 1546421693.461 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))))))) into 0 1546421693.468 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 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 1546421693.468 * [misc]backup-simplify: Simplify 0 into 0 1546421693.469 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.469 * [misc]backup-simplify: Simplify (log (exp (* (cbrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (cbrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.469 * [misc]approximate: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in (a) around 0 1546421693.469 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in a 1546421693.469 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) in a 1546421693.469 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) in a 1546421693.469 * [misc]taylor: Taking taylor expansion of 1/3 in a 1546421693.469 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546421693.469 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) in a 1546421693.469 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) in a 1546421693.469 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.469 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.469 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1546421693.469 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) 1546421693.469 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) 1546421693.470 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.470 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in a 1546421693.470 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) in a 1546421693.470 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) in a 1546421693.470 * [misc]taylor: Taking taylor expansion of 1/3 in a 1546421693.470 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546421693.470 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) in a 1546421693.470 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) in a 1546421693.470 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421693.470 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421693.470 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1546421693.470 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) 1546421693.470 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) 1546421693.470 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.470 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.471 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0 1546421693.471 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 1) into 0 1546421693.472 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into 0 1546421693.472 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1546421693.472 * [misc]backup-simplify: Simplify 0 into 0 1546421693.473 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 1546421693.474 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 2) into 0 1546421693.474 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))) into 0 1546421693.475 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546421693.475 * [misc]backup-simplify: Simplify 0 into 0 1546421693.475 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 1546421693.477 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 6) into 0 1546421693.478 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))))) into 0 1546421693.480 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1546421693.480 * [misc]backup-simplify: Simplify 0 into 0 1546421693.480 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 1546421693.483 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 24) into 0 1546421693.483 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))))) into 0 1546421693.487 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 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 1546421693.487 * [misc]backup-simplify: Simplify 0 into 0 1546421693.488 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0 1546421693.493 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 120) into 0 1546421693.494 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))))))) into 0 1546421693.500 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 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 1546421693.500 * [misc]backup-simplify: Simplify 0 into 0 1546421693.500 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0 1546421693.508 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 720) into 0 1546421693.509 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))))))) into 0 1546421693.517 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 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 1546421693.517 * [misc]backup-simplify: Simplify 0 into 0 1546421693.517 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.517 * [misc]backup-simplify: Simplify (log (exp (* (cbrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.517 * [misc]approximate: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in (a) around 0 1546421693.517 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in a 1546421693.517 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) in a 1546421693.517 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) in a 1546421693.517 * [misc]taylor: Taking taylor expansion of 1/3 in a 1546421693.517 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546421693.517 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) in a 1546421693.517 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) in a 1546421693.517 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.517 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.518 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1546421693.518 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) 1546421693.518 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) 1546421693.518 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.518 * [misc]taylor: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in a 1546421693.518 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) in a 1546421693.518 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) in a 1546421693.518 * [misc]taylor: Taking taylor expansion of 1/3 in a 1546421693.518 * [misc]backup-simplify: Simplify 1/3 into 1/3 1546421693.518 * [misc]taylor: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) in a 1546421693.518 * [misc]taylor: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) in a 1546421693.518 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421693.518 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421693.518 * [misc]backup-simplify: Simplify (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1546421693.518 * [misc]backup-simplify: Simplify (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) 1546421693.518 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) 1546421693.519 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.519 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) 1546421693.519 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0 1546421693.520 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 1) into 0 1546421693.520 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into 0 1546421693.521 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1546421693.521 * [misc]backup-simplify: Simplify 0 into 0 1546421693.521 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 1546421693.522 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 2) into 0 1546421693.522 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))) into 0 1546421693.523 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1546421693.523 * [misc]backup-simplify: Simplify 0 into 0 1546421693.524 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 1546421693.526 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 6) into 0 1546421693.526 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))))) into 0 1546421693.528 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1546421693.528 * [misc]backup-simplify: Simplify 0 into 0 1546421693.529 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 1546421693.534 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 24) into 0 1546421693.535 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))))) into 0 1546421693.541 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 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 1546421693.541 * [misc]backup-simplify: Simplify 0 into 0 1546421693.543 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0 1546421693.551 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 120) into 0 1546421693.553 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))))))) into 0 1546421693.562 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 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 1546421693.562 * [misc]backup-simplify: Simplify 0 into 0 1546421693.563 * [misc]backup-simplify: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0 1546421693.577 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 720) into 0 1546421693.578 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))))))) into 0 1546421693.592 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 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 1546421693.592 * [misc]backup-simplify: Simplify 0 into 0 1546421693.592 * [misc]backup-simplify: Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.593 * * * [misc]progress: simplifying candidates 1546421693.593 * * * * [misc]progress: [ 1 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 2 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 3 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 4 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 5 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 6 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 7 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 8 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 9 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 10 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 11 / 55 ] simplifiying candidate # 1546421693.593 * * * * [misc]progress: [ 12 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 13 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 14 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 15 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 16 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 17 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 18 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 19 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 20 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 21 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 22 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 23 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 24 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 25 / 55 ] simplifiying candidate # 1546421693.594 * * * * [misc]progress: [ 26 / 55 ] simplifiying candidate # 1546421693.595 * * * * [misc]progress: [ 27 / 55 ] simplifiying candidate # 1546421693.595 * * * * [misc]progress: [ 28 / 55 ] simplifiying candidate # 1546421693.595 * * * * [misc]progress: [ 29 / 55 ] simplifiying candidate # 1546421693.595 * * * * [misc]progress: [ 30 / 55 ] simplifiying candidate # 1546421693.595 * [enter]simplify: Simplifying (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) 1546421693.595 * * [misc]simplify: iters left: 6 (10 enodes) 1546421693.599 * * [misc]simplify: iters left: 5 (20 enodes) 1546421693.605 * * [misc]simplify: iters left: 4 (23 enodes) 1546421693.612 * * [misc]simplify: iters left: 3 (25 enodes) 1546421693.620 * [exit]simplify: Simplified to (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) 1546421693.620 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421693.620 * * * * [misc]progress: [ 31 / 55 ] simplifiying candidate # 1546421693.620 * [enter]simplify: Simplifying (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) 1546421693.620 * * [misc]simplify: iters left: 6 (9 enodes) 1546421693.623 * * [misc]simplify: iters left: 5 (17 enodes) 1546421693.628 * * [misc]simplify: iters left: 4 (20 enodes) 1546421693.633 * * [misc]simplify: iters left: 3 (22 enodes) 1546421693.640 * [exit]simplify: Simplified to (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) 1546421693.640 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421693.640 * * * * [misc]progress: [ 32 / 55 ] simplifiying candidate # 1546421693.640 * [enter]simplify: Simplifying (log 1) 1546421693.640 * * [misc]simplify: iters left: 1 (2 enodes) 1546421693.642 * [exit]simplify: Simplified to 0 1546421693.643 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a)))) 1546421693.643 * * * * [misc]progress: [ 33 / 55 ] simplifiying candidate # 1546421693.643 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1546421693.643 * * [misc]simplify: iters left: 4 (5 enodes) 1546421693.645 * * [misc]simplify: iters left: 3 (11 enodes) 1546421693.648 * * [misc]simplify: iters left: 2 (14 enodes) 1546421693.652 * * [misc]simplify: iters left: 1 (16 enodes) 1546421693.656 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1546421693.656 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.656 * * * * [misc]progress: [ 34 / 55 ] simplifiying candidate # 1546421693.656 * * * * [misc]progress: [ 35 / 55 ] simplifiying candidate # 1546421693.657 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1546421693.657 * * [misc]simplify: iters left: 4 (5 enodes) 1546421693.658 * * [misc]simplify: iters left: 3 (11 enodes) 1546421693.661 * * [misc]simplify: iters left: 2 (14 enodes) 1546421693.665 * * [misc]simplify: iters left: 1 (16 enodes) 1546421693.670 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1546421693.670 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.670 * * * * [misc]progress: [ 36 / 55 ] simplifiying candidate # 1546421693.670 * * * * [misc]progress: [ 37 / 55 ] simplifiying candidate # 1546421693.670 * [enter]simplify: Simplifying (cbrt (fmod (cosh a) (* a a))) 1546421693.670 * * [misc]simplify: iters left: 4 (5 enodes) 1546421693.672 * * [misc]simplify: iters left: 3 (11 enodes) 1546421693.675 * * [misc]simplify: iters left: 2 (14 enodes) 1546421693.679 * * [misc]simplify: iters left: 1 (16 enodes) 1546421693.683 * [exit]simplify: Simplified to (cbrt (fmod (cosh a) (* a a))) 1546421693.683 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log1p a)))) 1546421693.683 * * * * [misc]progress: [ 38 / 55 ] simplifiying candidate # 1546421693.683 * * * * [misc]progress: [ 39 / 55 ] simplifiying candidate # 1546421693.683 * * * * [misc]progress: [ 40 / 55 ] simplifiying candidate # 1546421693.683 * * * * [misc]progress: [ 41 / 55 ] simplifiying candidate # 1546421693.683 * * * * [misc]progress: [ 42 / 55 ] simplifiying candidate # 1546421693.683 * * * * [misc]progress: [ 43 / 55 ] simplifiying candidate # 1546421693.684 * * * * [misc]progress: [ 44 / 55 ] simplifiying candidate # 1546421693.684 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.684 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.685 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.688 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.688 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.689 * * * * [misc]progress: [ 45 / 55 ] simplifiying candidate # 1546421693.689 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.689 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.690 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.693 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.693 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.694 * * * * [misc]progress: [ 46 / 55 ] simplifiying candidate # 1546421693.694 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.694 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.695 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.698 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.698 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.698 * * * * [misc]progress: [ 47 / 55 ] simplifiying candidate # 1546421693.699 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.699 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.700 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.703 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.703 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.703 * * * * [misc]progress: [ 48 / 55 ] simplifiying candidate # 1546421693.704 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.704 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.706 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.709 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.709 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.710 * * * * [misc]progress: [ 49 / 55 ] simplifiying candidate # 1546421693.710 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.710 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.711 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.714 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.715 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.715 * * * * [misc]progress: [ 50 / 55 ] simplifiying candidate # 1546421693.715 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.715 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.716 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.720 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.720 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.720 * * * * [misc]progress: [ 51 / 55 ] simplifiying candidate # 1546421693.720 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.720 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.722 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.725 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.725 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.725 * * * * [misc]progress: [ 52 / 55 ] simplifiying candidate # 1546421693.725 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421693.725 * * [misc]simplify: iters left: 2 (5 enodes) 1546421693.727 * * [misc]simplify: iters left: 1 (11 enodes) 1546421693.730 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421693.730 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) 1546421693.730 * * * * [misc]progress: [ 53 / 55 ] simplifiying candidate # 1546421693.730 * [enter]simplify: Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.730 * * [misc]simplify: iters left: 4 (8 enodes) 1546421693.733 * * [misc]simplify: iters left: 3 (16 enodes) 1546421693.737 * * [misc]simplify: iters left: 2 (19 enodes) 1546421693.742 * * [misc]simplify: iters left: 1 (21 enodes) 1546421693.747 * [exit]simplify: Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))) 1546421693.747 * [misc]simplify: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a)))) 1546421693.747 * * * * [misc]progress: [ 54 / 55 ] simplifiying candidate # 1546421693.747 * [enter]simplify: Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.747 * * [misc]simplify: iters left: 4 (8 enodes) 1546421693.750 * * [misc]simplify: iters left: 3 (16 enodes) 1546421693.754 * * [misc]simplify: iters left: 2 (19 enodes) 1546421693.758 * * [misc]simplify: iters left: 1 (21 enodes) 1546421693.764 * [exit]simplify: Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))) 1546421693.764 * [misc]simplify: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a)))) 1546421693.764 * * * * [misc]progress: [ 55 / 55 ] simplifiying candidate # 1546421693.764 * [enter]simplify: Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) 1546421693.764 * * [misc]simplify: iters left: 4 (8 enodes) 1546421693.766 * * [misc]simplify: iters left: 3 (16 enodes) 1546421693.771 * * [misc]simplify: iters left: 2 (19 enodes) 1546421693.776 * * [misc]simplify: iters left: 1 (21 enodes) 1546421693.781 * [exit]simplify: Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))) 1546421693.782 * [misc]simplify: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a)))) 1546421693.782 * * * [misc]progress: adding candidates to table 1546421694.806 * * [misc]progress: iteration 4 / 4 1546421694.806 * * * [misc]progress: picking best candidate 1546421694.842 * * * * [misc]pick: Picked # 1546421694.842 * * * [misc]progress: localizing error 1546421694.905 * * * [misc]progress: generating rewritten candidates 1546421694.905 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 2 1) 1546421694.906 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1 1) 1546421694.906 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1 2 1) 1546421694.907 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1 1 1) 1546421694.907 * * * [misc]progress: generating series expansions 1546421694.907 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 2 1) 1546421694.907 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421694.907 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421694.908 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.908 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.908 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.908 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.908 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.908 * [misc]backup-simplify: Simplify 0 into 0 1546421694.908 * [misc]backup-simplify: Simplify 0 into 0 1546421694.908 * [misc]backup-simplify: Simplify 0 into 0 1546421694.908 * [misc]backup-simplify: Simplify 0 into 0 1546421694.908 * [misc]backup-simplify: Simplify 0 into 0 1546421694.908 * [misc]backup-simplify: Simplify 0 into 0 1546421694.908 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.908 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.909 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.909 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.909 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.909 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.909 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.909 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.909 * [misc]backup-simplify: Simplify 0 into 0 1546421694.909 * [misc]backup-simplify: Simplify 0 into 0 1546421694.909 * [misc]backup-simplify: Simplify 0 into 0 1546421694.909 * [misc]backup-simplify: Simplify 0 into 0 1546421694.909 * [misc]backup-simplify: Simplify 0 into 0 1546421694.909 * [misc]backup-simplify: Simplify 0 into 0 1546421694.910 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.910 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.910 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.910 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.910 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.910 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.910 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.910 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.910 * [misc]backup-simplify: Simplify 0 into 0 1546421694.910 * [misc]backup-simplify: Simplify 0 into 0 1546421694.910 * [misc]backup-simplify: Simplify 0 into 0 1546421694.910 * [misc]backup-simplify: Simplify 0 into 0 1546421694.910 * [misc]backup-simplify: Simplify 0 into 0 1546421694.911 * [misc]backup-simplify: Simplify 0 into 0 1546421694.911 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.911 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1 1 1 1) 1546421694.911 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421694.911 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421694.911 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.911 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.911 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.911 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.911 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.911 * [misc]backup-simplify: Simplify 0 into 0 1546421694.911 * [misc]backup-simplify: Simplify 0 into 0 1546421694.911 * [misc]backup-simplify: Simplify 0 into 0 1546421694.911 * [misc]backup-simplify: Simplify 0 into 0 1546421694.911 * [misc]backup-simplify: Simplify 0 into 0 1546421694.912 * [misc]backup-simplify: Simplify 0 into 0 1546421694.912 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.912 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.912 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.912 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.912 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.912 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.912 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.912 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.912 * [misc]backup-simplify: Simplify 0 into 0 1546421694.912 * [misc]backup-simplify: Simplify 0 into 0 1546421694.913 * [misc]backup-simplify: Simplify 0 into 0 1546421694.913 * [misc]backup-simplify: Simplify 0 into 0 1546421694.913 * [misc]backup-simplify: Simplify 0 into 0 1546421694.913 * [misc]backup-simplify: Simplify 0 into 0 1546421694.913 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.913 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.913 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.913 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.913 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.913 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.913 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.914 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.914 * [misc]backup-simplify: Simplify 0 into 0 1546421694.914 * [misc]backup-simplify: Simplify 0 into 0 1546421694.914 * [misc]backup-simplify: Simplify 0 into 0 1546421694.914 * [misc]backup-simplify: Simplify 0 into 0 1546421694.914 * [misc]backup-simplify: Simplify 0 into 0 1546421694.914 * [misc]backup-simplify: Simplify 0 into 0 1546421694.914 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.914 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 1 2 1 1 2 1) 1546421694.914 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421694.914 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421694.914 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.914 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.914 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.915 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.915 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.915 * [misc]backup-simplify: Simplify 0 into 0 1546421694.915 * [misc]backup-simplify: Simplify 0 into 0 1546421694.915 * [misc]backup-simplify: Simplify 0 into 0 1546421694.915 * [misc]backup-simplify: Simplify 0 into 0 1546421694.915 * [misc]backup-simplify: Simplify 0 into 0 1546421694.915 * [misc]backup-simplify: Simplify 0 into 0 1546421694.915 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.915 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.915 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.915 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.915 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.915 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.915 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.916 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.916 * [misc]backup-simplify: Simplify 0 into 0 1546421694.916 * [misc]backup-simplify: Simplify 0 into 0 1546421694.916 * [misc]backup-simplify: Simplify 0 into 0 1546421694.916 * [misc]backup-simplify: Simplify 0 into 0 1546421694.916 * [misc]backup-simplify: Simplify 0 into 0 1546421694.916 * [misc]backup-simplify: Simplify 0 into 0 1546421694.916 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.916 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.916 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.916 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.916 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.916 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.917 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.917 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.917 * [misc]backup-simplify: Simplify 0 into 0 1546421694.917 * [misc]backup-simplify: Simplify 0 into 0 1546421694.917 * [misc]backup-simplify: Simplify 0 into 0 1546421694.917 * [misc]backup-simplify: Simplify 0 into 0 1546421694.917 * [misc]backup-simplify: Simplify 0 into 0 1546421694.917 * [misc]backup-simplify: Simplify 0 into 0 1546421694.917 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.917 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1 1 2 1 1 1 1) 1546421694.918 * [misc]backup-simplify: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 1546421694.918 * [misc]approximate: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 1546421694.918 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.918 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.918 * [misc]taylor: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 1546421694.918 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.918 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.918 * [misc]backup-simplify: Simplify 0 into 0 1546421694.918 * [misc]backup-simplify: Simplify 0 into 0 1546421694.918 * [misc]backup-simplify: Simplify 0 into 0 1546421694.918 * [misc]backup-simplify: Simplify 0 into 0 1546421694.918 * [misc]backup-simplify: Simplify 0 into 0 1546421694.918 * [misc]backup-simplify: Simplify 0 into 0 1546421694.918 * [misc]backup-simplify: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 1546421694.918 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.918 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.919 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.919 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.919 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 1546421694.919 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.919 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1546421694.919 * [misc]backup-simplify: Simplify 0 into 0 1546421694.919 * [misc]backup-simplify: Simplify 0 into 0 1546421694.919 * [misc]backup-simplify: Simplify 0 into 0 1546421694.919 * [misc]backup-simplify: Simplify 0 into 0 1546421694.919 * [misc]backup-simplify: Simplify 0 into 0 1546421694.919 * [misc]backup-simplify: Simplify 0 into 0 1546421694.919 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.920 * [misc]backup-simplify: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.920 * [misc]approximate: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 1546421694.920 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.920 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.920 * [misc]taylor: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 1546421694.920 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.920 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1546421694.920 * [misc]backup-simplify: Simplify 0 into 0 1546421694.920 * [misc]backup-simplify: Simplify 0 into 0 1546421694.920 * [misc]backup-simplify: Simplify 0 into 0 1546421694.920 * [misc]backup-simplify: Simplify 0 into 0 1546421694.920 * [misc]backup-simplify: Simplify 0 into 0 1546421694.920 * [misc]backup-simplify: Simplify 0 into 0 1546421694.921 * [misc]backup-simplify: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 1546421694.921 * * * [misc]progress: simplifying candidates 1546421694.921 * * * * [misc]progress: [ 1 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 2 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 3 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 4 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 5 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 6 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 7 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 8 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 9 / 48 ] simplifiying candidate # 1546421694.921 * * * * [misc]progress: [ 10 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 11 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 12 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 13 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 14 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 15 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 16 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 17 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 18 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 19 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 20 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 21 / 48 ] simplifiying candidate # 1546421694.922 * * * * [misc]progress: [ 22 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 23 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 24 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 25 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 26 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 27 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 28 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 29 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 30 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 31 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 32 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 33 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 34 / 48 ] simplifiying candidate # 1546421694.923 * * * * [misc]progress: [ 35 / 48 ] simplifiying candidate # 1546421694.924 * * * * [misc]progress: [ 36 / 48 ] simplifiying candidate # 1546421694.924 * * * * [misc]progress: [ 37 / 48 ] simplifiying candidate # 1546421694.924 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.924 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.926 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.929 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.929 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.929 * * * * [misc]progress: [ 38 / 48 ] simplifiying candidate # 1546421694.929 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.929 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.931 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.934 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.934 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.934 * * * * [misc]progress: [ 39 / 48 ] simplifiying candidate # 1546421694.934 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.934 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.936 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.939 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.939 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.939 * * * * [misc]progress: [ 40 / 48 ] simplifiying candidate # 1546421694.940 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.940 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.941 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.945 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.945 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.945 * * * * [misc]progress: [ 41 / 48 ] simplifiying candidate # 1546421694.945 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.945 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.947 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.949 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.949 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.949 * * * * [misc]progress: [ 42 / 48 ] simplifiying candidate # 1546421694.949 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.949 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.950 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.952 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.952 * [misc]simplify: Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.952 * * * * [misc]progress: [ 43 / 48 ] simplifiying candidate # 1546421694.952 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.952 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.953 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.954 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.954 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.954 * * * * [misc]progress: [ 44 / 48 ] simplifiying candidate # 1546421694.955 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.955 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.955 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.957 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.957 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.957 * * * * [misc]progress: [ 45 / 48 ] simplifiying candidate # 1546421694.957 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.957 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.958 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.960 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.960 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.960 * * * * [misc]progress: [ 46 / 48 ] simplifiying candidate # 1546421694.960 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.960 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.961 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.962 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.962 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.962 * * * * [misc]progress: [ 47 / 48 ] simplifiying candidate # 1546421694.962 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.962 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.963 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.965 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.965 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.965 * * * * [misc]progress: [ 48 / 48 ] simplifiying candidate # 1546421694.965 * [enter]simplify: Simplifying (fmod (cosh a) (pow a 2)) 1546421694.965 * * [misc]simplify: iters left: 2 (5 enodes) 1546421694.966 * * [misc]simplify: iters left: 1 (11 enodes) 1546421694.967 * [exit]simplify: Simplified to (fmod (cosh a) (* a a)) 1546421694.967 * [misc]simplify: Simplified (2 1 1 2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))) 1546421694.968 * * * [misc]progress: adding candidates to table 1546421696.046 * [misc]progress: [Phase 3 of 3] Extracting. 1546421696.047 * * [misc]regime: Finding splitpoints for: (# # # # # # # # # #) 1546421696.055 * * * [misc]regime-changes: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) 1546421696.056 * * * * [misc]regimes: Trying to branch on a from (# # # # # # # # # #) 1546421696.140 * * * * [misc]regimes: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # # # # #) 1546421696.248 * * * * [misc]regimes: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # #) 1546421696.288 * * * * [misc]regimes: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # # # # # # #) 1546421696.367 * * * * [misc]regimes: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # #) 1546421696.417 * * * [misc]regime: Found split indices: #