1.256 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.110 * * * [progress]: [2/2] Setting up program. 1.117 * [progress]: [Phase 2 of 3] Improving. 1.121 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.122 * * [simplify]: Extracting # 0 : cost 0 1.123 * * [simplify]: Extracting # 1 : cost 0 1.123 * * [simplify]: Extracting # 2 : cost 0 1.123 * * [simplify]: Extracting # 3 : cost 0 1.123 * * [simplify]: Extracting # 4 : cost 0 1.123 * * [simplify]: Extracting # 5 : cost 0 1.123 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.131 * * [simplify]: Extracting # 0 : cost 0 1.131 * * [simplify]: Extracting # 1 : cost 0 1.131 * * [simplify]: Extracting # 2 : cost 0 1.131 * * [simplify]: Extracting # 3 : cost 0 1.131 * * [simplify]: Extracting # 4 : cost 0 1.131 * * [simplify]: Extracting # 5 : cost 0 1.131 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 1.136 * * [simplify]: Extracting # 0 : cost 0 1.136 * * [simplify]: Extracting # 1 : cost 0 1.136 * * [simplify]: Extracting # 2 : cost 0 1.136 * * [simplify]: Extracting # 3 : cost 0 1.136 * * [simplify]: Extracting # 4 : cost 0 1.136 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.145 * * [simplify]: Extracting # 0 : cost 0 1.145 * * [simplify]: Extracting # 1 : cost 0 1.146 * * [simplify]: Extracting # 2 : cost 0 1.146 * * [simplify]: Extracting # 3 : cost 0 1.146 * * [simplify]: Extracting # 4 : cost 0 1.146 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 1.157 * * [simplify]: Extracting # 0 : cost 0 1.157 * * [simplify]: Extracting # 1 : cost 0 1.157 * * [simplify]: Extracting # 2 : cost 0 1.158 * * [simplify]: Extracting # 3 : cost 0 1.158 * * [simplify]: Extracting # 4 : cost 0 1.158 * * [simplify]: iteration 4 : 91 enodes (cost 10 ) 1.197 * * [simplify]: Extracting # 0 : cost 0 1.198 * * [simplify]: Extracting # 1 : cost 0 1.199 * * [simplify]: Extracting # 2 : cost 0 1.199 * * [simplify]: Extracting # 3 : cost 0 1.200 * * [simplify]: Extracting # 4 : cost 0 1.201 * * [simplify]: iteration 5 : 373 enodes (cost 10 ) 2.325 * * [simplify]: Extracting # 0 : cost 0 2.332 * * [simplify]: Extracting # 1 : cost 0 2.335 * * [simplify]: Extracting # 2 : cost 0 2.337 * * [simplify]: Extracting # 3 : cost 0 2.340 * * [simplify]: Extracting # 4 : cost 0 2.342 * * [simplify]: iteration 6 : 3269 enodes (cost 10 ) 5.354 * * [simplify]: Extracting # 0 : cost 0 5.413 * * [simplify]: Extracting # 1 : cost 0 5.416 * * [simplify]: Extracting # 2 : cost 0 5.421 * * [simplify]: Extracting # 3 : cost 0 5.424 * * [simplify]: Extracting # 4 : cost 0 5.429 * * [simplify]: iteration done: 5001 enodes (cost 10 ) 5.429 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.432 * * [progress]: iteration 1 / 4 5.432 * * * [progress]: picking best candidate 5.438 * * * * [pick]: Picked # 5.438 * * * [progress]: localizing error 5.464 * * * [progress]: generating rewritten candidates 5.465 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.466 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.470 * * * [progress]: generating series expansions 5.470 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.474 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 5.474 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 5.475 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.477 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.477 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 5.477 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.478 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify 0 into 0 5.478 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 5.478 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.478 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 5.478 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.478 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.478 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 5.479 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.479 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify 0 into 0 5.479 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 5.480 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.480 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 5.480 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.480 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.480 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 5.480 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.480 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 0 into 0 5.480 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 5.481 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.481 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.481 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 5.481 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 5.481 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.481 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 5.481 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.481 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify 0 into 0 5.481 * [backup-simplify]: Simplify 0 into 0 5.482 * [backup-simplify]: Simplify 0 into 0 5.482 * [backup-simplify]: Simplify 0 into 0 5.482 * [backup-simplify]: Simplify 0 into 0 5.482 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.482 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 5.482 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 5.482 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 5.482 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 5.482 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 5.482 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 5.483 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify 0 into 0 5.483 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.483 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 5.483 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 5.483 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 5.484 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 5.484 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 5.484 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 5.484 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 5.485 * * * [progress]: simplifying candidates 5.485 * [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))) 5.486 * * [simplify]: Extracting # 0 : cost 0 5.486 * * [simplify]: Extracting # 1 : cost 0 5.486 * * [simplify]: Extracting # 2 : cost 0 5.486 * * [simplify]: Extracting # 3 : cost 0 5.486 * * [simplify]: Extracting # 4 : cost 0 5.486 * * [simplify]: Extracting # 5 : cost 0 5.486 * * [simplify]: Extracting # 6 : cost 0 5.486 * * [simplify]: iteration 0 : 29 enodes (cost 241 ) 5.491 * * [simplify]: Extracting # 0 : cost 0 5.491 * * [simplify]: Extracting # 1 : cost 0 5.491 * * [simplify]: Extracting # 2 : cost 0 5.491 * * [simplify]: Extracting # 3 : cost 0 5.491 * * [simplify]: Extracting # 4 : cost 0 5.492 * * [simplify]: Extracting # 5 : cost 0 5.492 * * [simplify]: iteration 1 : 52 enodes (cost 241 ) 5.501 * * [simplify]: Extracting # 0 : cost 0 5.501 * * [simplify]: Extracting # 1 : cost 0 5.501 * * [simplify]: Extracting # 2 : cost 0 5.501 * * [simplify]: Extracting # 3 : cost 0 5.501 * * [simplify]: iteration 2 : 101 enodes (cost 209 ) 5.522 * * [simplify]: Extracting # 0 : cost 0 5.522 * * [simplify]: Extracting # 1 : cost 0 5.522 * * [simplify]: Extracting # 2 : cost 0 5.522 * * [simplify]: Extracting # 3 : cost 0 5.522 * * [simplify]: Extracting # 4 : cost 0 5.522 * * [simplify]: iteration 3 : 172 enodes (cost 209 ) 5.557 * * [simplify]: Extracting # 0 : cost 0 5.557 * * [simplify]: Extracting # 1 : cost 0 5.557 * * [simplify]: Extracting # 2 : cost 0 5.558 * * [simplify]: Extracting # 3 : cost 0 5.558 * * [simplify]: Extracting # 4 : cost 0 5.559 * * [simplify]: iteration 4 : 301 enodes (cost 209 ) 5.661 * * [simplify]: Extracting # 0 : cost 0 5.662 * * [simplify]: Extracting # 1 : cost 0 5.663 * * [simplify]: Extracting # 2 : cost 0 5.664 * * [simplify]: Extracting # 3 : cost 0 5.665 * * [simplify]: Extracting # 4 : cost 0 5.666 * * [simplify]: iteration 5 : 807 enodes (cost 209 ) 6.813 * * [simplify]: Extracting # 0 : cost 0 6.818 * * [simplify]: Extracting # 1 : cost 0 6.821 * * [simplify]: Extracting # 2 : cost 0 6.828 * * [simplify]: Extracting # 3 : cost 0 6.831 * * [simplify]: Extracting # 4 : cost 0 6.833 * * [simplify]: iteration 6 : 3981 enodes (cost 209 ) 8.516 * * [simplify]: Extracting # 0 : cost 0 8.537 * * [simplify]: Extracting # 1 : cost 0 8.541 * * [simplify]: Extracting # 2 : cost 0 8.545 * * [simplify]: Extracting # 3 : cost 0 8.548 * * [simplify]: iteration done: 5000 enodes (cost 209 ) 8.549 * [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))) 8.549 * * * [progress]: adding candidates to table 8.649 * * [progress]: iteration 2 / 4 8.649 * * * [progress]: picking best candidate 8.669 * * * * [pick]: Picked # 8.670 * * * [progress]: localizing error 8.703 * * * [progress]: generating rewritten candidates 8.703 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 8.704 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 8.709 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.711 * * * [progress]: generating series expansions 8.711 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 8.711 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 8.711 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.711 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.712 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.712 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.712 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.712 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.712 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.713 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify 0 into 0 8.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 8.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.713 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.713 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 8.714 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 8.714 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 8.714 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.714 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.714 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.714 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.714 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.715 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 8.715 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.715 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.715 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.715 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.715 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 8.716 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.716 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.716 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.716 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.716 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 0 into 0 8.717 * [backup-simplify]: Simplify 0 into 0 8.717 * [backup-simplify]: Simplify 0 into 0 8.717 * [backup-simplify]: Simplify 0 into 0 8.717 * [backup-simplify]: Simplify 0 into 0 8.717 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 8.717 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.717 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.717 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 8.717 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.717 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.717 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.717 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.718 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.718 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify 0 into 0 8.718 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.718 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 8.718 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 8.718 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.718 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 8.718 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.719 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 8.719 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.720 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 8.720 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 8.720 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.720 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 8.720 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.720 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 8.720 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 8.720 * [backup-simplify]: Simplify 0 into 0 8.720 * [backup-simplify]: Simplify 0 into 0 8.720 * [backup-simplify]: Simplify 0 into 0 8.720 * [backup-simplify]: Simplify 0 into 0 8.720 * [backup-simplify]: Simplify 0 into 0 8.720 * [backup-simplify]: Simplify 0 into 0 8.721 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.721 * * * [progress]: simplifying candidates 8.721 * [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))) 8.722 * * [simplify]: Extracting # 0 : cost 0 8.722 * * [simplify]: Extracting # 1 : cost 0 8.722 * * [simplify]: Extracting # 2 : cost 0 8.722 * * [simplify]: Extracting # 3 : cost 0 8.722 * * [simplify]: Extracting # 4 : cost 0 8.723 * * [simplify]: Extracting # 5 : cost 0 8.723 * * [simplify]: Extracting # 6 : cost 0 8.723 * * [simplify]: Extracting # 7 : cost 0 8.723 * * [simplify]: iteration 0 : 51 enodes (cost 463 ) 8.732 * * [simplify]: Extracting # 0 : cost 0 8.732 * * [simplify]: Extracting # 1 : cost 0 8.732 * * [simplify]: Extracting # 2 : cost 0 8.732 * * [simplify]: Extracting # 3 : cost 0 8.732 * * [simplify]: Extracting # 4 : cost 0 8.733 * * [simplify]: Extracting # 5 : cost 0 8.739 * * [simplify]: Extracting # 6 : cost 0 8.739 * * [simplify]: iteration 1 : 83 enodes (cost 410 ) 8.752 * * [simplify]: Extracting # 0 : cost 0 8.752 * * [simplify]: Extracting # 1 : cost 0 8.752 * * [simplify]: Extracting # 2 : cost 0 8.752 * * [simplify]: Extracting # 3 : cost 0 8.752 * * [simplify]: iteration 2 : 148 enodes (cost 359 ) 8.781 * * [simplify]: Extracting # 0 : cost 0 8.782 * * [simplify]: Extracting # 1 : cost 0 8.782 * * [simplify]: Extracting # 2 : cost 0 8.782 * * [simplify]: Extracting # 3 : cost 0 8.783 * * [simplify]: Extracting # 4 : cost 0 8.783 * * [simplify]: iteration 3 : 235 enodes (cost 359 ) 8.835 * * [simplify]: Extracting # 0 : cost 0 8.836 * * [simplify]: Extracting # 1 : cost 0 8.836 * * [simplify]: Extracting # 2 : cost 0 8.837 * * [simplify]: Extracting # 3 : cost 0 8.837 * * [simplify]: Extracting # 4 : cost 0 8.837 * * [simplify]: iteration 4 : 387 enodes (cost 359 ) 8.962 * * [simplify]: Extracting # 0 : cost 0 8.963 * * [simplify]: Extracting # 1 : cost 0 8.965 * * [simplify]: Extracting # 2 : cost 0 8.966 * * [simplify]: Extracting # 3 : cost 0 8.967 * * [simplify]: Extracting # 4 : cost 0 8.968 * * [simplify]: iteration 5 : 984 enodes (cost 359 ) 10.193 * * [simplify]: Extracting # 0 : cost 0 10.198 * * [simplify]: Extracting # 1 : cost 0 10.201 * * [simplify]: Extracting # 2 : cost 0 10.204 * * [simplify]: Extracting # 3 : cost 0 10.207 * * [simplify]: Extracting # 4 : cost 0 10.209 * * [simplify]: Extracting # 5 : cost 0 10.212 * * [simplify]: iteration 6 : 4616 enodes (cost 359 ) 11.599 * * [simplify]: Extracting # 0 : cost 0 11.608 * * [simplify]: Extracting # 1 : cost 0 11.621 * * [simplify]: Extracting # 2 : cost 0 11.627 * * [simplify]: Extracting # 3 : cost 0 11.633 * * [simplify]: Extracting # 4 : cost 0 11.639 * * [simplify]: iteration done: 5001 enodes (cost 359 ) 11.639 * [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.640 * * * [progress]: adding candidates to table 11.803 * * [progress]: iteration 3 / 4 11.803 * * * [progress]: picking best candidate 11.827 * * * * [pick]: Picked # 11.827 * * * [progress]: localizing error 11.865 * * * [progress]: generating rewritten candidates 11.865 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 11.866 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 11.866 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 11.867 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 11.870 * * * [progress]: generating series expansions 11.870 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 11.870 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.870 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 11.870 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.870 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.870 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.872 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 11.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.873 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.873 * [backup-simplify]: Simplify 0 into 0 11.873 * [backup-simplify]: Simplify 0 into 0 11.873 * [backup-simplify]: Simplify 0 into 0 11.873 * [backup-simplify]: Simplify 0 into 0 11.873 * [backup-simplify]: Simplify 0 into 0 11.873 * [backup-simplify]: Simplify 0 into 0 11.873 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 11.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.874 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 11.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.874 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.874 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 11.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 11.875 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.876 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 11.876 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.876 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.876 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.876 * [backup-simplify]: Simplify 0 into 0 11.876 * [backup-simplify]: Simplify 0 into 0 11.876 * [backup-simplify]: Simplify 0 into 0 11.876 * [backup-simplify]: Simplify 0 into 0 11.877 * [backup-simplify]: Simplify 0 into 0 11.877 * [backup-simplify]: Simplify 0 into 0 11.877 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.877 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 11.877 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.877 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.878 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.878 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 0 into 0 11.879 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 11.879 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.879 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 11.879 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.879 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.879 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.880 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.880 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 11.881 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 11.881 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.881 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 11.881 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.881 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.881 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.881 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.882 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 11.882 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.882 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 11.882 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 11.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.883 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 11.883 * [backup-simplify]: Simplify 0 into 0 11.883 * [backup-simplify]: Simplify 0 into 0 11.883 * [backup-simplify]: Simplify 0 into 0 11.883 * [backup-simplify]: Simplify 0 into 0 11.883 * [backup-simplify]: Simplify 0 into 0 11.883 * [backup-simplify]: Simplify 0 into 0 11.884 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 11.884 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.884 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 11.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.884 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 11.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.884 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 11.884 * [backup-simplify]: Simplify 0 into 0 11.885 * [backup-simplify]: Simplify 0 into 0 11.885 * [backup-simplify]: Simplify 0 into 0 11.885 * [backup-simplify]: Simplify 0 into 0 11.885 * [backup-simplify]: Simplify 0 into 0 11.885 * [backup-simplify]: Simplify 0 into 0 11.885 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 11.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 11.885 * [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.885 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 11.885 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.886 * [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.886 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 11.886 * [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.886 * [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.886 * [backup-simplify]: Simplify 0 into 0 11.886 * [backup-simplify]: Simplify 0 into 0 11.886 * [backup-simplify]: Simplify 0 into 0 11.887 * [backup-simplify]: Simplify 0 into 0 11.887 * [backup-simplify]: Simplify 0 into 0 11.887 * [backup-simplify]: Simplify 0 into 0 11.887 * [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.887 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.887 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 11.887 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 11.888 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.888 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 11.888 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.889 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.890 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.890 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 11.890 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 11.890 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.890 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 11.890 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.891 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 11.891 * [backup-simplify]: Simplify 0 into 0 11.891 * [backup-simplify]: Simplify 0 into 0 11.891 * [backup-simplify]: Simplify 0 into 0 11.891 * [backup-simplify]: Simplify 0 into 0 11.891 * [backup-simplify]: Simplify 0 into 0 11.891 * [backup-simplify]: Simplify 0 into 0 11.892 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.892 * * * [progress]: simplifying candidates 11.893 * [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))) (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))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 11.894 * * [simplify]: Extracting # 0 : cost 0 11.894 * * [simplify]: Extracting # 1 : cost 0 11.894 * * [simplify]: Extracting # 2 : cost 0 11.894 * * [simplify]: Extracting # 3 : cost 0 11.894 * * [simplify]: Extracting # 4 : cost 0 11.894 * * [simplify]: Extracting # 5 : cost 0 11.894 * * [simplify]: Extracting # 6 : cost 0 11.894 * * [simplify]: Extracting # 7 : cost 0 11.894 * * [simplify]: iteration 0 : 25 enodes (cost 417 ) 11.901 * * [simplify]: Extracting # 0 : cost 0 11.902 * * [simplify]: Extracting # 1 : cost 0 11.902 * * [simplify]: Extracting # 2 : cost 0 11.902 * * [simplify]: Extracting # 3 : cost 0 11.902 * * [simplify]: Extracting # 4 : cost 0 11.902 * * [simplify]: Extracting # 5 : cost 0 11.902 * * [simplify]: iteration 1 : 40 enodes (cost 417 ) 11.915 * * [simplify]: Extracting # 0 : cost 0 11.915 * * [simplify]: Extracting # 1 : cost 0 11.915 * * [simplify]: Extracting # 2 : cost 0 11.915 * * [simplify]: Extracting # 3 : cost 0 11.916 * * [simplify]: Extracting # 4 : cost 0 11.916 * * [simplify]: iteration 2 : 65 enodes (cost 361 ) 11.943 * * [simplify]: Extracting # 0 : cost 0 11.943 * * [simplify]: Extracting # 1 : cost 0 11.943 * * [simplify]: Extracting # 2 : cost 0 11.943 * * [simplify]: Extracting # 3 : cost 0 11.944 * * [simplify]: Extracting # 4 : cost 0 11.944 * * [simplify]: iteration 3 : 123 enodes (cost 361 ) 11.973 * * [simplify]: Extracting # 0 : cost 0 11.973 * * [simplify]: Extracting # 1 : cost 0 11.973 * * [simplify]: Extracting # 2 : cost 0 11.974 * * [simplify]: Extracting # 3 : cost 0 11.974 * * [simplify]: Extracting # 4 : cost 0 11.974 * * [simplify]: iteration 4 : 246 enodes (cost 361 ) 12.059 * * [simplify]: Extracting # 0 : cost 0 12.059 * * [simplify]: Extracting # 1 : cost 0 12.060 * * [simplify]: Extracting # 2 : cost 0 12.060 * * [simplify]: Extracting # 3 : cost 0 12.061 * * [simplify]: Extracting # 4 : cost 0 12.061 * * [simplify]: iteration 5 : 745 enodes (cost 361 ) 13.207 * * [simplify]: Extracting # 0 : cost 0 13.212 * * [simplify]: Extracting # 1 : cost 0 13.215 * * [simplify]: Extracting # 2 : cost 0 13.217 * * [simplify]: Extracting # 3 : cost 0 13.223 * * [simplify]: Extracting # 4 : cost 0 13.226 * * [simplify]: iteration 6 : 3904 enodes (cost 361 ) 15.586 * * [simplify]: Extracting # 0 : cost 0 15.622 * * [simplify]: Extracting # 1 : cost 0 15.630 * * [simplify]: Extracting # 2 : cost 0 15.636 * * [simplify]: Extracting # 3 : cost 0 15.643 * * [simplify]: Extracting # 4 : cost 0 15.650 * * [simplify]: iteration done: 5001 enodes (cost 361 ) 15.651 * [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))) (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))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.651 * * * [progress]: adding candidates to table 15.897 * * [progress]: iteration 4 / 4 15.897 * * * [progress]: picking best candidate 15.914 * * * * [pick]: Picked # 15.914 * * * [progress]: localizing error 15.930 * * * [progress]: generating rewritten candidates 15.930 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 15.931 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 15.932 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 15.940 * * * [progress]: generating series expansions 15.940 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 15.940 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.940 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 15.940 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 15.940 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.940 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 15.941 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.941 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.941 * [backup-simplify]: Simplify 0 into 0 15.941 * [backup-simplify]: Simplify 0 into 0 15.941 * [backup-simplify]: Simplify 0 into 0 15.941 * [backup-simplify]: Simplify 0 into 0 15.941 * [backup-simplify]: Simplify 0 into 0 15.941 * [backup-simplify]: Simplify 0 into 0 15.941 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 15.942 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 15.942 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 15.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 15.942 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 15.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 15.942 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) 15.943 * [backup-simplify]: Simplify 0 into 0 15.943 * [backup-simplify]: Simplify 0 into 0 15.943 * [backup-simplify]: Simplify 0 into 0 15.943 * [backup-simplify]: Simplify 0 into 0 15.943 * [backup-simplify]: Simplify 0 into 0 15.943 * [backup-simplify]: Simplify 0 into 0 15.943 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2)) 15.943 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 15.943 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 15.943 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 15.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 15.944 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 15.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 15.944 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) 15.944 * [backup-simplify]: Simplify 0 into 0 15.944 * [backup-simplify]: Simplify 0 into 0 15.944 * [backup-simplify]: Simplify 0 into 0 15.945 * [backup-simplify]: Simplify 0 into 0 15.945 * [backup-simplify]: Simplify 0 into 0 15.945 * [backup-simplify]: Simplify 0 into 0 15.945 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2)) 15.945 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 15.945 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.945 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 15.945 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 15.946 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.946 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 15.946 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.946 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify 0 into 0 15.947 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.947 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.947 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 15.948 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 15.948 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.948 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 15.948 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.949 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.949 * [backup-simplify]: Simplify 0 into 0 15.949 * [backup-simplify]: Simplify 0 into 0 15.949 * [backup-simplify]: Simplify 0 into 0 15.949 * [backup-simplify]: Simplify 0 into 0 15.949 * [backup-simplify]: Simplify 0 into 0 15.949 * [backup-simplify]: Simplify 0 into 0 15.950 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.950 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.950 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 15.950 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 15.950 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.950 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 15.951 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.951 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.951 * [backup-simplify]: Simplify 0 into 0 15.951 * [backup-simplify]: Simplify 0 into 0 15.951 * [backup-simplify]: Simplify 0 into 0 15.952 * [backup-simplify]: Simplify 0 into 0 15.952 * [backup-simplify]: Simplify 0 into 0 15.952 * [backup-simplify]: Simplify 0 into 0 15.952 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.952 * * * * [progress]: [ 3 / 3 ] generating series at (2) 15.953 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.953 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 15.953 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 15.953 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.953 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 15.953 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.954 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.954 * [backup-simplify]: Simplify 0 into 0 15.954 * [backup-simplify]: Simplify 0 into 0 15.954 * [backup-simplify]: Simplify 0 into 0 15.954 * [backup-simplify]: Simplify 0 into 0 15.954 * [backup-simplify]: Simplify 0 into 0 15.954 * [backup-simplify]: Simplify 0 into 0 15.954 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.955 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.955 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 15.955 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 15.955 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.955 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 15.956 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.956 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) 15.956 * [backup-simplify]: Simplify 0 into 0 15.956 * [backup-simplify]: Simplify 0 into 0 15.956 * [backup-simplify]: Simplify 0 into 0 15.956 * [backup-simplify]: Simplify 0 into 0 15.956 * [backup-simplify]: Simplify 0 into 0 15.956 * [backup-simplify]: Simplify 0 into 0 15.957 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.957 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.957 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 15.958 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 15.958 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.958 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 15.958 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.959 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) 15.959 * [backup-simplify]: Simplify 0 into 0 15.959 * [backup-simplify]: Simplify 0 into 0 15.959 * [backup-simplify]: Simplify 0 into 0 15.959 * [backup-simplify]: Simplify 0 into 0 15.959 * [backup-simplify]: Simplify 0 into 0 15.959 * [backup-simplify]: Simplify 0 into 0 15.960 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.960 * * * [progress]: simplifying candidates 15.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))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log (* (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log 1) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (/ PI 2))) (log (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (exp (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (exp 1)) (log (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (exp (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (* (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (* (* (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (sqrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (sqrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.962 * * [simplify]: Extracting # 0 : cost 0 15.963 * * [simplify]: Extracting # 1 : cost 0 15.963 * * [simplify]: Extracting # 2 : cost 0 15.963 * * [simplify]: Extracting # 3 : cost 0 15.963 * * [simplify]: Extracting # 4 : cost 0 15.963 * * [simplify]: Extracting # 5 : cost 0 15.963 * * [simplify]: Extracting # 6 : cost 0 15.963 * * [simplify]: Extracting # 7 : cost 0 15.964 * * [simplify]: iteration 0 : 51 enodes (cost 550 ) 15.981 * * [simplify]: Extracting # 0 : cost 0 15.981 * * [simplify]: Extracting # 1 : cost 0 15.982 * * [simplify]: Extracting # 2 : cost 0 15.982 * * [simplify]: Extracting # 3 : cost 0 15.982 * * [simplify]: Extracting # 4 : cost 0 15.982 * * [simplify]: Extracting # 5 : cost 0 15.982 * * [simplify]: Extracting # 6 : cost 0 15.982 * * [simplify]: iteration 1 : 77 enodes (cost 515 ) 16.003 * * [simplify]: Extracting # 0 : cost 0 16.003 * * [simplify]: Extracting # 1 : cost 0 16.003 * * [simplify]: Extracting # 2 : cost 0 16.003 * * [simplify]: Extracting # 3 : cost 0 16.004 * * [simplify]: Extracting # 4 : cost 0 16.004 * * [simplify]: iteration 2 : 113 enodes (cost 452 ) 16.034 * * [simplify]: Extracting # 0 : cost 0 16.035 * * [simplify]: Extracting # 1 : cost 0 16.035 * * [simplify]: Extracting # 2 : cost 0 16.035 * * [simplify]: Extracting # 3 : cost 0 16.035 * * [simplify]: Extracting # 4 : cost 0 16.036 * * [simplify]: Extracting # 5 : cost 0 16.036 * * [simplify]: iteration 3 : 187 enodes (cost 452 ) 16.072 * * [simplify]: Extracting # 0 : cost 0 16.072 * * [simplify]: Extracting # 1 : cost 0 16.073 * * [simplify]: Extracting # 2 : cost 0 16.073 * * [simplify]: Extracting # 3 : cost 0 16.074 * * [simplify]: Extracting # 4 : cost 0 16.074 * * [simplify]: iteration 4 : 355 enodes (cost 452 ) 16.213 * * [simplify]: Extracting # 0 : cost 0 16.214 * * [simplify]: Extracting # 1 : cost 0 16.216 * * [simplify]: Extracting # 2 : cost 0 16.217 * * [simplify]: Extracting # 3 : cost 0 16.218 * * [simplify]: Extracting # 4 : cost 0 16.219 * * [simplify]: Extracting # 5 : cost 0 16.221 * * [simplify]: iteration 5 : 969 enodes (cost 452 ) 17.615 * * [simplify]: Extracting # 0 : cost 0 17.625 * * [simplify]: Extracting # 1 : cost 0 17.632 * * [simplify]: Extracting # 2 : cost 0 17.638 * * [simplify]: Extracting # 3 : cost 0 17.643 * * [simplify]: Extracting # 4 : cost 0 17.646 * * [simplify]: iteration 6 : 4926 enodes (cost 452 ) 19.252 * * [simplify]: Extracting # 0 : cost 0 19.260 * * [simplify]: Extracting # 1 : cost 0 19.267 * * [simplify]: Extracting # 2 : cost 0 19.273 * * [simplify]: iteration done: 5001 enodes (cost 452 ) 19.273 * [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))) (/ 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)))) (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) 0 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (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))))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 19.274 * * * [progress]: adding candidates to table 19.435 * [progress]: [Phase 3 of 3] Extracting. 19.435 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 19.438 * * * [regime-changes]: Trying 1 branch expressions: (a) 19.438 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 19.518 * * * [regime]: Found split indices: #