0.418 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.336 * * * [progress]: [2/2] Setting up program. 1.344 * [progress]: [Phase 2 of 3] Improving. 1.348 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.350 * * [simplify]: Extracting # 0 : cost 0 1.350 * * [simplify]: Extracting # 1 : cost 0 1.350 * * [simplify]: Extracting # 2 : cost 0 1.350 * * [simplify]: Extracting # 3 : cost 0 1.351 * * [simplify]: Extracting # 4 : cost 0 1.351 * * [simplify]: Extracting # 5 : cost 0 1.351 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.358 * * [simplify]: Extracting # 0 : cost 0 1.358 * * [simplify]: Extracting # 1 : cost 0 1.358 * * [simplify]: Extracting # 2 : cost 0 1.358 * * [simplify]: Extracting # 3 : cost 0 1.358 * * [simplify]: Extracting # 4 : cost 0 1.358 * * [simplify]: Extracting # 5 : cost 0 1.358 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 1.363 * * [simplify]: Extracting # 0 : cost 0 1.363 * * [simplify]: Extracting # 1 : cost 0 1.363 * * [simplify]: Extracting # 2 : cost 0 1.363 * * [simplify]: Extracting # 3 : cost 0 1.363 * * [simplify]: Extracting # 4 : cost 0 1.363 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.372 * * [simplify]: Extracting # 0 : cost 0 1.372 * * [simplify]: Extracting # 1 : cost 0 1.372 * * [simplify]: Extracting # 2 : cost 0 1.372 * * [simplify]: Extracting # 3 : cost 0 1.372 * * [simplify]: Extracting # 4 : cost 0 1.372 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 1.388 * * [simplify]: Extracting # 0 : cost 0 1.389 * * [simplify]: Extracting # 1 : cost 0 1.389 * * [simplify]: Extracting # 2 : cost 0 1.389 * * [simplify]: Extracting # 3 : cost 0 1.389 * * [simplify]: Extracting # 4 : cost 0 1.389 * * [simplify]: Extracting # 5 : cost 0 1.390 * * [simplify]: iteration 4 : 89 enodes (cost 10 ) 1.445 * * [simplify]: Extracting # 0 : cost 0 1.445 * * [simplify]: Extracting # 1 : cost 0 1.445 * * [simplify]: Extracting # 2 : cost 0 1.445 * * [simplify]: Extracting # 3 : cost 0 1.446 * * [simplify]: Extracting # 4 : cost 0 1.446 * * [simplify]: iteration 5 : 195 enodes (cost 10 ) 1.633 * * [simplify]: Extracting # 0 : cost 0 1.634 * * [simplify]: Extracting # 1 : cost 0 1.635 * * [simplify]: Extracting # 2 : cost 0 1.636 * * [simplify]: Extracting # 3 : cost 0 1.636 * * [simplify]: Extracting # 4 : cost 0 1.637 * * [simplify]: iteration 6 : 633 enodes (cost 10 ) 3.082 * * [simplify]: Extracting # 0 : cost 0 3.085 * * [simplify]: Extracting # 1 : cost 0 3.088 * * [simplify]: Extracting # 2 : cost 0 3.091 * * [simplify]: Extracting # 3 : cost 0 3.094 * * [simplify]: Extracting # 4 : cost 0 3.096 * * [simplify]: Extracting # 5 : cost 0 3.099 * * [simplify]: iteration 7 : 2582 enodes (cost 10 ) 4.373 * * [simplify]: Extracting # 0 : cost 0 4.377 * * [simplify]: Extracting # 1 : cost 0 4.384 * * [simplify]: Extracting # 2 : cost 0 4.392 * * [simplify]: Extracting # 3 : cost 0 4.401 * * [simplify]: iteration done: 5000 enodes (cost 10 ) 4.401 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 4.403 * * [progress]: iteration 1 / 4 4.403 * * * [progress]: picking best candidate 4.409 * * * * [pick]: Picked # 4.409 * * * [progress]: localizing error 4.432 * * * [progress]: generating rewritten candidates 4.432 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 4.434 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.439 * * * [progress]: generating series expansions 4.440 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 4.446 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 4.447 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.448 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.457 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.457 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.457 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.458 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.458 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.458 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 4.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.460 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.460 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.460 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.460 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.460 * [backup-simplify]: Simplify 0 into 0 4.460 * [backup-simplify]: Simplify 0 into 0 4.460 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 4.461 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.461 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.461 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 4.461 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.461 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.461 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.461 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.462 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.462 * [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)))) 4.462 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 4.462 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.462 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.462 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.463 * [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)))) 4.463 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 4.464 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.464 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify 0 into 0 4.465 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.465 * * * [progress]: simplifying candidates 4.465 * [simplify]: Simplifying: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ 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))) 4.466 * * [simplify]: Extracting # 0 : cost 0 4.466 * * [simplify]: Extracting # 1 : cost 0 4.466 * * [simplify]: Extracting # 2 : cost 0 4.466 * * [simplify]: Extracting # 3 : cost 0 4.466 * * [simplify]: Extracting # 4 : cost 0 4.466 * * [simplify]: Extracting # 5 : cost 0 4.466 * * [simplify]: Extracting # 6 : cost 0 4.466 * * [simplify]: iteration 0 : 29 enodes (cost 241 ) 4.472 * * [simplify]: Extracting # 0 : cost 0 4.472 * * [simplify]: Extracting # 1 : cost 0 4.472 * * [simplify]: Extracting # 2 : cost 0 4.472 * * [simplify]: Extracting # 3 : cost 0 4.472 * * [simplify]: Extracting # 4 : cost 0 4.472 * * [simplify]: Extracting # 5 : cost 0 4.472 * * [simplify]: iteration 1 : 43 enodes (cost 241 ) 4.479 * * [simplify]: Extracting # 0 : cost 0 4.479 * * [simplify]: Extracting # 1 : cost 0 4.479 * * [simplify]: Extracting # 2 : cost 0 4.480 * * [simplify]: Extracting # 3 : cost 0 4.480 * * [simplify]: Extracting # 4 : cost 0 4.480 * * [simplify]: iteration 2 : 61 enodes (cost 209 ) 4.488 * * [simplify]: Extracting # 0 : cost 0 4.488 * * [simplify]: Extracting # 1 : cost 0 4.488 * * [simplify]: Extracting # 2 : cost 0 4.488 * * [simplify]: Extracting # 3 : cost 0 4.488 * * [simplify]: Extracting # 4 : cost 0 4.488 * * [simplify]: iteration 3 : 90 enodes (cost 209 ) 4.502 * * [simplify]: Extracting # 0 : cost 0 4.503 * * [simplify]: Extracting # 1 : cost 0 4.503 * * [simplify]: Extracting # 2 : cost 0 4.503 * * [simplify]: Extracting # 3 : cost 0 4.503 * * [simplify]: Extracting # 4 : cost 0 4.503 * * [simplify]: iteration 4 : 148 enodes (cost 209 ) 4.559 * * [simplify]: Extracting # 0 : cost 0 4.560 * * [simplify]: Extracting # 1 : cost 0 4.560 * * [simplify]: Extracting # 2 : cost 0 4.561 * * [simplify]: Extracting # 3 : cost 0 4.561 * * [simplify]: Extracting # 4 : cost 0 4.561 * * [simplify]: Extracting # 5 : cost 0 4.562 * * [simplify]: iteration 5 : 288 enodes (cost 209 ) 4.730 * * [simplify]: Extracting # 0 : cost 0 4.730 * * [simplify]: Extracting # 1 : cost 0 4.731 * * [simplify]: Extracting # 2 : cost 0 4.731 * * [simplify]: Extracting # 3 : cost 0 4.732 * * [simplify]: Extracting # 4 : cost 0 4.732 * * [simplify]: iteration 6 : 765 enodes (cost 209 ) 6.145 * * [simplify]: Extracting # 0 : cost 0 6.149 * * [simplify]: Extracting # 1 : cost 0 6.154 * * [simplify]: Extracting # 2 : cost 0 6.156 * * [simplify]: Extracting # 3 : cost 0 6.157 * * [simplify]: Extracting # 4 : cost 0 6.159 * * [simplify]: iteration 7 : 2920 enodes (cost 209 ) 7.509 * * [simplify]: Extracting # 0 : cost 0 7.517 * * [simplify]: Extracting # 1 : cost 0 7.535 * * [simplify]: Extracting # 2 : cost 0 7.544 * * [simplify]: Extracting # 3 : cost 0 7.553 * * [simplify]: iteration done: 5000 enodes (cost 209 ) 7.553 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (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))) 7.554 * * * [progress]: adding candidates to table 7.635 * * [progress]: iteration 2 / 4 7.635 * * * [progress]: picking best candidate 7.656 * * * * [pick]: Picked # 7.656 * * * [progress]: localizing error 7.676 * * * [progress]: generating rewritten candidates 7.676 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 7.676 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 7.680 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.681 * * * [progress]: generating series expansions 7.681 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 7.682 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.682 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.682 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.682 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.682 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify 0 into 0 7.682 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.682 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.682 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.683 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.683 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.683 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.684 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.684 * [backup-simplify]: Simplify 0 into 0 7.684 * [backup-simplify]: Simplify 0 into 0 7.684 * [backup-simplify]: Simplify 0 into 0 7.684 * [backup-simplify]: Simplify 0 into 0 7.684 * [backup-simplify]: Simplify 0 into 0 7.684 * [backup-simplify]: Simplify 0 into 0 7.684 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.684 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 7.684 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 7.685 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.685 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.685 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.685 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.685 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.685 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.685 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.685 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.685 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.685 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.685 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.685 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.686 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.686 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.686 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.686 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.686 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.686 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.687 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.687 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.687 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.687 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.687 * [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))) 7.688 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 7.688 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.688 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.688 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.688 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.688 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.689 * [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)))) 7.689 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 7.689 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.689 * [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)))) 7.689 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.689 * [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)))) 7.689 * [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)))) 7.689 * [backup-simplify]: Simplify 0 into 0 7.689 * [backup-simplify]: Simplify 0 into 0 7.689 * [backup-simplify]: Simplify 0 into 0 7.690 * [backup-simplify]: Simplify 0 into 0 7.690 * [backup-simplify]: Simplify 0 into 0 7.690 * [backup-simplify]: Simplify 0 into 0 7.690 * [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))) 7.690 * [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)))) 7.690 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 7.690 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.690 * [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)))) 7.690 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.691 * [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)))) 7.691 * [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)))) 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [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))) 7.691 * * * [progress]: simplifying candidates 7.692 * [simplify]: Simplifying: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (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))))) (/ 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))) 7.693 * * [simplify]: Extracting # 0 : cost 0 7.693 * * [simplify]: Extracting # 1 : cost 0 7.693 * * [simplify]: Extracting # 2 : cost 0 7.693 * * [simplify]: Extracting # 3 : cost 0 7.693 * * [simplify]: Extracting # 4 : cost 0 7.693 * * [simplify]: Extracting # 5 : cost 0 7.693 * * [simplify]: Extracting # 6 : cost 0 7.693 * * [simplify]: Extracting # 7 : cost 0 7.693 * * [simplify]: iteration 0 : 51 enodes (cost 463 ) 7.703 * * [simplify]: Extracting # 0 : cost 0 7.703 * * [simplify]: Extracting # 1 : cost 0 7.703 * * [simplify]: Extracting # 2 : cost 0 7.703 * * [simplify]: Extracting # 3 : cost 0 7.703 * * [simplify]: Extracting # 4 : cost 0 7.703 * * [simplify]: Extracting # 5 : cost 0 7.703 * * [simplify]: Extracting # 6 : cost 0 7.703 * * [simplify]: iteration 1 : 70 enodes (cost 410 ) 7.712 * * [simplify]: Extracting # 0 : cost 0 7.712 * * [simplify]: Extracting # 1 : cost 0 7.712 * * [simplify]: Extracting # 2 : cost 0 7.712 * * [simplify]: Extracting # 3 : cost 0 7.712 * * [simplify]: Extracting # 4 : cost 0 7.713 * * [simplify]: iteration 2 : 92 enodes (cost 359 ) 7.732 * * [simplify]: Extracting # 0 : cost 0 7.732 * * [simplify]: Extracting # 1 : cost 0 7.732 * * [simplify]: Extracting # 2 : cost 0 7.732 * * [simplify]: Extracting # 3 : cost 0 7.732 * * [simplify]: Extracting # 4 : cost 0 7.733 * * [simplify]: Extracting # 5 : cost 0 7.733 * * [simplify]: iteration 3 : 130 enodes (cost 359 ) 7.751 * * [simplify]: Extracting # 0 : cost 0 7.751 * * [simplify]: Extracting # 1 : cost 0 7.751 * * [simplify]: Extracting # 2 : cost 0 7.751 * * [simplify]: Extracting # 3 : cost 0 7.751 * * [simplify]: Extracting # 4 : cost 0 7.752 * * [simplify]: iteration 4 : 211 enodes (cost 359 ) 7.830 * * [simplify]: Extracting # 0 : cost 0 7.831 * * [simplify]: Extracting # 1 : cost 0 7.831 * * [simplify]: Extracting # 2 : cost 0 7.832 * * [simplify]: Extracting # 3 : cost 0 7.833 * * [simplify]: Extracting # 4 : cost 0 7.833 * * [simplify]: iteration 5 : 428 enodes (cost 359 ) 8.142 * * [simplify]: Extracting # 0 : cost 0 8.143 * * [simplify]: Extracting # 1 : cost 0 8.144 * * [simplify]: Extracting # 2 : cost 0 8.145 * * [simplify]: Extracting # 3 : cost 0 8.146 * * [simplify]: Extracting # 4 : cost 0 8.147 * * [simplify]: iteration 6 : 1103 enodes (cost 359 ) 9.883 * * [simplify]: Extracting # 0 : cost 0 9.886 * * [simplify]: Extracting # 1 : cost 0 9.889 * * [simplify]: Extracting # 2 : cost 0 9.892 * * [simplify]: Extracting # 3 : cost 0 9.894 * * [simplify]: Extracting # 4 : cost 0 9.897 * * [simplify]: iteration 7 : 4017 enodes (cost 359 ) 11.609 * * [simplify]: Extracting # 0 : cost 0 11.613 * * [simplify]: Extracting # 1 : cost 0 11.617 * * [simplify]: Extracting # 2 : cost 0 11.620 * * [simplify]: Extracting # 3 : cost 0 11.623 * * [simplify]: iteration done: 5000 enodes (cost 359 ) 11.624 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (* 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) (* a a)) (fmod (cosh a) (* a a)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))) 1 (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a 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) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (acos (pow (fmod (cosh a) (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))) 11.624 * * * [progress]: adding candidates to table 11.820 * * [progress]: iteration 3 / 4 11.820 * * * [progress]: picking best candidate 11.840 * * * * [pick]: Picked # 11.840 * * * [progress]: localizing error 11.864 * * * [progress]: generating rewritten candidates 11.864 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1) 11.865 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 11.908 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 11.911 * * * [progress]: generating series expansions 11.911 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1) 11.911 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.911 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 11.911 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.911 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.912 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.912 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.912 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.913 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.913 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 11.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.913 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.913 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.913 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.914 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.914 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 11.914 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.914 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 11.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.915 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.915 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.915 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.915 * [backup-simplify]: Simplify 0 into 0 11.915 * [backup-simplify]: Simplify 0 into 0 11.915 * [backup-simplify]: Simplify 0 into 0 11.915 * [backup-simplify]: Simplify 0 into 0 11.915 * [backup-simplify]: Simplify 0 into 0 11.915 * [backup-simplify]: Simplify 0 into 0 11.916 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 11.916 * * * * [progress]: [ 2 / 3 ] generating series at (2) 11.918 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.918 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0 11.918 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 11.918 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 11.918 * [taylor]: Taking taylor expansion of 1/2 in a 11.918 * [backup-simplify]: Simplify 1/2 into 1/2 11.918 * [taylor]: Taking taylor expansion of PI in a 11.918 * [backup-simplify]: Simplify PI into PI 11.918 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.919 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.919 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 11.919 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 11.919 * [taylor]: Taking taylor expansion of 1/2 in a 11.919 * [backup-simplify]: Simplify 1/2 into 1/2 11.919 * [taylor]: Taking taylor expansion of PI in a 11.919 * [backup-simplify]: Simplify PI into PI 11.919 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.919 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.920 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 11.921 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.922 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.922 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.923 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 11.924 * [backup-simplify]: Simplify (- 0) into 0 11.924 * [backup-simplify]: Simplify (+ 0 0) into 0 11.924 * [backup-simplify]: Simplify 0 into 0 11.925 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 11.926 * [backup-simplify]: Simplify (- 0) into 0 11.926 * [backup-simplify]: Simplify (+ 0 0) into 0 11.926 * [backup-simplify]: Simplify 0 into 0 11.928 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 11.928 * [backup-simplify]: Simplify (- 0) into 0 11.929 * [backup-simplify]: Simplify (+ 0 0) into 0 11.929 * [backup-simplify]: Simplify 0 into 0 11.930 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 11.930 * [backup-simplify]: Simplify (- 0) into 0 11.931 * [backup-simplify]: Simplify (+ 0 0) into 0 11.931 * [backup-simplify]: Simplify 0 into 0 11.932 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 11.932 * [backup-simplify]: Simplify (- 0) into 0 11.933 * [backup-simplify]: Simplify (+ 0 0) into 0 11.933 * [backup-simplify]: Simplify 0 into 0 11.934 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 11.934 * [backup-simplify]: Simplify (- 0) into 0 11.934 * [backup-simplify]: Simplify (+ 0 0) into 0 11.934 * [backup-simplify]: Simplify 0 into 0 11.935 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.935 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 11.935 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in (a) around 0 11.935 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 11.935 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 11.935 * [taylor]: Taking taylor expansion of 1/2 in a 11.935 * [backup-simplify]: Simplify 1/2 into 1/2 11.935 * [taylor]: Taking taylor expansion of PI in a 11.935 * [backup-simplify]: Simplify PI into PI 11.935 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 11.936 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.936 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 11.936 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 11.936 * [taylor]: Taking taylor expansion of 1/2 in a 11.936 * [backup-simplify]: Simplify 1/2 into 1/2 11.936 * [taylor]: Taking taylor expansion of PI in a 11.936 * [backup-simplify]: Simplify PI into PI 11.936 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 11.936 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.936 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 11.937 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 11.937 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 11.938 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 11.938 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 11.938 * [backup-simplify]: Simplify (- 0) into 0 11.939 * [backup-simplify]: Simplify (+ 0 0) into 0 11.939 * [backup-simplify]: Simplify 0 into 0 11.939 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 11.939 * [backup-simplify]: Simplify (- 0) into 0 11.940 * [backup-simplify]: Simplify (+ 0 0) into 0 11.940 * [backup-simplify]: Simplify 0 into 0 11.940 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 11.941 * [backup-simplify]: Simplify (- 0) into 0 11.941 * [backup-simplify]: Simplify (+ 0 0) into 0 11.941 * [backup-simplify]: Simplify 0 into 0 11.942 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 11.942 * [backup-simplify]: Simplify (- 0) into 0 11.942 * [backup-simplify]: Simplify (+ 0 0) into 0 11.942 * [backup-simplify]: Simplify 0 into 0 11.943 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 11.943 * [backup-simplify]: Simplify (- 0) into 0 11.943 * [backup-simplify]: Simplify (+ 0 0) into 0 11.943 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 11.945 * [backup-simplify]: Simplify (- 0) into 0 11.945 * [backup-simplify]: Simplify (+ 0 0) into 0 11.945 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.946 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 11.946 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in (a) around 0 11.946 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 11.946 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 11.946 * [taylor]: Taking taylor expansion of 1/2 in a 11.946 * [backup-simplify]: Simplify 1/2 into 1/2 11.946 * [taylor]: Taking taylor expansion of PI in a 11.946 * [backup-simplify]: Simplify PI into PI 11.946 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 11.946 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.946 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 11.946 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 11.946 * [taylor]: Taking taylor expansion of 1/2 in a 11.946 * [backup-simplify]: Simplify 1/2 into 1/2 11.946 * [taylor]: Taking taylor expansion of PI in a 11.946 * [backup-simplify]: Simplify PI into PI 11.946 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 11.947 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.947 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 11.947 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 11.948 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 11.948 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 11.949 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 11.949 * [backup-simplify]: Simplify (- 0) into 0 11.949 * [backup-simplify]: Simplify (+ 0 0) into 0 11.949 * [backup-simplify]: Simplify 0 into 0 11.950 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 11.950 * [backup-simplify]: Simplify (- 0) into 0 11.950 * [backup-simplify]: Simplify (+ 0 0) into 0 11.950 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 11.951 * [backup-simplify]: Simplify (- 0) into 0 11.952 * [backup-simplify]: Simplify (+ 0 0) into 0 11.952 * [backup-simplify]: Simplify 0 into 0 11.952 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 11.953 * [backup-simplify]: Simplify (- 0) into 0 11.953 * [backup-simplify]: Simplify (+ 0 0) into 0 11.953 * [backup-simplify]: Simplify 0 into 0 11.954 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 11.954 * [backup-simplify]: Simplify (- 0) into 0 11.954 * [backup-simplify]: Simplify (+ 0 0) into 0 11.954 * [backup-simplify]: Simplify 0 into 0 11.955 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 11.956 * [backup-simplify]: Simplify (- 0) into 0 11.956 * [backup-simplify]: Simplify (+ 0 0) into 0 11.956 * [backup-simplify]: Simplify 0 into 0 11.956 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 11.957 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 11.957 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.957 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 11.957 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.957 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.957 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.957 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.957 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.958 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.958 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.958 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 11.958 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 11.958 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.958 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 11.958 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.959 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.959 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify 0 into 0 11.959 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.959 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.959 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 11.959 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 11.959 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.960 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 11.960 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.960 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.960 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.960 * * * [progress]: simplifying candidates 11.961 * [simplify]: Simplifying: (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))) (/ (exp (/ PI 2)) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (* (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)) (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* (/ PI 2) (/ PI 2)) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ PI 2) (/ PI 2)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (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)) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.962 * * [simplify]: Extracting # 0 : cost 0 11.962 * * [simplify]: Extracting # 1 : cost 0 11.962 * * [simplify]: Extracting # 2 : cost 0 11.962 * * [simplify]: Extracting # 3 : cost 0 11.962 * * [simplify]: Extracting # 4 : cost 0 11.963 * * [simplify]: Extracting # 5 : cost 0 11.963 * * [simplify]: Extracting # 6 : cost 0 11.963 * * [simplify]: Extracting # 7 : cost 0 11.963 * * [simplify]: iteration 0 : 58 enodes (cost 663 ) 11.975 * * [simplify]: Extracting # 0 : cost 0 11.975 * * [simplify]: Extracting # 1 : cost 0 11.975 * * [simplify]: Extracting # 2 : cost 0 11.976 * * [simplify]: Extracting # 3 : cost 0 11.976 * * [simplify]: Extracting # 4 : cost 0 11.976 * * [simplify]: Extracting # 5 : cost 0 11.976 * * [simplify]: Extracting # 6 : cost 0 11.976 * * [simplify]: iteration 1 : 117 enodes (cost 625 ) 12.021 * * [simplify]: Extracting # 0 : cost 0 12.022 * * [simplify]: Extracting # 1 : cost 0 12.022 * * [simplify]: Extracting # 2 : cost 0 12.022 * * [simplify]: Extracting # 3 : cost 0 12.022 * * [simplify]: iteration 2 : 215 enodes (cost 585 ) 12.079 * * [simplify]: Extracting # 0 : cost 0 12.079 * * [simplify]: Extracting # 1 : cost 0 12.080 * * [simplify]: Extracting # 2 : cost 0 12.081 * * [simplify]: Extracting # 3 : cost 0 12.081 * * [simplify]: Extracting # 4 : cost 0 12.081 * * [simplify]: iteration 3 : 386 enodes (cost 581 ) 12.258 * * [simplify]: Extracting # 0 : cost 0 12.260 * * [simplify]: Extracting # 1 : cost 0 12.261 * * [simplify]: Extracting # 2 : cost 0 12.263 * * [simplify]: Extracting # 3 : cost 0 12.264 * * [simplify]: Extracting # 4 : cost 0 12.266 * * [simplify]: iteration 4 : 812 enodes (cost 581 ) 12.750 * * [simplify]: Extracting # 0 : cost 0 12.753 * * [simplify]: Extracting # 1 : cost 0 12.754 * * [simplify]: Extracting # 2 : cost 0 12.756 * * [simplify]: Extracting # 3 : cost 0 12.758 * * [simplify]: Extracting # 4 : cost 0 12.760 * * [simplify]: iteration 5 : 2140 enodes (cost 581 ) 13.925 * * [simplify]: Extracting # 0 : cost 0 13.941 * * [simplify]: Extracting # 1 : cost 0 13.951 * * [simplify]: Extracting # 2 : cost 0 13.962 * * [simplify]: Extracting # 3 : cost 0 13.972 * * [simplify]: Extracting # 4 : cost 0 13.982 * * [simplify]: Extracting # 5 : cost 0 13.992 * * [simplify]: iteration done: 5001 enodes (cost 581 ) 13.992 * [simplify]: Simplified to: (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))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (pow (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 3) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)) (+ (/ (* PI PI) 4) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ (* PI PI) 4) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 0 (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (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)) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 13.993 * * * [progress]: adding candidates to table 14.181 * * [progress]: iteration 4 / 4 14.181 * * * [progress]: picking best candidate 14.211 * * * * [pick]: Picked # 14.211 * * * [progress]: localizing error 14.228 * * * [progress]: generating rewritten candidates 14.228 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1) 14.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1) 14.229 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 14.248 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 14.250 * * * [progress]: generating series expansions 14.250 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1) 14.250 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.250 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.250 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.250 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.250 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.250 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.250 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.251 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 14.251 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.251 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.251 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 14.252 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.252 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 14.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.252 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.252 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.252 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 14.253 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1) 14.253 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.253 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.253 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.253 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.253 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.253 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.253 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify 0 into 0 14.253 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.254 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 14.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 14.254 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.254 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 14.254 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.255 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.255 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.255 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.255 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify 0 into 0 14.255 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 14.255 * * * * [progress]: [ 3 / 4 ] generating series at (2) 14.257 * [backup-simplify]: Simplify (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.257 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0 14.257 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 14.257 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.257 * [taylor]: Taking taylor expansion of 1/2 in a 14.257 * [backup-simplify]: Simplify 1/2 into 1/2 14.257 * [taylor]: Taking taylor expansion of PI in a 14.257 * [backup-simplify]: Simplify PI into PI 14.257 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.257 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.257 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 14.257 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.257 * [taylor]: Taking taylor expansion of 1/2 in a 14.257 * [backup-simplify]: Simplify 1/2 into 1/2 14.258 * [taylor]: Taking taylor expansion of PI in a 14.258 * [backup-simplify]: Simplify PI into PI 14.258 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.258 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.258 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 14.259 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.260 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.260 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.261 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 14.262 * [backup-simplify]: Simplify (- 0) into 0 14.262 * [backup-simplify]: Simplify (+ 0 0) into 0 14.262 * [backup-simplify]: Simplify 0 into 0 14.263 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 14.264 * [backup-simplify]: Simplify (- 0) into 0 14.264 * [backup-simplify]: Simplify (+ 0 0) into 0 14.264 * [backup-simplify]: Simplify 0 into 0 14.265 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 14.265 * [backup-simplify]: Simplify (- 0) into 0 14.266 * [backup-simplify]: Simplify (+ 0 0) into 0 14.266 * [backup-simplify]: Simplify 0 into 0 14.267 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 14.268 * [backup-simplify]: Simplify (- 0) into 0 14.268 * [backup-simplify]: Simplify (+ 0 0) into 0 14.268 * [backup-simplify]: Simplify 0 into 0 14.269 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 14.270 * [backup-simplify]: Simplify (- 0) into 0 14.270 * [backup-simplify]: Simplify (+ 0 0) into 0 14.270 * [backup-simplify]: Simplify 0 into 0 14.272 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 14.272 * [backup-simplify]: Simplify (- 0) into 0 14.272 * [backup-simplify]: Simplify (+ 0 0) into 0 14.272 * [backup-simplify]: Simplify 0 into 0 14.273 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.275 * [backup-simplify]: Simplify (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) (sqrt (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 14.275 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in (a) around 0 14.275 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 14.275 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.275 * [taylor]: Taking taylor expansion of 1/2 in a 14.275 * [backup-simplify]: Simplify 1/2 into 1/2 14.275 * [taylor]: Taking taylor expansion of PI in a 14.275 * [backup-simplify]: Simplify PI into PI 14.275 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.275 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 14.275 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 14.275 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.275 * [taylor]: Taking taylor expansion of 1/2 in a 14.275 * [backup-simplify]: Simplify 1/2 into 1/2 14.275 * [taylor]: Taking taylor expansion of PI in a 14.275 * [backup-simplify]: Simplify PI into PI 14.275 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.276 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 14.276 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 14.277 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 14.278 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 14.279 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) 14.279 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 14.280 * [backup-simplify]: Simplify (- 0) into 0 14.280 * [backup-simplify]: Simplify (+ 0 0) into 0 14.280 * [backup-simplify]: Simplify 0 into 0 14.281 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 14.282 * [backup-simplify]: Simplify (- 0) into 0 14.282 * [backup-simplify]: Simplify (+ 0 0) into 0 14.282 * [backup-simplify]: Simplify 0 into 0 14.283 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 14.283 * [backup-simplify]: Simplify (- 0) into 0 14.284 * [backup-simplify]: Simplify (+ 0 0) into 0 14.284 * [backup-simplify]: Simplify 0 into 0 14.285 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 14.285 * [backup-simplify]: Simplify (- 0) into 0 14.285 * [backup-simplify]: Simplify (+ 0 0) into 0 14.285 * [backup-simplify]: Simplify 0 into 0 14.286 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 14.286 * [backup-simplify]: Simplify (- 0) into 0 14.286 * [backup-simplify]: Simplify (+ 0 0) into 0 14.286 * [backup-simplify]: Simplify 0 into 0 14.287 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 14.287 * [backup-simplify]: Simplify (- 0) into 0 14.288 * [backup-simplify]: Simplify (+ 0 0) into 0 14.288 * [backup-simplify]: Simplify 0 into 0 14.288 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.289 * [backup-simplify]: Simplify (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a)))))) (sqrt (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a)))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 14.289 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in (a) around 0 14.289 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 14.289 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.289 * [taylor]: Taking taylor expansion of 1/2 in a 14.289 * [backup-simplify]: Simplify 1/2 into 1/2 14.289 * [taylor]: Taking taylor expansion of PI in a 14.289 * [backup-simplify]: Simplify PI into PI 14.289 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.290 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 14.290 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 14.290 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.290 * [taylor]: Taking taylor expansion of 1/2 in a 14.290 * [backup-simplify]: Simplify 1/2 into 1/2 14.290 * [taylor]: Taking taylor expansion of PI in a 14.290 * [backup-simplify]: Simplify PI into PI 14.290 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.290 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 14.290 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI) 14.290 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 14.291 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 14.292 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) 14.292 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0 14.292 * [backup-simplify]: Simplify (- 0) into 0 14.292 * [backup-simplify]: Simplify (+ 0 0) into 0 14.292 * [backup-simplify]: Simplify 0 into 0 14.293 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0 14.293 * [backup-simplify]: Simplify (- 0) into 0 14.293 * [backup-simplify]: Simplify (+ 0 0) into 0 14.293 * [backup-simplify]: Simplify 0 into 0 14.294 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0 14.294 * [backup-simplify]: Simplify (- 0) into 0 14.295 * [backup-simplify]: Simplify (+ 0 0) into 0 14.295 * [backup-simplify]: Simplify 0 into 0 14.295 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0 14.296 * [backup-simplify]: Simplify (- 0) into 0 14.296 * [backup-simplify]: Simplify (+ 0 0) into 0 14.296 * [backup-simplify]: Simplify 0 into 0 14.297 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0 14.297 * [backup-simplify]: Simplify (- 0) into 0 14.297 * [backup-simplify]: Simplify (+ 0 0) into 0 14.297 * [backup-simplify]: Simplify 0 into 0 14.298 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0 14.298 * [backup-simplify]: Simplify (- 0) into 0 14.298 * [backup-simplify]: Simplify (+ 0 0) into 0 14.298 * [backup-simplify]: Simplify 0 into 0 14.299 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 14.299 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 14.299 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.299 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 14.299 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.299 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.299 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.300 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.300 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify 0 into 0 14.300 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.300 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 14.300 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 14.300 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.301 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 14.301 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.301 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 14.301 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 14.301 * [backup-simplify]: Simplify 0 into 0 14.301 * [backup-simplify]: Simplify 0 into 0 14.301 * [backup-simplify]: Simplify 0 into 0 14.301 * [backup-simplify]: Simplify 0 into 0 14.301 * [backup-simplify]: Simplify 0 into 0 14.301 * [backup-simplify]: Simplify 0 into 0 14.301 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.302 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 14.302 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 14.302 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.302 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 14.302 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.302 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 14.302 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 14.302 * [backup-simplify]: Simplify 0 into 0 14.302 * [backup-simplify]: Simplify 0 into 0 14.303 * [backup-simplify]: Simplify 0 into 0 14.303 * [backup-simplify]: Simplify 0 into 0 14.303 * [backup-simplify]: Simplify 0 into 0 14.303 * [backup-simplify]: Simplify 0 into 0 14.303 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.303 * * * [progress]: simplifying candidates 14.304 * [simplify]: Simplifying: (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))) (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))) (/ (exp (/ PI 2)) (exp (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (exp (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (* (cbrt (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (cbrt (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (cbrt (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (* (* (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (sqrt (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (sqrt (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (- (pow (/ PI 2) 3) (pow (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) 3)) (+ (* (/ PI 2) (/ PI 2)) (+ (* (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (* (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (- (* (/ PI 2) (/ PI 2)) (* (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (+ (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (/ PI 2) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (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)) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.305 * * [simplify]: Extracting # 0 : cost 0 14.305 * * [simplify]: Extracting # 1 : cost 0 14.305 * * [simplify]: Extracting # 2 : cost 0 14.305 * * [simplify]: Extracting # 3 : cost 0 14.305 * * [simplify]: Extracting # 4 : cost 0 14.305 * * [simplify]: Extracting # 5 : cost 0 14.305 * * [simplify]: Extracting # 6 : cost 0 14.305 * * [simplify]: Extracting # 7 : cost 0 14.305 * * [simplify]: Extracting # 8 : cost 0 14.305 * * [simplify]: Extracting # 9 : cost 0 14.306 * * [simplify]: iteration 0 : 60 enodes (cost 990 ) 14.323 * * [simplify]: Extracting # 0 : cost 0 14.323 * * [simplify]: Extracting # 1 : cost 0 14.323 * * [simplify]: Extracting # 2 : cost 0 14.323 * * [simplify]: Extracting # 3 : cost 0 14.323 * * [simplify]: Extracting # 4 : cost 0 14.323 * * [simplify]: Extracting # 5 : cost 0 14.323 * * [simplify]: Extracting # 6 : cost 0 14.324 * * [simplify]: iteration 1 : 129 enodes (cost 698 ) 14.351 * * [simplify]: Extracting # 0 : cost 0 14.352 * * [simplify]: Extracting # 1 : cost 0 14.352 * * [simplify]: Extracting # 2 : cost 0 14.352 * * [simplify]: Extracting # 3 : cost 0 14.352 * * [simplify]: Extracting # 4 : cost 0 14.353 * * [simplify]: iteration 2 : 265 enodes (cost 646 ) 14.444 * * [simplify]: Extracting # 0 : cost 0 14.444 * * [simplify]: Extracting # 1 : cost 0 14.445 * * [simplify]: Extracting # 2 : cost 0 14.445 * * [simplify]: Extracting # 3 : cost 0 14.446 * * [simplify]: Extracting # 4 : cost 0 14.446 * * [simplify]: iteration 3 : 554 enodes (cost 634 ) 14.699 * * [simplify]: Extracting # 0 : cost 0 14.702 * * [simplify]: Extracting # 1 : cost 0 14.705 * * [simplify]: Extracting # 2 : cost 0 14.707 * * [simplify]: Extracting # 3 : cost 0 14.709 * * [simplify]: Extracting # 4 : cost 0 14.711 * * [simplify]: iteration 4 : 1307 enodes (cost 634 ) 16.053 * * [simplify]: Extracting # 0 : cost 0 16.059 * * [simplify]: Extracting # 1 : cost 0 16.065 * * [simplify]: Extracting # 2 : cost 0 16.072 * * [simplify]: Extracting # 3 : cost 0 16.075 * * [simplify]: Extracting # 4 : cost 0 16.078 * * [simplify]: Extracting # 5 : cost 0 16.085 * * [simplify]: iteration 5 : 3958 enodes (cost 634 ) 17.843 * * [simplify]: Extracting # 0 : cost 0 17.848 * * [simplify]: Extracting # 1 : cost 0 17.857 * * [simplify]: Extracting # 2 : cost 0 17.865 * * [simplify]: Extracting # 3 : cost 0 17.870 * * [simplify]: Extracting # 4 : cost 0 17.875 * * [simplify]: iteration done: 5000 enodes (cost 634 ) 17.876 * [simplify]: Simplified to: (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))) (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))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (pow (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 3) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)) (+ (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (+ (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ PI 2))) (/ (* PI PI) 4)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ (* PI PI) 4) (pow (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 4)) (+ (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ PI 2)) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (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)) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 17.876 * * * [progress]: adding candidates to table 18.109 * [progress]: [Phase 3 of 3] Extracting. 18.109 * * [regime]: Finding splitpoints for: (# # # # # # #) 18.114 * * * [regime-changes]: Trying 1 branch expressions: (a) 18.115 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 18.163 * * * [regime]: Found split indices: #