0.920 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.297 * * * [progress]: [2/2] Setting up program. 1.305 * [progress]: [Phase 2 of 3] Improving. 1.309 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.310 * * [simplify]: Extracting # 0 : cost 0 1.311 * * [simplify]: Extracting # 1 : cost 0 1.311 * * [simplify]: Extracting # 2 : cost 0 1.311 * * [simplify]: Extracting # 3 : cost 0 1.311 * * [simplify]: Extracting # 4 : cost 0 1.311 * * [simplify]: Extracting # 5 : cost 0 1.311 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.317 * * [simplify]: Extracting # 0 : cost 0 1.317 * * [simplify]: Extracting # 1 : cost 0 1.317 * * [simplify]: Extracting # 2 : cost 0 1.317 * * [simplify]: Extracting # 3 : cost 0 1.317 * * [simplify]: Extracting # 4 : cost 0 1.317 * * [simplify]: Extracting # 5 : cost 0 1.317 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 1.320 * * [simplify]: Extracting # 0 : cost 0 1.320 * * [simplify]: Extracting # 1 : cost 0 1.320 * * [simplify]: Extracting # 2 : cost 0 1.320 * * [simplify]: Extracting # 3 : cost 0 1.320 * * [simplify]: Extracting # 4 : cost 0 1.320 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.325 * * [simplify]: Extracting # 0 : cost 0 1.325 * * [simplify]: Extracting # 1 : cost 0 1.325 * * [simplify]: Extracting # 2 : cost 0 1.325 * * [simplify]: Extracting # 3 : cost 0 1.325 * * [simplify]: Extracting # 4 : cost 0 1.325 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 1.333 * * [simplify]: Extracting # 0 : cost 0 1.333 * * [simplify]: Extracting # 1 : cost 0 1.333 * * [simplify]: Extracting # 2 : cost 0 1.334 * * [simplify]: Extracting # 3 : cost 0 1.334 * * [simplify]: Extracting # 4 : cost 0 1.334 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 1.378 * * [simplify]: Extracting # 0 : cost 0 1.379 * * [simplify]: Extracting # 1 : cost 0 1.380 * * [simplify]: Extracting # 2 : cost 0 1.380 * * [simplify]: Extracting # 3 : cost 0 1.381 * * [simplify]: Extracting # 4 : cost 0 1.382 * * [simplify]: iteration 5 : 373 enodes (cost 10 ) 2.489 * * [simplify]: Extracting # 0 : cost 0 2.499 * * [simplify]: Extracting # 1 : cost 0 2.504 * * [simplify]: Extracting # 2 : cost 0 2.508 * * [simplify]: Extracting # 3 : cost 0 2.513 * * [simplify]: Extracting # 4 : cost 0 2.518 * * [simplify]: iteration 6 : 3269 enodes (cost 10 ) 5.381 * * [simplify]: Extracting # 0 : cost 0 5.446 * * [simplify]: Extracting # 1 : cost 0 5.450 * * [simplify]: Extracting # 2 : cost 0 5.453 * * [simplify]: Extracting # 3 : cost 0 5.455 * * [simplify]: Extracting # 4 : cost 0 5.458 * * [simplify]: iteration done: 5001 enodes (cost 10 ) 5.459 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.460 * * [progress]: iteration 1 / 4 5.460 * * * [progress]: picking best candidate 5.463 * * * * [pick]: Picked # 5.463 * * * [progress]: localizing error 5.481 * * * [progress]: generating rewritten candidates 5.481 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.482 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.485 * * * [progress]: generating series expansions 5.485 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.489 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 5.489 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 5.490 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.492 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.492 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.492 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.493 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.494 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.494 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 5.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.494 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.494 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.494 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 5.495 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.495 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 5.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.495 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.495 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.495 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 5.496 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.496 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.496 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 5.496 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 5.496 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.496 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 5.496 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.497 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.497 * [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)))) 5.497 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 5.497 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 5.497 * [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)))) 5.497 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 5.498 * [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)))) 5.498 * [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)))) 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [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))) 5.498 * [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)))) 5.498 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 5.498 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 5.499 * [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)))) 5.499 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 5.499 * [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)))) 5.499 * [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)))) 5.499 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify 0 into 0 5.500 * [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))) 5.500 * * * [progress]: simplifying candidates 5.500 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.501 * * [simplify]: Extracting # 0 : cost 0 5.501 * * [simplify]: Extracting # 1 : cost 0 5.501 * * [simplify]: Extracting # 2 : cost 0 5.501 * * [simplify]: Extracting # 3 : cost 0 5.501 * * [simplify]: Extracting # 4 : cost 0 5.501 * * [simplify]: Extracting # 5 : cost 0 5.501 * * [simplify]: Extracting # 6 : cost 0 5.501 * * [simplify]: Extracting # 7 : cost 0 5.501 * * [simplify]: iteration 0 : 33 enodes (cost 277 ) 5.510 * * [simplify]: Extracting # 0 : cost 0 5.511 * * [simplify]: Extracting # 1 : cost 0 5.511 * * [simplify]: Extracting # 2 : cost 0 5.511 * * [simplify]: Extracting # 3 : cost 0 5.511 * * [simplify]: Extracting # 4 : cost 0 5.511 * * [simplify]: Extracting # 5 : cost 0 5.511 * * [simplify]: iteration 1 : 55 enodes (cost 277 ) 5.531 * * [simplify]: Extracting # 0 : cost 0 5.532 * * [simplify]: Extracting # 1 : cost 0 5.532 * * [simplify]: Extracting # 2 : cost 0 5.532 * * [simplify]: Extracting # 3 : cost 0 5.532 * * [simplify]: Extracting # 4 : cost 0 5.532 * * [simplify]: iteration 2 : 102 enodes (cost 245 ) 5.568 * * [simplify]: Extracting # 0 : cost 0 5.568 * * [simplify]: Extracting # 1 : cost 0 5.568 * * [simplify]: Extracting # 2 : cost 0 5.568 * * [simplify]: Extracting # 3 : cost 0 5.568 * * [simplify]: Extracting # 4 : cost 0 5.568 * * [simplify]: iteration 3 : 172 enodes (cost 245 ) 5.590 * * [simplify]: Extracting # 0 : cost 0 5.591 * * [simplify]: Extracting # 1 : cost 0 5.591 * * [simplify]: Extracting # 2 : cost 0 5.591 * * [simplify]: Extracting # 3 : cost 0 5.591 * * [simplify]: Extracting # 4 : cost 0 5.591 * * [simplify]: iteration 4 : 303 enodes (cost 245 ) 5.707 * * [simplify]: Extracting # 0 : cost 0 5.708 * * [simplify]: Extracting # 1 : cost 0 5.709 * * [simplify]: Extracting # 2 : cost 0 5.710 * * [simplify]: Extracting # 3 : cost 0 5.711 * * [simplify]: Extracting # 4 : cost 0 5.712 * * [simplify]: iteration 5 : 810 enodes (cost 245 ) 6.745 * * [simplify]: Extracting # 0 : cost 0 6.750 * * [simplify]: Extracting # 1 : cost 0 6.752 * * [simplify]: Extracting # 2 : cost 0 6.754 * * [simplify]: Extracting # 3 : cost 0 6.756 * * [simplify]: Extracting # 4 : cost 0 6.758 * * [simplify]: iteration 6 : 3964 enodes (cost 245 ) 8.480 * * [simplify]: Extracting # 0 : cost 0 8.508 * * [simplify]: Extracting # 1 : cost 0 8.514 * * [simplify]: Extracting # 2 : cost 0 8.520 * * [simplify]: Extracting # 3 : cost 0 8.528 * * [simplify]: Extracting # 4 : cost 0 8.531 * * [simplify]: iteration done: 5000 enodes (cost 245 ) 8.531 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 8.531 * * * [progress]: adding candidates to table 8.633 * * [progress]: iteration 2 / 4 8.633 * * * [progress]: picking best candidate 8.648 * * * * [pick]: Picked # 8.648 * * * [progress]: localizing error 8.663 * * * [progress]: generating rewritten candidates 8.663 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 8.663 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 8.666 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.668 * * * [progress]: generating series expansions 8.668 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 8.668 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 8.668 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.668 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.669 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.669 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.669 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.669 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.669 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.670 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 8.670 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.670 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.670 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.670 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 8.671 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 8.671 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 8.671 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.671 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.671 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.671 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.671 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.671 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.672 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.672 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.672 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.672 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.672 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 8.673 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.673 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.673 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify 0 into 0 8.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 8.674 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.674 * [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))) 8.674 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 8.674 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.674 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.674 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.674 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.674 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.675 * [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)))) 8.675 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 8.675 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.675 * [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)))) 8.675 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.676 * [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)))) 8.676 * [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)))) 8.676 * [backup-simplify]: Simplify 0 into 0 8.676 * [backup-simplify]: Simplify 0 into 0 8.676 * [backup-simplify]: Simplify 0 into 0 8.676 * [backup-simplify]: Simplify 0 into 0 8.676 * [backup-simplify]: Simplify 0 into 0 8.676 * [backup-simplify]: Simplify 0 into 0 8.676 * [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))) 8.676 * [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)))) 8.676 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 8.677 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.677 * [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)))) 8.677 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.677 * [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)))) 8.677 * [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)))) 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 0 into 0 8.678 * [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))) 8.678 * * * [progress]: simplifying candidates 8.678 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (exp (fmod (cosh a) (* a a))))) (log1p (log (exp (fmod (cosh a) (* a a))))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.679 * * [simplify]: Extracting # 0 : cost 0 8.679 * * [simplify]: Extracting # 1 : cost 0 8.679 * * [simplify]: Extracting # 2 : cost 0 8.679 * * [simplify]: Extracting # 3 : cost 0 8.680 * * [simplify]: Extracting # 4 : cost 0 8.680 * * [simplify]: Extracting # 5 : cost 0 8.680 * * [simplify]: Extracting # 6 : cost 0 8.680 * * [simplify]: Extracting # 7 : cost 0 8.680 * * [simplify]: iteration 0 : 57 enodes (cost 521 ) 8.700 * * [simplify]: Extracting # 0 : cost 0 8.700 * * [simplify]: Extracting # 1 : cost 0 8.700 * * [simplify]: Extracting # 2 : cost 0 8.701 * * [simplify]: Extracting # 3 : cost 0 8.701 * * [simplify]: Extracting # 4 : cost 0 8.701 * * [simplify]: Extracting # 5 : cost 0 8.701 * * [simplify]: Extracting # 6 : cost 0 8.701 * * [simplify]: iteration 1 : 89 enodes (cost 460 ) 8.734 * * [simplify]: Extracting # 0 : cost 0 8.734 * * [simplify]: Extracting # 1 : cost 0 8.734 * * [simplify]: Extracting # 2 : cost 0 8.734 * * [simplify]: Extracting # 3 : cost 0 8.734 * * [simplify]: Extracting # 4 : cost 0 8.734 * * [simplify]: iteration 2 : 154 enodes (cost 409 ) 8.754 * * [simplify]: Extracting # 0 : cost 0 8.754 * * [simplify]: Extracting # 1 : cost 0 8.754 * * [simplify]: Extracting # 2 : cost 0 8.754 * * [simplify]: Extracting # 3 : cost 0 8.754 * * [simplify]: Extracting # 4 : cost 0 8.755 * * [simplify]: iteration 3 : 236 enodes (cost 409 ) 8.794 * * [simplify]: Extracting # 0 : cost 0 8.795 * * [simplify]: Extracting # 1 : cost 0 8.795 * * [simplify]: Extracting # 2 : cost 0 8.796 * * [simplify]: Extracting # 3 : cost 0 8.796 * * [simplify]: Extracting # 4 : cost 0 8.796 * * [simplify]: iteration 4 : 382 enodes (cost 409 ) 8.927 * * [simplify]: Extracting # 0 : cost 0 8.928 * * [simplify]: Extracting # 1 : cost 0 8.929 * * [simplify]: Extracting # 2 : cost 0 8.929 * * [simplify]: Extracting # 3 : cost 0 8.930 * * [simplify]: Extracting # 4 : cost 0 8.930 * * [simplify]: iteration 5 : 971 enodes (cost 409 ) 10.207 * * [simplify]: Extracting # 0 : cost 0 10.213 * * [simplify]: Extracting # 1 : cost 0 10.216 * * [simplify]: Extracting # 2 : cost 0 10.219 * * [simplify]: Extracting # 3 : cost 0 10.222 * * [simplify]: Extracting # 4 : cost 0 10.224 * * [simplify]: iteration 6 : 4705 enodes (cost 409 ) 12.101 * * [simplify]: Extracting # 0 : cost 0 12.108 * * [simplify]: Extracting # 1 : cost 0 12.114 * * [simplify]: Extracting # 2 : cost 0 12.120 * * [simplify]: iteration done: 5001 enodes (cost 409 ) 12.121 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (* 2 (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) 0 (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (pow a 2))) 1 (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (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))) 12.122 * * * [progress]: adding candidates to table 12.391 * * [progress]: iteration 3 / 4 12.391 * * * [progress]: picking best candidate 12.418 * * * * [pick]: Picked # 12.419 * * * [progress]: localizing error 12.445 * * * [progress]: generating rewritten candidates 12.445 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 12.445 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 12.445 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 12.446 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 12.447 * * * [progress]: generating series expansions 12.447 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 12.447 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.447 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 12.447 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.447 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.447 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.448 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.448 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.448 * [backup-simplify]: Simplify 0 into 0 12.448 * [backup-simplify]: Simplify 0 into 0 12.448 * [backup-simplify]: Simplify 0 into 0 12.448 * [backup-simplify]: Simplify 0 into 0 12.448 * [backup-simplify]: Simplify 0 into 0 12.448 * [backup-simplify]: Simplify 0 into 0 12.448 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.448 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 12.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 12.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 12.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.449 * [backup-simplify]: Simplify 0 into 0 12.449 * [backup-simplify]: Simplify 0 into 0 12.449 * [backup-simplify]: Simplify 0 into 0 12.449 * [backup-simplify]: Simplify 0 into 0 12.449 * [backup-simplify]: Simplify 0 into 0 12.449 * [backup-simplify]: Simplify 0 into 0 12.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 12.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.449 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 12.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 12.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 12.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.449 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 12.450 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 12.450 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.450 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 12.450 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.450 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.450 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.450 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.450 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.450 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.451 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 12.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 12.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.451 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 12.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 12.452 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.452 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 12.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 12.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.452 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 12.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.452 * [backup-simplify]: Simplify 0 into 0 12.452 * [backup-simplify]: Simplify 0 into 0 12.452 * [backup-simplify]: Simplify 0 into 0 12.452 * [backup-simplify]: Simplify 0 into 0 12.452 * [backup-simplify]: Simplify 0 into 0 12.452 * [backup-simplify]: Simplify 0 into 0 12.452 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 12.452 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 12.453 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.453 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 12.453 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.453 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.453 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.453 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.453 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.453 * [backup-simplify]: Simplify 0 into 0 12.453 * [backup-simplify]: Simplify 0 into 0 12.453 * [backup-simplify]: Simplify 0 into 0 12.453 * [backup-simplify]: Simplify 0 into 0 12.453 * [backup-simplify]: Simplify 0 into 0 12.453 * [backup-simplify]: Simplify 0 into 0 12.453 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.453 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 12.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 12.453 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.453 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 12.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 12.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.454 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 12.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 12.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.454 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 12.454 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 12.455 * [backup-simplify]: Simplify 0 into 0 12.455 * [backup-simplify]: Simplify 0 into 0 12.455 * [backup-simplify]: Simplify 0 into 0 12.455 * [backup-simplify]: Simplify 0 into 0 12.455 * [backup-simplify]: Simplify 0 into 0 12.455 * [backup-simplify]: Simplify 0 into 0 12.455 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 12.455 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 12.455 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.455 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 12.455 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 12.455 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.455 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 12.456 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.456 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.456 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 12.456 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 12.456 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 12.457 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 12.457 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 12.457 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 12.457 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.458 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 12.458 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 12.458 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 12.458 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 12.458 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 12.458 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 12.458 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 12.458 * [backup-simplify]: Simplify 0 into 0 12.458 * [backup-simplify]: Simplify 0 into 0 12.458 * [backup-simplify]: Simplify 0 into 0 12.458 * [backup-simplify]: Simplify 0 into 0 12.459 * [backup-simplify]: Simplify 0 into 0 12.459 * [backup-simplify]: Simplify 0 into 0 12.459 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.459 * * * [progress]: simplifying candidates 12.459 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.460 * * [simplify]: Extracting # 0 : cost 0 12.460 * * [simplify]: Extracting # 1 : cost 0 12.460 * * [simplify]: Extracting # 2 : cost 0 12.460 * * [simplify]: Extracting # 3 : cost 0 12.460 * * [simplify]: Extracting # 4 : cost 0 12.460 * * [simplify]: Extracting # 5 : cost 0 12.460 * * [simplify]: Extracting # 6 : cost 0 12.460 * * [simplify]: Extracting # 7 : cost 0 12.460 * * [simplify]: iteration 0 : 29 enodes (cost 481 ) 12.467 * * [simplify]: Extracting # 0 : cost 0 12.467 * * [simplify]: Extracting # 1 : cost 0 12.467 * * [simplify]: Extracting # 2 : cost 0 12.467 * * [simplify]: Extracting # 3 : cost 0 12.467 * * [simplify]: Extracting # 4 : cost 0 12.467 * * [simplify]: Extracting # 5 : cost 0 12.468 * * [simplify]: iteration 1 : 44 enodes (cost 481 ) 12.484 * * [simplify]: Extracting # 0 : cost 0 12.484 * * [simplify]: Extracting # 1 : cost 0 12.484 * * [simplify]: Extracting # 2 : cost 0 12.484 * * [simplify]: Extracting # 3 : cost 0 12.484 * * [simplify]: Extracting # 4 : cost 0 12.485 * * [simplify]: iteration 2 : 69 enodes (cost 425 ) 12.517 * * [simplify]: Extracting # 0 : cost 0 12.517 * * [simplify]: Extracting # 1 : cost 0 12.517 * * [simplify]: Extracting # 2 : cost 0 12.518 * * [simplify]: Extracting # 3 : cost 0 12.518 * * [simplify]: Extracting # 4 : cost 0 12.518 * * [simplify]: iteration 3 : 127 enodes (cost 425 ) 12.559 * * [simplify]: Extracting # 0 : cost 0 12.560 * * [simplify]: Extracting # 1 : cost 0 12.560 * * [simplify]: Extracting # 2 : cost 0 12.560 * * [simplify]: Extracting # 3 : cost 0 12.561 * * [simplify]: Extracting # 4 : cost 0 12.561 * * [simplify]: Extracting # 5 : cost 0 12.561 * * [simplify]: iteration 4 : 250 enodes (cost 425 ) 12.695 * * [simplify]: Extracting # 0 : cost 0 12.696 * * [simplify]: Extracting # 1 : cost 0 12.697 * * [simplify]: Extracting # 2 : cost 0 12.698 * * [simplify]: Extracting # 3 : cost 0 12.699 * * [simplify]: Extracting # 4 : cost 0 12.700 * * [simplify]: iteration 5 : 749 enodes (cost 425 ) 13.714 * * [simplify]: Extracting # 0 : cost 0 13.722 * * [simplify]: Extracting # 1 : cost 0 13.725 * * [simplify]: Extracting # 2 : cost 0 13.729 * * [simplify]: Extracting # 3 : cost 0 13.732 * * [simplify]: Extracting # 4 : cost 0 13.736 * * [simplify]: iteration 6 : 3820 enodes (cost 425 ) 15.864 * * [simplify]: Extracting # 0 : cost 0 15.888 * * [simplify]: Extracting # 1 : cost 0 15.891 * * [simplify]: Extracting # 2 : cost 0 15.894 * * [simplify]: Extracting # 3 : cost 0 15.897 * * [simplify]: iteration done: 5000 enodes (cost 425 ) 15.897 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.898 * * * [progress]: adding candidates to table 16.183 * * [progress]: iteration 4 / 4 16.183 * * * [progress]: picking best candidate 16.209 * * * * [pick]: Picked # 16.209 * * * [progress]: localizing error 16.240 * * * [progress]: generating rewritten candidates 16.240 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 16.241 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 16.242 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 16.251 * * * [progress]: generating series expansions 16.251 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 16.251 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 16.251 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 16.251 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 16.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 16.251 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 16.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 16.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.251 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 16.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 16.252 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 16.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 16.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 16.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 16.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 16.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 16.253 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 16.253 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 16.253 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 16.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 16.253 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 16.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 16.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 16.254 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 16.254 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.254 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 16.254 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.254 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.254 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.254 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.254 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.255 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.255 * [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)))) 16.255 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 16.255 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 16.255 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 16.255 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 16.255 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 16.256 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.256 * [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)))) 16.256 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 16.256 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 16.256 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 16.256 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 16.257 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 16.257 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify 0 into 0 16.257 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.257 * * * * [progress]: [ 3 / 3 ] generating series at (2) 16.258 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.258 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 16.258 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.258 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 16.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.259 * [backup-simplify]: Simplify (log (exp (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)))) 16.259 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 16.259 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 16.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 16.259 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 16.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 16.259 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.259 * [backup-simplify]: Simplify 0 into 0 16.260 * [backup-simplify]: Simplify 0 into 0 16.260 * [backup-simplify]: Simplify 0 into 0 16.260 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.260 * [backup-simplify]: Simplify (log (exp (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)))) 16.260 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 16.260 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 16.260 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 16.260 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 16.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 16.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 16.261 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.261 * * * [progress]: simplifying candidates 16.262 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (expm1 (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log1p (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (* (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log 1) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (/ PI 2))) (log (exp (asin (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (exp (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (exp 1)) (log (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (exp (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (* (* (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 16.263 * * [simplify]: Extracting # 0 : cost 0 16.263 * * [simplify]: Extracting # 1 : cost 0 16.263 * * [simplify]: Extracting # 2 : cost 0 16.263 * * [simplify]: Extracting # 3 : cost 0 16.263 * * [simplify]: Extracting # 4 : cost 0 16.263 * * [simplify]: Extracting # 5 : cost 0 16.263 * * [simplify]: Extracting # 6 : cost 0 16.263 * * [simplify]: Extracting # 7 : cost 0 16.263 * * [simplify]: iteration 0 : 61 enodes (cost 612 ) 16.279 * * [simplify]: Extracting # 0 : cost 0 16.279 * * [simplify]: Extracting # 1 : cost 0 16.279 * * [simplify]: Extracting # 2 : cost 0 16.279 * * [simplify]: Extracting # 3 : cost 0 16.279 * * [simplify]: Extracting # 4 : cost 0 16.279 * * [simplify]: Extracting # 5 : cost 0 16.280 * * [simplify]: Extracting # 6 : cost 0 16.280 * * [simplify]: iteration 1 : 95 enodes (cost 573 ) 16.303 * * [simplify]: Extracting # 0 : cost 0 16.303 * * [simplify]: Extracting # 1 : cost 0 16.303 * * [simplify]: Extracting # 2 : cost 0 16.303 * * [simplify]: Extracting # 3 : cost 0 16.304 * * [simplify]: Extracting # 4 : cost 0 16.304 * * [simplify]: iteration 2 : 160 enodes (cost 510 ) 16.345 * * [simplify]: Extracting # 0 : cost 0 16.346 * * [simplify]: Extracting # 1 : cost 0 16.346 * * [simplify]: Extracting # 2 : cost 0 16.346 * * [simplify]: Extracting # 3 : cost 0 16.347 * * [simplify]: Extracting # 4 : cost 0 16.347 * * [simplify]: Extracting # 5 : cost 0 16.347 * * [simplify]: iteration 3 : 255 enodes (cost 510 ) 16.408 * * [simplify]: Extracting # 0 : cost 0 16.409 * * [simplify]: Extracting # 1 : cost 0 16.409 * * [simplify]: Extracting # 2 : cost 0 16.409 * * [simplify]: Extracting # 3 : cost 0 16.410 * * [simplify]: Extracting # 4 : cost 0 16.410 * * [simplify]: Extracting # 5 : cost 0 16.411 * * [simplify]: iteration 4 : 420 enodes (cost 510 ) 16.544 * * [simplify]: Extracting # 0 : cost 0 16.545 * * [simplify]: Extracting # 1 : cost 0 16.546 * * [simplify]: Extracting # 2 : cost 0 16.547 * * [simplify]: Extracting # 3 : cost 0 16.548 * * [simplify]: Extracting # 4 : cost 0 16.550 * * [simplify]: iteration 5 : 1030 enodes (cost 510 ) 17.961 * * [simplify]: Extracting # 0 : cost 0 17.971 * * [simplify]: Extracting # 1 : cost 0 17.977 * * [simplify]: Extracting # 2 : cost 0 17.983 * * [simplify]: Extracting # 3 : cost 0 17.991 * * [simplify]: Extracting # 4 : cost 0 17.994 * * [simplify]: iteration 6 : 4872 enodes (cost 510 ) 19.509 * * [simplify]: Extracting # 0 : cost 0 19.516 * * [simplify]: Extracting # 1 : cost 0 19.522 * * [simplify]: Extracting # 2 : cost 0 19.528 * * [simplify]: iteration done: 5000 enodes (cost 510 ) 19.529 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) 0 (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (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))) 19.529 * * * [progress]: adding candidates to table 19.819 * [progress]: [Phase 3 of 3] Extracting. 19.820 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 19.825 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a) 19.826 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # # # #) 19.903 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # #) 19.954 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # # # # # #) 20.041 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # #) 20.109 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 20.170 * * * [regime]: Found split indices: #