0.781 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.529 * * * [progress]: [2/2] Setting up program. 1.541 * [progress]: [Phase 2 of 3] Improving. 1.544 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.546 * * [simplify]: Extracting # 0 : cost 1 inf + 0 1.546 * * [simplify]: Extracting # 1 : cost 2 inf + 0 1.546 * * [simplify]: Extracting # 2 : cost 4 inf + 0 1.546 * * [simplify]: Extracting # 3 : cost 7 inf + 0 1.547 * * [simplify]: Extracting # 4 : cost 6 inf + 1 1.547 * * [simplify]: Extracting # 5 : cost 0 inf + 1377 1.548 * * [simplify]: iteration 0 : 7 enodes (cost 556 ) 1.555 * * [simplify]: Extracting # 0 : cost 0 inf + 1377 1.555 * * [simplify]: Extracting # 1 : cost 3 inf + 1377 1.556 * * [simplify]: Extracting # 2 : cost 5 inf + 1378 1.556 * * [simplify]: Extracting # 3 : cost 4 inf + 1581 1.556 * * [simplify]: Extracting # 4 : cost 1 inf + 2240 1.557 * * [simplify]: Extracting # 5 : cost 0 inf + 2461 1.557 * * [simplify]: iteration 1 : 16 enodes (cost 556 ) 1.562 * * [simplify]: Extracting # 0 : cost 0 inf + 2461 1.563 * * [simplify]: Extracting # 1 : cost 3 inf + 2461 1.563 * * [simplify]: Extracting # 2 : cost 2 inf + 2634 1.563 * * [simplify]: Extracting # 3 : cost 1 inf + 2806 1.564 * * [simplify]: Extracting # 4 : cost 0 inf + 3353 1.564 * * [simplify]: iteration 2 : 24 enodes (cost 556 ) 1.573 * * [simplify]: Extracting # 0 : cost 0 inf + 3353 1.574 * * [simplify]: Extracting # 1 : cost 7 inf + 3353 1.574 * * [simplify]: Extracting # 2 : cost 4 inf + 5292 1.575 * * [simplify]: Extracting # 3 : cost 2 inf + 5598 1.577 * * [simplify]: Extracting # 4 : cost 0 inf + 6693 1.578 * * [simplify]: iteration 3 : 44 enodes (cost 556 ) 1.593 * * [simplify]: Extracting # 0 : cost 0 inf + 6693 1.595 * * [simplify]: Extracting # 1 : cost 13 inf + 6574 1.597 * * [simplify]: Extracting # 2 : cost 4 inf + 11546 1.600 * * [simplify]: Extracting # 3 : cost 1 inf + 12281 1.603 * * [simplify]: Extracting # 4 : cost 0 inf + 12749 1.606 * * [simplify]: iteration 4 : 87 enodes (cost 556 ) 1.671 * * [simplify]: Extracting # 0 : cost 0 inf + 12749 1.673 * * [simplify]: Extracting # 1 : cost 30 inf + 12387 1.677 * * [simplify]: Extracting # 2 : cost 12 inf + 23023 1.681 * * [simplify]: Extracting # 3 : cost 1 inf + 24053 1.686 * * [simplify]: Extracting # 4 : cost 0 inf + 24401 1.690 * * [simplify]: Extracting # 5 : cost 0 inf + 24361 1.694 * * [simplify]: iteration 5 : 199 enodes (cost 556 ) 1.869 * * [simplify]: Extracting # 0 : cost 0 inf + 24361 1.877 * * [simplify]: Extracting # 1 : cost 115 inf + 23753 1.889 * * [simplify]: Extracting # 2 : cost 17 inf + 68531 1.917 * * [simplify]: Extracting # 3 : cost 2 inf + 71414 1.933 * * [simplify]: Extracting # 4 : cost 0 inf + 72402 1.949 * * [simplify]: iteration 6 : 774 enodes (cost 556 ) 3.653 * * [simplify]: Extracting # 0 : cost 0 inf + 72402 3.704 * * [simplify]: Extracting # 1 : cost 429 inf + 68226 3.797 * * [simplify]: Extracting # 2 : cost 21 inf + 280760 3.959 * * [simplify]: Extracting # 3 : cost 2 inf + 285578 4.137 * * [simplify]: Extracting # 4 : cost 0 inf + 283355 4.312 * * [simplify]: iteration 7 : 3478 enodes (cost 556 ) 5.215 * * [simplify]: Extracting # 0 : cost 0 inf + 283355 5.417 * * [simplify]: Extracting # 1 : cost 832 inf + 279989 5.659 * * [simplify]: Extracting # 2 : cost 0 inf + 401852 5.943 * * [simplify]: Extracting # 3 : cost 0 inf + 397376 6.271 * * [simplify]: Extracting # 4 : cost 0 inf + 396889 6.564 * * [simplify]: iteration complete: 5041 enodes (cost 556 ) 6.564 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 6.567 * * [progress]: iteration 1 / 4 6.567 * * * [progress]: picking best candidate 6.576 * * * * [pick]: Picked # 6.576 * * * [progress]: localizing error 6.613 * * * [progress]: generating rewritten candidates 6.613 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 6.615 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 6.617 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 6.619 * * * [progress]: generating series expansions 6.619 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 6.623 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 6.623 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 6.624 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 6.625 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 6.625 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 6.626 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 6.626 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 6.626 * [backup-simplify]: Simplify 0 into 0 6.626 * [backup-simplify]: Simplify 0 into 0 6.626 * [backup-simplify]: Simplify 0 into 0 6.626 * [backup-simplify]: Simplify 0 into 0 6.626 * [backup-simplify]: Simplify 0 into 0 6.626 * [backup-simplify]: Simplify 0 into 0 6.626 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 6.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6.627 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 6.627 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 6.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6.627 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 6.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6.627 * [backup-simplify]: Simplify 0 into 0 6.627 * [backup-simplify]: Simplify 0 into 0 6.627 * [backup-simplify]: Simplify 0 into 0 6.627 * [backup-simplify]: Simplify 0 into 0 6.627 * [backup-simplify]: Simplify 0 into 0 6.627 * [backup-simplify]: Simplify 0 into 0 6.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 6.628 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6.628 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 6.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 6.628 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 6.628 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6.628 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6.629 * [backup-simplify]: Simplify 0 into 0 6.629 * [backup-simplify]: Simplify 0 into 0 6.629 * [backup-simplify]: Simplify 0 into 0 6.629 * [backup-simplify]: Simplify 0 into 0 6.629 * [backup-simplify]: Simplify 0 into 0 6.629 * [backup-simplify]: Simplify 0 into 0 6.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 6.629 * * * * [progress]: [ 2 / 3 ] generating series at (2) 6.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 6.629 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 6.629 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 6.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 6.629 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 6.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 6.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 6.630 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 6.630 * [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)))) 6.630 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 6.630 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 6.630 * [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)))) 6.630 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 6.631 * [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)))) 6.631 * [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)))) 6.631 * [backup-simplify]: Simplify 0 into 0 6.631 * [backup-simplify]: Simplify 0 into 0 6.631 * [backup-simplify]: Simplify 0 into 0 6.631 * [backup-simplify]: Simplify 0 into 0 6.631 * [backup-simplify]: Simplify 0 into 0 6.631 * [backup-simplify]: Simplify 0 into 0 6.631 * [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))) 6.631 * [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)))) 6.631 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 6.631 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 6.632 * [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)))) 6.632 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 6.632 * [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)))) 6.632 * [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)))) 6.632 * [backup-simplify]: Simplify 0 into 0 6.632 * [backup-simplify]: Simplify 0 into 0 6.632 * [backup-simplify]: Simplify 0 into 0 6.632 * [backup-simplify]: Simplify 0 into 0 6.632 * [backup-simplify]: Simplify 0 into 0 6.632 * [backup-simplify]: Simplify 0 into 0 6.633 * [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))) 6.633 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 6.633 * [backup-simplify]: Simplify (log1p a) into (log1p a) 6.633 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 6.633 * [taylor]: Taking taylor expansion of (log1p a) in a 6.633 * [backup-simplify]: Simplify (log1p a) into (log1p a) 6.633 * [taylor]: Taking taylor expansion of (log1p a) in a 6.633 * [backup-simplify]: Simplify (log1p a) into (log1p a) 6.633 * [backup-simplify]: Simplify (log1p a) into (log1p a) 6.633 * [backup-simplify]: Simplify 0 into 0 6.633 * [backup-simplify]: Simplify 0 into 0 6.633 * [backup-simplify]: Simplify 0 into 0 6.633 * [backup-simplify]: Simplify 0 into 0 6.633 * [backup-simplify]: Simplify 0 into 0 6.633 * [backup-simplify]: Simplify 0 into 0 6.633 * [backup-simplify]: Simplify (log1p a) into (log1p a) 6.633 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 6.633 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 6.633 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 6.633 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 6.633 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 6.633 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 6.634 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify (log1p (/ 1 (/ 1 a))) into (log1p a) 6.634 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 6.634 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 6.634 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 6.634 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 6.634 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 6.634 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 6.634 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.634 * [backup-simplify]: Simplify (log1p (/ -1 (/ 1 (- a)))) into (log1p a) 6.634 * * * [progress]: simplifying candidates 6.644 * [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)))) (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (* (* (log1p a) (log1p a)) (log1p a)) (sqrt (log1p a)) (sqrt (log1p a)) (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))) (log1p a) (log1p a) (log1p a) 6.644 * * [simplify]: Extracting # 0 : cost 23 inf + 0 6.644 * * [simplify]: Extracting # 1 : cost 35 inf + 0 6.644 * * [simplify]: Extracting # 2 : cost 30 inf + 313 6.645 * * [simplify]: Extracting # 3 : cost 11 inf + 6645 6.645 * * [simplify]: Extracting # 4 : cost 1 inf + 10460 6.646 * * [simplify]: Extracting # 5 : cost 0 inf + 11096 6.646 * * [simplify]: iteration 0 : 36 enodes (cost 11269 ) 6.656 * * [simplify]: Extracting # 0 : cost 0 inf + 11096 6.657 * * [simplify]: Extracting # 1 : cost 6 inf + 10925 6.659 * * [simplify]: Extracting # 2 : cost 8 inf + 11385 6.660 * * [simplify]: Extracting # 3 : cost 3 inf + 12644 6.662 * * [simplify]: Extracting # 4 : cost 2 inf + 12685 6.664 * * [simplify]: Extracting # 5 : cost 0 inf + 13017 6.666 * * [simplify]: iteration 1 : 59 enodes (cost 10243 ) 6.679 * * [simplify]: Extracting # 0 : cost 0 inf + 13017 6.680 * * [simplify]: Extracting # 1 : cost 4 inf + 12806 6.681 * * [simplify]: Extracting # 2 : cost 2 inf + 13050 6.682 * * [simplify]: Extracting # 3 : cost 0 inf + 13769 6.683 * * [simplify]: iteration 2 : 85 enodes (cost 10243 ) 6.695 * * [simplify]: Extracting # 0 : cost 0 inf + 13769 6.696 * * [simplify]: Extracting # 1 : cost 13 inf + 13769 6.698 * * [simplify]: Extracting # 2 : cost 8 inf + 16551 6.699 * * [simplify]: Extracting # 3 : cost 4 inf + 17120 6.701 * * [simplify]: Extracting # 4 : cost 0 inf + 19399 6.703 * * [simplify]: iteration 3 : 128 enodes (cost 10243 ) 6.731 * * [simplify]: Extracting # 0 : cost 0 inf + 19399 6.733 * * [simplify]: Extracting # 1 : cost 17 inf + 19280 6.736 * * [simplify]: Extracting # 2 : cost 8 inf + 25461 6.739 * * [simplify]: Extracting # 3 : cost 3 inf + 26666 6.742 * * [simplify]: Extracting # 4 : cost 0 inf + 27911 6.744 * * [simplify]: iteration 4 : 221 enodes (cost 10243 ) 6.817 * * [simplify]: Extracting # 0 : cost 0 inf + 27911 6.820 * * [simplify]: Extracting # 1 : cost 47 inf + 26723 6.826 * * [simplify]: Extracting # 2 : cost 8 inf + 47070 6.834 * * [simplify]: Extracting # 3 : cost 1 inf + 48711 6.841 * * [simplify]: Extracting # 4 : cost 0 inf + 49013 6.848 * * [simplify]: iteration 5 : 465 enodes (cost 10243 ) 7.092 * * [simplify]: Extracting # 0 : cost 0 inf + 49013 7.104 * * [simplify]: Extracting # 1 : cost 70 inf + 48288 7.127 * * [simplify]: Extracting # 2 : cost 9 inf + 89284 7.159 * * [simplify]: Extracting # 3 : cost 2 inf + 90436 7.178 * * [simplify]: Extracting # 4 : cost 0 inf + 91424 7.208 * * [simplify]: iteration 6 : 1067 enodes (cost 10243 ) 8.321 * * [simplify]: Extracting # 0 : cost 0 inf + 91424 8.402 * * [simplify]: Extracting # 1 : cost 326 inf + 88714 8.511 * * [simplify]: Extracting # 2 : cost 19 inf + 279526 8.646 * * [simplify]: Extracting # 3 : cost 2 inf + 281689 8.775 * * [simplify]: Extracting # 4 : cost 0 inf + 282278 8.891 * * [simplify]: iteration 7 : 3387 enodes (cost 10243 ) 10.077 * * [simplify]: Extracting # 0 : cost 0 inf + 282278 10.219 * * [simplify]: Extracting # 1 : cost 653 inf + 279121 10.399 * * [simplify]: Extracting # 2 : cost 6 inf + 416137 10.561 * * [simplify]: Extracting # 3 : cost 0 inf + 415027 10.683 * * [simplify]: Extracting # 4 : cost 0 inf + 413166 10.839 * * [simplify]: Extracting # 5 : cost 0 inf + 412995 10.999 * * [simplify]: iteration complete: 5040 enodes (cost 10243 ) 11.000 * [simplify]: Simplified to: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (/ 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)))) (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (* (* (log1p a) (log1p a)) (log1p a)) (sqrt (log1p a)) (sqrt (log1p a)) (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))) (log1p a) (log1p a) (log1p a) 11.002 * * * [progress]: adding candidates to table 11.154 * * [progress]: iteration 2 / 4 11.154 * * * [progress]: picking best candidate 11.178 * * * * [pick]: Picked # 11.179 * * * [progress]: localizing error 11.204 * * * [progress]: generating rewritten candidates 11.204 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 11.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 11.209 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 11.210 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 11.210 * * * [progress]: generating series expansions 11.210 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 11.210 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 11.210 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 11.211 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.211 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.211 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.211 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.211 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.211 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 11.211 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 11.211 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 11.211 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 11.211 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 11.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 11.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 11.212 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 11.212 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 11.212 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 11.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 11.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 11.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 11.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 11.213 * [backup-simplify]: Simplify 0 into 0 11.213 * [backup-simplify]: Simplify 0 into 0 11.213 * [backup-simplify]: Simplify 0 into 0 11.213 * [backup-simplify]: Simplify 0 into 0 11.213 * [backup-simplify]: Simplify 0 into 0 11.213 * [backup-simplify]: Simplify 0 into 0 11.213 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 11.213 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 11.213 * [backup-simplify]: Simplify (log (exp (log1p a))) into (log1p a) 11.213 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 11.213 * [taylor]: Taking taylor expansion of (log1p a) in a 11.214 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.214 * [taylor]: Taking taylor expansion of (log1p a) in a 11.214 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.214 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.214 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 a)))) into (log1p (/ 1 a)) 11.214 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 11.214 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 11.214 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.214 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 11.214 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.214 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify 0 into 0 11.214 * [backup-simplify]: Simplify (log1p (/ 1 (/ 1 a))) into (log1p a) 11.214 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 (- a))))) into (log1p (/ -1 a)) 11.214 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 11.214 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 11.215 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 11.215 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 11.215 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 11.215 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 11.215 * [backup-simplify]: Simplify 0 into 0 11.215 * [backup-simplify]: Simplify 0 into 0 11.215 * [backup-simplify]: Simplify 0 into 0 11.215 * [backup-simplify]: Simplify 0 into 0 11.215 * [backup-simplify]: Simplify 0 into 0 11.215 * [backup-simplify]: Simplify 0 into 0 11.215 * [backup-simplify]: Simplify (log1p (/ -1 (/ 1 (- a)))) into (log1p a) 11.215 * * * * [progress]: [ 3 / 4 ] generating series at (2) 11.215 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.215 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 11.215 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.215 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.215 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.216 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.216 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify 0 into 0 11.216 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.216 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log (exp (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 11.216 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 11.216 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 11.217 * [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)))) 11.217 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 11.217 * [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)))) 11.217 * [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)))) 11.217 * [backup-simplify]: Simplify 0 into 0 11.217 * [backup-simplify]: Simplify 0 into 0 11.217 * [backup-simplify]: Simplify 0 into 0 11.217 * [backup-simplify]: Simplify 0 into 0 11.217 * [backup-simplify]: Simplify 0 into 0 11.217 * [backup-simplify]: Simplify 0 into 0 11.217 * [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))) 11.218 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log (exp (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 11.218 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 11.218 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 11.218 * [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)))) 11.218 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 11.218 * [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)))) 11.218 * [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)))) 11.218 * [backup-simplify]: Simplify 0 into 0 11.218 * [backup-simplify]: Simplify 0 into 0 11.218 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [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))) 11.219 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 11.219 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.219 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 11.219 * [taylor]: Taking taylor expansion of (log1p a) in a 11.219 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.219 * [taylor]: Taking taylor expansion of (log1p a) in a 11.219 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.219 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify (log1p a) into (log1p a) 11.219 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.220 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 11.220 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 11.220 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.220 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 11.220 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.220 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify (log1p (/ 1 (/ 1 a))) into (log1p a) 11.220 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 11.220 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 11.220 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 11.220 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 11.220 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 11.220 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 11.220 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a)) 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify (log1p (/ -1 (/ 1 (- a)))) into (log1p a) 11.220 * * * [progress]: simplifying candidates 11.221 * [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 (log1p a))) (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))) (log 1) (log (exp (log1p a))) (log (exp (log1p a))) (log (exp (* (cbrt (log1p a)) (cbrt (log1p a))))) (log (exp (sqrt (log1p a)))) (log (exp 1)) (log (log (exp (log1p a)))) (exp (log (exp (log1p a)))) (* (cbrt (log (exp (log1p a)))) (cbrt (log (exp (log1p a))))) (cbrt (log (exp (log1p a)))) (* (* (log (exp (log1p a))) (log (exp (log1p a)))) (log (exp (log1p a)))) (sqrt (log (exp (log1p a)))) (sqrt (log (exp (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) (log (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (exp (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (* (* (log1p a) (log1p a)) (log1p a)) (sqrt (log1p a)) (sqrt (log1p a)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (log1p a) (log1p a) (log1p a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log1p a) (log1p a) (log1p a) 11.222 * * [simplify]: Extracting # 0 : cost 37 inf + 0 11.222 * * [simplify]: Extracting # 1 : cost 57 inf + 0 11.222 * * [simplify]: Extracting # 2 : cost 50 inf + 343 11.223 * * [simplify]: Extracting # 3 : cost 30 inf + 4360 11.223 * * [simplify]: Extracting # 4 : cost 18 inf + 7343 11.224 * * [simplify]: Extracting # 5 : cost 8 inf + 11789 11.225 * * [simplify]: Extracting # 6 : cost 1 inf + 17112 11.225 * * [simplify]: Extracting # 7 : cost 0 inf + 17888 11.226 * * [simplify]: iteration 0 : 58 enodes (cost 17279 ) 11.236 * * [simplify]: Extracting # 0 : cost 0 inf + 17888 11.237 * * [simplify]: Extracting # 1 : cost 10 inf + 16706 11.238 * * [simplify]: Extracting # 2 : cost 9 inf + 16696 11.239 * * [simplify]: Extracting # 3 : cost 4 inf + 17961 11.240 * * [simplify]: Extracting # 4 : cost 2 inf + 17529 11.241 * * [simplify]: Extracting # 5 : cost 1 inf + 17500 11.242 * * [simplify]: Extracting # 6 : cost 0 inf + 17721 11.244 * * [simplify]: iteration 1 : 90 enodes (cost 13453 ) 11.256 * * [simplify]: Extracting # 0 : cost 0 inf + 17721 11.257 * * [simplify]: Extracting # 1 : cost 6 inf + 17440 11.258 * * [simplify]: Extracting # 2 : cost 4 inf + 17995 11.266 * * [simplify]: Extracting # 3 : cost 0 inf + 19433