0.489 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.397 * * * [progress]: [2/2] Setting up program.
1.406 * [progress]: [Phase 2 of 3] Improving.
1.406 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.409 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.410 * * [simplify]: iteration 1: (7 enodes)
1.419 * * [simplify]: iteration 2: (16 enodes)
1.424 * * [simplify]: iteration 3: (24 enodes)
1.464 * * [simplify]: iteration 4: (42 enodes)
1.482 * * [simplify]: iteration 5: (85 enodes)
1.534 * * [simplify]: iteration 6: (197 enodes)
1.597 * * [simplify]: iteration 7: (473 enodes)
2.480 * * [simplify]: iteration 8: (1734 enodes)
13.290 * * [simplify]: Extracting #0: cost 1 inf + 0
13.290 * * [simplify]: Extracting #1: cost 2 inf + 0
13.291 * * [simplify]: Extracting #2: cost 207 inf + 0
13.301 * * [simplify]: Extracting #3: cost 1180 inf + 2
13.309 * * [simplify]: Extracting #4: cost 1216 inf + 280
13.326 * * [simplify]: Extracting #5: cost 1169 inf + 7610
13.343 * * [simplify]: Extracting #6: cost 1045 inf + 106542
13.505 * * [simplify]: Extracting #7: cost 302 inf + 1069445
13.767 * * [simplify]: Extracting #8: cost 6 inf + 1452227
14.057 * * [simplify]: Extracting #9: cost 0 inf + 1446384
14.333 * * [simplify]: Extracting #10: cost 0 inf + 1442151
14.614 * * [simplify]: Extracting #11: cost 0 inf + 1441780
14.891 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
14.897 * * [progress]: iteration 1 / 4
14.897 * * * [progress]: picking best candidate
14.901 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
14.901 * * * [progress]: localizing error
14.942 * * * [progress]: generating rewritten candidates
14.943 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
14.944 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
14.946 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
14.952 * * * [progress]: generating series expansions
14.953 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
14.959 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
14.959 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
14.961 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
14.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.963 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
14.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.963 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.964 * [backup-simplify]: Simplify 0 into 0
14.964 * [backup-simplify]: Simplify 0 into 0
14.964 * [backup-simplify]: Simplify 0 into 0
14.964 * [backup-simplify]: Simplify 0 into 0
14.964 * [backup-simplify]: Simplify 0 into 0
14.964 * [backup-simplify]: Simplify 0 into 0
14.964 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
14.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.964 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
14.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
14.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.965 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
14.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
14.965 * [backup-simplify]: Simplify 0 into 0
14.965 * [backup-simplify]: Simplify 0 into 0
14.965 * [backup-simplify]: Simplify 0 into 0
14.965 * [backup-simplify]: Simplify 0 into 0
14.965 * [backup-simplify]: Simplify 0 into 0
14.965 * [backup-simplify]: Simplify 0 into 0
14.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
14.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.966 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
14.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
14.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
14.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
14.967 * [backup-simplify]: Simplify 0 into 0
14.967 * [backup-simplify]: Simplify 0 into 0
14.967 * [backup-simplify]: Simplify 0 into 0
14.967 * [backup-simplify]: Simplify 0 into 0
14.967 * [backup-simplify]: Simplify 0 into 0
14.967 * [backup-simplify]: Simplify 0 into 0
14.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
14.967 * * * * [progress]: [ 2 / 3 ] generating series at (2)
14.968 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.968 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
14.968 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
14.968 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.968 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
14.968 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.968 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.968 * [backup-simplify]: Simplify 0 into 0
14.968 * [backup-simplify]: Simplify 0 into 0
14.968 * [backup-simplify]: Simplify 0 into 0
14.968 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify 0 into 0
14.969 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
14.969 * [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))))
14.969 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
14.969 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
14.969 * [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))))
14.969 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
14.970 * [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))))
14.970 * [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))))
14.970 * [backup-simplify]: Simplify 0 into 0
14.970 * [backup-simplify]: Simplify 0 into 0
14.970 * [backup-simplify]: Simplify 0 into 0
14.970 * [backup-simplify]: Simplify 0 into 0
14.970 * [backup-simplify]: Simplify 0 into 0
14.970 * [backup-simplify]: Simplify 0 into 0
14.970 * [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)))
14.971 * [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))))
14.971 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
14.971 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
14.971 * [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))))
14.971 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
14.971 * [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))))
14.972 * [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))))
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify 0 into 0
14.972 * [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)))
14.972 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
14.972 * [backup-simplify]: Simplify (cosh a) into (cosh a)
14.972 * [approximate]: Taking taylor expansion of (cosh a) in (a) around 0
14.972 * [taylor]: Taking taylor expansion of (cosh a) in a
14.973 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2)
14.973 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a
14.973 * [taylor]: Taking taylor expansion of (exp a) in a
14.973 * [taylor]: Taking taylor expansion of a in a
14.973 * [backup-simplify]: Simplify 0 into 0
14.973 * [backup-simplify]: Simplify 1 into 1
14.973 * [backup-simplify]: Simplify (exp 0) into 1
14.973 * [taylor]: Taking taylor expansion of (exp (- a)) in a
14.973 * [taylor]: Taking taylor expansion of (- a) in a
14.973 * [taylor]: Taking taylor expansion of a in a
14.973 * [backup-simplify]: Simplify 0 into 0
14.973 * [backup-simplify]: Simplify 1 into 1
14.974 * [backup-simplify]: Simplify (- 0) into 0
14.974 * [backup-simplify]: Simplify (- 1) into -1
14.974 * [backup-simplify]: Simplify (exp 0) into 1
14.974 * [taylor]: Taking taylor expansion of 2 in a
14.975 * [backup-simplify]: Simplify 2 into 2
14.976 * [backup-simplify]: Simplify (+ 1 1) into 2
14.976 * [backup-simplify]: Simplify (/ 2 2) into 1
14.976 * [taylor]: Taking taylor expansion of (cosh a) in a
14.976 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2)
14.976 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a
14.976 * [taylor]: Taking taylor expansion of (exp a) in a
14.976 * [taylor]: Taking taylor expansion of a in a
14.976 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify 1 into 1
14.976 * [backup-simplify]: Simplify (exp 0) into 1
14.976 * [taylor]: Taking taylor expansion of (exp (- a)) in a
14.976 * [taylor]: Taking taylor expansion of (- a) in a
14.976 * [taylor]: Taking taylor expansion of a in a
14.976 * [backup-simplify]: Simplify 0 into 0
14.976 * [backup-simplify]: Simplify 1 into 1
14.977 * [backup-simplify]: Simplify (- 0) into 0
14.977 * [backup-simplify]: Simplify (- 1) into -1
14.977 * [backup-simplify]: Simplify (exp 0) into 1
14.977 * [taylor]: Taking taylor expansion of 2 in a
14.977 * [backup-simplify]: Simplify 2 into 2
14.978 * [backup-simplify]: Simplify (+ 1 1) into 2
14.978 * [backup-simplify]: Simplify (/ 2 2) into 1
14.978 * [backup-simplify]: Simplify 1 into 1
14.980 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.980 * [backup-simplify]: Simplify (- 1) into -1
14.982 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.982 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.983 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
14.983 * [backup-simplify]: Simplify 0 into 0
14.985 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.985 * [backup-simplify]: Simplify (- 1) into -1
14.986 * [backup-simplify]: Simplify (- 0) into 0
14.987 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.988 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
14.989 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2
14.989 * [backup-simplify]: Simplify 1/2 into 1/2
14.992 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
14.992 * [backup-simplify]: Simplify (- 1) into -1
14.993 * [backup-simplify]: Simplify (- 1) into -1
14.993 * [backup-simplify]: Simplify (- 0) into 0
14.994 * [backup-simplify]: Simplify (- 0) into 0
14.996 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
14.997 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
14.998 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0
14.998 * [backup-simplify]: Simplify 0 into 0
15.003 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.003 * [backup-simplify]: Simplify (- 1) into -1
15.003 * [backup-simplify]: Simplify (- 1) into -1
15.004 * [backup-simplify]: Simplify (- 0) into 0
15.004 * [backup-simplify]: Simplify (- 1) into -1
15.004 * [backup-simplify]: Simplify (- 0) into 0
15.004 * [backup-simplify]: Simplify (- 0) into 0
15.005 * [backup-simplify]: Simplify (- 0) into 0
15.007 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.007 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
15.008 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24
15.008 * [backup-simplify]: Simplify 1/24 into 1/24
15.009 * [backup-simplify]: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1))
15.009 * [backup-simplify]: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a))
15.009 * [approximate]: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0
15.009 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a
15.010 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2)
15.010 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a
15.010 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
15.010 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.010 * [taylor]: Taking taylor expansion of a in a
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [backup-simplify]: Simplify 1 into 1
15.010 * [backup-simplify]: Simplify (/ 1 1) into 1
15.010 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
15.010 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a
15.010 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
15.010 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.010 * [taylor]: Taking taylor expansion of a in a
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [backup-simplify]: Simplify 1 into 1
15.010 * [backup-simplify]: Simplify (/ 1 1) into 1
15.011 * [backup-simplify]: Simplify (- 1) into -1
15.011 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a)))
15.011 * [taylor]: Taking taylor expansion of 2 in a
15.011 * [backup-simplify]: Simplify 2 into 2
15.011 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a)))
15.011 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a))))
15.011 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a
15.011 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2)
15.011 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a
15.011 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
15.011 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.011 * [taylor]: Taking taylor expansion of a in a
15.011 * [backup-simplify]: Simplify 0 into 0
15.011 * [backup-simplify]: Simplify 1 into 1
15.012 * [backup-simplify]: Simplify (/ 1 1) into 1
15.012 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
15.012 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a
15.012 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
15.012 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.012 * [taylor]: Taking taylor expansion of a in a
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 1 into 1
15.012 * [backup-simplify]: Simplify (/ 1 1) into 1
15.012 * [backup-simplify]: Simplify (- 1) into -1
15.012 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a)))
15.012 * [taylor]: Taking taylor expansion of 2 in a
15.012 * [backup-simplify]: Simplify 2 into 2
15.012 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a)))
15.012 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a))))
15.013 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a))))
15.013 * [backup-simplify]: Simplify (+ 0 0) into 0
15.014 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify (+ 0 0) into 0
15.015 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.015 * [backup-simplify]: Simplify 0 into 0
15.015 * [backup-simplify]: Simplify (+ 0 0) into 0
15.016 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.017 * [backup-simplify]: Simplify 0 into 0
15.017 * [backup-simplify]: Simplify (+ 0 0) into 0
15.018 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.018 * [backup-simplify]: Simplify 0 into 0
15.019 * [backup-simplify]: Simplify (+ 0 0) into 0
15.021 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.021 * [backup-simplify]: Simplify 0 into 0
15.021 * [backup-simplify]: Simplify (+ 0 0) into 0
15.023 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.023 * [backup-simplify]: Simplify 0 into 0
15.023 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp a) (exp (- a))))
15.023 * [backup-simplify]: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a))
15.023 * [approximate]: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0
15.023 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a
15.023 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2)
15.023 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a
15.023 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
15.023 * [taylor]: Taking taylor expansion of (/ -1 a) in a
15.023 * [taylor]: Taking taylor expansion of -1 in a
15.023 * [backup-simplify]: Simplify -1 into -1
15.023 * [taylor]: Taking taylor expansion of a in a
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 1 into 1
15.024 * [backup-simplify]: Simplify (/ -1 1) into -1
15.024 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
15.024 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a
15.024 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a
15.024 * [taylor]: Taking taylor expansion of (/ -1 a) in a
15.024 * [taylor]: Taking taylor expansion of -1 in a
15.024 * [backup-simplify]: Simplify -1 into -1
15.024 * [taylor]: Taking taylor expansion of a in a
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 1 into 1
15.024 * [backup-simplify]: Simplify (/ -1 1) into -1
15.025 * [backup-simplify]: Simplify (- -1) into 1
15.025 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a))
15.025 * [taylor]: Taking taylor expansion of 2 in a
15.025 * [backup-simplify]: Simplify 2 into 2
15.025 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a)))
15.025 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a))))
15.025 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a
15.025 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2)
15.025 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a
15.025 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
15.025 * [taylor]: Taking taylor expansion of (/ -1 a) in a
15.025 * [taylor]: Taking taylor expansion of -1 in a
15.025 * [backup-simplify]: Simplify -1 into -1
15.025 * [taylor]: Taking taylor expansion of a in a
15.025 * [backup-simplify]: Simplify 0 into 0
15.025 * [backup-simplify]: Simplify 1 into 1
15.025 * [backup-simplify]: Simplify (/ -1 1) into -1
15.025 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
15.025 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a
15.025 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a
15.025 * [taylor]: Taking taylor expansion of (/ -1 a) in a
15.025 * [taylor]: Taking taylor expansion of -1 in a
15.025 * [backup-simplify]: Simplify -1 into -1
15.025 * [taylor]: Taking taylor expansion of a in a
15.025 * [backup-simplify]: Simplify 0 into 0
15.025 * [backup-simplify]: Simplify 1 into 1
15.026 * [backup-simplify]: Simplify (/ -1 1) into -1
15.026 * [backup-simplify]: Simplify (- -1) into 1
15.026 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a))
15.026 * [taylor]: Taking taylor expansion of 2 in a
15.026 * [backup-simplify]: Simplify 2 into 2
15.026 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a)))
15.026 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a))))
15.026 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a))))
15.027 * [backup-simplify]: Simplify (+ 0 0) into 0
15.027 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)))) into 0
15.027 * [backup-simplify]: Simplify 0 into 0
15.028 * [backup-simplify]: Simplify (+ 0 0) into 0
15.028 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.029 * [backup-simplify]: Simplify 0 into 0
15.029 * [backup-simplify]: Simplify (+ 0 0) into 0
15.031 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.031 * [backup-simplify]: Simplify 0 into 0
15.031 * [backup-simplify]: Simplify (+ 0 0) into 0
15.034 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.034 * [backup-simplify]: Simplify 0 into 0
15.034 * [backup-simplify]: Simplify (+ 0 0) into 0
15.037 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.037 * [backup-simplify]: Simplify 0 into 0
15.038 * [backup-simplify]: Simplify (+ 0 0) into 0
15.041 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.041 * [backup-simplify]: Simplify 0 into 0
15.041 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a)))
15.041 * * * [progress]: simplifying candidates
15.041 * * * * [progress]: [ 1 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
15.041 * * * * [progress]: [ 2 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
15.042 * * * * [progress]: [ 3 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
15.042 * * * * [progress]: [ 4 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
15.042 * * * * [progress]: [ 5 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
15.042 * * * * [progress]: [ 6 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
15.042 * * * * [progress]: [ 7 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
15.042 * * * * [progress]: [ 8 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
15.042 * * * * [progress]: [ 9 / 35 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
15.042 * * * * [progress]: [ 10 / 35 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
15.042 * * * * [progress]: [ 11 / 35 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.042 * * * * [progress]: [ 12 / 35 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.042 * * * * [progress]: [ 13 / 35 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.042 * * * * [progress]: [ 14 / 35 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.042 * * * * [progress]: [ 15 / 35 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.042 * * * * [progress]: [ 16 / 35 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
15.042 * * * * [progress]: [ 17 / 35 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
15.042 * * * * [progress]: [ 18 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (/ (+ (exp a) (exp (- a))) 2) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 19 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (pow (cosh a) 1) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 20 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (exp (log (cosh a))) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 21 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (log (exp (cosh a))) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 22 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (* (* (cbrt (cosh a)) (cbrt (cosh a))) (cbrt (cosh a))) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 23 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cbrt (* (* (cosh a) (cosh a)) (cosh a))) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 24 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (* (sqrt (cosh a)) (sqrt (cosh a))) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 25 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (* 1 (cosh a)) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 26 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (posit16->real (real->posit16 (cosh a))) (* a a)) (log1p a))))>
15.042 * * * * [progress]: [ 27 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.042 * * * * [progress]: [ 28 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.042 * * * * [progress]: [ 29 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.042 * * * * [progress]: [ 30 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.042 * * * * [progress]: [ 31 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.043 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
15.043 * * * * [progress]: [ 33 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) (* a a)) (log1p a))))>
15.043 * * * * [progress]: [ 34 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (* 1/2 (+ (exp a) (exp (- a)))) (* a a)) (log1p a))))>
15.043 * * * * [progress]: [ 35 / 35 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (* 1/2 (+ (exp (* -1 a)) (exp a))) (* a a)) (log1p a))))>
15.043 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (+ (exp a) (exp (- a)))
  (log (cosh a))
  (exp (cosh a))
  (* (cbrt (cosh a)) (cbrt (cosh a)))
  (cbrt (cosh a))
  (* (* (cosh a) (cosh a)) (cosh a))
  (sqrt (cosh a))
  (sqrt (cosh a))
  (real->posit16 (cosh 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)) (+ (* 1/24 (pow a 4)) 1))
  (* 1/2 (+ (exp a) (exp (- a))))
  (* 1/2 (+ (exp (* -1 a)) (exp a)))
15.044 * * [simplify]: iteration 1: (58 enodes)
15.055 * * [simplify]: iteration 2: (103 enodes)
15.080 * * [simplify]: iteration 3: (170 enodes)
15.111 * * [simplify]: iteration 4: (344 enodes)
15.232 * * [simplify]: iteration 5: (836 enodes)
15.709 * * [simplify]: Extracting #0: cost 28 inf + 0
15.709 * * [simplify]: Extracting #1: cost 106 inf + 0
15.710 * * [simplify]: Extracting #2: cost 255 inf + 49
15.712 * * [simplify]: Extracting #3: cost 395 inf + 3643
15.716 * * [simplify]: Extracting #4: cost 313 inf + 22502
15.742 * * [simplify]: Extracting #5: cost 86 inf + 98630
15.764 * * [simplify]: Extracting #6: cost 0 inf + 145030
15.783 * * [simplify]: Extracting #7: cost 0 inf + 144750
15.806 * * [simplify]: Extracting #8: cost 0 inf + 144550
15.825 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (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))))
  (+ (exp (- a)) (exp a))
  (log (cosh a))
  (exp (cosh a))
  (* (cbrt (cosh a)) (cbrt (cosh a)))
  (cbrt (cosh a))
  (* (* (cosh a) (cosh a)) (cosh a))
  (sqrt (cosh a))
  (sqrt (cosh a))
  (real->posit16 (cosh 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)))
  (+ 1 (* (+ (* 1/24 (* a a)) 1/2) (* a a)))
  (+ (/ 1/2 (exp a)) (* (exp a) 1/2))
  (+ (/ 1/2 (exp a)) (* (exp a) 1/2))
15.827 * * * [progress]: adding candidates to table
16.213 * * [progress]: iteration 2 / 4
16.213 * * * [progress]: picking best candidate
16.248 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
16.248 * * * [progress]: localizing error
16.281 * * * [progress]: generating rewritten candidates
16.281 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
16.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
16.284 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
16.285 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
16.287 * * * [progress]: generating series expansions
16.287 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
16.287 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
16.287 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.287 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.288 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.288 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.288 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.288 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.288 * [backup-simplify]: Simplify 0 into 0
16.288 * [backup-simplify]: Simplify 0 into 0
16.288 * [backup-simplify]: Simplify 0 into 0
16.288 * [backup-simplify]: Simplify 0 into 0
16.288 * [backup-simplify]: Simplify 0 into 0
16.288 * [backup-simplify]: Simplify 0 into 0
16.288 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.288 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
16.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.288 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.288 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.289 * [backup-simplify]: Simplify 0 into 0
16.289 * [backup-simplify]: Simplify 0 into 0
16.289 * [backup-simplify]: Simplify 0 into 0
16.289 * [backup-simplify]: Simplify 0 into 0
16.289 * [backup-simplify]: Simplify 0 into 0
16.289 * [backup-simplify]: Simplify 0 into 0
16.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
16.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.289 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
16.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.289 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.289 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.289 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
16.290 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
16.290 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
16.290 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.290 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.290 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.290 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.290 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.290 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.291 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.291 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
16.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
16.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
16.291 * [backup-simplify]: Simplify 0 into 0
16.291 * [backup-simplify]: Simplify 0 into 0
16.291 * [backup-simplify]: Simplify 0 into 0
16.291 * [backup-simplify]: Simplify 0 into 0
16.291 * [backup-simplify]: Simplify 0 into 0
16.291 * [backup-simplify]: Simplify 0 into 0
16.291 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
16.291 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.291 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
16.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.292 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
16.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify 0 into 0
16.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
16.292 * * * * [progress]: [ 3 / 4 ] generating series at (2)
16.292 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.292 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
16.292 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.292 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.292 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.292 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.293 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.293 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
16.293 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
16.293 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
16.293 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
16.293 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
16.293 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
16.293 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.293 * [backup-simplify]: Simplify 0 into 0
16.294 * [backup-simplify]: Simplify 0 into 0
16.294 * [backup-simplify]: Simplify 0 into 0
16.294 * [backup-simplify]: Simplify 0 into 0
16.294 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.294 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
16.294 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
16.294 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
16.294 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
16.294 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
16.294 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
16.294 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
16.294 * [backup-simplify]: Simplify 0 into 0
16.294 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.295 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
16.295 * [backup-simplify]: Simplify (cosh a) into (cosh a)
16.295 * [approximate]: Taking taylor expansion of (cosh a) in (a) around 0
16.295 * [taylor]: Taking taylor expansion of (cosh a) in a
16.295 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2)
16.295 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a
16.295 * [taylor]: Taking taylor expansion of (exp a) in a
16.295 * [taylor]: Taking taylor expansion of a in a
16.295 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify 1 into 1
16.295 * [backup-simplify]: Simplify (exp 0) into 1
16.295 * [taylor]: Taking taylor expansion of (exp (- a)) in a
16.295 * [taylor]: Taking taylor expansion of (- a) in a
16.295 * [taylor]: Taking taylor expansion of a in a
16.295 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify 1 into 1
16.296 * [backup-simplify]: Simplify (- 0) into 0
16.296 * [backup-simplify]: Simplify (- 1) into -1
16.296 * [backup-simplify]: Simplify (exp 0) into 1
16.296 * [taylor]: Taking taylor expansion of 2 in a
16.296 * [backup-simplify]: Simplify 2 into 2
16.296 * [backup-simplify]: Simplify (+ 1 1) into 2
16.297 * [backup-simplify]: Simplify (/ 2 2) into 1
16.297 * [taylor]: Taking taylor expansion of (cosh a) in a
16.297 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2)
16.297 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a
16.297 * [taylor]: Taking taylor expansion of (exp a) in a
16.297 * [taylor]: Taking taylor expansion of a in a
16.297 * [backup-simplify]: Simplify 0 into 0
16.297 * [backup-simplify]: Simplify 1 into 1
16.297 * [backup-simplify]: Simplify (exp 0) into 1
16.297 * [taylor]: Taking taylor expansion of (exp (- a)) in a
16.297 * [taylor]: Taking taylor expansion of (- a) in a
16.297 * [taylor]: Taking taylor expansion of a in a
16.297 * [backup-simplify]: Simplify 0 into 0
16.297 * [backup-simplify]: Simplify 1 into 1
16.297 * [backup-simplify]: Simplify (- 0) into 0
16.298 * [backup-simplify]: Simplify (- 1) into -1
16.298 * [backup-simplify]: Simplify (exp 0) into 1
16.298 * [taylor]: Taking taylor expansion of 2 in a
16.298 * [backup-simplify]: Simplify 2 into 2
16.298 * [backup-simplify]: Simplify (+ 1 1) into 2
16.298 * [backup-simplify]: Simplify (/ 2 2) into 1
16.298 * [backup-simplify]: Simplify 1 into 1
16.299 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
16.299 * [backup-simplify]: Simplify (- 1) into -1
16.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
16.300 * [backup-simplify]: Simplify (+ 1 -1) into 0
16.301 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
16.301 * [backup-simplify]: Simplify 0 into 0
16.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
16.302 * [backup-simplify]: Simplify (- 1) into -1
16.302 * [backup-simplify]: Simplify (- 0) into 0
16.303 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
16.304 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
16.304 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2
16.304 * [backup-simplify]: Simplify 1/2 into 1/2
16.306 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
16.307 * [backup-simplify]: Simplify (- 1) into -1
16.307 * [backup-simplify]: Simplify (- 1) into -1
16.308 * [backup-simplify]: Simplify (- 0) into 0
16.308 * [backup-simplify]: Simplify (- 0) into 0
16.312 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
16.312 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
16.314 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0
16.314 * [backup-simplify]: Simplify 0 into 0
16.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
16.319 * [backup-simplify]: Simplify (- 1) into -1
16.319 * [backup-simplify]: Simplify (- 1) into -1
16.320 * [backup-simplify]: Simplify (- 0) into 0
16.320 * [backup-simplify]: Simplify (- 1) into -1
16.320 * [backup-simplify]: Simplify (- 0) into 0
16.321 * [backup-simplify]: Simplify (- 0) into 0
16.321 * [backup-simplify]: Simplify (- 0) into 0
16.326 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
16.326 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
16.328 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24
16.328 * [backup-simplify]: Simplify 1/24 into 1/24
16.328 * [backup-simplify]: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1))
16.328 * [backup-simplify]: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a))
16.328 * [approximate]: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0
16.328 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a
16.328 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2)
16.328 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a
16.328 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
16.328 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.329 * [taylor]: Taking taylor expansion of a in a
16.329 * [backup-simplify]: Simplify 0 into 0
16.329 * [backup-simplify]: Simplify 1 into 1
16.329 * [backup-simplify]: Simplify (/ 1 1) into 1
16.329 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
16.329 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a
16.329 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
16.329 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.329 * [taylor]: Taking taylor expansion of a in a
16.329 * [backup-simplify]: Simplify 0 into 0
16.329 * [backup-simplify]: Simplify 1 into 1
16.330 * [backup-simplify]: Simplify (/ 1 1) into 1
16.330 * [backup-simplify]: Simplify (- 1) into -1
16.330 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a)))
16.330 * [taylor]: Taking taylor expansion of 2 in a
16.330 * [backup-simplify]: Simplify 2 into 2
16.330 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a)))
16.331 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a))))
16.331 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a
16.331 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2)
16.331 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a
16.331 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
16.331 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.331 * [taylor]: Taking taylor expansion of a in a
16.331 * [backup-simplify]: Simplify 0 into 0
16.331 * [backup-simplify]: Simplify 1 into 1
16.331 * [backup-simplify]: Simplify (/ 1 1) into 1
16.331 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
16.331 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a
16.331 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
16.331 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.331 * [taylor]: Taking taylor expansion of a in a
16.331 * [backup-simplify]: Simplify 0 into 0
16.332 * [backup-simplify]: Simplify 1 into 1
16.332 * [backup-simplify]: Simplify (/ 1 1) into 1
16.332 * [backup-simplify]: Simplify (- 1) into -1
16.332 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a)))
16.332 * [taylor]: Taking taylor expansion of 2 in a
16.332 * [backup-simplify]: Simplify 2 into 2
16.333 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a)))
16.333 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a))))
16.333 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a))))
16.333 * [backup-simplify]: Simplify (+ 0 0) into 0
16.335 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0
16.335 * [backup-simplify]: Simplify 0 into 0
16.335 * [backup-simplify]: Simplify (+ 0 0) into 0
16.337 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.337 * [backup-simplify]: Simplify 0 into 0
16.337 * [backup-simplify]: Simplify (+ 0 0) into 0
16.338 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.338 * [backup-simplify]: Simplify 0 into 0
16.339 * [backup-simplify]: Simplify (+ 0 0) into 0
16.340 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.340 * [backup-simplify]: Simplify 0 into 0
16.341 * [backup-simplify]: Simplify (+ 0 0) into 0
16.343 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.343 * [backup-simplify]: Simplify 0 into 0
16.343 * [backup-simplify]: Simplify (+ 0 0) into 0
16.345 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.345 * [backup-simplify]: Simplify 0 into 0
16.345 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp a) (exp (- a))))
16.345 * [backup-simplify]: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a))
16.345 * [approximate]: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0
16.345 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a
16.346 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2)
16.346 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a
16.346 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
16.346 * [taylor]: Taking taylor expansion of (/ -1 a) in a
16.346 * [taylor]: Taking taylor expansion of -1 in a
16.346 * [backup-simplify]: Simplify -1 into -1
16.346 * [taylor]: Taking taylor expansion of a in a
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 1 into 1
16.346 * [backup-simplify]: Simplify (/ -1 1) into -1
16.346 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
16.346 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a
16.346 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a
16.346 * [taylor]: Taking taylor expansion of (/ -1 a) in a
16.346 * [taylor]: Taking taylor expansion of -1 in a
16.346 * [backup-simplify]: Simplify -1 into -1
16.346 * [taylor]: Taking taylor expansion of a in a
16.346 * [backup-simplify]: Simplify 0 into 0
16.346 * [backup-simplify]: Simplify 1 into 1
16.346 * [backup-simplify]: Simplify (/ -1 1) into -1
16.347 * [backup-simplify]: Simplify (- -1) into 1
16.347 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a))
16.347 * [taylor]: Taking taylor expansion of 2 in a
16.347 * [backup-simplify]: Simplify 2 into 2
16.347 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a)))
16.347 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a))))
16.347 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a
16.347 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2)
16.347 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a
16.347 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
16.347 * [taylor]: Taking taylor expansion of (/ -1 a) in a
16.347 * [taylor]: Taking taylor expansion of -1 in a
16.347 * [backup-simplify]: Simplify -1 into -1
16.347 * [taylor]: Taking taylor expansion of a in a
16.347 * [backup-simplify]: Simplify 0 into 0
16.347 * [backup-simplify]: Simplify 1 into 1
16.347 * [backup-simplify]: Simplify (/ -1 1) into -1
16.348 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
16.348 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a
16.348 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a
16.348 * [taylor]: Taking taylor expansion of (/ -1 a) in a
16.348 * [taylor]: Taking taylor expansion of -1 in a
16.348 * [backup-simplify]: Simplify -1 into -1
16.348 * [taylor]: Taking taylor expansion of a in a
16.348 * [backup-simplify]: Simplify 0 into 0
16.348 * [backup-simplify]: Simplify 1 into 1
16.348 * [backup-simplify]: Simplify (/ -1 1) into -1
16.348 * [backup-simplify]: Simplify (- -1) into 1
16.348 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a))
16.348 * [taylor]: Taking taylor expansion of 2 in a
16.348 * [backup-simplify]: Simplify 2 into 2
16.348 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a)))
16.348 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a))))
16.349 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a))))
16.349 * [backup-simplify]: Simplify (+ 0 0) into 0
16.350 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)))) into 0
16.350 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify (+ 0 0) into 0
16.351 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.351 * [backup-simplify]: Simplify 0 into 0
16.351 * [backup-simplify]: Simplify (+ 0 0) into 0
16.353 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.353 * [backup-simplify]: Simplify 0 into 0
16.353 * [backup-simplify]: Simplify (+ 0 0) into 0
16.354 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.355 * [backup-simplify]: Simplify 0 into 0
16.355 * [backup-simplify]: Simplify (+ 0 0) into 0
16.357 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.357 * [backup-simplify]: Simplify 0 into 0
16.357 * [backup-simplify]: Simplify (+ 0 0) into 0
16.359 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
16.359 * [backup-simplify]: Simplify 0 into 0
16.359 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a)))
16.359 * * * [progress]: simplifying candidates
16.359 * * * * [progress]: [ 1 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
16.359 * * * * [progress]: [ 2 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 3 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 4 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 5 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 6 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 7 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
16.360 * * * * [progress]: [ 8 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 9 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 10 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 11 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
16.360 * * * * [progress]: [ 12 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
16.360 * * * * [progress]: [ 13 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
16.360 * * * * [progress]: [ 14 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 15 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
16.360 * * * * [progress]: [ 16 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
16.360 * * * * [progress]: [ 17 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
16.360 * * * * [progress]: [ 18 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 19 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 20 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 21 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 22 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 23 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
16.360 * * * * [progress]: [ 24 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
16.360 * * * * [progress]: [ 25 / 54 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.360 * * * * [progress]: [ 26 / 54 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
16.360 * * * * [progress]: [ 27 / 54 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.360 * * * * [progress]: [ 28 / 54 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.360 * * * * [progress]: [ 29 / 54 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.361 * * * * [progress]: [ 30 / 54 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.361 * * * * [progress]: [ 31 / 54 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.361 * * * * [progress]: [ 32 / 54 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
16.361 * * * * [progress]: [ 33 / 54 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
16.361 * * * * [progress]: [ 34 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (/ (+ (exp a) (exp (- a))) 2) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 35 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (pow (cosh a) 1) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 36 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (exp (log (cosh a))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 37 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (log (exp (cosh a))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 38 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (* (* (cbrt (cosh a)) (cbrt (cosh a))) (cbrt (cosh a))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 39 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cbrt (* (* (cosh a) (cosh a)) (cosh a))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 40 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (* (sqrt (cosh a)) (sqrt (cosh a))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 41 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (* 1 (cosh a)) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 42 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (posit16->real (real->posit16 (cosh a))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 43 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
16.361 * * * * [progress]: [ 44 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
16.361 * * * * [progress]: [ 45 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
16.361 * * * * [progress]: [ 46 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.361 * * * * [progress]: [ 47 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.361 * * * * [progress]: [ 48 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.361 * * * * [progress]: [ 49 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.361 * * * * [progress]: [ 50 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.361 * * * * [progress]: [ 51 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
16.361 * * * * [progress]: [ 52 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 53 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (* 1/2 (+ (exp a) (exp (- a)))) (* a a)))) (log1p a))))>
16.361 * * * * [progress]: [ 54 / 54 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (* 1/2 (+ (exp (* -1 a)) (exp a))) (* a a)))) (log1p a))))>
16.362 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (real->posit16 (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (+ (exp a) (exp (- a)))
  (log (cosh a))
  (exp (cosh a))
  (* (cbrt (cosh a)) (cbrt (cosh a)))
  (cbrt (cosh a))
  (* (* (cosh a) (cosh a)) (cosh a))
  (sqrt (cosh a))
  (sqrt (cosh a))
  (real->posit16 (cosh 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)) (+ (* 1/24 (pow a 4)) 1))
  (* 1/2 (+ (exp a) (exp (- a))))
  (* 1/2 (+ (exp (* -1 a)) (exp a)))
16.362 * * [simplify]: iteration 1: (80 enodes)
16.387 * * [simplify]: iteration 2: (134 enodes)
16.424 * * [simplify]: iteration 3: (211 enodes)
16.462 * * [simplify]: iteration 4: (401 enodes)
16.607 * * [simplify]: iteration 5: (931 enodes)
17.147 * * [simplify]: Extracting #0: cost 33 inf + 0
17.148 * * [simplify]: Extracting #1: cost 127 inf + 2
17.148 * * [simplify]: Extracting #2: cost 279 inf + 232
17.150 * * [simplify]: Extracting #3: cost 453 inf + 732
17.153 * * [simplify]: Extracting #4: cost 368 inf + 17185
17.163 * * [simplify]: Extracting #5: cost 154 inf + 86342
17.182 * * [simplify]: Extracting #6: cost 19 inf + 144382
17.205 * * [simplify]: Extracting #7: cost 0 inf + 156113
17.233 * * [simplify]: Extracting #8: cost 0 inf + 155673
17.262 * * [simplify]: Extracting #9: cost 0 inf + 155633
17.284 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (real->posit16 (fmod (cosh a) (* a a)))
  (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (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)))
  (/ 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))))
  (+ (exp a) (exp (- a)))
  (log (cosh a))
  (exp (cosh a))
  (* (cbrt (cosh a)) (cbrt (cosh a)))
  (cbrt (cosh a))
  (* (cosh a) (* (cosh a) (cosh a)))
  (sqrt (cosh a))
  (sqrt (cosh a))
  (real->posit16 (cosh 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)))
  (+ 1 (* (* a a) (+ (* (* a a) 1/24) 1/2)))
  (+ (* 1/2 (exp a)) (/ 1/2 (exp a)))
  (+ (* 1/2 (exp a)) (/ 1/2 (exp a)))
17.288 * * * [progress]: adding candidates to table
17.830 * * [progress]: iteration 3 / 4
17.830 * * * [progress]: picking best candidate
17.901 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))>
17.901 * * * [progress]: localizing error
17.941 * * * [progress]: generating rewritten candidates
17.941 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
17.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
17.944 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
17.945 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2)
17.951 * * * [progress]: generating series expansions
17.952 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
17.952 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.952 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in (a) around 0
17.952 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
17.952 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.952 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
17.952 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.952 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.953 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.953 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in (a) around 0
17.953 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
17.953 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.953 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
17.953 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.953 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.953 * [backup-simplify]: Simplify 0 into 0
17.953 * [backup-simplify]: Simplify 0 into 0
17.953 * [backup-simplify]: Simplify 0 into 0
17.953 * [backup-simplify]: Simplify 0 into 0
17.953 * [backup-simplify]: Simplify 0 into 0
17.953 * [backup-simplify]: Simplify 0 into 0
17.954 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.954 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.954 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
17.954 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
17.954 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.954 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
17.954 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.954 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.954 * [backup-simplify]: Simplify 0 into 0
17.954 * [backup-simplify]: Simplify 0 into 0
17.954 * [backup-simplify]: Simplify 0 into 0
17.954 * [backup-simplify]: Simplify 0 into 0
17.954 * [backup-simplify]: Simplify 0 into 0
17.954 * [backup-simplify]: Simplify 0 into 0
17.955 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.955 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
17.955 * [backup-simplify]: Simplify (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.955 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in (a) around 0
17.955 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
17.955 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.955 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
17.955 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.955 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.955 * [backup-simplify]: Simplify 0 into 0
17.955 * [backup-simplify]: Simplify 0 into 0
17.955 * [backup-simplify]: Simplify 0 into 0
17.955 * [backup-simplify]: Simplify 0 into 0
17.955 * [backup-simplify]: Simplify 0 into 0
17.955 * [backup-simplify]: Simplify 0 into 0
17.956 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.956 * [backup-simplify]: Simplify (log (exp (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a))))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.956 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in (a) around 0
17.956 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
17.956 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.956 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
17.956 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.956 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
17.956 * [backup-simplify]: Simplify 0 into 0
17.956 * [backup-simplify]: Simplify 0 into 0
17.956 * [backup-simplify]: Simplify 0 into 0
17.956 * [backup-simplify]: Simplify 0 into 0
17.957 * [backup-simplify]: Simplify 0 into 0
17.957 * [backup-simplify]: Simplify 0 into 0
17.957 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.957 * [backup-simplify]: Simplify (log (exp (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.957 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
17.957 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
17.957 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.957 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
17.957 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.958 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
17.958 * [backup-simplify]: Simplify 0 into 0
17.958 * [backup-simplify]: Simplify 0 into 0
17.958 * [backup-simplify]: Simplify 0 into 0
17.958 * [backup-simplify]: Simplify 0 into 0
17.958 * [backup-simplify]: Simplify 0 into 0
17.958 * [backup-simplify]: Simplify 0 into 0
17.958 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
17.958 * * * * [progress]: [ 3 / 4 ] generating series at (2)
17.958 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.958 * [approximate]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) in (a) around 0
17.958 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) in a
17.958 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.958 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) in a
17.959 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.959 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.959 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.959 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
17.959 * [approximate]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
17.959 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
17.964 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
17.964 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
17.964 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
17.965 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.965 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
17.965 * [approximate]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
17.965 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
17.966 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
17.966 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
17.966 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
17.966 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
17.966 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
17.966 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2)
17.967 * [backup-simplify]: Simplify (/ 1/2 (exp a)) into (/ 1/2 (exp a))
17.967 * [approximate]: Taking taylor expansion of (/ 1/2 (exp a)) in (a) around 0
17.967 * [taylor]: Taking taylor expansion of (/ 1/2 (exp a)) in a
17.967 * [taylor]: Taking taylor expansion of 1/2 in a
17.967 * [backup-simplify]: Simplify 1/2 into 1/2
17.967 * [taylor]: Taking taylor expansion of (exp a) in a
17.967 * [taylor]: Taking taylor expansion of a in a
17.967 * [backup-simplify]: Simplify 0 into 0
17.967 * [backup-simplify]: Simplify 1 into 1
17.967 * [backup-simplify]: Simplify (exp 0) into 1
17.967 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
17.967 * [taylor]: Taking taylor expansion of (/ 1/2 (exp a)) in a
17.967 * [taylor]: Taking taylor expansion of 1/2 in a
17.967 * [backup-simplify]: Simplify 1/2 into 1/2
17.967 * [taylor]: Taking taylor expansion of (exp a) in a
17.967 * [taylor]: Taking taylor expansion of a in a
17.967 * [backup-simplify]: Simplify 0 into 0
17.967 * [backup-simplify]: Simplify 1 into 1
17.967 * [backup-simplify]: Simplify (exp 0) into 1
17.968 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
17.968 * [backup-simplify]: Simplify 1/2 into 1/2
17.969 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
17.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 1 1)))) into -1/2
17.969 * [backup-simplify]: Simplify -1/2 into -1/2
17.970 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
17.971 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 1/2 1)) (* -1/2 (/ 1 1)))) into 1/4
17.971 * [backup-simplify]: Simplify 1/4 into 1/4
17.971 * [backup-simplify]: Simplify (+ (* 1/4 (pow a 2)) (+ (* -1/2 a) 1/2)) into (- (+ (* 1/4 (pow a 2)) 1/2) (* 1/2 a))
17.971 * [backup-simplify]: Simplify (/ 1/2 (exp (/ 1 a))) into (/ 1/2 (exp (/ 1 a)))
17.971 * [approximate]: Taking taylor expansion of (/ 1/2 (exp (/ 1 a))) in (a) around 0
17.971 * [taylor]: Taking taylor expansion of (/ 1/2 (exp (/ 1 a))) in a
17.971 * [taylor]: Taking taylor expansion of 1/2 in a
17.972 * [backup-simplify]: Simplify 1/2 into 1/2
17.972 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
17.972 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.972 * [taylor]: Taking taylor expansion of a in a
17.972 * [backup-simplify]: Simplify 0 into 0
17.972 * [backup-simplify]: Simplify 1 into 1
17.972 * [backup-simplify]: Simplify (/ 1 1) into 1
17.972 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
17.972 * [backup-simplify]: Simplify (/ 1/2 (exp (/ 1 a))) into (/ 1/2 (exp (/ 1 a)))
17.972 * [taylor]: Taking taylor expansion of (/ 1/2 (exp (/ 1 a))) in a
17.972 * [taylor]: Taking taylor expansion of 1/2 in a
17.972 * [backup-simplify]: Simplify 1/2 into 1/2
17.972 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
17.972 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.972 * [taylor]: Taking taylor expansion of a in a
17.972 * [backup-simplify]: Simplify 0 into 0
17.972 * [backup-simplify]: Simplify 1 into 1
17.972 * [backup-simplify]: Simplify (/ 1 1) into 1
17.972 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
17.972 * [backup-simplify]: Simplify (/ 1/2 (exp (/ 1 a))) into (/ 1/2 (exp (/ 1 a)))
17.973 * [backup-simplify]: Simplify (/ 1/2 (exp (/ 1 a))) into (/ 1/2 (exp (/ 1 a)))
17.973 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 a))) (+ (* (/ 1/2 (exp (/ 1 a))) (/ 0 (exp (/ 1 a)))))) into 0
17.973 * [backup-simplify]: Simplify 0 into 0
17.973 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 a))) (+ (* (/ 1/2 (exp (/ 1 a))) (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))))) into 0
17.973 * [backup-simplify]: Simplify 0 into 0
17.973 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 a))) (+ (* (/ 1/2 (exp (/ 1 a))) (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))))) into 0
17.973 * [backup-simplify]: Simplify 0 into 0
17.973 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 a))) (+ (* (/ 1/2 (exp (/ 1 a))) (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))))) into 0
17.973 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 a))) (+ (* (/ 1/2 (exp (/ 1 a))) (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))))) into 0
17.974 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 a))) (+ (* (/ 1/2 (exp (/ 1 a))) (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))) (* 0 (/ 0 (exp (/ 1 a)))))) into 0
17.974 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify (/ 1/2 (exp (/ 1 (/ 1 a)))) into (/ 1/2 (exp a))
17.974 * [backup-simplify]: Simplify (/ 1/2 (exp (/ 1 (- a)))) into (/ 1/2 (exp (/ -1 a)))
17.974 * [approximate]: Taking taylor expansion of (/ 1/2 (exp (/ -1 a))) in (a) around 0
17.974 * [taylor]: Taking taylor expansion of (/ 1/2 (exp (/ -1 a))) in a
17.974 * [taylor]: Taking taylor expansion of 1/2 in a
17.974 * [backup-simplify]: Simplify 1/2 into 1/2
17.974 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
17.974 * [taylor]: Taking taylor expansion of (/ -1 a) in a
17.974 * [taylor]: Taking taylor expansion of -1 in a
17.974 * [backup-simplify]: Simplify -1 into -1
17.974 * [taylor]: Taking taylor expansion of a in a
17.974 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify 1 into 1
17.975 * [backup-simplify]: Simplify (/ -1 1) into -1
17.975 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
17.975 * [backup-simplify]: Simplify (/ 1/2 (exp (/ -1 a))) into (/ 1/2 (exp (/ -1 a)))
17.975 * [taylor]: Taking taylor expansion of (/ 1/2 (exp (/ -1 a))) in a
17.975 * [taylor]: Taking taylor expansion of 1/2 in a
17.975 * [backup-simplify]: Simplify 1/2 into 1/2
17.975 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
17.975 * [taylor]: Taking taylor expansion of (/ -1 a) in a
17.975 * [taylor]: Taking taylor expansion of -1 in a
17.975 * [backup-simplify]: Simplify -1 into -1
17.975 * [taylor]: Taking taylor expansion of a in a
17.975 * [backup-simplify]: Simplify 0 into 0
17.975 * [backup-simplify]: Simplify 1 into 1
17.975 * [backup-simplify]: Simplify (/ -1 1) into -1
17.975 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
17.975 * [backup-simplify]: Simplify (/ 1/2 (exp (/ -1 a))) into (/ 1/2 (exp (/ -1 a)))
17.975 * [backup-simplify]: Simplify (/ 1/2 (exp (/ -1 a))) into (/ 1/2 (exp (/ -1 a)))
17.976 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 a))) (+ (* (/ 1/2 (exp (/ -1 a))) (/ 0 (exp (/ -1 a)))))) into 0
17.976 * [backup-simplify]: Simplify 0 into 0
17.976 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 a))) (+ (* (/ 1/2 (exp (/ -1 a))) (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))))) into 0
17.976 * [backup-simplify]: Simplify 0 into 0
17.976 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 a))) (+ (* (/ 1/2 (exp (/ -1 a))) (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))))) into 0
17.976 * [backup-simplify]: Simplify 0 into 0
17.976 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 a))) (+ (* (/ 1/2 (exp (/ -1 a))) (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))))) into 0
17.976 * [backup-simplify]: Simplify 0 into 0
17.977 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 a))) (+ (* (/ 1/2 (exp (/ -1 a))) (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))))) into 0
17.977 * [backup-simplify]: Simplify 0 into 0
17.977 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 a))) (+ (* (/ 1/2 (exp (/ -1 a))) (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))) (* 0 (/ 0 (exp (/ -1 a)))))) into 0
17.977 * [backup-simplify]: Simplify 0 into 0
17.977 * [backup-simplify]: Simplify (/ 1/2 (exp (/ -1 (/ 1 (- a))))) into (/ 1/2 (exp a))
17.977 * * * [progress]: simplifying candidates
17.977 * * * * [progress]: [ 1 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) 1))) (log1p a))))>
17.977 * * * * [progress]: [ 2 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 3 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 4 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 5 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 6 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 7 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log1p a))))>
17.977 * * * * [progress]: [ 8 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 9 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (cbrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.977 * * * * [progress]: [ 10 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (sqrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 11 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log1p a))))>
17.978 * * * * [progress]: [ 12 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log1p a))))>
17.978 * * * * [progress]: [ 13 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (log1p a))))>
17.978 * * * * [progress]: [ 14 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 15 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log (exp 1))) (log1p a))))>
17.978 * * * * [progress]: [ 16 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) 1) (log1p a))))>
17.978 * * * * [progress]: [ 17 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))>
17.978 * * * * [progress]: [ 18 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 19 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 20 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (cbrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (cbrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 21 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 22 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (sqrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 23 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log1p a))))>
17.978 * * * * [progress]: [ 24 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
17.978 * * * * [progress]: [ 25 / 73 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))))>
17.978 * * * * [progress]: [ 26 / 73 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))) 1))>
17.978 * * * * [progress]: [ 27 / 73 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))>
17.978 * * * * [progress]: [ 28 / 73 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))>
17.978 * * * * [progress]: [ 29 / 73 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))>
17.978 * * * * [progress]: [ 30 / 73 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))>
17.978 * * * * [progress]: [ 31 / 73 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))>
17.978 * * * * [progress]: [ 32 / 73 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))))>
17.978 * * * * [progress]: [ 33 / 73 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))>
17.978 * * * * [progress]: [ 34 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (pow (/ 1/2 (exp a)) 1)) (* a a)))) (log1p a))))>
17.978 * * * * [progress]: [ 35 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (exp (- (log 1/2) a))) (* a a)))) (log1p a))))>
17.978 * * * * [progress]: [ 36 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (exp (log (/ 1/2 (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 37 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (log (exp (/ 1/2 (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 38 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (cbrt (/ (* (* 1/2 1/2) 1/2) (* (* (exp a) (exp a)) (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 39 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (* (cbrt (/ 1/2 (exp a))) (cbrt (/ 1/2 (exp a)))) (cbrt (/ 1/2 (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 40 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (cbrt (* (* (/ 1/2 (exp a)) (/ 1/2 (exp a))) (/ 1/2 (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 41 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (sqrt (/ 1/2 (exp a))) (sqrt (/ 1/2 (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 42 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ (- 1/2) (- (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 43 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt (exp a)) (cbrt (exp a)))) (/ (cbrt 1/2) (cbrt (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 44 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (exp a))) (/ (cbrt 1/2) (sqrt (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 45 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ (* (cbrt 1/2) (cbrt 1/2)) 1) (/ (cbrt 1/2) (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 46 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ (sqrt 1/2) (* (cbrt (exp a)) (cbrt (exp a)))) (/ (sqrt 1/2) (cbrt (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 47 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ (sqrt 1/2) (sqrt (exp a))) (/ (sqrt 1/2) (sqrt (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 48 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ (sqrt 1/2) 1) (/ (sqrt 1/2) (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 49 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ 1 (* (cbrt (exp a)) (cbrt (exp a)))) (/ 1/2 (cbrt (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 50 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ 1 (sqrt (exp a))) (/ 1/2 (sqrt (exp a))))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 51 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* (/ 1 1) (/ 1/2 (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 52 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* 1 (/ 1/2 (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 53 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 54 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1 (/ (exp a) 1/2))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 55 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ (/ 1/2 (* (cbrt (exp a)) (cbrt (exp a)))) (cbrt (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 56 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ (/ 1/2 (sqrt (exp a))) (sqrt (exp a)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 57 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ (/ 1/2 1) (exp a))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 58 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ (* (cbrt 1/2) (cbrt 1/2)) (/ (exp a) (cbrt 1/2)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 59 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ (sqrt 1/2) (/ (exp a) (sqrt 1/2)))) (* a a)))) (log1p a))))>
17.979 * * * * [progress]: [ 60 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1 (/ (exp a) 1/2))) (* a a)))) (log1p a))))>
17.980 * * * * [progress]: [ 61 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (posit16->real (real->posit16 (/ 1/2 (exp a))))) (* a a)))) (log1p a))))>
17.980 * * * * [progress]: [ 62 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))) (log1p a))))>
17.980 * * * * [progress]: [ 63 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))) (log1p a))))>
17.980 * * * * [progress]: [ 64 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))) (log1p a))))>
17.980 * * * * [progress]: [ 65 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
17.980 * * * * [progress]: [ 66 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
17.980 * * * * [progress]: [ 67 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
17.980 * * * * [progress]: [ 68 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
17.980 * * * * [progress]: [ 69 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
17.980 * * * * [progress]: [ 70 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
17.980 * * * * [progress]: [ 71 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (- (+ (* 1/4 (pow a 2)) 1/2) (* 1/2 a))) (* a a)))) (log1p a))))>
17.980 * * * * [progress]: [ 72 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))>
17.980 * * * * [progress]: [ 73 / 73 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))>
17.981 * [simplify]: Simplifying:
  (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (log (* (cbrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (cbrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (log (sqrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (log (sqrt (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (log 1)
  (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (log (exp (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (exp (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (* (cbrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (cbrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (cbrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (* (* (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (sqrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (sqrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (real->posit16 (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (real->posit16 (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))
  (- (log 1/2) a)
  (log (/ 1/2 (exp a)))
  (exp (/ 1/2 (exp a)))
  (/ (* (* 1/2 1/2) 1/2) (* (* (exp a) (exp a)) (exp a)))
  (* (cbrt (/ 1/2 (exp a))) (cbrt (/ 1/2 (exp a))))
  (cbrt (/ 1/2 (exp a)))
  (* (* (/ 1/2 (exp a)) (/ 1/2 (exp a))) (/ 1/2 (exp a)))
  (sqrt (/ 1/2 (exp a)))
  (sqrt (/ 1/2 (exp a)))
  (- 1/2)
  (- (exp a))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt (exp a)) (cbrt (exp a))))
  (/ (cbrt 1/2) (cbrt (exp a)))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (exp a)))
  (/ (cbrt 1/2) (sqrt (exp a)))
  (/ (* (cbrt 1/2) (cbrt 1/2)) 1)
  (/ (cbrt 1/2) (exp a))
  (/ (sqrt 1/2) (* (cbrt (exp a)) (cbrt (exp a))))
  (/ (sqrt 1/2) (cbrt (exp a)))
  (/ (sqrt 1/2) (sqrt (exp a)))
  (/ (sqrt 1/2) (sqrt (exp a)))
  (/ (sqrt 1/2) 1)
  (/ (sqrt 1/2) (exp a))
  (/ 1 (* (cbrt (exp a)) (cbrt (exp a))))
  (/ 1/2 (cbrt (exp a)))
  (/ 1 (sqrt (exp a)))
  (/ 1/2 (sqrt (exp a)))
  (/ 1 1)
  (/ 1/2 (exp a))
  (/ 1 (exp a))
  (/ (exp a) 1/2)
  (/ 1/2 (* (cbrt (exp a)) (cbrt (exp a))))
  (/ 1/2 (sqrt (exp a)))
  (/ 1/2 1)
  (/ (exp a) (cbrt 1/2))
  (/ (exp a) (sqrt 1/2))
  (/ (exp a) 1/2)
  (real->posit16 (/ 1/2 (exp a)))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
  (- (+ (* 1/4 (pow a 2)) 1/2) (* 1/2 a))
  (/ 1/2 (exp a))
  (/ 1/2 (exp a))
17.982 * * [simplify]: iteration 1: (110 enodes)
18.025 * * [simplify]: iteration 2: (181 enodes)
18.067 * * [simplify]: iteration 3: (354 enodes)
18.268 * * [simplify]: iteration 4: (876 enodes)
19.851 * * [simplify]: Extracting #0: cost 55 inf + 0
19.851 * * [simplify]: Extracting #1: cost 314 inf + 45
19.853 * * [simplify]: Extracting #2: cost 445 inf + 6468
19.861 * * [simplify]: Extracting #3: cost 148 inf + 63824
19.877 * * [simplify]: Extracting #4: cost 39 inf + 94486
19.893 * * [simplify]: Extracting #5: cost 9 inf + 111398
19.909 * * [simplify]: Extracting #6: cost 0 inf + 117606
19.926 * [simplify]: Simplified to:
  (log (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (* (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))) (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))))
  (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (* (* (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))) (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (sqrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (sqrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (real->posit16 (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (log (* (cbrt (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))) (cbrt (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))))))
  (log (cbrt (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))))
  (log (sqrt (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))))
  (log (sqrt (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))))
  0
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (* (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))) (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))))
  (sqrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  1
  (log (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (exp (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (* (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))) (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))))
  (cbrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (* (* (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))) (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (sqrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (sqrt (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (real->posit16 (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))
  (log (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))) (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))) (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a))))
  (- (log 1/2) a)
  (- (log 1/2) a)
  (exp (/ 1/2 (exp a)))
  (/ 1/8 (exp (* 3 a)))
  (* (cbrt (/ 1/2 (exp a))) (cbrt (/ 1/2 (exp a))))
  (cbrt (/ 1/2 (exp a)))
  (/ 1/8 (exp (* 3 a)))
  (sqrt (/ 1/2 (exp a)))
  (sqrt (/ 1/2 (exp a)))
  -1/2
  (- (exp a))
  (* (/ (cbrt 1/2) (cbrt (exp a))) (/ (cbrt 1/2) (cbrt (exp a))))
  (/ (cbrt 1/2) (cbrt (exp a)))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (exp a)))
  (/ (cbrt 1/2) (sqrt (exp a)))
  (* (cbrt 1/2) (cbrt 1/2))
  (/ (cbrt 1/2) (exp a))
  (/ (/ (sqrt 1/2) (cbrt (exp a))) (cbrt (exp a)))
  (/ (sqrt 1/2) (cbrt (exp a)))
  (/ (sqrt 1/2) (sqrt (exp a)))
  (/ (sqrt 1/2) (sqrt (exp a)))
  (sqrt 1/2)
  (/ (sqrt 1/2) (exp a))
  (/ (/ 1 (cbrt (exp a))) (cbrt (exp a)))
  (/ 1/2 (cbrt (exp a)))
  (/ 1 (sqrt (exp a)))
  (/ 1/2 (sqrt (exp a)))
  1
  (/ 1/2 (exp a))
  (exp (- a))
  (/ (exp a) 1/2)
  (/ (/ 1/2 (cbrt (exp a))) (cbrt (exp a)))
  (/ 1/2 (sqrt (exp a)))
  1/2
  (/ (exp a) (cbrt 1/2))
  (/ (exp a) (sqrt 1/2))
  (/ (exp a) 1/2)
  (real->posit16 (/ 1/2 (exp a)))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a))
  (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))
  (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))
  (acos (pow (fmod (+ (/ 1/2 (exp a)) (* (exp a) 1/2)) (* a a)) (log1p a)))
  (- 1/2 (* a (- 1/2 (* 1/4 a))))
  (/ 1/2 (exp a))
  (/ 1/2 (exp a))
19.932 * * * [progress]: adding candidates to table
20.526 * * [progress]: iteration 4 / 4
20.526 * * * [progress]: picking best candidate
20.569 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.569 * * * [progress]: localizing error
20.614 * * * [progress]: generating rewritten candidates
20.614 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
20.614 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
20.614 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
20.617 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
20.619 * * * [progress]: generating series expansions
20.619 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
20.619 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.619 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in (a) around 0
20.619 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
20.620 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.620 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
20.620 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.620 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.620 * [backup-simplify]: Simplify 0 into 0
20.620 * [backup-simplify]: Simplify 0 into 0
20.620 * [backup-simplify]: Simplify 0 into 0
20.620 * [backup-simplify]: Simplify 0 into 0
20.620 * [backup-simplify]: Simplify 0 into 0
20.620 * [backup-simplify]: Simplify 0 into 0
20.620 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.620 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.620 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in (a) around 0
20.620 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
20.620 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.620 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
20.621 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.621 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.621 * [backup-simplify]: Simplify 0 into 0
20.621 * [backup-simplify]: Simplify 0 into 0
20.621 * [backup-simplify]: Simplify 0 into 0
20.621 * [backup-simplify]: Simplify 0 into 0
20.621 * [backup-simplify]: Simplify 0 into 0
20.621 * [backup-simplify]: Simplify 0 into 0
20.621 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.621 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.621 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
20.621 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
20.622 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.622 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
20.622 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.622 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.622 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
20.622 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.622 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in (a) around 0
20.622 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
20.623 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.623 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
20.623 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.623 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.623 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.623 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in (a) around 0
20.623 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
20.623 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.623 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
20.624 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.624 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.624 * [backup-simplify]: Simplify 0 into 0
20.624 * [backup-simplify]: Simplify 0 into 0
20.624 * [backup-simplify]: Simplify 0 into 0
20.624 * [backup-simplify]: Simplify 0 into 0
20.624 * [backup-simplify]: Simplify 0 into 0
20.624 * [backup-simplify]: Simplify 0 into 0
20.624 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.624 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.624 * [approximate]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0
20.624 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
20.624 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.624 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
20.625 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.625 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.625 * [backup-simplify]: Simplify 0 into 0
20.625 * [backup-simplify]: Simplify 0 into 0
20.625 * [backup-simplify]: Simplify 0 into 0
20.625 * [backup-simplify]: Simplify 0 into 0
20.625 * [backup-simplify]: Simplify 0 into 0
20.625 * [backup-simplify]: Simplify 0 into 0
20.625 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.625 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
20.625 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.625 * [approximate]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) in (a) around 0
20.625 * [taylor]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) in a
20.625 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
20.626 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.626 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.626 * [taylor]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) in a
20.626 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) in a
20.626 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) into (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
20.626 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.626 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.627 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.627 * [backup-simplify]: Simplify 0 into 0
20.628 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.628 * [backup-simplify]: Simplify 0 into 0
20.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.628 * [backup-simplify]: Simplify 0 into 0
20.629 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.629 * [backup-simplify]: Simplify 0 into 0
20.630 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.630 * [backup-simplify]: Simplify 0 into 0
20.630 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))))) into 0
20.630 * [backup-simplify]: Simplify 0 into 0
20.631 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.631 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))))
20.631 * [approximate]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))) in (a) around 0
20.631 * [taylor]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))) in a
20.631 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
20.631 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.631 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))) into (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))))
20.631 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.631 * [taylor]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))) in a
20.631 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) in a
20.631 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))
20.632 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))) into (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))))
20.632 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.632 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))) into (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))))
20.632 * [backup-simplify]: Simplify 0 into 0
20.633 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.633 * [backup-simplify]: Simplify 0 into 0
20.633 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.633 * [backup-simplify]: Simplify 0 into 0
20.635 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.635 * [backup-simplify]: Simplify 0 into 0
20.635 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.635 * [backup-simplify]: Simplify 0 into 0
20.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2)))))) into 0
20.636 * [backup-simplify]: Simplify 0 into 0
20.636 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.636 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))))
20.636 * [approximate]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))) in (a) around 0
20.636 * [taylor]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))) in a
20.636 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
20.637 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.637 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))) into (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))))
20.637 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.637 * [taylor]: Taking taylor expansion of (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))) in a
20.637 * [taylor]: Taking taylor expansion of (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) in a
20.637 * [backup-simplify]: Simplify (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) into (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))
20.637 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))) into (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))))
20.638 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.638 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))) into (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))))
20.638 * [backup-simplify]: Simplify 0 into 0
20.638 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.638 * [backup-simplify]: Simplify 0 into 0
20.639 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.639 * [backup-simplify]: Simplify 0 into 0
20.640 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.640 * [backup-simplify]: Simplify 0 into 0
20.640 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.640 * [backup-simplify]: Simplify 0 into 0
20.641 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2)))))) into 0
20.641 * [backup-simplify]: Simplify 0 into 0
20.641 * [backup-simplify]: Simplify (sqrt (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
20.641 * * * * [progress]: [ 4 / 4 ] generating series at (2)
20.642 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.642 * [approximate]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) in (a) around 0
20.642 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) in a
20.642 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.642 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) in a
20.642 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.642 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.642 * [backup-simplify]: Simplify 0 into 0
20.642 * [backup-simplify]: Simplify 0 into 0
20.642 * [backup-simplify]: Simplify 0 into 0
20.642 * [backup-simplify]: Simplify 0 into 0
20.642 * [backup-simplify]: Simplify 0 into 0
20.642 * [backup-simplify]: Simplify 0 into 0
20.643 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.643 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (fmod (+ (* 1/2 (exp (/ 1 a))) (/ 1/2 (exp (/ 1 a)))) (* (/ 1 a) (/ 1 a))))))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
20.643 * [approximate]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
20.643 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
20.643 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
20.643 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
20.643 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
20.644 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (+ (* 1/2 (exp (/ 1 a))) (* 1/2 (/ 1 (exp (/ 1 a))))) (/ 1 (pow a 2))) (log1p (/ 1 a))))
20.644 * [backup-simplify]: Simplify 0 into 0
20.644 * [backup-simplify]: Simplify 0 into 0
20.644 * [backup-simplify]: Simplify 0 into 0
20.644 * [backup-simplify]: Simplify 0 into 0
20.644 * [backup-simplify]: Simplify 0 into 0
20.644 * [backup-simplify]: Simplify 0 into 0
20.644 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (exp (/ 1 (/ 1 a)))) (* 1/2 (/ 1 (exp (/ 1 (/ 1 a)))))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.644 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp (/ 1 (- a)))) (/ 1/2 (exp (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
20.644 * [approximate]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
20.645 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
20.645 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
20.645 * [taylor]: Taking taylor expansion of (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
20.645 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
20.645 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 a)))) (* 1/2 (exp (/ -1 a)))) (/ 1 (pow a 2))) (log1p (/ -1 a))))
20.645 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify 0 into 0
20.646 * [backup-simplify]: Simplify (acos (pow (fmod (+ (* 1/2 (/ 1 (exp (/ -1 (/ 1 (- a)))))) (* 1/2 (exp (/ -1 (/ 1 (- a)))))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.646 * * * [progress]: simplifying candidates
20.646 * * * * [progress]: [ 1 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) 1))))) (log1p a))))>
20.646 * * * * [progress]: [ 2 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (exp (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 3 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 4 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 5 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 6 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 7 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (* 1 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (log1p a))))>
20.646 * * * * [progress]: [ 8 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 9 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) 1)) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 10 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 11 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 12 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 13 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 14 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 15 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 16 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.646 * * * * [progress]: [ 17 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (log (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 18 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.646 * * * * [progress]: [ 19 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (log1p a))))>
20.646 * * * * [progress]: [ 20 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* 1 (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (log1p a))))>
20.646 * * * * [progress]: [ 21 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))))) (log1p a))))>
20.647 * * * * [progress]: [ 22 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (sqrt (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))))) (log1p a))))>
20.647 * * * * [progress]: [ 23 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 24 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
20.647 * * * * [progress]: [ 25 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log (exp (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 26 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp 1)))) (log1p a))))>
20.647 * * * * [progress]: [ 27 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (pow (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) 1)) (log1p a))))>
20.647 * * * * [progress]: [ 28 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))>
20.647 * * * * [progress]: [ 29 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (exp (log (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 30 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 31 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (cbrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (cbrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 32 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 33 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* (sqrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (sqrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 34 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (* 1 (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))) (log1p a))))>
20.647 * * * * [progress]: [ 35 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))>
20.647 * * * * [progress]: [ 36 / 56 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))))>
20.647 * * * * [progress]: [ 37 / 56 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))) 1))>
20.647 * * * * [progress]: [ 38 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))>
20.647 * * * * [progress]: [ 39 / 56 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))>
20.647 * * * * [progress]: [ 40 / 56 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))>
20.647 * * * * [progress]: [ 41 / 56 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))>
20.647 * * * * [progress]: [ 42 / 56 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))>
20.647 * * * * [progress]: [ 43 / 56 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))))>
20.647 * * * * [progress]: [ 44 / 56 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))>
20.647 * * * * [progress]: [ 45 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))))) (log1p a))))>
20.648 * * * * [progress]: [ 46 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))))) (log1p a))))>
20.648 * * * * [progress]: [ 47 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))))) (log1p a))))>
20.648 * * * * [progress]: [ 48 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.648 * * * * [progress]: [ 49 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.648 * * * * [progress]: [ 50 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>
20.648 * * * * [progress]: [ 51 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))) (log1p a))))>
20.648 * * * * [progress]: [ 52 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))) (log1p a))))>
20.648 * * * * [progress]: [ 53 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))) (log1p a))))>
20.648 * * * * [progress]: [ 54 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
20.648 * * * * [progress]: [ 55 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
20.648 * * * * [progress]: [ 56 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a))))>
20.648 * [simplify]: Simplifying:
  (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (log (* (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))
  (log (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log 1)
  (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (log (exp (* (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))
  (log (exp (sqrt (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))
  (log (exp (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (exp (sqrt 1)))
  (log (exp (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (exp 1))
  (log (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (exp (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (* (cbrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (cbrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))
  (cbrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (* (* (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (sqrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (sqrt (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (real->posit16 (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (/ PI 2)
  (asin (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))
  (log (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (exp (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (* (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))))
  (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (* (* (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (sqrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (sqrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (real->posit16 (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2))
  (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (* 1/2 (/ 1 (exp a)))) (pow a 2)) (log1p a)))
20.650 * * [simplify]: iteration 1: (73 enodes)
20.663 * * [simplify]: iteration 2: (103 enodes)
20.677 * * [simplify]: iteration 3: (132 enodes)
20.697 * * [simplify]: iteration 4: (182 enodes)
20.721 * * [simplify]: iteration 5: (265 enodes)
20.780 * * [simplify]: iteration 6: (463 enodes)
20.961 * * [simplify]: iteration 7: (985 enodes)
21.860 * * [simplify]: Extracting #0: cost 31 inf + 0
21.861 * * [simplify]: Extracting #1: cost 128 inf + 2
21.862 * * [simplify]: Extracting #2: cost 296 inf + 49
21.863 * * [simplify]: Extracting #3: cost 449 inf + 312
21.866 * * [simplify]: Extracting #4: cost 475 inf + 4164
21.876 * * [simplify]: Extracting #5: cost 363 inf + 67142
21.918 * * [simplify]: Extracting #6: cost 119 inf + 291668
21.986 * * [simplify]: Extracting #7: cost 2 inf + 407130
22.055 * * [simplify]: Extracting #8: cost 0 inf + 408018
22.127 * * [simplify]: Extracting #9: cost 0 inf + 407559
22.196 * * [simplify]: Extracting #10: cost 0 inf + 407070
22.267 * [simplify]: Simplified to:
  (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (log (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (* (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (real->posit16 (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (log (* (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))) (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))
  (log (cbrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))))
  0
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (* (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (fabs (cbrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  1
  (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  1
  (log (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (* (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))
  (cbrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (sqrt (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (real->posit16 (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))))
  (/ PI 2)
  (asin (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))
  (log (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))
  (* (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))) (* (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))) (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))))
  (sqrt (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))
  (real->posit16 (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a))))
  (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))
  (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))
  (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))
  (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))
  (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))
  (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))
  (acos (pow (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)) (log1p a)))
22.272 * * * [progress]: adding candidates to table
22.986 * [progress]: [Phase 3 of 3] Extracting.
22.986 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (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 (pow (fmod (* (sqrt (cosh a)) (sqrt (cosh a))) (* a a)) (log1p a))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cbrt (* (* (cosh a) (cosh a)) (cosh a))) (* a a)))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>)
22.989 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
22.990 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (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 (pow (fmod (* (sqrt (cosh a)) (sqrt (cosh a))) (* a a)) (log1p a))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cbrt (* (* (cosh a) (cosh a)) (cosh a))) (* a a)))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>)
23.066 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
23.112 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (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 (pow (fmod (* (sqrt (cosh a)) (sqrt (cosh a))) (* a a)) (log1p a))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cbrt (* (* (cosh a) (cosh a)) (cosh a))) (* a a)))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>)
23.189 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
23.231 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (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 (pow (fmod (* (sqrt (cosh a)) (sqrt (cosh a))) (* a a)) (log1p a))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cbrt (* (* (cosh a) (cosh a)) (cosh a))) (* a a)))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log (sqrt (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))))) (log1p a))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a))))>)
23.297 * * * [regime]: Found split indices: #<option (#s(si 10 255))>
23.297 * [simplify]: Simplifying:
  (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))
23.298 * * [simplify]: iteration 1: (15 enodes)
23.298 * * [simplify]: iteration 2: (18 enodes)
23.299 * * [simplify]: Extracting #0: cost 1 inf + 0
23.299 * * [simplify]: Extracting #1: cost 2 inf + 0
23.299 * * [simplify]: Extracting #2: cost 4 inf + 0
23.299 * * [simplify]: Extracting #3: cost 7 inf + 0
23.299 * * [simplify]: Extracting #4: cost 7 inf + 92
23.299 * * [simplify]: Extracting #5: cost 9 inf + 92
23.299 * * [simplify]: Extracting #6: cost 10 inf + 133
23.299 * * [simplify]: Extracting #7: cost 12 inf + 133
23.299 * * [simplify]: Extracting #8: cost 10 inf + 205
23.299 * * [simplify]: Extracting #9: cost 6 inf + 923
23.299 * * [simplify]: Extracting #10: cost 4 inf + 1677
23.300 * * [simplify]: Extracting #11: cost 1 inf + 3503
23.300 * * [simplify]: Extracting #12: cost 0 inf + 4415
23.300 * [simplify]: Simplified to:
  (acos (pow (* (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a))) (log (exp (sqrt (fmod (+ (* 1/2 (exp a)) (/ 1/2 (exp a))) (* a a)))))) (log1p a)))
57.616 * [regime-testing]: Baseline error score: 59.28674570479919
57.618 * [regime-testing]: Oracle error score: 59.170714810117104
57.625 * [regime-testing]: End program error score: 59.28674570479919