0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.333 * * * [progress]: [2/2] Setting up program.
1.338 * [progress]: [Phase 2 of 3] Improving.
1.339 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.340 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.341 * * [simplify]: iteration 1: (7 enodes)
1.346 * * [simplify]: iteration 2: (30 enodes)
1.352 * * [simplify]: iteration 3: (52 enodes)
1.360 * * [simplify]: iteration 4: (80 enodes)
1.376 * * [simplify]: iteration 5: (137 enodes)
1.418 * * [simplify]: iteration 6: (253 enodes)
1.571 * * [simplify]: iteration 7: (697 enodes)
2.222 * * [simplify]: Extracting #0: cost 1 inf + 0
2.222 * * [simplify]: Extracting #1: cost 3 inf + 0
2.223 * * [simplify]: Extracting #2: cost 70 inf + 0
2.225 * * [simplify]: Extracting #3: cost 260 inf + 2
2.228 * * [simplify]: Extracting #4: cost 305 inf + 1152
2.236 * * [simplify]: Extracting #5: cost 246 inf + 20558
2.262 * * [simplify]: Extracting #6: cost 138 inf + 104869
2.314 * * [simplify]: Extracting #7: cost 15 inf + 240028
2.364 * * [simplify]: Extracting #8: cost 0 inf + 253964
2.410 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.416 * * [progress]: iteration 1 / 4
2.416 * * * [progress]: picking best candidate
2.421 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
2.421 * * * [progress]: localizing error
2.463 * * * [progress]: generating rewritten candidates
2.464 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.465 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.468 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.473 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.476 * * * [progress]: generating series expansions
2.477 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.494 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
2.494 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.496 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.498 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.498 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.498 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.499 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.500 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.500 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.500 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.500 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.500 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.500 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.500 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.500 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.502 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.502 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.502 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.502 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.502 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.502 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.503 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.503 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.504 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.504 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.504 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.504 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.504 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.504 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.504 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.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)))
2.505 * [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))))
2.505 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.505 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.505 * [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))))
2.505 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.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))))
2.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))))
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 0 into 0
2.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)))
2.507 * [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))))
2.507 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.507 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.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))))
2.507 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.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))))
2.508 * [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))))
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [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)))
2.508 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.508 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
2.508 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
2.508 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
2.509 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
2.509 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
2.509 * [taylor]: Taking taylor expansion of (log1p a) in a
2.509 * [taylor]: Rewrote expression to (log (+ 1 a))
2.509 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.509 * [taylor]: Taking taylor expansion of 1 in a
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [taylor]: Taking taylor expansion of a in a
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.511 * [backup-simplify]: Simplify (+ 1 0) into 1
2.511 * [backup-simplify]: Simplify (log 1) into 0
2.511 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
2.511 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.511 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.511 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
2.512 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
2.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
2.514 * [backup-simplify]: Simplify (+ 0 1) into 1
2.515 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.515 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
2.515 * [backup-simplify]: Simplify (exp 0) into 1
2.516 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
2.516 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
2.516 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
2.516 * [taylor]: Taking taylor expansion of (log1p a) in a
2.516 * [taylor]: Rewrote expression to (log (+ 1 a))
2.516 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.516 * [taylor]: Taking taylor expansion of 1 in a
2.516 * [backup-simplify]: Simplify 1 into 1
2.516 * [taylor]: Taking taylor expansion of a in a
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 1 into 1
2.516 * [backup-simplify]: Simplify (+ 1 0) into 1
2.516 * [backup-simplify]: Simplify (log 1) into 0
2.516 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
2.516 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.516 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.517 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
2.517 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
2.517 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
2.517 * [backup-simplify]: Simplify (+ 0 1) into 1
2.518 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.518 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
2.518 * [backup-simplify]: Simplify (exp 0) into 1
2.518 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
2.519 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
2.521 * [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
2.521 * [backup-simplify]: Simplify (+ 0 0) into 0
2.522 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
2.524 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
2.524 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
2.525 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
2.525 * [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)))
2.525 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
2.525 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
2.525 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
2.525 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
2.525 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.525 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.525 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.525 * [taylor]: Taking taylor expansion of 1 in a
2.525 * [backup-simplify]: Simplify 1 into 1
2.525 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.525 * [taylor]: Taking taylor expansion of a in a
2.525 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify 1 into 1
2.525 * [backup-simplify]: Simplify (/ 1 1) into 1
2.526 * [backup-simplify]: Simplify (+ 0 1) into 1
2.526 * [backup-simplify]: Simplify (log 1) into 0
2.526 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
2.526 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.526 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.526 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
2.527 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
2.527 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))
2.527 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
2.527 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
2.527 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
2.527 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
2.527 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.527 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.527 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.527 * [taylor]: Taking taylor expansion of 1 in a
2.527 * [backup-simplify]: Simplify 1 into 1
2.527 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.527 * [taylor]: Taking taylor expansion of a in a
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify 1 into 1
2.527 * [backup-simplify]: Simplify (/ 1 1) into 1
2.528 * [backup-simplify]: Simplify (+ 0 1) into 1
2.528 * [backup-simplify]: Simplify (log 1) into 0
2.528 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
2.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.528 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
2.528 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
2.529 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))
2.529 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
2.529 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
2.529 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
2.530 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.531 * [backup-simplify]: Simplify (+ 1 0) into 1
2.531 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.532 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
2.532 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
2.532 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
2.532 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
2.534 * [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
2.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.535 * [backup-simplify]: Simplify (+ 0 0) into 0
2.536 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.537 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
2.537 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
2.538 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
2.539 * [backup-simplify]: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))
2.539 * [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)))
2.539 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
2.539 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
2.539 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
2.539 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
2.539 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.539 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.539 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.539 * [taylor]: Taking taylor expansion of 1 in a
2.539 * [backup-simplify]: Simplify 1 into 1
2.539 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.539 * [taylor]: Taking taylor expansion of -1 in a
2.539 * [backup-simplify]: Simplify -1 into -1
2.539 * [taylor]: Taking taylor expansion of a in a
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 1 into 1
2.540 * [backup-simplify]: Simplify (/ -1 1) into -1
2.540 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.541 * [backup-simplify]: Simplify (log -1) into (log -1)
2.541 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
2.541 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.541 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.541 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
2.542 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
2.543 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
2.543 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
2.543 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
2.543 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
2.543 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
2.543 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.543 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.544 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.544 * [taylor]: Taking taylor expansion of 1 in a
2.544 * [backup-simplify]: Simplify 1 into 1
2.544 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.544 * [taylor]: Taking taylor expansion of -1 in a
2.544 * [backup-simplify]: Simplify -1 into -1
2.544 * [taylor]: Taking taylor expansion of a in a
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 1 into 1
2.544 * [backup-simplify]: Simplify (/ -1 1) into -1
2.545 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.545 * [backup-simplify]: Simplify (log -1) into (log -1)
2.545 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
2.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.546 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.546 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
2.547 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
2.547 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
2.548 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
2.548 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
2.549 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
2.550 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
2.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.552 * [backup-simplify]: Simplify (+ 1 0) into 1
2.553 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
2.554 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
2.555 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
2.555 * [backup-simplify]: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
2.556 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
2.558 * [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
2.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.560 * [backup-simplify]: Simplify (+ 0 0) into 0
2.562 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
2.564 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
2.565 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
2.566 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
2.569 * [backup-simplify]: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))
2.569 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.569 * [backup-simplify]: Simplify (log1p a) into (log1p a)
2.569 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
2.569 * [taylor]: Taking taylor expansion of (log1p a) in a
2.569 * [taylor]: Rewrote expression to (log (+ 1 a))
2.569 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.569 * [taylor]: Taking taylor expansion of 1 in a
2.569 * [backup-simplify]: Simplify 1 into 1
2.570 * [taylor]: Taking taylor expansion of a in a
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify 1 into 1
2.570 * [backup-simplify]: Simplify (+ 1 0) into 1
2.570 * [backup-simplify]: Simplify (log 1) into 0
2.570 * [taylor]: Taking taylor expansion of (log1p a) in a
2.571 * [taylor]: Rewrote expression to (log (+ 1 a))
2.571 * [taylor]: Taking taylor expansion of (+ 1 a) in a
2.571 * [taylor]: Taking taylor expansion of 1 in a
2.571 * [backup-simplify]: Simplify 1 into 1
2.571 * [taylor]: Taking taylor expansion of a in a
2.571 * [backup-simplify]: Simplify 0 into 0
2.571 * [backup-simplify]: Simplify 1 into 1
2.571 * [backup-simplify]: Simplify (+ 1 0) into 1
2.571 * [backup-simplify]: Simplify (log 1) into 0
2.572 * [backup-simplify]: Simplify 0 into 0
2.572 * [backup-simplify]: Simplify (+ 0 1) into 1
2.573 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.573 * [backup-simplify]: Simplify 1 into 1
2.574 * [backup-simplify]: Simplify (+ 0 0) into 0
2.576 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.576 * [backup-simplify]: Simplify -1/2 into -1/2
2.577 * [backup-simplify]: Simplify (+ 0 0) into 0
2.582 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
2.582 * [backup-simplify]: Simplify 1/3 into 1/3
2.583 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
2.583 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
2.583 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
2.583 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.583 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.583 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.583 * [taylor]: Taking taylor expansion of 1 in a
2.583 * [backup-simplify]: Simplify 1 into 1
2.583 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.583 * [taylor]: Taking taylor expansion of a in a
2.583 * [backup-simplify]: Simplify 0 into 0
2.583 * [backup-simplify]: Simplify 1 into 1
2.584 * [backup-simplify]: Simplify (/ 1 1) into 1
2.584 * [backup-simplify]: Simplify (+ 0 1) into 1
2.584 * [backup-simplify]: Simplify (log 1) into 0
2.584 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
2.584 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
2.584 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
2.584 * [taylor]: Taking taylor expansion of 1 in a
2.584 * [backup-simplify]: Simplify 1 into 1
2.584 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.585 * [taylor]: Taking taylor expansion of a in a
2.585 * [backup-simplify]: Simplify 0 into 0
2.585 * [backup-simplify]: Simplify 1 into 1
2.585 * [backup-simplify]: Simplify (/ 1 1) into 1
2.585 * [backup-simplify]: Simplify (+ 0 1) into 1
2.586 * [backup-simplify]: Simplify (log 1) into 0
2.586 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
2.586 * [backup-simplify]: Simplify (- (log a)) into (- (log a))
2.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.587 * [backup-simplify]: Simplify (+ 1 0) into 1
2.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.589 * [backup-simplify]: Simplify 1 into 1
2.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.590 * [backup-simplify]: Simplify (+ 0 0) into 0
2.593 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.593 * [backup-simplify]: Simplify -1/2 into -1/2
2.593 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
2.593 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a))
2.593 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
2.593 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.594 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.594 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.594 * [taylor]: Taking taylor expansion of 1 in a
2.594 * [backup-simplify]: Simplify 1 into 1
2.594 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.594 * [taylor]: Taking taylor expansion of -1 in a
2.594 * [backup-simplify]: Simplify -1 into -1
2.594 * [taylor]: Taking taylor expansion of a in a
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 1 into 1
2.595 * [backup-simplify]: Simplify (/ -1 1) into -1
2.596 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.596 * [backup-simplify]: Simplify (log -1) into (log -1)
2.596 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
2.596 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
2.596 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
2.596 * [taylor]: Taking taylor expansion of 1 in a
2.596 * [backup-simplify]: Simplify 1 into 1
2.596 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.596 * [taylor]: Taking taylor expansion of -1 in a
2.596 * [backup-simplify]: Simplify -1 into -1
2.596 * [taylor]: Taking taylor expansion of a in a
2.596 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify 1 into 1
2.597 * [backup-simplify]: Simplify (/ -1 1) into -1
2.597 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.598 * [backup-simplify]: Simplify (log -1) into (log -1)
2.599 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
2.599 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a))
2.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.600 * [backup-simplify]: Simplify (+ 1 0) into 1
2.602 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
2.602 * [backup-simplify]: Simplify -1 into -1
2.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.604 * [backup-simplify]: Simplify (+ 0 0) into 0
2.607 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
2.607 * [backup-simplify]: Simplify -1/2 into -1/2
2.608 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
2.608 * * * [progress]: simplifying candidates
2.608 * * * * [progress]: [ 1 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
2.608 * * * * [progress]: [ 2 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
2.608 * * * * [progress]: [ 3 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
2.608 * * * * [progress]: [ 4 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
2.608 * * * * [progress]: [ 5 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
2.608 * * * * [progress]: [ 6 / 65 ] 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))))>
2.608 * * * * [progress]: [ 7 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
2.608 * * * * [progress]: [ 8 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
2.609 * * * * [progress]: [ 9 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
2.609 * * * * [progress]: [ 10 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
2.609 * * * * [progress]: [ 11 / 65 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 12 / 65 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 13 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
2.609 * * * * [progress]: [ 14 / 65 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
2.609 * * * * [progress]: [ 15 / 65 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 16 / 65 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 17 / 65 ] 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))))))>
2.609 * * * * [progress]: [ 18 / 65 ] 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))))))>
2.609 * * * * [progress]: [ 19 / 65 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 20 / 65 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
2.609 * * * * [progress]: [ 21 / 65 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 22 / 65 ] simplifiying candidate #<alt (λ (a) (acos (log1p (expm1 (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 23 / 65 ] simplifiying candidate #<alt (λ (a) (acos (expm1 (log1p (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.609 * * * * [progress]: [ 24 / 65 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))>
2.609 * * * * [progress]: [ 25 / 65 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))>
2.609 * * * * [progress]: [ 26 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a)))))>
2.610 * * * * [progress]: [ 27 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a)))))>
2.610 * * * * [progress]: [ 28 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))) (sqrt (log1p a)))))>
2.610 * * * * [progress]: [ 29 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
2.610 * * * * [progress]: [ 30 / 65 ] 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)))))>
2.610 * * * * [progress]: [ 31 / 65 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>
2.610 * * * * [progress]: [ 32 / 65 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a)))))>
2.610 * * * * [progress]: [ 33 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 1)))>
2.610 * * * * [progress]: [ 34 / 65 ] simplifiying candidate #<alt (λ (a) (acos (exp (log (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.610 * * * * [progress]: [ 35 / 65 ] simplifiying candidate #<alt (λ (a) (acos (log (exp (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.610 * * * * [progress]: [ 36 / 65 ] 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))))))>
2.610 * * * * [progress]: [ 37 / 65 ] 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))))))>
2.610 * * * * [progress]: [ 38 / 65 ] simplifiying candidate #<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.610 * * * * [progress]: [ 39 / 65 ] simplifiying candidate #<alt (λ (a) (acos (* 1 (pow (fmod (cosh a) (* a a)) (log1p a)))))>
2.610 * * * * [progress]: [ 40 / 65 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))>
2.610 * * * * [progress]: [ 41 / 65 ] simplifiying candidate #<alt (λ (a) (acos (posit16->real (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.610 * * * * [progress]: [ 42 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))))>
2.610 * * * * [progress]: [ 43 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p (expm1 (log1p a))))))>
2.611 * * * * [progress]: [ 44 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (expm1 (log1p (log1p a))))))>
2.611 * * * * [progress]: [ 45 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
2.611 * * * * [progress]: [ 46 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (pow (log1p a) 1))))>
2.611 * * * * [progress]: [ 47 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (exp (log (log1p a))))))>
2.611 * * * * [progress]: [ 48 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))>
2.611 * * * * [progress]: [ 49 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))))>
2.611 * * * * [progress]: [ 50 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (cbrt (* (* (log1p a) (log1p a)) (log1p a))))))>
2.611 * * * * [progress]: [ 51 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* (sqrt (log1p a)) (sqrt (log1p a))))))>
2.611 * * * * [progress]: [ 52 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (* 1 (log1p a)))))>
2.611 * * * * [progress]: [ 53 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (posit16->real (real->posit16 (log1p a))))))>
2.611 * * * * [progress]: [ 54 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.611 * * * * [progress]: [ 55 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.611 * * * * [progress]: [ 56 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.611 * * * * [progress]: [ 57 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.611 * * * * [progress]: [ 58 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.611 * * * * [progress]: [ 59 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.611 * * * * [progress]: [ 60 / 65 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))))>
2.611 * * * * [progress]: [ 61 / 65 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))))>
2.612 * * * * [progress]: [ 62 / 65 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))))>
2.612 * * * * [progress]: [ 63 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))))))>
2.612 * * * * [progress]: [ 64 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))))))>
2.612 * * * * [progress]: [ 65 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))))))>
2.613 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (expm1 (pow (fmod (cosh a) (* a a)) (log1p a))), (log1p (pow (fmod (cosh a) (* a a)) (log1p a))), (* (log (fmod (cosh a) (* a a))) (log1p a)), (* (log (fmod (cosh a) (* a a))) (log1p a)), (* 1 (log1p a)), (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))), (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))), (pow (fmod (cosh a) (* a a)) 1), (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)), (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow 1 (log1p a)), (pow (fmod (cosh a) (* a a)) (log1p a)), (log (pow (fmod (cosh a) (* a a)) (log1p a))), (exp (pow (fmod (cosh a) (* a a)) (log1p a))), (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))), (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))), (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))), (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))), (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))), (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)), (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)), (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a))), (+ 1 a), (expm1 (log1p a)), (log1p (log1p a)), (log (log1p a)), (exp (log1p a)), (* (cbrt (log1p a)) (cbrt (log1p a))), (cbrt (log1p a)), (* (* (log1p a) (log1p a)) (log1p a)), (sqrt (log1p a)), (sqrt (log1p a)), (real->posit16 (log1p a)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))), (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))), (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2)))), (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))), (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))), (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
2.615 * * [simplify]: iteration 1: (124 enodes)
2.694 * * [simplify]: iteration 2: (525 enodes)
2.849 * * [simplify]: iteration 3: (1160 enodes)
3.397 * * [simplify]: Extracting #0: cost 56 inf + 0
3.398 * * [simplify]: Extracting #1: cost 323 inf + 274
3.402 * * [simplify]: Extracting #2: cost 688 inf + 20784
3.429 * * [simplify]: Extracting #3: cost 579 inf + 121509
3.509 * * [simplify]: Extracting #4: cost 210 inf + 288860
3.603 * * [simplify]: Extracting #5: cost 31 inf + 404371
3.671 * * [simplify]: Extracting #6: cost 0 inf + 420735
3.754 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (expm1 (pow (fmod (cosh a) (* a a)) (log1p a))), (log1p (pow (fmod (cosh a) (* a a)) (log1p a))), (* (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)), (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)), (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), 1, (pow (fmod (cosh a) (* a a)) (log1p a)), (* (log1p a) (log (fmod (cosh a) (* a 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))), (+ a 1), a, (log1p (log1p a)), (log (log1p a)), (exp (log1p a)), (* (cbrt (log1p a)) (cbrt (log1p a))), (cbrt (log1p a)), (* (* (log1p a) (log1p a)) (log1p a)), (sqrt (log1p a)), (sqrt (log1p a)), (real->posit16 (log1p a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (- (fma (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))) (log (fmod (cosh a) (* a a))) (fma a (log (fmod (cosh a) (* a a))) 1)) (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a)))), (fma (/ (exp (* (log (fmod (cosh a) (* a a))) (log a))) (/ (* a a) (log (fmod (cosh a) (* a a))))) -1/2 (+ (exp (* (log (fmod (cosh a) (* a a))) (log a))) (fma (* (* (exp (* (log (fmod (cosh a) (* a a))) (log a))) (/ (log (fmod (cosh a) (* a a))) a)) (/ (log (fmod (cosh a) (* a a))) a)) 1/2 (* (exp (* (log (fmod (cosh a) (* a a))) (log a))) (/ (log (fmod (cosh a) (* a a))) a))))), (fma (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (log (fmod (cosh a) (* a a))) (* a a))) -1/2 (fma (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (log (fmod (cosh a) (* a a))) (/ (* a a) (log (fmod (cosh a) (* a a)))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))))), (fma -1/2 (* a a) (fma (* (* a a) a) 1/3 a)), (+ (/ 1 a) (+ (log a) (/ -1/2 (* a a)))), (+ (+ 0 (+ (log a) (/ -1/2 (* a a)))) (/ 1 a))
3.759 * * * [progress]: adding candidates to table
4.457 * * [progress]: iteration 2 / 4
4.457 * * * [progress]: picking best candidate
4.517 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
4.517 * * * [progress]: localizing error
4.546 * * * [progress]: generating rewritten candidates
4.546 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.546 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
4.554 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.563 * * * [progress]: generating series expansions
4.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
4.563 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.563 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.563 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.563 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.563 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.564 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.564 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.564 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.564 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.564 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.564 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.565 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.566 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.566 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.566 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.567 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.567 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
4.567 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.567 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.567 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.567 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.567 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.567 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.568 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.568 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.568 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.568 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.569 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.569 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.569 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.569 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.569 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.569 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.570 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.570 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.570 * [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)))
4.570 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.570 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.570 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.571 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.571 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.571 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.571 * [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))))
4.572 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.572 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.572 * [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))))
4.572 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.572 * [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))))
4.572 * [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))))
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify 0 into 0
4.573 * [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)))
4.573 * [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))))
4.573 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.573 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.573 * [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))))
4.573 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.574 * [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))))
4.574 * [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))))
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.574 * [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)))
4.574 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.575 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.575 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
4.575 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.575 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.575 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.575 * [taylor]: Taking taylor expansion of (log1p a) in a
4.575 * [taylor]: Rewrote expression to (log (+ 1 a))
4.575 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.575 * [taylor]: Taking taylor expansion of 1 in a
4.575 * [backup-simplify]: Simplify 1 into 1
4.575 * [taylor]: Taking taylor expansion of a in a
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify 1 into 1
4.576 * [backup-simplify]: Simplify (+ 1 0) into 1
4.576 * [backup-simplify]: Simplify (log 1) into 0
4.576 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.576 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.576 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.576 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.576 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.577 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.578 * [backup-simplify]: Simplify (+ 0 1) into 1
4.579 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.580 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.580 * [backup-simplify]: Simplify (exp 0) into 1
4.580 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.580 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.580 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.580 * [taylor]: Taking taylor expansion of (log1p a) in a
4.580 * [taylor]: Rewrote expression to (log (+ 1 a))
4.580 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.580 * [taylor]: Taking taylor expansion of 1 in a
4.580 * [backup-simplify]: Simplify 1 into 1
4.580 * [taylor]: Taking taylor expansion of a in a
4.580 * [backup-simplify]: Simplify 0 into 0
4.580 * [backup-simplify]: Simplify 1 into 1
4.581 * [backup-simplify]: Simplify (+ 1 0) into 1
4.581 * [backup-simplify]: Simplify (log 1) into 0
4.581 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.581 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.581 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.581 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.581 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.582 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.583 * [backup-simplify]: Simplify (+ 0 1) into 1
4.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.584 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.584 * [backup-simplify]: Simplify (exp 0) into 1
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
4.585 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.586 * [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
4.586 * [backup-simplify]: Simplify (+ 0 0) into 0
4.587 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.588 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.588 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.589 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
4.589 * [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)))
4.589 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
4.589 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.589 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.589 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.589 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.589 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.589 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.589 * [taylor]: Taking taylor expansion of 1 in a
4.589 * [backup-simplify]: Simplify 1 into 1
4.589 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.589 * [taylor]: Taking taylor expansion of a in a
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify 1 into 1
4.589 * [backup-simplify]: Simplify (/ 1 1) into 1
4.590 * [backup-simplify]: Simplify (+ 0 1) into 1
4.590 * [backup-simplify]: Simplify (log 1) into 0
4.590 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.590 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.590 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.590 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.591 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))
4.591 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
4.591 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.591 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.591 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.591 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.591 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.591 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.591 * [taylor]: Taking taylor expansion of 1 in a
4.591 * [backup-simplify]: Simplify 1 into 1
4.591 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.591 * [taylor]: Taking taylor expansion of a in a
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 1 into 1
4.591 * [backup-simplify]: Simplify (/ 1 1) into 1
4.591 * [backup-simplify]: Simplify (+ 0 1) into 1
4.592 * [backup-simplify]: Simplify (log 1) into 0
4.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.592 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.592 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.592 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))
4.593 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
4.593 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
4.593 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.594 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.594 * [backup-simplify]: Simplify (+ 1 0) into 1
4.595 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.595 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.596 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
4.596 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
4.596 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.598 * [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
4.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.599 * [backup-simplify]: Simplify (+ 0 0) into 0
4.600 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.600 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.601 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.601 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.602 * [backup-simplify]: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))
4.602 * [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)))
4.603 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
4.603 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.603 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.603 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.603 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.603 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.603 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.603 * [taylor]: Taking taylor expansion of 1 in a
4.603 * [backup-simplify]: Simplify 1 into 1
4.603 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.603 * [taylor]: Taking taylor expansion of -1 in a
4.603 * [backup-simplify]: Simplify -1 into -1
4.603 * [taylor]: Taking taylor expansion of a in a
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify 1 into 1
4.603 * [backup-simplify]: Simplify (/ -1 1) into -1
4.603 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.604 * [backup-simplify]: Simplify (log -1) into (log -1)
4.604 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.604 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.604 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.604 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.605 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.605 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.605 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
4.605 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.605 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.605 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.605 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.605 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.605 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.605 * [taylor]: Taking taylor expansion of 1 in a
4.605 * [backup-simplify]: Simplify 1 into 1
4.605 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.605 * [taylor]: Taking taylor expansion of -1 in a
4.605 * [backup-simplify]: Simplify -1 into -1
4.605 * [taylor]: Taking taylor expansion of a in a
4.605 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify 1 into 1
4.606 * [backup-simplify]: Simplify (/ -1 1) into -1
4.606 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.606 * [backup-simplify]: Simplify (log -1) into (log -1)
4.606 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.606 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.607 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.607 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.608 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
4.608 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
4.609 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.609 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.610 * [backup-simplify]: Simplify (+ 1 0) into 1
4.611 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.611 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.612 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.612 * [backup-simplify]: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.613 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.614 * [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
4.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.615 * [backup-simplify]: Simplify (+ 0 0) into 0
4.616 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
4.617 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.618 * [backup-simplify]: Simplify (* (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
4.618 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
4.625 * [backup-simplify]: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))
4.625 * * * [progress]: simplifying candidates
4.625 * * * * [progress]: [ 1 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 2 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 3 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
4.625 * * * * [progress]: [ 4 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 5 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 6 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 7 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 8 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 9 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
4.625 * * * * [progress]: [ 10 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 11 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 12 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.625 * * * * [progress]: [ 13 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 14 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 15 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
4.626 * * * * [progress]: [ 16 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
4.626 * * * * [progress]: [ 17 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.626 * * * * [progress]: [ 18 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 19 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
4.626 * * * * [progress]: [ 20 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
4.626 * * * * [progress]: [ 21 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.626 * * * * [progress]: [ 22 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 23 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 24 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 25 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 26 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 27 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
4.626 * * * * [progress]: [ 28 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.626 * * * * [progress]: [ 29 / 75 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 30 / 75 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 31 / 75 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.626 * * * * [progress]: [ 32 / 75 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
4.626 * * * * [progress]: [ 33 / 75 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 34 / 75 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 35 / 75 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 36 / 75 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 37 / 75 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 38 / 75 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.626 * * * * [progress]: [ 39 / 75 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 40 / 75 ] simplifiying candidate #<alt (λ (a) (acos (log1p (expm1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.626 * * * * [progress]: [ 41 / 75 ] simplifiying candidate #<alt (λ (a) (acos (expm1 (log1p (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.627 * * * * [progress]: [ 42 / 75 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
4.627 * * * * [progress]: [ 43 / 75 ] simplifiying candidate #<alt (λ (a) (acos (exp (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
4.627 * * * * [progress]: [ 44 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (* 1 (log1p a)))))>
4.627 * * * * [progress]: [ 45 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))) (cbrt (log1p a)))))>
4.627 * * * * [progress]: [ 46 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))) (sqrt (log1p a)))))>
4.627 * * * * [progress]: [ 47 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
4.627 * * * * [progress]: [ 48 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.627 * * * * [progress]: [ 49 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.627 * * * * [progress]: [ 50 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a)))))>
4.627 * * * * [progress]: [ 51 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (log (exp 1)) (log1p a)))))>
4.627 * * * * [progress]: [ 52 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)) (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
4.627 * * * * [progress]: [ 53 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)) (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)))))>
4.627 * * * * [progress]: [ 54 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow 1 (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.627 * * * * [progress]: [ 55 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) 1)))>
4.627 * * * * [progress]: [ 56 / 75 ] simplifiying candidate #<alt (λ (a) (acos (exp (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.627 * * * * [progress]: [ 57 / 75 ] simplifiying candidate #<alt (λ (a) (acos (log (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.627 * * * * [progress]: [ 58 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.627 * * * * [progress]: [ 59 / 75 ] simplifiying candidate #<alt (λ (a) (acos (cbrt (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.627 * * * * [progress]: [ 60 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.627 * * * * [progress]: [ 61 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* 1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.627 * * * * [progress]: [ 62 / 75 ] simplifiying candidate #<alt (λ (a) (acos (* (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)) (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)))))>
4.627 * * * * [progress]: [ 63 / 75 ] simplifiying candidate #<alt (λ (a) (acos (posit16->real (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.628 * * * * [progress]: [ 64 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
4.628 * * * * [progress]: [ 65 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
4.628 * * * * [progress]: [ 66 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
4.628 * * * * [progress]: [ 67 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.628 * * * * [progress]: [ 68 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.628 * * * * [progress]: [ 69 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.628 * * * * [progress]: [ 70 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.628 * * * * [progress]: [ 71 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.628 * * * * [progress]: [ 72 / 75 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.628 * * * * [progress]: [ 73 / 75 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))))>
4.628 * * * * [progress]: [ 74 / 75 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))))>
4.628 * * * * [progress]: [ 75 / 75 ] simplifiying candidate #<alt (λ (a) (acos (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))))>
4.629 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (log (exp (fmod (cosh a) (* a a))))), (log1p (log (exp (fmod (cosh a) (* a a))))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (/ PI 2), (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))), (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (expm1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (log1p (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)), (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a)), (* 1 (log1p a)), (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a)))), (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a))), (pow (log (exp (fmod (cosh a) (* a a)))) 1), (pow 1 (log1p a)), (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)), (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)), (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a)), (pow (fmod (cosh a) (* a a)) (log1p a)), (pow (log (exp 1)) (log1p a)), (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)), (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)), (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)), (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a)), (pow 1 (log1p a)), (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)), (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)), (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2)), (real->posit16 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2)))))), (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2)))), (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))
4.630 * * [simplify]: iteration 1: (132 enodes)
4.676 * * [simplify]: iteration 2: (519 enodes)
4.863 * * [simplify]: iteration 3: (1179 enodes)
5.785 * * [simplify]: Extracting #0: cost 47 inf + 0
5.785 * * [simplify]: Extracting #1: cost 277 inf + 2
5.787 * * [simplify]: Extracting #2: cost 784 inf + 187
5.798 * * [simplify]: Extracting #3: cost 820 inf + 56710
5.844 * * [simplify]: Extracting #4: cost 333 inf + 274100
5.906 * * [simplify]: Extracting #5: cost 45 inf + 451408
5.977 * * [simplify]: Extracting #6: cost 0 inf + 476669
6.050 * * [simplify]: Extracting #7: cost 0 inf + 475531
6.144 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (expm1 (pow (fmod (cosh a) (* a a)) (log1p a))), (log1p (pow (fmod (cosh a) (* a a)) (log1p a))), (* (log (fmod (cosh a) (* a a))) (log1p a)), (* (log (fmod (cosh a) (* a a))) (log1p a)), (log1p a), (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a)))), (pow (fmod (cosh a) (* a a)) (sqrt (log1p a))), (fmod (cosh a) (* a a)), 1, (pow (fmod (cosh a) (* a a)) (log1p a)), (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)), (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow (fmod (cosh a) (* a a)) (log1p a)), 1, (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)), (pow (cbrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)), 1, (pow (fmod (cosh a) (* a a)) (log1p a)), (* (log (fmod (cosh a) (* a a))) (log1p a)), (exp (pow (fmod (cosh a) (* a a)) (log1p a))), (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))), (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))), (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))), (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))), (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))), (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)), (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)), (real->posit16 (pow (fmod (cosh a) (* a a)) (log1p a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (+ (fma (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2)))), (fma (* (/ (log (fmod (cosh a) (* a a))) (* a a)) (exp (* (log a) (log (fmod (cosh a) (* a a)))))) -1/2 (fma (/ (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (/ (* a a) (exp (* (log a) (log (fmod (cosh a) (* a a))))))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (exp (* (log a) (log (fmod (cosh a) (* a a))))) (exp (* (log a) (log (fmod (cosh a) (* a a)))))))), (fma (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (log (fmod (cosh a) (* a a))) (* a a))) -1/2 (fma (* (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (/ (* (log (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a)))) (* a a))) 1/2 (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))))))
6.153 * * * [progress]: adding candidates to table
6.877 * * [progress]: iteration 3 / 4
6.878 * * * [progress]: picking best candidate
6.939 * * * * [pick]: Picked  #<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))))))>
6.939 * * * [progress]: localizing error
7.008 * * * [progress]: generating rewritten candidates
7.008 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
7.009 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
7.010 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
7.015 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
7.029 * * * [progress]: generating series expansions
7.029 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
7.030 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.030 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.030 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.030 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.030 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.030 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.030 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.031 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.032 * [backup-simplify]: Simplify 0 into 0
7.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.032 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.033 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.033 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
7.034 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.034 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.034 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.034 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.035 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.036 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.036 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.036 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.036 * [backup-simplify]: Simplify 0 into 0
7.036 * [backup-simplify]: Simplify 0 into 0
7.036 * [backup-simplify]: Simplify 0 into 0
7.036 * [backup-simplify]: Simplify 0 into 0
7.036 * [backup-simplify]: Simplify 0 into 0
7.036 * [backup-simplify]: Simplify 0 into 0
7.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.037 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
7.037 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.037 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.037 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.037 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.037 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.037 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.037 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.037 * [backup-simplify]: Simplify 0 into 0
7.037 * [backup-simplify]: Simplify 0 into 0
7.037 * [backup-simplify]: Simplify 0 into 0
7.037 * [backup-simplify]: Simplify 0 into 0
7.037 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.038 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.038 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.038 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.038 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.039 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.039 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.039 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.039 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.040 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.040 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.040 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
7.040 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.040 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.040 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.040 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.040 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.040 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.041 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify 0 into 0
7.041 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.041 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.041 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.042 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.042 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.043 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.043 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.043 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.043 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify 0 into 0
7.043 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.043 * * * [progress]: simplifying candidates
7.043 * * * * [progress]: [ 1 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 2 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 3 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))))>
7.044 * * * * [progress]: [ 4 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 5 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 6 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 7 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 8 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 9 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))))>
7.044 * * * * [progress]: [ 10 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.044 * * * * [progress]: [ 11 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.044 * * * * [progress]: [ 12 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.044 * * * * [progress]: [ 13 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.044 * * * * [progress]: [ 14 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.044 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.045 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.045 * * * * [progress]: [ 17 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.045 * * * * [progress]: [ 18 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.045 * * * * [progress]: [ 19 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.045 * * * * [progress]: [ 20 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.045 * * * * [progress]: [ 21 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.045 * * * * [progress]: [ 22 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.045 * * * * [progress]: [ 23 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.045 * * * * [progress]: [ 24 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.045 * * * * [progress]: [ 25 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
7.046 * * * * [progress]: [ 26 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
7.046 * * * * [progress]: [ 27 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
7.046 * * * * [progress]: [ 28 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 29 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))))>
7.046 * * * * [progress]: [ 30 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))))>
7.046 * * * * [progress]: [ 31 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
7.046 * * * * [progress]: [ 32 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 33 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 34 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 35 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 36 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 37 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
7.046 * * * * [progress]: [ 38 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
7.046 * * * * [progress]: [ 39 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.046 * * * * [progress]: [ 40 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 41 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 43 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 44 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 45 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 46 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 47 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 48 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 49 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 50 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 51 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 52 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 53 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 54 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.047 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 57 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
7.048 * * * * [progress]: [ 58 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
7.048 * * * * [progress]: [ 59 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
7.048 * * * * [progress]: [ 60 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 61 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 62 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 63 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
7.048 * * * * [progress]: [ 64 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
7.048 * * * * [progress]: [ 65 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
7.048 * * * * [progress]: [ 66 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 67 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.048 * * * * [progress]: [ 68 / 68 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
7.049 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (log (exp (fmod (cosh a) (* a a))))), (log1p (log (exp (fmod (cosh a) (* a a))))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (expm1 (log (exp (fmod (cosh a) (* a a))))), (log1p (log (exp (fmod (cosh a) (* a a))))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2))
7.050 * * [simplify]: iteration 1: (42 enodes)
7.070 * * [simplify]: iteration 2: (114 enodes)
7.085 * * [simplify]: iteration 3: (143 enodes)
7.103 * * [simplify]: iteration 4: (164 enodes)
7.124 * * [simplify]: iteration 5: (206 enodes)
7.157 * * [simplify]: iteration 6: (308 enodes)
7.252 * * [simplify]: iteration 7: (568 enodes)
7.553 * * [simplify]: iteration 8: (1459 enodes)
10.386 * * [simplify]: Extracting #0: cost 15 inf + 0
10.386 * * [simplify]: Extracting #1: cost 108 inf + 2
10.388 * * [simplify]: Extracting #2: cost 454 inf + 6
10.392 * * [simplify]: Extracting #3: cost 1064 inf + 1978
10.406 * * [simplify]: Extracting #4: cost 985 inf + 87129
10.544 * * [simplify]: Extracting #5: cost 221 inf + 667892
10.754 * * [simplify]: Extracting #6: cost 5 inf + 838112
10.961 * * [simplify]: Extracting #7: cost 0 inf + 832871
11.167 * * [simplify]: Extracting #8: cost 0 inf + 831529
11.386 * * [simplify]: Extracting #9: cost 0 inf + 831196
11.622 * * [simplify]: Extracting #10: cost 0 inf + 831085
11.845 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a))
11.856 * * * [progress]: adding candidates to table
12.967 * * [progress]: iteration 4 / 4
12.967 * * * [progress]: picking best candidate
13.023 * * * * [pick]: Picked  #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.023 * * * [progress]: localizing error
13.081 * * * [progress]: generating rewritten candidates
13.081 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
13.081 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1)
13.091 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
13.092 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
13.095 * * * [progress]: generating series expansions
13.095 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
13.095 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.095 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.095 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.095 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.095 * [backup-simplify]: Simplify 0 into 0
13.095 * [backup-simplify]: Simplify 0 into 0
13.095 * [backup-simplify]: Simplify 0 into 0
13.095 * [backup-simplify]: Simplify 0 into 0
13.095 * [backup-simplify]: Simplify 0 into 0
13.095 * [backup-simplify]: Simplify 0 into 0
13.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.096 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.096 * [backup-simplify]: Simplify 0 into 0
13.096 * [backup-simplify]: Simplify 0 into 0
13.096 * [backup-simplify]: Simplify 0 into 0
13.096 * [backup-simplify]: Simplify 0 into 0
13.096 * [backup-simplify]: Simplify 0 into 0
13.096 * [backup-simplify]: Simplify 0 into 0
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.096 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.096 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.097 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1 1 1)
13.097 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.097 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.097 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.097 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.097 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.097 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.097 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify 0 into 0
13.097 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.097 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.098 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.098 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.098 * [backup-simplify]: Simplify 0 into 0
13.098 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.099 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
13.099 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.099 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.099 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.099 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.099 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.099 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.099 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify 0 into 0
13.099 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.099 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.100 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.100 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.100 * [backup-simplify]: Simplify 0 into 0
13.100 * [backup-simplify]: Simplify 0 into 0
13.100 * [backup-simplify]: Simplify 0 into 0
13.100 * [backup-simplify]: Simplify 0 into 0
13.100 * [backup-simplify]: Simplify 0 into 0
13.100 * [backup-simplify]: Simplify 0 into 0
13.100 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.100 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.100 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.100 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.100 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.101 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.101 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.101 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
13.101 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
13.101 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.101 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.101 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.101 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.101 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.101 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify 0 into 0
13.101 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.102 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.102 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.102 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify 0 into 0
13.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.102 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.102 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.102 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.102 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.103 * [backup-simplify]: Simplify 0 into 0
13.103 * [backup-simplify]: Simplify 0 into 0
13.103 * [backup-simplify]: Simplify 0 into 0
13.103 * [backup-simplify]: Simplify 0 into 0
13.103 * [backup-simplify]: Simplify 0 into 0
13.103 * [backup-simplify]: Simplify 0 into 0
13.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.103 * * * [progress]: simplifying candidates
13.103 * * * * [progress]: [ 1 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 2 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 3 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))))>
13.103 * * * * [progress]: [ 4 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 5 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 6 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 7 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 8 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 9 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))))>
13.103 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.103 * * * * [progress]: [ 11 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.103 * * * * [progress]: [ 12 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.103 * * * * [progress]: [ 13 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.103 * * * * [progress]: [ 14 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 15 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 16 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 17 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 18 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 19 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* 1 (fmod (cosh a) (* a a))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 21 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (log1p (expm1 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 22 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (expm1 (log1p (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 23 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 24 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (exp (log (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 25 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (log (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 26 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 27 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 28 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (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)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 29 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (* 1 (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.104 * * * * [progress]: [ 31 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.104 * * * * [progress]: [ 32 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.104 * * * * [progress]: [ 33 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (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))))))>
13.104 * * * * [progress]: [ 34 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.104 * * * * [progress]: [ 35 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
13.104 * * * * [progress]: [ 36 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
13.104 * * * * [progress]: [ 37 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
13.104 * * * * [progress]: [ 38 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.104 * * * * [progress]: [ 39 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))))>
13.105 * * * * [progress]: [ 40 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))))>
13.105 * * * * [progress]: [ 41 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
13.105 * * * * [progress]: [ 42 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.105 * * * * [progress]: [ 43 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.105 * * * * [progress]: [ 44 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (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))))))>
13.105 * * * * [progress]: [ 45 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (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))))))>
13.105 * * * * [progress]: [ 46 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.105 * * * * [progress]: [ 47 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
13.105 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.105 * * * * [progress]: [ 49 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
13.105 * * * * [progress]: [ 50 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
13.105 * * * * [progress]: [ 51 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))))>
13.105 * * * * [progress]: [ 52 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.105 * * * * [progress]: [ 53 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.105 * * * * [progress]: [ 54 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.105 * * * * [progress]: [ 55 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.105 * * * * [progress]: [ 56 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.105 * * * * [progress]: [ 57 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
13.105 * * * * [progress]: [ 58 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
13.105 * * * * [progress]: [ 59 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
13.105 * * * * [progress]: [ 60 / 60 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
13.106 * [simplify]: Simplifying (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (log (exp (fmod (cosh a) (* a a))))), (log1p (log (exp (fmod (cosh a) (* a a))))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2))
13.106 * * [simplify]: iteration 1: (42 enodes)
13.116 * * [simplify]: iteration 2: (114 enodes)
13.132 * * [simplify]: iteration 3: (143 enodes)
13.149 * * [simplify]: iteration 4: (164 enodes)
13.173 * * [simplify]: iteration 5: (206 enodes)
13.204 * * [simplify]: iteration 6: (308 enodes)
13.287 * * [simplify]: iteration 7: (568 enodes)
13.530 * * [simplify]: iteration 8: (1459 enodes)
15.727 * * [simplify]: Extracting #0: cost 15 inf + 0
15.728 * * [simplify]: Extracting #1: cost 108 inf + 2
15.729 * * [simplify]: Extracting #2: cost 454 inf + 6
15.733 * * [simplify]: Extracting #3: cost 1064 inf + 1978
15.753 * * [simplify]: Extracting #4: cost 985 inf + 87129
15.876 * * [simplify]: Extracting #5: cost 221 inf + 667892
16.084 * * [simplify]: Extracting #6: cost 5 inf + 838112
16.352 * * [simplify]: Extracting #7: cost 0 inf + 832871
16.622 * * [simplify]: Extracting #8: cost 0 inf + 831529
16.838 * * [simplify]: Extracting #9: cost 0 inf + 831196
17.082 * * [simplify]: Extracting #10: cost 0 inf + 831085
17.310 * [simplify]: Simplified to (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (expm1 (fmod (cosh a) (* a a))), (log1p (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a))
17.317 * * * [progress]: adding candidates to table
18.384 * [progress]: [Phase 3 of 3] Extracting.
18.385 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (posit16->real (real->posit16 (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (- (fma (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))) (log (fmod (cosh a) (* a a))) (fma a (log (fmod (cosh a) (* a a))) 1)) (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>)
18.388 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
18.388 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (posit16->real (real->posit16 (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (- (fma (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))) (log (fmod (cosh a) (* a a))) (fma a (log (fmod (cosh a) (* a a))) 1)) (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>)
18.483 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (posit16->real (real->posit16 (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (- (fma (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))) (log (fmod (cosh a) (* a a))) (fma a (log (fmod (cosh a) (* a a))) 1)) (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>)
18.592 * * * * [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)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
18.639 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (* (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (posit16->real (real->posit16 (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (cbrt (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (- (fma (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))) (log (fmod (cosh a) (* a a))) (fma a (log (fmod (cosh a) (* a a))) 1)) (* 1/2 (* (log (fmod (cosh a) (* a a))) (* a a))))))> #<alt (λ (a) (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))>)
18.731 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
18.732 * [simplify]: Simplifying (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
18.732 * * [simplify]: iteration 1: (17 enodes)
18.733 * * [simplify]: iteration 2: (18 enodes)
18.733 * * [simplify]: Extracting #0: cost 1 inf + 0
18.733 * * [simplify]: Extracting #1: cost 3 inf + 0
18.733 * * [simplify]: Extracting #2: cost 5 inf + 0
18.733 * * [simplify]: Extracting #3: cost 7 inf + 0
18.733 * * [simplify]: Extracting #4: cost 10 inf + 0
18.733 * * [simplify]: Extracting #5: cost 13 inf + 0
18.733 * * [simplify]: Extracting #6: cost 14 inf + 1
18.734 * * [simplify]: Extracting #7: cost 15 inf + 92
18.734 * * [simplify]: Extracting #8: cost 12 inf + 355
18.734 * * [simplify]: Extracting #9: cost 8 inf + 1779
18.734 * * [simplify]: Extracting #10: cost 3 inf + 4629
18.735 * * [simplify]: Extracting #11: cost 1 inf + 6221
18.735 * * [simplify]: Extracting #12: cost 0 inf + 7487
18.735 * [simplify]: Simplified to (* (sqrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
52.162 * [regime-testing]: Baseline error score: 59.532994197964314
52.164 * [regime-testing]: Oracle error score: 58.50877496307647
52.169 * [regime-testing]: End program error score: 59.532994197964314