0.739 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.438 * * * [progress]: [2/2] Setting up program.
1.443 * [progress]: [Phase 2 of 3] Improving.
1.443 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.445 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.446 * * [simplify]: iteration 1: (7 enodes)
1.451 * * [simplify]: iteration 2: (16 enodes)
1.453 * * [simplify]: iteration 3: (24 enodes)
1.458 * * [simplify]: iteration 4: (44 enodes)
1.469 * * [simplify]: iteration 5: (87 enodes)
1.522 * * [simplify]: iteration 6: (195 enodes)
1.637 * * [simplify]: iteration 7: (486 enodes)
2.611 * * [simplify]: iteration 8: (1959 enodes)
14.344 * * [simplify]: Extracting #0: cost 1 inf + 0
14.344 * * [simplify]: Extracting #1: cost 2 inf + 0
14.344 * * [simplify]: Extracting #2: cost 179 inf + 0
14.349 * * [simplify]: Extracting #3: cost 984 inf + 2
14.356 * * [simplify]: Extracting #4: cost 1028 inf + 282
14.364 * * [simplify]: Extracting #5: cost 988 inf + 8347
14.401 * * [simplify]: Extracting #6: cost 691 inf + 316494
14.555 * * [simplify]: Extracting #7: cost 185 inf + 970407
14.778 * * [simplify]: Extracting #8: cost 1 inf + 1194132
15.006 * * [simplify]: Extracting #9: cost 0 inf + 1183775
15.233 * * [simplify]: Extracting #10: cost 0 inf + 1182829
15.458 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
15.463 * * [progress]: iteration 1 / 4
15.463 * * * [progress]: picking best candidate
15.466 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
15.466 * * * [progress]: localizing error
15.484 * * * [progress]: generating rewritten candidates
15.484 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
15.485 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
15.486 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
15.496 * * * [progress]: generating series expansions
15.496 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
15.499 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.499 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.500 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.502 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.502 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.502 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.502 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.502 * [backup-simplify]: Simplify 0 into 0
15.502 * [backup-simplify]: Simplify 0 into 0
15.502 * [backup-simplify]: Simplify 0 into 0
15.502 * [backup-simplify]: Simplify 0 into 0
15.502 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.503 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.503 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.503 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.503 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.503 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.503 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.503 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify 0 into 0
15.503 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.504 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.504 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.504 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.504 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.504 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.504 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.504 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.505 * * * * [progress]: [ 2 / 3 ] generating series at (2)
15.505 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.505 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
15.505 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
15.505 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.505 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
15.505 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.505 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify 0 into 0
15.505 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
15.506 * [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))))
15.506 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
15.506 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
15.506 * [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))))
15.506 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
15.506 * [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))))
15.506 * [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))))
15.506 * [backup-simplify]: Simplify 0 into 0
15.506 * [backup-simplify]: Simplify 0 into 0
15.506 * [backup-simplify]: Simplify 0 into 0
15.506 * [backup-simplify]: Simplify 0 into 0
15.506 * [backup-simplify]: Simplify 0 into 0
15.506 * [backup-simplify]: Simplify 0 into 0
15.506 * [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)))
15.506 * [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))))
15.506 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
15.506 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
15.507 * [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))))
15.507 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
15.507 * [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))))
15.507 * [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))))
15.507 * [backup-simplify]: Simplify 0 into 0
15.507 * [backup-simplify]: Simplify 0 into 0
15.507 * [backup-simplify]: Simplify 0 into 0
15.507 * [backup-simplify]: Simplify 0 into 0
15.507 * [backup-simplify]: Simplify 0 into 0
15.507 * [backup-simplify]: Simplify 0 into 0
15.507 * [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)))
15.507 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
15.507 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
15.507 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
15.507 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
15.507 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
15.507 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
15.507 * [taylor]: Taking taylor expansion of (log1p a) in a
15.507 * [backup-simplify]: Simplify (log1p a) into (log1p a)
15.507 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
15.507 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.507 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.508 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
15.508 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
15.508 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
15.508 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
15.508 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
15.508 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
15.508 * [taylor]: Taking taylor expansion of (log1p a) in a
15.508 * [backup-simplify]: Simplify (log1p a) into (log1p a)
15.508 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
15.508 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.508 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.508 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
15.508 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
15.508 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
15.508 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
15.510 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
15.510 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (* 0 (log (fmod (cosh a) (pow a 2))))) into 0
15.510 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 1) 1)))) into 0
15.510 * [backup-simplify]: Simplify 0 into 0
15.512 * [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
15.512 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))) into 0
15.513 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.513 * [backup-simplify]: Simplify 0 into 0
15.515 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 6) into 0
15.516 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))) into 0
15.517 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.517 * [backup-simplify]: Simplify 0 into 0
15.520 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 24) into 0
15.521 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))) into 0
15.522 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (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
15.522 * [backup-simplify]: Simplify 0 into 0
15.527 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 120) into 0
15.528 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))))) into 0
15.530 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (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
15.530 * [backup-simplify]: Simplify 0 into 0
15.537 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh a) (pow a 2)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 720) into 0
15.538 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))))) into 0
15.541 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (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
15.541 * [backup-simplify]: Simplify 0 into 0
15.541 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
15.541 * [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)))
15.541 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
15.542 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
15.542 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
15.542 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
15.542 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
15.542 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
15.542 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
15.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.542 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.542 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
15.542 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
15.542 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
15.542 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
15.542 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
15.542 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
15.542 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
15.542 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
15.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.542 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
15.542 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
15.543 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
15.543 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
15.543 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
15.543 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
15.544 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
15.544 * [backup-simplify]: Simplify 0 into 0
15.545 * [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
15.546 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
15.546 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.546 * [backup-simplify]: Simplify 0 into 0
15.548 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
15.549 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
15.550 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.550 * [backup-simplify]: Simplify 0 into 0
15.553 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
15.553 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
15.555 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.555 * [backup-simplify]: Simplify 0 into 0
15.560 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
15.561 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
15.563 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.563 * [backup-simplify]: Simplify 0 into 0
15.570 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
15.572 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))))) into 0
15.580 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.580 * [backup-simplify]: Simplify 0 into 0
15.581 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
15.581 * [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)))
15.581 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
15.581 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
15.581 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
15.581 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
15.581 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
15.581 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
15.581 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
15.581 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.581 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.581 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.581 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
15.581 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
15.581 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
15.581 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
15.581 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
15.581 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
15.581 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
15.581 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
15.582 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.582 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.582 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
15.582 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
15.582 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
15.582 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
15.583 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
15.583 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
15.583 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
15.583 * [backup-simplify]: Simplify 0 into 0
15.584 * [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
15.585 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
15.586 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.586 * [backup-simplify]: Simplify 0 into 0
15.587 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
15.588 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
15.589 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.589 * [backup-simplify]: Simplify 0 into 0
15.592 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
15.593 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
15.594 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.594 * [backup-simplify]: Simplify 0 into 0
15.599 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
15.600 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
15.602 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
15.602 * [backup-simplify]: Simplify 0 into 0
15.609 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
15.611 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))))) into 0
15.614 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
15.614 * [backup-simplify]: Simplify 0 into 0
15.614 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
15.614 * * * [progress]: simplifying candidates
15.614 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
15.614 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
15.614 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
15.615 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
15.615 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
15.615 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
15.615 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
15.615 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
15.615 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
15.615 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
15.615 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
15.615 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))>
15.615 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))>
15.615 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a)))))>
15.615 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a)))))>
15.615 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (sqrt (log1p a)))))>
15.615 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
15.615 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)) (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)))))>
15.615 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>
15.615 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a)))))>
15.615 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 1)))>
15.615 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a) (acos (exp (log (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.615 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.616 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* 1 (pow (fmod (cosh a) (* a a)) (log1p a)))))>
15.616 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))>
15.616 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a) (acos (posit16->real (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.616 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))))>
15.616 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.616 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
15.617 * * [simplify]: iteration 1: (57 enodes)
15.627 * * [simplify]: iteration 2: (129 enodes)
15.658 * * [simplify]: iteration 3: (271 enodes)
15.733 * * [simplify]: iteration 4: (713 enodes)
16.135 * * [simplify]: Extracting #0: cost 34 inf + 0
16.135 * * [simplify]: Extracting #1: cost 232 inf + 1
16.137 * * [simplify]: Extracting #2: cost 406 inf + 2655
16.140 * * [simplify]: Extracting #3: cost 358 inf + 16179
16.154 * * [simplify]: Extracting #4: cost 176 inf + 113478
16.179 * * [simplify]: Extracting #5: cost 16 inf + 230874
16.207 * * [simplify]: Extracting #6: cost 0 inf + 240705
16.236 * * [simplify]: Extracting #7: cost 0 inf + 240494
16.265 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (log (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (exp (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (* (cbrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))) (cbrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))))
  (cbrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (* (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))) (* (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))))
  (sqrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (sqrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (real->posit16 (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (* (cbrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))) (cbrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (cbrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (exp (* (* (log (fmod (cosh a) (* a a))) (log1p a)) 3))
  (sqrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (sqrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (real->posit16 (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
16.267 * * * [progress]: adding candidates to table
16.549 * * [progress]: iteration 2 / 4
16.549 * * * [progress]: picking best candidate
16.577 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
16.578 * * * [progress]: localizing error
16.599 * * * [progress]: generating rewritten candidates
16.599 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
16.599 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
16.602 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
16.603 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
16.607 * * * [progress]: generating series expansions
16.607 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
16.607 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
16.607 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.607 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.607 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.607 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.607 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.607 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.607 * [backup-simplify]: Simplify 0 into 0
16.607 * [backup-simplify]: Simplify 0 into 0
16.607 * [backup-simplify]: Simplify 0 into 0
16.607 * [backup-simplify]: Simplify 0 into 0
16.607 * [backup-simplify]: Simplify 0 into 0
16.607 * [backup-simplify]: Simplify 0 into 0
16.607 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.607 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
16.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.608 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
16.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify 0 into 0
16.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
16.608 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
16.609 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
16.609 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.609 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.609 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.609 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.609 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.609 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.609 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.609 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
16.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.609 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.609 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.609 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.609 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.609 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
16.610 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.610 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
16.610 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.610 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify 0 into 0
16.610 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
16.610 * * * * [progress]: [ 3 / 4 ] generating series at (2)
16.610 * [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)))
16.610 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
16.610 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.611 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.611 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.611 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.611 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.611 * [backup-simplify]: Simplify 0 into 0
16.611 * [backup-simplify]: Simplify 0 into 0
16.611 * [backup-simplify]: Simplify 0 into 0
16.611 * [backup-simplify]: Simplify 0 into 0
16.611 * [backup-simplify]: Simplify 0 into 0
16.611 * [backup-simplify]: Simplify 0 into 0
16.611 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.611 * [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))))
16.611 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
16.611 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
16.611 * [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))))
16.611 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
16.611 * [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))))
16.612 * [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))))
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [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)))
16.612 * [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))))
16.612 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
16.612 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
16.612 * [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))))
16.612 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
16.612 * [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))))
16.612 * [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))))
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.612 * [backup-simplify]: Simplify 0 into 0
16.613 * [backup-simplify]: Simplify 0 into 0
16.613 * [backup-simplify]: Simplify 0 into 0
16.613 * [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)))
16.613 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
16.613 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
16.613 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
16.613 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
16.613 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
16.613 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
16.613 * [taylor]: Taking taylor expansion of (log1p a) in a
16.613 * [backup-simplify]: Simplify (log1p a) into (log1p a)
16.613 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
16.613 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.613 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.613 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
16.613 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
16.613 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
16.613 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
16.613 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
16.613 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
16.613 * [taylor]: Taking taylor expansion of (log1p a) in a
16.613 * [backup-simplify]: Simplify (log1p a) into (log1p a)
16.613 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
16.613 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.613 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.613 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
16.614 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
16.614 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
16.614 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
16.614 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
16.615 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (* 0 (log (fmod (cosh a) (pow a 2))))) into 0
16.615 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 1) 1)))) into 0
16.615 * [backup-simplify]: Simplify 0 into 0
16.616 * [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
16.616 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))) into 0
16.617 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.617 * [backup-simplify]: Simplify 0 into 0
16.619 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 6) into 0
16.620 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))) into 0
16.620 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.621 * [backup-simplify]: Simplify 0 into 0
16.623 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 24) into 0
16.624 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))) into 0
16.625 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (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
16.626 * [backup-simplify]: Simplify 0 into 0
16.630 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 120) into 0
16.631 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))))) into 0
16.633 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (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
16.633 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh a) (pow a 2)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 720) into 0
16.645 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))))) into 0
16.648 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (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
16.648 * [backup-simplify]: Simplify 0 into 0
16.648 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
16.648 * [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)))
16.648 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
16.648 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
16.648 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
16.648 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
16.648 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
16.648 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
16.648 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
16.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.648 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
16.649 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
16.649 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
16.649 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
16.649 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
16.649 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
16.649 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
16.649 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
16.649 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
16.649 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.649 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
16.649 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
16.649 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
16.649 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
16.650 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
16.650 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
16.651 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.651 * [backup-simplify]: Simplify 0 into 0
16.652 * [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
16.652 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
16.653 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.653 * [backup-simplify]: Simplify 0 into 0
16.655 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
16.656 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
16.657 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.657 * [backup-simplify]: Simplify 0 into 0
16.660 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
16.661 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
16.662 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.662 * [backup-simplify]: Simplify 0 into 0
16.667 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
16.668 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
16.670 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.670 * [backup-simplify]: Simplify 0 into 0
16.677 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
16.679 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))))) into 0
16.682 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.682 * [backup-simplify]: Simplify 0 into 0
16.682 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
16.682 * [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)))
16.682 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
16.682 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
16.682 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
16.682 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
16.682 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
16.682 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
16.682 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
16.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.682 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.682 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
16.682 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
16.682 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
16.683 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
16.683 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
16.683 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
16.683 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
16.683 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
16.683 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
16.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.683 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
16.683 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
16.683 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
16.683 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
16.684 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
16.684 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
16.684 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
16.684 * [backup-simplify]: Simplify 0 into 0
16.686 * [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
16.686 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
16.687 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.687 * [backup-simplify]: Simplify 0 into 0
16.688 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
16.689 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
16.690 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.690 * [backup-simplify]: Simplify 0 into 0
16.693 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
16.694 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
16.695 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.695 * [backup-simplify]: Simplify 0 into 0
16.700 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
16.701 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
16.703 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
16.703 * [backup-simplify]: Simplify 0 into 0
16.710 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
16.711 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))))) into 0
16.714 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
16.714 * [backup-simplify]: Simplify 0 into 0
16.715 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
16.715 * * * [progress]: simplifying candidates
16.715 * * * * [progress]: [ 1 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
16.715 * * * * [progress]: [ 2 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 3 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 4 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 5 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 6 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 7 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
16.715 * * * * [progress]: [ 8 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 9 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 10 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 11 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
16.715 * * * * [progress]: [ 12 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
16.715 * * * * [progress]: [ 13 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
16.715 * * * * [progress]: [ 14 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 15 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
16.715 * * * * [progress]: [ 16 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
16.715 * * * * [progress]: [ 17 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
16.715 * * * * [progress]: [ 18 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 19 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 20 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 21 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.715 * * * * [progress]: [ 22 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.716 * * * * [progress]: [ 23 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
16.716 * * * * [progress]: [ 24 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.716 * * * * [progress]: [ 25 / 67 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.716 * * * * [progress]: [ 26 / 67 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
16.716 * * * * [progress]: [ 27 / 67 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 28 / 67 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 29 / 67 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 30 / 67 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 31 / 67 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 32 / 67 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.716 * * * * [progress]: [ 33 / 67 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 34 / 67 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
16.716 * * * * [progress]: [ 35 / 67 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
16.716 * * * * [progress]: [ 36 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (* 1 (log1p a)))))>
16.716 * * * * [progress]: [ 37 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a)))))>
16.716 * * * * [progress]: [ 38 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))>
16.716 * * * * [progress]: [ 39 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
16.716 * * * * [progress]: [ 40 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.716 * * * * [progress]: [ 41 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
16.716 * * * * [progress]: [ 42 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a)))))>
16.716 * * * * [progress]: [ 43 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (log (exp 1)) (log1p a)))))>
16.716 * * * * [progress]: [ 44 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)) (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
16.716 * * * * [progress]: [ 45 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
16.716 * * * * [progress]: [ 46 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.716 * * * * [progress]: [ 47 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) 1)))>
16.716 * * * * [progress]: [ 48 / 67 ] simplifiying candidate #<alt (λ (a) (acos (exp (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 49 / 67 ] simplifiying candidate #<alt (λ (a) (acos (log (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 50 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.716 * * * * [progress]: [ 51 / 67 ] simplifiying candidate #<alt (λ (a) (acos (cbrt (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.717 * * * * [progress]: [ 52 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.717 * * * * [progress]: [ 53 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.717 * * * * [progress]: [ 54 / 67 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)) (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)))))>
16.717 * * * * [progress]: [ 55 / 67 ] simplifiying candidate #<alt (λ (a) (acos (posit16->real (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.717 * * * * [progress]: [ 56 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
16.717 * * * * [progress]: [ 57 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
16.717 * * * * [progress]: [ 58 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
16.717 * * * * [progress]: [ 59 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 60 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 61 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 62 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 63 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 64 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 65 / 67 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))))>
16.717 * * * * [progress]: [ 66 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.717 * * * * [progress]: [ 67 / 67 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.718 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (real->posit16 (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) 1)
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (log (exp 1)) (log1p a))
  (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
16.718 * * [simplify]: iteration 1: (85 enodes)
16.736 * * [simplify]: iteration 2: (196 enodes)
16.775 * * [simplify]: iteration 3: (391 enodes)
16.868 * * [simplify]: iteration 4: (925 enodes)
17.368 * * [simplify]: Extracting #0: cost 38 inf + 0
17.369 * * [simplify]: Extracting #1: cost 191 inf + 2
17.370 * * [simplify]: Extracting #2: cost 358 inf + 240
17.374 * * [simplify]: Extracting #3: cost 282 inf + 33946
17.385 * * [simplify]: Extracting #4: cost 132 inf + 101683
17.413 * * [simplify]: Extracting #5: cost 10 inf + 192848
17.441 * * [simplify]: Extracting #6: cost 0 inf + 198775
17.468 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (log (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (* (cbrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))) (cbrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))))
  (cbrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (* (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))) (* (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))) (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))))
  (sqrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (sqrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (real->posit16 (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  1
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  1
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (exp (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (* (cbrt (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))) (cbrt (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (cbrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (exp (* (* (log1p a) (log (fmod (cosh a) (* a a)))) 3))
  (sqrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (sqrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (exp (* (* 1/2 (log1p a)) (log (fmod (cosh a) (* a a)))))
  (exp (* (* 1/2 (log1p a)) (log (fmod (cosh a) (* a a)))))
  (real->posit16 (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
17.472 * * * [progress]: adding candidates to table
18.086 * * [progress]: iteration 3 / 4
18.086 * * * [progress]: picking best candidate
18.115 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.115 * * * [progress]: localizing error
18.152 * * * [progress]: generating rewritten candidates
18.152 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
18.152 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
18.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
18.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
18.155 * * * [progress]: generating series expansions
18.155 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
18.155 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
18.155 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
18.155 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.155 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.155 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.155 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.155 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.155 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.155 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.155 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
18.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.156 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
18.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.156 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.156 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.156 * [backup-simplify]: Simplify 0 into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
18.157 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
18.157 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
18.157 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
18.157 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.157 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.157 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.157 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.157 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.157 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
18.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.157 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.157 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.158 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
18.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.158 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
18.159 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
18.159 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
18.159 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
18.159 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.159 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.159 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.159 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.159 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.159 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
18.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.159 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.159 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.159 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
18.160 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.160 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
18.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.160 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
18.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
18.160 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
18.160 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
18.160 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.161 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.161 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
18.161 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.161 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
18.161 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.161 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
18.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.161 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
18.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.161 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
18.162 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.162 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
18.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.162 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
18.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
18.162 * * * [progress]: simplifying candidates
18.162 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))))>
18.162 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.162 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))))>
18.163 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.163 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.163 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
18.164 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
18.164 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
18.164 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))))>
18.164 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))))>
18.164 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
18.164 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
18.164 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
18.164 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
18.164 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
18.164 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
18.164 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.164 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.164 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.164 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.164 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.164 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
18.164 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
18.164 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
18.164 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
18.165 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (real->posit16 (log (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
18.165 * * [simplify]: iteration 1: (38 enodes)
18.172 * * [simplify]: iteration 2: (60 enodes)
18.178 * * [simplify]: iteration 3: (73 enodes)
18.189 * * [simplify]: iteration 4: (89 enodes)
18.199 * * [simplify]: iteration 5: (125 enodes)
18.217 * * [simplify]: iteration 6: (224 enodes)
18.274 * * [simplify]: iteration 7: (474 enodes)
18.466 * * [simplify]: iteration 8: (1242 enodes)
20.349 * * [simplify]: Extracting #0: cost 13 inf + 0
20.349 * * [simplify]: Extracting #1: cost 135 inf + 2
20.351 * * [simplify]: Extracting #2: cost 534 inf + 9
20.355 * * [simplify]: Extracting #3: cost 1075 inf + 2740
20.364 * * [simplify]: Extracting #4: cost 1037 inf + 54058
20.416 * * [simplify]: Extracting #5: cost 575 inf + 350823
20.541 * * [simplify]: Extracting #6: cost 98 inf + 787355
20.700 * * [simplify]: Extracting #7: cost 0 inf + 873854
20.863 * * [simplify]: Extracting #8: cost 0 inf + 871774
21.029 * * [simplify]: Extracting #9: cost 0 inf + 871710
21.195 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
21.200 * * * [progress]: adding candidates to table
21.726 * * [progress]: iteration 4 / 4
21.726 * * * [progress]: picking best candidate
21.756 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.757 * * * [progress]: localizing error
21.806 * * * [progress]: generating rewritten candidates
21.806 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
21.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1)
21.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
21.806 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
21.807 * * * [progress]: generating series expansions
21.807 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
21.807 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
21.807 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
21.807 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.807 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.807 * [backup-simplify]: Simplify 0 into 0
21.807 * [backup-simplify]: Simplify 0 into 0
21.807 * [backup-simplify]: Simplify 0 into 0
21.807 * [backup-simplify]: Simplify 0 into 0
21.807 * [backup-simplify]: Simplify 0 into 0
21.807 * [backup-simplify]: Simplify 0 into 0
21.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.807 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
21.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.808 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.808 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
21.808 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.808 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.808 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
21.809 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1 1 1)
21.809 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
21.809 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
21.809 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.809 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.809 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.809 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.809 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.809 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify 0 into 0
21.809 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.809 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
21.809 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.809 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.809 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.810 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
21.810 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.810 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify 0 into 0
21.810 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
21.810 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
21.811 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
21.811 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
21.811 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.811 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.811 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.811 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.811 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.811 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
21.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.811 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
21.812 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.812 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
21.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify 0 into 0
21.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
21.812 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
21.812 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
21.812 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
21.812 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.812 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.812 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
21.813 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.813 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
21.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.813 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
21.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.813 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
21.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify 0 into 0
21.813 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
21.814 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.814 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
21.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
21.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
21.814 * [backup-simplify]: Simplify 0 into 0
21.814 * [backup-simplify]: Simplify 0 into 0
21.814 * [backup-simplify]: Simplify 0 into 0
21.814 * [backup-simplify]: Simplify 0 into 0
21.814 * [backup-simplify]: Simplify 0 into 0
21.814 * [backup-simplify]: Simplify 0 into 0
21.814 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
21.814 * * * [progress]: simplifying candidates
21.814 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
21.814 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
21.814 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
21.814 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
21.814 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))))>
21.814 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
21.814 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
21.814 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
21.815 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (exp (log (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (log (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (* 1 (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.815 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
21.816 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
21.817 * * [simplify]: iteration 1: (15 enodes)
21.819 * * [simplify]: iteration 2: (28 enodes)
21.823 * * [simplify]: iteration 3: (36 enodes)
21.833 * * [simplify]: iteration 4: (42 enodes)
21.839 * * [simplify]: iteration 5: (53 enodes)
21.846 * * [simplify]: iteration 6: (77 enodes)
21.858 * * [simplify]: iteration 7: (119 enodes)
21.879 * * [simplify]: iteration 8: (217 enodes)
21.931 * * [simplify]: iteration 9: (495 enodes)
22.174 * * [simplify]: iteration 10: (1526 enodes)
25.102 * * [simplify]: Extracting #0: cost 8 inf + 0
25.103 * * [simplify]: Extracting #1: cost 176 inf + 0
25.107 * * [simplify]: Extracting #2: cost 1054 inf + 3
25.115 * * [simplify]: Extracting #3: cost 1059 inf + 114
25.124 * * [simplify]: Extracting #4: cost 1003 inf + 34773
25.183 * * [simplify]: Extracting #5: cost 350 inf + 700452
25.304 * * [simplify]: Extracting #6: cost 1 inf + 1082569
25.435 * * [simplify]: Extracting #7: cost 0 inf + 1066361
25.565 * * [simplify]: Extracting #8: cost 0 inf + 1066179
25.697 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
25.703 * * * [progress]: adding candidates to table
26.319 * [progress]: [Phase 3 of 3] Extracting.
26.319 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
26.321 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
26.322 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
26.373 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
26.430 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
26.458 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>)
26.517 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
26.517 * [simplify]: Simplifying:
  (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
26.517 * * [simplify]: iteration 1: (12 enodes)
26.518 * * [simplify]: iteration 2: (13 enodes)
26.518 * * [simplify]: Extracting #0: cost 1 inf + 0
26.518 * * [simplify]: Extracting #1: cost 3 inf + 0
26.518 * * [simplify]: Extracting #2: cost 4 inf + 0
26.518 * * [simplify]: Extracting #3: cost 5 inf + 0
26.518 * * [simplify]: Extracting #4: cost 7 inf + 0
26.518 * * [simplify]: Extracting #5: cost 9 inf + 0
26.518 * * [simplify]: Extracting #6: cost 9 inf + 1
26.518 * * [simplify]: Extracting #7: cost 10 inf + 92
26.519 * * [simplify]: Extracting #8: cost 0 inf + 4647
26.519 * [simplify]: Simplified to:
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
59.017 * [regime-testing]: Baseline error score: 59.4493464540304
59.020 * [regime-testing]: Oracle error score: 59.04230352714616
59.025 * [regime-testing]: End program error score: 59.4493464540304