0.005 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
1.983 * * * [progress]: [2/2] Setting up program.
1.990 * [progress]: [Phase 2 of 3] Improving.
1.991 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.992 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.993 * * [simplify]: iters left: 5 (7 enodes)
2.002 * * [simplify]: iters left: 4 (30 enodes)
2.012 * * [simplify]: iters left: 3 (52 enodes)
2.029 * * [simplify]: iters left: 2 (80 enodes)
2.056 * * [simplify]: iters left: 1 (137 enodes)
2.134 * * [simplify]: Extracting #0: cost 1 inf + 0
2.134 * * [simplify]: Extracting #1: cost 3 inf + 0
2.134 * * [simplify]: Extracting #2: cost 15 inf + 0
2.135 * * [simplify]: Extracting #3: cost 52 inf + 1
2.136 * * [simplify]: Extracting #4: cost 67 inf + 61
2.137 * * [simplify]: Extracting #5: cost 47 inf + 4801
2.139 * * [simplify]: Extracting #6: cost 27 inf + 11788
2.145 * * [simplify]: Extracting #7: cost 2 inf + 27949
2.152 * * [simplify]: Extracting #8: cost 0 inf + 28280
2.158 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.159 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.169 * * [progress]: iteration 1 / 4
2.169 * * * [progress]: picking best candidate
2.175 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
2.175 * * * [progress]: localizing error
2.211 * * * [progress]: generating rewritten candidates
2.212 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
2.213 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.217 * * * [progress]: generating series expansions
2.218 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
2.223 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
2.223 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.224 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.226 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.226 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.226 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.226 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.227 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.227 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.227 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.229 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.229 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.229 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.229 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.230 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.230 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.230 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.230 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.230 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.230 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.230 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.230 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.230 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.231 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.231 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.231 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.231 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.231 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.231 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.232 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.232 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.232 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.232 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.233 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.233 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.233 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.233 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.234 * * * [progress]: simplifying candidates
2.234 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
2.235 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
2.235 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
2.235 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
2.235 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
2.235 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
2.235 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
2.235 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
2.235 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
2.235 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
2.235 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.235 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.236 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.236 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.236 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.236 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
2.236 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
2.236 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.236 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.236 * * [simplify]: iters left: 2 (5 enodes)
2.239 * * [simplify]: iters left: 1 (25 enodes)
2.260 * * [simplify]: Extracting #0: cost 1 inf + 0
2.260 * * [simplify]: Extracting #1: cost 4 inf + 0
2.260 * * [simplify]: Extracting #2: cost 9 inf + 0
2.260 * * [simplify]: Extracting #3: cost 10 inf + 2
2.261 * * [simplify]: Extracting #4: cost 8 inf + 433
2.261 * * [simplify]: Extracting #5: cost 4 inf + 823
2.261 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.262 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.262 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.262 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.262 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.262 * * [simplify]: iters left: 2 (5 enodes)
2.266 * * [simplify]: iters left: 1 (25 enodes)
2.271 * * [simplify]: Extracting #0: cost 1 inf + 0
2.271 * * [simplify]: Extracting #1: cost 4 inf + 0
2.271 * * [simplify]: Extracting #2: cost 9 inf + 0
2.271 * * [simplify]: Extracting #3: cost 10 inf + 2
2.271 * * [simplify]: Extracting #4: cost 8 inf + 433
2.271 * * [simplify]: Extracting #5: cost 4 inf + 823
2.271 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.272 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.272 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.272 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.272 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.272 * * [simplify]: iters left: 2 (5 enodes)
2.274 * * [simplify]: iters left: 1 (25 enodes)
2.278 * * [simplify]: Extracting #0: cost 1 inf + 0
2.278 * * [simplify]: Extracting #1: cost 4 inf + 0
2.278 * * [simplify]: Extracting #2: cost 9 inf + 0
2.278 * * [simplify]: Extracting #3: cost 10 inf + 2
2.278 * * [simplify]: Extracting #4: cost 8 inf + 433
2.278 * * [simplify]: Extracting #5: cost 4 inf + 823
2.278 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.279 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.279 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.279 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.279 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.279 * * [simplify]: iters left: 4 (8 enodes)
2.281 * * [simplify]: iters left: 3 (37 enodes)
2.287 * * [simplify]: iters left: 2 (60 enodes)
2.298 * * [simplify]: iters left: 1 (86 enodes)
2.325 * * [simplify]: Extracting #0: cost 1 inf + 0
2.325 * * [simplify]: Extracting #1: cost 3 inf + 0
2.325 * * [simplify]: Extracting #2: cost 13 inf + 0
2.326 * * [simplify]: Extracting #3: cost 38 inf + 0
2.326 * * [simplify]: Extracting #4: cost 45 inf + 241
2.327 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.328 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.331 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.332 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.334 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.334 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.334 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.334 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.334 * * [simplify]: iters left: 4 (8 enodes)
2.337 * * [simplify]: iters left: 3 (37 enodes)
2.343 * * [simplify]: iters left: 2 (60 enodes)
2.352 * * [simplify]: iters left: 1 (86 enodes)
2.376 * * [simplify]: Extracting #0: cost 1 inf + 0
2.376 * * [simplify]: Extracting #1: cost 3 inf + 0
2.376 * * [simplify]: Extracting #2: cost 13 inf + 0
2.376 * * [simplify]: Extracting #3: cost 38 inf + 0
2.377 * * [simplify]: Extracting #4: cost 45 inf + 241
2.378 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.379 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.382 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.385 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.389 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.389 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.389 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.389 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.389 * * [simplify]: iters left: 4 (8 enodes)
2.394 * * [simplify]: iters left: 3 (37 enodes)
2.405 * * [simplify]: iters left: 2 (60 enodes)
2.423 * * [simplify]: iters left: 1 (86 enodes)
2.441 * * [simplify]: Extracting #0: cost 1 inf + 0
2.441 * * [simplify]: Extracting #1: cost 3 inf + 0
2.441 * * [simplify]: Extracting #2: cost 13 inf + 0
2.441 * * [simplify]: Extracting #3: cost 38 inf + 0
2.441 * * [simplify]: Extracting #4: cost 45 inf + 241
2.442 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.442 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.444 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.445 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.447 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.447 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.447 * * * [progress]: adding candidates to table
2.630 * * [progress]: iteration 2 / 4
2.630 * * * [progress]: picking best candidate
2.656 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
2.656 * * * [progress]: localizing error
2.677 * * * [progress]: generating rewritten candidates
2.677 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
2.677 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
2.680 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.681 * * * [progress]: generating series expansions
2.681 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
2.681 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
2.681 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.681 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.681 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.681 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.681 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.682 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.682 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.683 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.683 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
2.683 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
2.683 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.683 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.683 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.683 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.683 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.683 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.684 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.684 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.684 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.684 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.684 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.684 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.684 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.684 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.685 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.685 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.685 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.685 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.685 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.685 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.685 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.685 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.685 * [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)))
2.685 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.685 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.685 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.685 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.685 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.686 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.686 * [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))))
2.686 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.686 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.686 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.686 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.687 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.687 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.687 * [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))))
2.687 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.687 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.687 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.687 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.687 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.688 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.688 * * * [progress]: simplifying candidates
2.688 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
2.688 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
2.688 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.688 * * * * [progress]: [ 4 / 42 ] 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))))>
2.688 * * * * [progress]: [ 5 / 42 ] 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))))>
2.688 * * * * [progress]: [ 6 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
2.688 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
2.688 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
2.689 * * * * [progress]: [ 9 / 42 ] 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))))>
2.689 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
2.689 * * [simplify]: iters left: 6 (8 enodes)
2.690 * * [simplify]: iters left: 5 (32 enodes)
2.695 * * [simplify]: iters left: 4 (47 enodes)
2.702 * * [simplify]: iters left: 3 (51 enodes)
2.710 * * [simplify]: iters left: 2 (53 enodes)
2.732 * * [simplify]: Extracting #0: cost 1 inf + 0
2.732 * * [simplify]: Extracting #1: cost 4 inf + 0
2.732 * * [simplify]: Extracting #2: cost 7 inf + 0
2.732 * * [simplify]: Extracting #3: cost 9 inf + 0
2.732 * * [simplify]: Extracting #4: cost 11 inf + 0
2.732 * * [simplify]: Extracting #5: cost 14 inf + 0
2.732 * * [simplify]: Extracting #6: cost 19 inf + 0
2.732 * * [simplify]: Extracting #7: cost 20 inf + 2
2.732 * * [simplify]: Extracting #8: cost 18 inf + 543
2.733 * * [simplify]: Extracting #9: cost 12 inf + 1580
2.734 * * [simplify]: Extracting #10: cost 1 inf + 4471
2.735 * * [simplify]: Extracting #11: cost 0 inf + 4857
2.736 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
2.736 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
2.736 * * * * [progress]: [ 10 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.736 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
2.736 * * [simplify]: iters left: 6 (7 enodes)
2.739 * * [simplify]: iters left: 5 (27 enodes)
2.747 * * [simplify]: iters left: 4 (40 enodes)
2.758 * * [simplify]: iters left: 3 (44 enodes)
2.769 * * [simplify]: iters left: 2 (46 enodes)
2.782 * * [simplify]: Extracting #0: cost 1 inf + 0
2.782 * * [simplify]: Extracting #1: cost 3 inf + 0
2.782 * * [simplify]: Extracting #2: cost 5 inf + 0
2.782 * * [simplify]: Extracting #3: cost 7 inf + 0
2.782 * * [simplify]: Extracting #4: cost 10 inf + 0
2.782 * * [simplify]: Extracting #5: cost 15 inf + 0
2.782 * * [simplify]: Extracting #6: cost 16 inf + 2
2.782 * * [simplify]: Extracting #7: cost 14 inf + 433
2.783 * * [simplify]: Extracting #8: cost 7 inf + 1446
2.783 * * [simplify]: Extracting #9: cost 0 inf + 3133
2.784 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
2.784 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
2.784 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.784 * [simplify]: Simplifying (log 1)
2.785 * * [simplify]: iters left: 1 (2 enodes)
2.787 * * [simplify]: Extracting #0: cost 1 inf + 0
2.787 * * [simplify]: Extracting #1: cost 0 inf + 1
2.787 * [simplify]: Simplified to 0
2.787 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
2.787 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.787 * * * * [progress]: [ 13 / 42 ] 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))))>
2.788 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
2.788 * * [simplify]: iters left: 4 (5 enodes)
2.790 * * [simplify]: iters left: 3 (21 enodes)
2.796 * * [simplify]: iters left: 2 (34 enodes)
2.801 * * [simplify]: iters left: 1 (38 enodes)
2.806 * * [simplify]: Extracting #0: cost 1 inf + 0
2.806 * * [simplify]: Extracting #1: cost 3 inf + 0
2.806 * * [simplify]: Extracting #2: cost 6 inf + 0
2.806 * * [simplify]: Extracting #3: cost 11 inf + 0
2.807 * * [simplify]: Extracting #4: cost 12 inf + 2
2.807 * * [simplify]: Extracting #5: cost 9 inf + 599
2.807 * * [simplify]: Extracting #6: cost 5 inf + 1069
2.807 * * [simplify]: Extracting #7: cost 0 inf + 1909
2.807 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
2.807 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
2.807 * * * * [progress]: [ 14 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
2.808 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
2.808 * * [simplify]: iters left: 4 (5 enodes)
2.809 * * [simplify]: iters left: 3 (21 enodes)
2.812 * * [simplify]: iters left: 2 (34 enodes)
2.817 * * [simplify]: iters left: 1 (38 enodes)
2.822 * * [simplify]: Extracting #0: cost 1 inf + 0
2.822 * * [simplify]: Extracting #1: cost 3 inf + 0
2.822 * * [simplify]: Extracting #2: cost 6 inf + 0
2.822 * * [simplify]: Extracting #3: cost 11 inf + 0
2.822 * * [simplify]: Extracting #4: cost 12 inf + 2
2.823 * * [simplify]: Extracting #5: cost 9 inf + 599
2.823 * * [simplify]: Extracting #6: cost 5 inf + 1029
2.823 * * [simplify]: Extracting #7: cost 0 inf + 1829
2.823 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
2.823 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
2.823 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
2.823 * [simplify]: Simplifying (fmod (cosh a) (* a a))
2.824 * * [simplify]: iters left: 3 (4 enodes)
2.824 * * [simplify]: iters left: 2 (18 enodes)
2.828 * * [simplify]: iters left: 1 (31 enodes)
2.840 * * [simplify]: Extracting #0: cost 1 inf + 0
2.840 * * [simplify]: Extracting #1: cost 4 inf + 0
2.840 * * [simplify]: Extracting #2: cost 9 inf + 0
2.840 * * [simplify]: Extracting #3: cost 10 inf + 2
2.840 * * [simplify]: Extracting #4: cost 7 inf + 599
2.840 * * [simplify]: Extracting #5: cost 5 inf + 712
2.841 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.841 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.841 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
2.841 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
2.842 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
2.842 * [simplify]: Simplifying (cosh a)
2.842 * * [simplify]: iters left: 1 (2 enodes)
2.843 * * [simplify]: Extracting #0: cost 1 inf + 0
2.843 * * [simplify]: Extracting #1: cost 5 inf + 0
2.843 * * [simplify]: Extracting #2: cost 5 inf + 2
2.843 * * [simplify]: Extracting #3: cost 3 inf + 185
2.843 * * [simplify]: Extracting #4: cost 0 inf + 558
2.843 * [simplify]: Simplified to (cosh a)
2.843 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.843 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.843 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.843 * * * * [progress]: [ 20 / 42 ] 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))))>
2.843 * * * * [progress]: [ 21 / 42 ] 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))))>
2.843 * * * * [progress]: [ 22 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.843 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.843 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.843 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
2.844 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
2.844 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.844 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.844 * * * * [progress]: [ 29 / 42 ] 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))))))>
2.844 * * * * [progress]: [ 30 / 42 ] 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))))))>
2.844 * * * * [progress]: [ 31 / 42 ] 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))))))>
2.844 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
2.844 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.844 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.844 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.844 * * [simplify]: iters left: 2 (5 enodes)
2.846 * * [simplify]: iters left: 1 (25 enodes)
2.850 * * [simplify]: Extracting #0: cost 1 inf + 0
2.850 * * [simplify]: Extracting #1: cost 4 inf + 0
2.850 * * [simplify]: Extracting #2: cost 9 inf + 0
2.850 * * [simplify]: Extracting #3: cost 10 inf + 2
2.850 * * [simplify]: Extracting #4: cost 8 inf + 433
2.850 * * [simplify]: Extracting #5: cost 4 inf + 823
2.850 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.851 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.851 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.851 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.851 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.851 * * [simplify]: iters left: 2 (5 enodes)
2.853 * * [simplify]: iters left: 1 (25 enodes)
2.857 * * [simplify]: Extracting #0: cost 1 inf + 0
2.857 * * [simplify]: Extracting #1: cost 4 inf + 0
2.857 * * [simplify]: Extracting #2: cost 9 inf + 0
2.857 * * [simplify]: Extracting #3: cost 10 inf + 2
2.857 * * [simplify]: Extracting #4: cost 8 inf + 433
2.857 * * [simplify]: Extracting #5: cost 4 inf + 823
2.857 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.857 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.857 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.858 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.858 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.858 * * [simplify]: iters left: 2 (5 enodes)
2.859 * * [simplify]: iters left: 1 (25 enodes)
2.863 * * [simplify]: Extracting #0: cost 1 inf + 0
2.863 * * [simplify]: Extracting #1: cost 4 inf + 0
2.864 * * [simplify]: Extracting #2: cost 9 inf + 0
2.864 * * [simplify]: Extracting #3: cost 10 inf + 2
2.864 * * [simplify]: Extracting #4: cost 8 inf + 433
2.864 * * [simplify]: Extracting #5: cost 4 inf + 823
2.864 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.864 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.864 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.864 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.864 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.864 * * [simplify]: iters left: 2 (5 enodes)
2.866 * * [simplify]: iters left: 1 (25 enodes)
2.870 * * [simplify]: Extracting #0: cost 1 inf + 0
2.870 * * [simplify]: Extracting #1: cost 4 inf + 0
2.870 * * [simplify]: Extracting #2: cost 9 inf + 0
2.870 * * [simplify]: Extracting #3: cost 10 inf + 2
2.870 * * [simplify]: Extracting #4: cost 8 inf + 433
2.870 * * [simplify]: Extracting #5: cost 4 inf + 823
2.871 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.871 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.871 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.871 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.871 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.871 * * [simplify]: iters left: 2 (5 enodes)
2.873 * * [simplify]: iters left: 1 (25 enodes)
2.877 * * [simplify]: Extracting #0: cost 1 inf + 0
2.877 * * [simplify]: Extracting #1: cost 4 inf + 0
2.877 * * [simplify]: Extracting #2: cost 9 inf + 0
2.877 * * [simplify]: Extracting #3: cost 10 inf + 2
2.877 * * [simplify]: Extracting #4: cost 8 inf + 433
2.877 * * [simplify]: Extracting #5: cost 4 inf + 823
2.877 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.878 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.878 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.878 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.878 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.878 * * [simplify]: iters left: 2 (5 enodes)
2.880 * * [simplify]: iters left: 1 (25 enodes)
2.888 * * [simplify]: Extracting #0: cost 1 inf + 0
2.888 * * [simplify]: Extracting #1: cost 4 inf + 0
2.888 * * [simplify]: Extracting #2: cost 9 inf + 0
2.888 * * [simplify]: Extracting #3: cost 10 inf + 2
2.888 * * [simplify]: Extracting #4: cost 8 inf + 433
2.889 * * [simplify]: Extracting #5: cost 4 inf + 823
2.889 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.889 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.889 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.890 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.890 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.890 * * [simplify]: iters left: 4 (8 enodes)
2.894 * * [simplify]: iters left: 3 (37 enodes)
2.905 * * [simplify]: iters left: 2 (60 enodes)
2.913 * * [simplify]: iters left: 1 (86 enodes)
2.926 * * [simplify]: Extracting #0: cost 1 inf + 0
2.926 * * [simplify]: Extracting #1: cost 3 inf + 0
2.927 * * [simplify]: Extracting #2: cost 13 inf + 0
2.927 * * [simplify]: Extracting #3: cost 38 inf + 0
2.927 * * [simplify]: Extracting #4: cost 45 inf + 241
2.927 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.928 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.929 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.932 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.933 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.933 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.934 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.934 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.934 * * [simplify]: iters left: 4 (8 enodes)
2.937 * * [simplify]: iters left: 3 (37 enodes)
2.947 * * [simplify]: iters left: 2 (60 enodes)
2.963 * * [simplify]: iters left: 1 (86 enodes)
2.987 * * [simplify]: Extracting #0: cost 1 inf + 0
2.987 * * [simplify]: Extracting #1: cost 3 inf + 0
2.987 * * [simplify]: Extracting #2: cost 13 inf + 0
2.987 * * [simplify]: Extracting #3: cost 38 inf + 0
2.988 * * [simplify]: Extracting #4: cost 45 inf + 241
2.988 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.989 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.991 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.994 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.997 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.997 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.997 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.997 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.998 * * [simplify]: iters left: 4 (8 enodes)
3.002 * * [simplify]: iters left: 3 (37 enodes)
3.012 * * [simplify]: iters left: 2 (60 enodes)
3.027 * * [simplify]: iters left: 1 (86 enodes)
3.050 * * [simplify]: Extracting #0: cost 1 inf + 0
3.050 * * [simplify]: Extracting #1: cost 3 inf + 0
3.051 * * [simplify]: Extracting #2: cost 13 inf + 0
3.051 * * [simplify]: Extracting #3: cost 38 inf + 0
3.051 * * [simplify]: Extracting #4: cost 45 inf + 241
3.051 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.052 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.055 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.057 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.060 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.060 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.060 * * * [progress]: adding candidates to table
3.510 * * [progress]: iteration 3 / 4
3.510 * * * [progress]: picking best candidate
3.545 * * * * [pick]: Picked  #<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))))>
3.545 * * * [progress]: localizing error
3.607 * * * [progress]: generating rewritten candidates
3.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
3.608 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
3.608 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
3.608 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
3.611 * * * [progress]: generating series expansions
3.611 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 2 1)
3.611 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.611 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.611 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.612 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.612 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.612 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.612 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.612 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.612 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.612 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.612 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.612 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.612 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.612 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.613 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.613 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.613 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.613 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.613 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.613 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.613 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.613 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1)
3.614 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.614 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.614 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.614 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.614 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.614 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.614 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.614 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.614 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.614 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.614 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.614 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.614 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.614 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.615 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.615 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.615 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.615 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.615 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.615 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.615 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.615 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
3.615 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.615 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.616 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.616 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.616 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.616 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.616 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.616 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.616 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.616 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.616 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.616 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.616 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.616 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.617 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.617 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.617 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.617 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.617 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.617 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
3.617 * [backup-simplify]: Simplify (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.617 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in (a) around 0
3.617 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in a
3.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) in a
3.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) in a
3.618 * [taylor]: Taking taylor expansion of 1/3 in a
3.618 * [backup-simplify]: Simplify 1/3 into 1/3
3.618 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh a) (pow a 2)) 2)) in a
3.618 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 2) in a
3.618 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.618 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.618 * [backup-simplify]: Simplify (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) into (pow (fmod (cosh a) (pow a 2)) 2)
3.618 * [backup-simplify]: Simplify (log (pow (fmod (cosh a) (pow a 2)) 2)) into (log (pow (fmod (cosh a) (pow a 2)) 2))
3.619 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) into (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))
3.619 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.619 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in a
3.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) in a
3.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) in a
3.619 * [taylor]: Taking taylor expansion of 1/3 in a
3.619 * [backup-simplify]: Simplify 1/3 into 1/3
3.619 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh a) (pow a 2)) 2)) in a
3.619 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 2) in a
3.619 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.619 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.619 * [backup-simplify]: Simplify (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) into (pow (fmod (cosh a) (pow a 2)) 2)
3.619 * [backup-simplify]: Simplify (log (pow (fmod (cosh a) (pow a 2)) 2)) into (log (pow (fmod (cosh a) (pow a 2)) 2))
3.619 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) into (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))
3.619 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.619 * [backup-simplify]: Simplify (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.620 * [backup-simplify]: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0
3.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 1) into 0
3.621 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into 0
3.622 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0
3.624 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 2) into 0
3.625 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))) into 0
3.625 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0
3.629 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 6) into 0
3.631 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))))) into 0
3.632 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.634 * [backup-simplify]: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0
3.639 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 24) into 0
3.641 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))))) into 0
3.644 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0
3.649 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 120) into 0
3.650 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))))))) into 0
3.653 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.653 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0
3.661 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 720) into 0
3.663 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))))))) into 0
3.666 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.666 * [backup-simplify]: Simplify (log (exp (* (cbrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (cbrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.666 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in (a) around 0
3.666 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
3.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) in a
3.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) in a
3.666 * [taylor]: Taking taylor expansion of 1/3 in a
3.666 * [backup-simplify]: Simplify 1/3 into 1/3
3.666 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) in a
3.666 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) in a
3.666 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.666 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.667 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)
3.667 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))
3.667 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))
3.667 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.667 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
3.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) in a
3.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) in a
3.667 * [taylor]: Taking taylor expansion of 1/3 in a
3.667 * [backup-simplify]: Simplify 1/3 into 1/3
3.667 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) in a
3.667 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) in a
3.667 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.667 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.667 * [backup-simplify]: Simplify (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)
3.667 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))
3.667 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))
3.668 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.668 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.668 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0
3.669 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 1) into 0
3.669 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into 0
3.670 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.671 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 2) into 0
3.672 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))) into 0
3.679 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.679 * [backup-simplify]: Simplify 0 into 0
3.680 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
3.684 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 6) into 0
3.685 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))))) into 0
3.687 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.687 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
3.691 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 24) into 0
3.692 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))))) into 0
3.694 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.694 * [backup-simplify]: Simplify 0 into 0
3.695 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
3.699 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 120) into 0
3.701 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))))))) into 0
3.703 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
3.711 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 720) into 0
3.713 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))))))) into 0
3.717 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.717 * [backup-simplify]: Simplify 0 into 0
3.717 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.718 * [backup-simplify]: Simplify (log (exp (* (cbrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.718 * [approximate]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in (a) around 0
3.718 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
3.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) in a
3.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) in a
3.718 * [taylor]: Taking taylor expansion of 1/3 in a
3.718 * [backup-simplify]: Simplify 1/3 into 1/3
3.718 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) in a
3.718 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) in a
3.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.718 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.719 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)
3.719 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))
3.719 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))
3.719 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.719 * [taylor]: Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
3.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) in a
3.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) in a
3.719 * [taylor]: Taking taylor expansion of 1/3 in a
3.719 * [backup-simplify]: Simplify 1/3 into 1/3
3.719 * [taylor]: Taking taylor expansion of (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) in a
3.719 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) in a
3.719 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.720 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.720 * [backup-simplify]: Simplify (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)
3.720 * [backup-simplify]: Simplify (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))
3.720 * [backup-simplify]: Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))
3.720 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.721 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
3.721 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0
3.722 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 1) into 0
3.723 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into 0
3.724 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.724 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.727 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 2) into 0
3.728 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))) into 0
3.729 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.729 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
3.734 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 6) into 0
3.735 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))))) into 0
3.737 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.737 * [backup-simplify]: Simplify 0 into 0
3.739 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
3.745 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 24) into 0
3.747 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))))) into 0
3.750 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.750 * [backup-simplify]: Simplify 0 into 0
3.752 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
3.762 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 120) into 0
3.763 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))))))) into 0
3.765 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.766 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
3.775 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 720) into 0
3.776 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))))))) into 0
3.780 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.780 * [backup-simplify]: Simplify 0 into 0
3.780 * [backup-simplify]: Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
3.780 * * * [progress]: simplifying candidates
3.780 * * * * [progress]: [ 1 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (pow (fmod (cosh a) (* a a)) 1)))))) (log1p a))))>
3.780 * * * * [progress]: [ 2 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (exp (log (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.780 * * * * [progress]: [ 3 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log (exp (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.780 * * * * [progress]: [ 4 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.780 * * * * [progress]: [ 5 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.780 * * * * [progress]: [ 6 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.780 * * * * [progress]: [ 7 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* 1 (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.780 * * * * [progress]: [ 8 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.780 * * * * [progress]: [ 9 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.780 * * * * [progress]: [ 10 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.780 * * * * [progress]: [ 11 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.780 * * * * [progress]: [ 12 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.780 * * * * [progress]: [ 13 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 14 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 15 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 16 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 17 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 18 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 19 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 20 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 21 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 22 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 23 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 24 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.781 * * * * [progress]: [ 25 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.781 * [simplify]: Simplifying (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))
3.781 * * [simplify]: iters left: 6 (10 enodes)
3.783 * * [simplify]: iters left: 5 (40 enodes)
3.794 * * [simplify]: iters left: 4 (60 enodes)
3.802 * * [simplify]: iters left: 3 (73 enodes)
3.814 * * [simplify]: iters left: 2 (99 enodes)
3.847 * * [simplify]: iters left: 1 (154 enodes)
3.899 * * [simplify]: Extracting #0: cost 1 inf + 0
3.899 * * [simplify]: Extracting #1: cost 4 inf + 0
3.899 * * [simplify]: Extracting #2: cost 7 inf + 0
3.899 * * [simplify]: Extracting #3: cost 9 inf + 0
3.899 * * [simplify]: Extracting #4: cost 22 inf + 0
3.899 * * [simplify]: Extracting #5: cost 59 inf + 1
3.899 * * [simplify]: Extracting #6: cost 76 inf + 4
3.899 * * [simplify]: Extracting #7: cost 81 inf + 5
3.900 * * [simplify]: Extracting #8: cost 82 inf + 62
3.900 * * [simplify]: Extracting #9: cost 58 inf + 7285
3.903 * * [simplify]: Extracting #10: cost 25 inf + 22553
3.907 * * [simplify]: Extracting #11: cost 1 inf + 39334
3.913 * * [simplify]: Extracting #12: cost 0 inf + 40482
3.918 * [simplify]: Simplified to (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))
3.918 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
3.919 * * * * [progress]: [ 26 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.919 * [simplify]: Simplifying (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))
3.919 * * [simplify]: iters left: 6 (9 enodes)
3.921 * * [simplify]: iters left: 5 (35 enodes)
3.929 * * [simplify]: iters left: 4 (53 enodes)
3.944 * * [simplify]: iters left: 3 (67 enodes)
3.962 * * [simplify]: iters left: 2 (93 enodes)
3.991 * * [simplify]: iters left: 1 (145 enodes)
4.044 * * [simplify]: Extracting #0: cost 1 inf + 0
4.044 * * [simplify]: Extracting #1: cost 3 inf + 0
4.044 * * [simplify]: Extracting #2: cost 6 inf + 0
4.044 * * [simplify]: Extracting #3: cost 25 inf + 0
4.044 * * [simplify]: Extracting #4: cost 65 inf + 1
4.045 * * [simplify]: Extracting #5: cost 78 inf + 4
4.045 * * [simplify]: Extracting #6: cost 81 inf + 5
4.048 * * [simplify]: Extracting #7: cost 81 inf + 118
4.049 * * [simplify]: Extracting #8: cost 56 inf + 8069
4.055 * * [simplify]: Extracting #9: cost 11 inf + 31150
4.064 * * [simplify]: Extracting #10: cost 1 inf + 38954
4.073 * * [simplify]: Extracting #11: cost 0 inf + 39288
4.079 * * [simplify]: Extracting #12: cost 0 inf + 39157
4.084 * [simplify]: Simplified to (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))
4.084 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
4.084 * * * * [progress]: [ 27 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
4.084 * [simplify]: Simplifying (log 1)
4.084 * * [simplify]: iters left: 1 (2 enodes)
4.086 * * [simplify]: Extracting #0: cost 1 inf + 0
4.086 * * [simplify]: Extracting #1: cost 0 inf + 1
4.086 * [simplify]: Simplified to 0
4.086 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))
4.086 * * * * [progress]: [ 28 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.086 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
4.086 * * [simplify]: iters left: 4 (5 enodes)
4.087 * * [simplify]: iters left: 3 (21 enodes)
4.091 * * [simplify]: iters left: 2 (34 enodes)
4.096 * * [simplify]: iters left: 1 (38 enodes)
4.101 * * [simplify]: Extracting #0: cost 1 inf + 0
4.101 * * [simplify]: Extracting #1: cost 3 inf + 0
4.101 * * [simplify]: Extracting #2: cost 6 inf + 0
4.101 * * [simplify]: Extracting #3: cost 11 inf + 0
4.101 * * [simplify]: Extracting #4: cost 12 inf + 2
4.101 * * [simplify]: Extracting #5: cost 9 inf + 599
4.102 * * [simplify]: Extracting #6: cost 5 inf + 1069
4.102 * * [simplify]: Extracting #7: cost 0 inf + 1909
4.102 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
4.102 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.102 * * * * [progress]: [ 29 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* 1 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
4.102 * * * * [progress]: [ 30 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.102 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
4.103 * * [simplify]: iters left: 4 (5 enodes)
4.104 * * [simplify]: iters left: 3 (21 enodes)
4.107 * * [simplify]: iters left: 2 (34 enodes)
4.112 * * [simplify]: iters left: 1 (38 enodes)
4.119 * * [simplify]: Extracting #0: cost 1 inf + 0
4.119 * * [simplify]: Extracting #1: cost 3 inf + 0
4.119 * * [simplify]: Extracting #2: cost 6 inf + 0
4.119 * * [simplify]: Extracting #3: cost 11 inf + 0
4.119 * * [simplify]: Extracting #4: cost 12 inf + 2
4.119 * * [simplify]: Extracting #5: cost 9 inf + 599
4.119 * * [simplify]: Extracting #6: cost 5 inf + 1069
4.120 * * [simplify]: Extracting #7: cost 0 inf + 1909
4.120 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
4.120 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.120 * * * * [progress]: [ 31 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) 1)) (log1p a))))>
4.121 * * * * [progress]: [ 32 / 51 ] 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))))>
4.121 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
4.121 * * [simplify]: iters left: 4 (5 enodes)
4.123 * * [simplify]: iters left: 3 (21 enodes)
4.130 * * [simplify]: iters left: 2 (34 enodes)
4.139 * * [simplify]: iters left: 1 (38 enodes)
4.150 * * [simplify]: Extracting #0: cost 1 inf + 0
4.151 * * [simplify]: Extracting #1: cost 3 inf + 0
4.151 * * [simplify]: Extracting #2: cost 6 inf + 0
4.151 * * [simplify]: Extracting #3: cost 11 inf + 0
4.151 * * [simplify]: Extracting #4: cost 12 inf + 2
4.151 * * [simplify]: Extracting #5: cost 9 inf + 599
4.151 * * [simplify]: Extracting #6: cost 5 inf + 1069
4.152 * * [simplify]: Extracting #7: cost 0 inf + 1909
4.152 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
4.152 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log1p a))))
4.152 * * * * [progress]: [ 33 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (exp (log (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
4.153 * * * * [progress]: [ 34 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
4.153 * * * * [progress]: [ 35 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (cbrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
4.153 * * * * [progress]: [ 36 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
4.153 * * * * [progress]: [ 37 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (sqrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
4.153 * * * * [progress]: [ 38 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* 1 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
4.153 * * * * [progress]: [ 39 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
4.153 * * * * [progress]: [ 40 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))) (log1p a))))>
4.153 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.153 * * [simplify]: iters left: 2 (5 enodes)
4.156 * * [simplify]: iters left: 1 (25 enodes)
4.165 * * [simplify]: Extracting #0: cost 1 inf + 0
4.165 * * [simplify]: Extracting #1: cost 4 inf + 0
4.165 * * [simplify]: Extracting #2: cost 9 inf + 0
4.165 * * [simplify]: Extracting #3: cost 10 inf + 2
4.165 * * [simplify]: Extracting #4: cost 8 inf + 433
4.165 * * [simplify]: Extracting #5: cost 4 inf + 823
4.166 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.166 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.166 * [simplify]: Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.166 * * * * [progress]: [ 41 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))) (log1p a))))>
4.167 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.167 * * [simplify]: iters left: 2 (5 enodes)
4.172 * * [simplify]: iters left: 1 (25 enodes)
4.181 * * [simplify]: Extracting #0: cost 1 inf + 0
4.181 * * [simplify]: Extracting #1: cost 4 inf + 0
4.181 * * [simplify]: Extracting #2: cost 9 inf + 0
4.181 * * [simplify]: Extracting #3: cost 10 inf + 2
4.181 * * [simplify]: Extracting #4: cost 8 inf + 433
4.181 * * [simplify]: Extracting #5: cost 4 inf + 823
4.182 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.182 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.182 * [simplify]: Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.182 * * * * [progress]: [ 42 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))) (log1p a))))>
4.183 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.183 * * [simplify]: iters left: 2 (5 enodes)
4.186 * * [simplify]: iters left: 1 (25 enodes)
4.195 * * [simplify]: Extracting #0: cost 1 inf + 0
4.196 * * [simplify]: Extracting #1: cost 4 inf + 0
4.196 * * [simplify]: Extracting #2: cost 9 inf + 0
4.196 * * [simplify]: Extracting #3: cost 10 inf + 2
4.196 * * [simplify]: Extracting #4: cost 8 inf + 433
4.196 * * [simplify]: Extracting #5: cost 4 inf + 823
4.196 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.197 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.197 * [simplify]: Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.197 * * * * [progress]: [ 43 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.197 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.198 * * [simplify]: iters left: 2 (5 enodes)
4.202 * * [simplify]: iters left: 1 (25 enodes)
4.209 * * [simplify]: Extracting #0: cost 1 inf + 0
4.210 * * [simplify]: Extracting #1: cost 4 inf + 0
4.210 * * [simplify]: Extracting #2: cost 9 inf + 0
4.210 * * [simplify]: Extracting #3: cost 10 inf + 2
4.210 * * [simplify]: Extracting #4: cost 8 inf + 433
4.210 * * [simplify]: Extracting #5: cost 4 inf + 823
4.210 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.211 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.211 * [simplify]: Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.211 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.211 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.212 * * [simplify]: iters left: 2 (5 enodes)
4.215 * * [simplify]: iters left: 1 (25 enodes)
4.223 * * [simplify]: Extracting #0: cost 1 inf + 0
4.223 * * [simplify]: Extracting #1: cost 4 inf + 0
4.223 * * [simplify]: Extracting #2: cost 9 inf + 0
4.223 * * [simplify]: Extracting #3: cost 10 inf + 2
4.223 * * [simplify]: Extracting #4: cost 8 inf + 433
4.224 * * [simplify]: Extracting #5: cost 4 inf + 823
4.224 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.224 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.224 * [simplify]: Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.225 * * * * [progress]: [ 45 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.225 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.225 * * [simplify]: iters left: 2 (5 enodes)
4.228 * * [simplify]: iters left: 1 (25 enodes)
4.236 * * [simplify]: Extracting #0: cost 1 inf + 0
4.236 * * [simplify]: Extracting #1: cost 4 inf + 0
4.236 * * [simplify]: Extracting #2: cost 9 inf + 0
4.236 * * [simplify]: Extracting #3: cost 10 inf + 2
4.237 * * [simplify]: Extracting #4: cost 8 inf + 433
4.237 * * [simplify]: Extracting #5: cost 4 inf + 823
4.237 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.238 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.238 * [simplify]: Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.238 * * * * [progress]: [ 46 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (pow a 2))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.238 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.238 * * [simplify]: iters left: 2 (5 enodes)
4.241 * * [simplify]: iters left: 1 (25 enodes)
4.250 * * [simplify]: Extracting #0: cost 1 inf + 0
4.250 * * [simplify]: Extracting #1: cost 4 inf + 0
4.250 * * [simplify]: Extracting #2: cost 9 inf + 0
4.250 * * [simplify]: Extracting #3: cost 10 inf + 2
4.250 * * [simplify]: Extracting #4: cost 8 inf + 433
4.250 * * [simplify]: Extracting #5: cost 4 inf + 823
4.251 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.251 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.251 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.251 * * * * [progress]: [ 47 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (pow a 2))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.252 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.252 * * [simplify]: iters left: 2 (5 enodes)
4.255 * * [simplify]: iters left: 1 (25 enodes)
4.263 * * [simplify]: Extracting #0: cost 1 inf + 0
4.263 * * [simplify]: Extracting #1: cost 4 inf + 0
4.263 * * [simplify]: Extracting #2: cost 9 inf + 0
4.263 * * [simplify]: Extracting #3: cost 10 inf + 2
4.263 * * [simplify]: Extracting #4: cost 8 inf + 433
4.264 * * [simplify]: Extracting #5: cost 4 inf + 823
4.264 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.264 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.264 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.265 * * * * [progress]: [ 48 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (pow a 2))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
4.265 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
4.265 * * [simplify]: iters left: 2 (5 enodes)
4.268 * * [simplify]: iters left: 1 (25 enodes)
4.276 * * [simplify]: Extracting #0: cost 1 inf + 0
4.276 * * [simplify]: Extracting #1: cost 4 inf + 0
4.276 * * [simplify]: Extracting #2: cost 9 inf + 0
4.276 * * [simplify]: Extracting #3: cost 10 inf + 2
4.276 * * [simplify]: Extracting #4: cost 8 inf + 433
4.277 * * [simplify]: Extracting #5: cost 4 inf + 823
4.277 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.277 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.278 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
4.278 * * * * [progress]: [ 49 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)) (log1p a))))>
4.278 * [simplify]: Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
4.278 * * [simplify]: iters left: 4 (8 enodes)
4.284 * * [simplify]: iters left: 3 (42 enodes)
4.296 * * [simplify]: iters left: 2 (76 enodes)
4.312 * * [simplify]: iters left: 1 (130 enodes)
4.342 * * [simplify]: Extracting #0: cost 1 inf + 0
4.342 * * [simplify]: Extracting #1: cost 9 inf + 0
4.342 * * [simplify]: Extracting #2: cost 24 inf + 1
4.342 * * [simplify]: Extracting #3: cost 28 inf + 6
4.343 * * [simplify]: Extracting #4: cost 35 inf + 8
4.343 * * [simplify]: Extracting #5: cost 34 inf + 123
4.343 * * [simplify]: Extracting #6: cost 22 inf + 3638
4.344 * * [simplify]: Extracting #7: cost 3 inf + 11160
4.346 * * [simplify]: Extracting #8: cost 0 inf + 12455
4.347 * [simplify]: Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
4.347 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a))))
4.347 * * * * [progress]: [ 50 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)) (log1p a))))>
4.348 * [simplify]: Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
4.348 * * [simplify]: iters left: 4 (8 enodes)
4.351 * * [simplify]: iters left: 3 (42 enodes)
4.359 * * [simplify]: iters left: 2 (76 enodes)
4.378 * * [simplify]: iters left: 1 (130 enodes)
4.428 * * [simplify]: Extracting #0: cost 1 inf + 0
4.428 * * [simplify]: Extracting #1: cost 9 inf + 0
4.428 * * [simplify]: Extracting #2: cost 24 inf + 1
4.428 * * [simplify]: Extracting #3: cost 28 inf + 6
4.428 * * [simplify]: Extracting #4: cost 35 inf + 8
4.428 * * [simplify]: Extracting #5: cost 34 inf + 123
4.429 * * [simplify]: Extracting #6: cost 22 inf + 3638
4.430 * * [simplify]: Extracting #7: cost 3 inf + 11160
4.431 * * [simplify]: Extracting #8: cost 0 inf + 12455
4.433 * [simplify]: Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
4.433 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a))))
4.433 * * * * [progress]: [ 51 / 51 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)) (log1p a))))>
4.433 * [simplify]: Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
4.433 * * [simplify]: iters left: 4 (8 enodes)
4.436 * * [simplify]: iters left: 3 (42 enodes)
4.445 * * [simplify]: iters left: 2 (76 enodes)
4.460 * * [simplify]: iters left: 1 (130 enodes)
4.494 * * [simplify]: Extracting #0: cost 1 inf + 0
4.494 * * [simplify]: Extracting #1: cost 9 inf + 0
4.494 * * [simplify]: Extracting #2: cost 24 inf + 1
4.494 * * [simplify]: Extracting #3: cost 28 inf + 6
4.494 * * [simplify]: Extracting #4: cost 35 inf + 8
4.494 * * [simplify]: Extracting #5: cost 34 inf + 123
4.495 * * [simplify]: Extracting #6: cost 22 inf + 3638
4.497 * * [simplify]: Extracting #7: cost 3 inf + 11160
4.500 * * [simplify]: Extracting #8: cost 0 inf + 12455
4.502 * [simplify]: Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
4.502 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a))))
4.502 * * * [progress]: adding candidates to table
5.213 * * [progress]: iteration 4 / 4
5.213 * * * [progress]: picking best candidate
5.254 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.254 * * * [progress]: localizing error
5.328 * * * [progress]: generating rewritten candidates
5.328 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 2 1)
5.328 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1 1)
5.329 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 1 1 1 2 1)
5.329 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1 1 1 1 1)
5.329 * * * [progress]: generating series expansions
5.330 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 2 1)
5.330 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.330 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.330 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.330 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.330 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.330 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.330 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.337 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.338 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.338 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.339 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.339 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.339 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.340 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1 1 1 1)
5.340 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.340 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.340 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.340 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.340 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.340 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.340 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.341 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.341 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.342 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.343 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.343 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.343 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.343 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.343 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.343 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.343 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2 1 1 1 2 1)
5.344 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.344 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.344 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.344 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.344 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.344 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.344 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.345 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.345 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.345 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.346 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1 1 1 1 1)
5.348 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.348 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.348 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.348 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.348 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.348 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.348 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.349 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.349 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.349 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.349 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.349 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.349 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 0 into 0
5.350 * [backup-simplify]: Simplify 0 into 0
5.350 * [backup-simplify]: Simplify 0 into 0
5.350 * [backup-simplify]: Simplify 0 into 0
5.350 * [backup-simplify]: Simplify 0 into 0
5.350 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.350 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.350 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.351 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.351 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.351 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.352 * * * [progress]: simplifying candidates
5.352 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (pow (fmod (cosh a) (* a a)) 1)))))))) (log1p a))))>
5.352 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (exp (log (fmod (cosh a) (* a a))))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log (exp (fmod (cosh a) (* a a))))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* 1 (fmod (cosh a) (* a a)))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.353 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (pow (fmod (cosh a) (* a a)) 1))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (exp (log (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log (exp (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.354 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* 1 (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.355 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))))) (log1p a))))>
5.356 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.356 * * [simplify]: iters left: 2 (5 enodes)
5.359 * * [simplify]: iters left: 1 (25 enodes)
5.363 * * [simplify]: Extracting #0: cost 1 inf + 0
5.363 * * [simplify]: Extracting #1: cost 4 inf + 0
5.363 * * [simplify]: Extracting #2: cost 9 inf + 0
5.363 * * [simplify]: Extracting #3: cost 10 inf + 2
5.363 * * [simplify]: Extracting #4: cost 8 inf + 433
5.363 * * [simplify]: Extracting #5: cost 4 inf + 823
5.364 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.364 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.364 * [simplify]: Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.364 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))))) (log1p a))))>
5.364 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.364 * * [simplify]: iters left: 2 (5 enodes)
5.366 * * [simplify]: iters left: 1 (25 enodes)
5.370 * * [simplify]: Extracting #0: cost 1 inf + 0
5.370 * * [simplify]: Extracting #1: cost 4 inf + 0
5.370 * * [simplify]: Extracting #2: cost 9 inf + 0
5.370 * * [simplify]: Extracting #3: cost 10 inf + 2
5.370 * * [simplify]: Extracting #4: cost 8 inf + 433
5.370 * * [simplify]: Extracting #5: cost 4 inf + 823
5.370 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.370 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.370 * [simplify]: Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.371 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))))) (log1p a))))>
5.371 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.371 * * [simplify]: iters left: 2 (5 enodes)
5.372 * * [simplify]: iters left: 1 (25 enodes)
5.376 * * [simplify]: Extracting #0: cost 1 inf + 0
5.376 * * [simplify]: Extracting #1: cost 4 inf + 0
5.376 * * [simplify]: Extracting #2: cost 9 inf + 0
5.376 * * [simplify]: Extracting #3: cost 10 inf + 2
5.377 * * [simplify]: Extracting #4: cost 8 inf + 433
5.377 * * [simplify]: Extracting #5: cost 4 inf + 823
5.377 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.377 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.377 * [simplify]: Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.377 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.378 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.378 * * [simplify]: iters left: 2 (5 enodes)
5.379 * * [simplify]: iters left: 1 (25 enodes)
5.383 * * [simplify]: Extracting #0: cost 1 inf + 0
5.383 * * [simplify]: Extracting #1: cost 4 inf + 0
5.383 * * [simplify]: Extracting #2: cost 9 inf + 0
5.383 * * [simplify]: Extracting #3: cost 10 inf + 2
5.383 * * [simplify]: Extracting #4: cost 8 inf + 433
5.383 * * [simplify]: Extracting #5: cost 4 inf + 823
5.384 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.384 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.384 * [simplify]: Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.384 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.384 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.384 * * [simplify]: iters left: 2 (5 enodes)
5.386 * * [simplify]: iters left: 1 (25 enodes)
5.390 * * [simplify]: Extracting #0: cost 1 inf + 0
5.390 * * [simplify]: Extracting #1: cost 4 inf + 0
5.390 * * [simplify]: Extracting #2: cost 9 inf + 0
5.390 * * [simplify]: Extracting #3: cost 10 inf + 2
5.390 * * [simplify]: Extracting #4: cost 8 inf + 433
5.390 * * [simplify]: Extracting #5: cost 4 inf + 823
5.390 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.391 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.391 * [simplify]: Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.391 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.391 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.391 * * [simplify]: iters left: 2 (5 enodes)
5.394 * * [simplify]: iters left: 1 (25 enodes)
5.402 * * [simplify]: Extracting #0: cost 1 inf + 0
5.402 * * [simplify]: Extracting #1: cost 4 inf + 0
5.402 * * [simplify]: Extracting #2: cost 9 inf + 0
5.402 * * [simplify]: Extracting #3: cost 10 inf + 2
5.402 * * [simplify]: Extracting #4: cost 8 inf + 433
5.403 * * [simplify]: Extracting #5: cost 4 inf + 823
5.403 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.404 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.404 * [simplify]: Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.404 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.404 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.404 * * [simplify]: iters left: 2 (5 enodes)
5.407 * * [simplify]: iters left: 1 (25 enodes)
5.415 * * [simplify]: Extracting #0: cost 1 inf + 0
5.415 * * [simplify]: Extracting #1: cost 4 inf + 0
5.415 * * [simplify]: Extracting #2: cost 9 inf + 0
5.416 * * [simplify]: Extracting #3: cost 10 inf + 2
5.416 * * [simplify]: Extracting #4: cost 8 inf + 433
5.416 * * [simplify]: Extracting #5: cost 4 inf + 823
5.416 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.417 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.417 * [simplify]: Simplified (2 1 1 2 1 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.417 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.417 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.417 * * [simplify]: iters left: 2 (5 enodes)
5.421 * * [simplify]: iters left: 1 (25 enodes)
5.429 * * [simplify]: Extracting #0: cost 1 inf + 0
5.430 * * [simplify]: Extracting #1: cost 4 inf + 0
5.430 * * [simplify]: Extracting #2: cost 9 inf + 0
5.430 * * [simplify]: Extracting #3: cost 10 inf + 2
5.430 * * [simplify]: Extracting #4: cost 8 inf + 433
5.430 * * [simplify]: Extracting #5: cost 4 inf + 823
5.431 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.431 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.431 * [simplify]: Simplified (2 1 1 2 1 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.431 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.432 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.432 * * [simplify]: iters left: 2 (5 enodes)
5.435 * * [simplify]: iters left: 1 (25 enodes)
5.443 * * [simplify]: Extracting #0: cost 1 inf + 0
5.443 * * [simplify]: Extracting #1: cost 4 inf + 0
5.443 * * [simplify]: Extracting #2: cost 9 inf + 0
5.443 * * [simplify]: Extracting #3: cost 10 inf + 2
5.444 * * [simplify]: Extracting #4: cost 8 inf + 433
5.444 * * [simplify]: Extracting #5: cost 4 inf + 823
5.444 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.445 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.445 * [simplify]: Simplified (2 1 1 2 1 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.445 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.445 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.445 * * [simplify]: iters left: 2 (5 enodes)
5.449 * * [simplify]: iters left: 1 (25 enodes)
5.457 * * [simplify]: Extracting #0: cost 1 inf + 0
5.457 * * [simplify]: Extracting #1: cost 4 inf + 0
5.457 * * [simplify]: Extracting #2: cost 9 inf + 0
5.457 * * [simplify]: Extracting #3: cost 10 inf + 2
5.457 * * [simplify]: Extracting #4: cost 8 inf + 433
5.457 * * [simplify]: Extracting #5: cost 4 inf + 823
5.458 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.458 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.458 * [simplify]: Simplified (2 1 1 2 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.459 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.459 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.459 * * [simplify]: iters left: 2 (5 enodes)
5.462 * * [simplify]: iters left: 1 (25 enodes)
5.474 * * [simplify]: Extracting #0: cost 1 inf + 0
5.474 * * [simplify]: Extracting #1: cost 4 inf + 0
5.474 * * [simplify]: Extracting #2: cost 9 inf + 0
5.474 * * [simplify]: Extracting #3: cost 10 inf + 2
5.474 * * [simplify]: Extracting #4: cost 8 inf + 433
5.474 * * [simplify]: Extracting #5: cost 4 inf + 823
5.475 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.475 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.475 * [simplify]: Simplified (2 1 1 2 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.476 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
5.476 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
5.476 * * [simplify]: iters left: 2 (5 enodes)
5.479 * * [simplify]: iters left: 1 (25 enodes)
5.488 * * [simplify]: Extracting #0: cost 1 inf + 0
5.488 * * [simplify]: Extracting #1: cost 4 inf + 0
5.488 * * [simplify]: Extracting #2: cost 9 inf + 0
5.488 * * [simplify]: Extracting #3: cost 10 inf + 2
5.488 * * [simplify]: Extracting #4: cost 8 inf + 433
5.488 * * [simplify]: Extracting #5: cost 4 inf + 823
5.489 * * [simplify]: Extracting #6: cost 0 inf + 1417
5.489 * [simplify]: Simplified to (fmod (cosh a) (* a a))
5.489 * [simplify]: Simplified (2 1 1 2 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
5.490 * * * [progress]: adding candidates to table
6.196 * [progress]: [Phase 3 of 3] Extracting.
6.197 * * [regime]: Finding splitpoints for: (#<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))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<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))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
6.200 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
6.201 * * * * [regimes]: Trying to branch on a from (#<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))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<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))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
6.263 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<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))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
6.348 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<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))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
6.397 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<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))))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
6.508 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<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))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
6.581 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.581 * [simplify]: Simplifying (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a)))
6.581 * * [simplify]: iters left: 6 (12 enodes)
6.582 * * [simplify]: iters left: 5 (13 enodes)
6.582 * * [simplify]: Extracting #0: cost 1 inf + 0
6.582 * * [simplify]: Extracting #1: cost 2 inf + 0
6.582 * * [simplify]: Extracting #2: cost 4 inf + 0
6.582 * * [simplify]: Extracting #3: cost 7 inf + 0
6.583 * * [simplify]: Extracting #4: cost 8 inf + 1
6.583 * * [simplify]: Extracting #5: cost 10 inf + 92
6.583 * * [simplify]: Extracting #6: cost 0 inf + 3757
6.583 * [simplify]: Simplified to (acos (pow (* (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)))
40.543 * [regime-testing]: Baseline error score: 59.36299124497412
40.545 * [regime-testing]: Oracle error score: 59.105139952200865
40.550 * [regime-testing]: End program error score: 59.36299124497412