31.166 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.137 * * * [progress]: [2/2] Setting up program.
0.139 * [progress]: [Phase 2 of 3] Improving.
0.139 * [simplify]: Simplifying:
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.139 * * [simplify]: Extracting # 0 : cost  0
0.139 * * [simplify]: Extracting # 1 : cost  0
0.139 * * [simplify]: Extracting # 2 : cost  0
0.139 * * [simplify]: Extracting # 3 : cost  0
0.139 * * [simplify]: Extracting # 4 : cost  0
0.139 * * [simplify]: Extracting # 5 : cost  0
0.139 * * [simplify]: Extracting # 6 : cost  0
0.139 * * [simplify]: iteration  0 :  9  enodes  (cost  14 )
0.141 * * [simplify]: Extracting # 0 : cost  0
0.142 * * [simplify]: Extracting # 1 : cost  0
0.142 * * [simplify]: Extracting # 2 : cost  0
0.142 * * [simplify]: Extracting # 3 : cost  0
0.142 * * [simplify]: iteration  1 :  26  enodes  (cost  14 )
0.183 * * [simplify]: Extracting # 0 : cost  0
0.183 * * [simplify]: Extracting # 1 : cost  0
0.183 * * [simplify]: Extracting # 2 : cost  0
0.184 * * [simplify]: Extracting # 3 : cost  0
0.184 * * [simplify]: Extracting # 4 : cost  0
0.184 * * [simplify]: iteration  2 :  128  enodes  (cost  14 )
0.288 * * [simplify]: Extracting # 0 : cost  0
0.288 * * [simplify]: Extracting # 1 : cost  0
0.289 * * [simplify]: Extracting # 2 : cost  0
0.289 * * [simplify]: Extracting # 3 : cost  0
0.289 * * [simplify]: iteration  3 :  305  enodes  (cost  14 )
0.397 * * [simplify]: Extracting # 0 : cost  0
0.397 * * [simplify]: Extracting # 1 : cost  0
0.398 * * [simplify]: Extracting # 2 : cost  0
0.399 * * [simplify]: Extracting # 3 : cost  0
0.400 * * [simplify]: iteration  4 :  501  enodes  (cost  14 )
0.626 * * [simplify]: Extracting # 0 : cost  0
0.628 * * [simplify]: Extracting # 1 : cost  0
0.628 * * [simplify]: Extracting # 2 : cost  0
0.629 * * [simplify]: iteration  5 :  552  enodes  (cost  14 )
3.448 * * [simplify]: Extracting # 0 : cost  0
3.457 * * [simplify]: Extracting # 1 : cost  0
3.469 * * [simplify]: Extracting # 2 : cost  0
3.480 * * [simplify]: Extracting # 3 : cost  0
3.492 * * [simplify]: Extracting # 4 : cost  0
3.503 * * [simplify]: Extracting # 5 : cost  0
3.514 * * [simplify]: iteration done:  5000  enodes  (cost  14 )
3.514 * [simplify]: Simplified to:
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
3.515 * * [progress]: iteration 1 / 4
3.515 * * * [progress]: picking best candidate
3.520 * * * * [pick]: Picked  #<alt (λ (v) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))>
3.520 * * * [progress]: localizing error
3.543 * * * [progress]: generating rewritten candidates
3.543 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.545 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
3.578 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.630 * * * [progress]: generating series expansions
3.630 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.630 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.630 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
3.630 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
3.631 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.631 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
3.631 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.632 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.633 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.633 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
3.633 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
3.633 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.634 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
3.634 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.634 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.634 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.636 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.636 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
3.636 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
3.636 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.636 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
3.637 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.637 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
3.638 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
3.638 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
3.638 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
3.638 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
3.638 * [taylor]: Taking taylor expansion of 5.0 in v
3.638 * [backup-simplify]: Simplify 5.0 into 5.0
3.638 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.638 * [taylor]: Taking taylor expansion of v in v
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify 1 into 1
3.638 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
3.639 * [taylor]: Taking taylor expansion of 5.0 in v
3.639 * [backup-simplify]: Simplify 5.0 into 5.0
3.639 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.639 * [taylor]: Taking taylor expansion of v in v
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 1 into 1
3.639 * [backup-simplify]: Simplify (* 1 1) into 1
3.640 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
3.640 * [backup-simplify]: Simplify 5.0 into 5.0
3.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.641 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
3.641 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.644 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.646 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.646 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.649 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.649 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.652 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.655 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
3.655 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
3.656 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
3.656 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
3.656 * [taylor]: Taking taylor expansion of 5.0 in v
3.656 * [backup-simplify]: Simplify 5.0 into 5.0
3.656 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.656 * [taylor]: Taking taylor expansion of v in v
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (* 1 1) into 1
3.657 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
3.657 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
3.657 * [taylor]: Taking taylor expansion of 5.0 in v
3.657 * [backup-simplify]: Simplify 5.0 into 5.0
3.657 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.657 * [taylor]: Taking taylor expansion of v in v
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 1 into 1
3.657 * [backup-simplify]: Simplify (* 1 1) into 1
3.658 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
3.658 * [backup-simplify]: Simplify 5.0 into 5.0
3.665 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.668 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.672 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.675 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.678 * [backup-simplify]: Simplify 0 into 0
3.678 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
3.678 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
3.678 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
3.678 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
3.678 * [taylor]: Taking taylor expansion of 5.0 in v
3.679 * [backup-simplify]: Simplify 5.0 into 5.0
3.679 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.679 * [taylor]: Taking taylor expansion of v in v
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.679 * [backup-simplify]: Simplify (* 1 1) into 1
3.680 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
3.680 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
3.680 * [taylor]: Taking taylor expansion of 5.0 in v
3.680 * [backup-simplify]: Simplify 5.0 into 5.0
3.680 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.680 * [taylor]: Taking taylor expansion of v in v
3.680 * [backup-simplify]: Simplify 0 into 0
3.680 * [backup-simplify]: Simplify 1 into 1
3.680 * [backup-simplify]: Simplify (* 1 1) into 1
3.681 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
3.681 * [backup-simplify]: Simplify 5.0 into 5.0
3.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
3.682 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.684 * [backup-simplify]: Simplify 0 into 0
3.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.686 * [backup-simplify]: Simplify 0 into 0
3.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.689 * [backup-simplify]: Simplify 0 into 0
3.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.691 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.694 * [backup-simplify]: Simplify 0 into 0
3.694 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
3.694 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.694 * [backup-simplify]: Simplify (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) into (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))
3.694 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in (v) around 0
3.694 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
3.694 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
3.694 * [taylor]: Taking taylor expansion of 1.0 in v
3.694 * [backup-simplify]: Simplify 1.0 into 1.0
3.694 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
3.695 * [taylor]: Taking taylor expansion of 5.0 in v
3.695 * [backup-simplify]: Simplify 5.0 into 5.0
3.695 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.695 * [taylor]: Taking taylor expansion of v in v
3.695 * [backup-simplify]: Simplify 0 into 0
3.695 * [backup-simplify]: Simplify 1 into 1
3.695 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
3.695 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.695 * [taylor]: Taking taylor expansion of v in v
3.695 * [backup-simplify]: Simplify 0 into 0
3.695 * [backup-simplify]: Simplify 1 into 1
3.695 * [taylor]: Taking taylor expansion of 1.0 in v
3.695 * [backup-simplify]: Simplify 1.0 into 1.0
3.695 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.696 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.697 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.697 * [backup-simplify]: Simplify (/ 1.0 (- 1.0)) into -1.0
3.697 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) in v
3.698 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (pow v 2))) in v
3.698 * [taylor]: Taking taylor expansion of 1.0 in v
3.698 * [backup-simplify]: Simplify 1.0 into 1.0
3.698 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
3.698 * [taylor]: Taking taylor expansion of 5.0 in v
3.698 * [backup-simplify]: Simplify 5.0 into 5.0
3.698 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.698 * [taylor]: Taking taylor expansion of v in v
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 1 into 1
3.698 * [taylor]: Taking taylor expansion of (- (pow v 2) 1.0) in v
3.698 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.698 * [taylor]: Taking taylor expansion of v in v
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 1 into 1
3.698 * [taylor]: Taking taylor expansion of 1.0 in v
3.698 * [backup-simplify]: Simplify 1.0 into 1.0
3.698 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.699 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.700 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.701 * [backup-simplify]: Simplify (/ 1.0 (- 1.0)) into -1.0
3.701 * [backup-simplify]: Simplify -1.0 into -1.0
3.701 * [backup-simplify]: Simplify (+ 0 0) into 0
3.701 * [backup-simplify]: Simplify (- 0) into 0
3.702 * [backup-simplify]: Simplify (+ 0 0) into 0
3.703 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify (* 1 1) into 1
3.704 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
3.704 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
3.705 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
3.705 * [backup-simplify]: Simplify (* 1 1) into 1
3.706 * [backup-simplify]: Simplify (- 0) into 0
3.706 * [backup-simplify]: Simplify (+ 1 0) into 1
3.713 * [backup-simplify]: Simplify (- (/ (- 5.0) (- 1.0)) (+ (* -1.0 (/ 1 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into 4.0
3.713 * [backup-simplify]: Simplify 4.0 into 4.0
3.714 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.715 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
3.715 * [backup-simplify]: Simplify (- 0) into 0
3.715 * [backup-simplify]: Simplify (+ 0 0) into 0
3.716 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.717 * [backup-simplify]: Simplify (- 0) into 0
3.717 * [backup-simplify]: Simplify (+ 0 0) into 0
3.719 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 1 (- 1.0))) (* 4.0 (/ 0 (- 1.0))))) into 0
3.719 * [backup-simplify]: Simplify 0 into 0
3.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.721 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
3.721 * [backup-simplify]: Simplify (- 0) into 0
3.722 * [backup-simplify]: Simplify (+ 0 0) into 0
3.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.723 * [backup-simplify]: Simplify (- 0) into 0
3.723 * [backup-simplify]: Simplify (+ 0 0) into 0
3.730 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* 4.0 (/ 1 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into 4.0
3.730 * [backup-simplify]: Simplify 4.0 into 4.0
3.730 * [backup-simplify]: Simplify (+ (* 4.0 (pow v 4)) (+ (* 4.0 (pow v 2)) -1.0)) into (- (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4))) 1.0)
3.731 * [backup-simplify]: Simplify (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0)) into (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))
3.731 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
3.731 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
3.731 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
3.731 * [taylor]: Taking taylor expansion of 1.0 in v
3.731 * [backup-simplify]: Simplify 1.0 into 1.0
3.731 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
3.731 * [taylor]: Taking taylor expansion of 5.0 in v
3.731 * [backup-simplify]: Simplify 5.0 into 5.0
3.731 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.731 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.731 * [taylor]: Taking taylor expansion of v in v
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify 1 into 1
3.731 * [backup-simplify]: Simplify (* 1 1) into 1
3.732 * [backup-simplify]: Simplify (/ 1 1) into 1
3.732 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
3.732 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.732 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.732 * [taylor]: Taking taylor expansion of v in v
3.732 * [backup-simplify]: Simplify 0 into 0
3.732 * [backup-simplify]: Simplify 1 into 1
3.732 * [backup-simplify]: Simplify (* 1 1) into 1
3.733 * [backup-simplify]: Simplify (/ 1 1) into 1
3.733 * [taylor]: Taking taylor expansion of 1.0 in v
3.733 * [backup-simplify]: Simplify 1.0 into 1.0
3.733 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
3.733 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
3.734 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
3.735 * [backup-simplify]: Simplify (+ 1 0) into 1
3.736 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
3.736 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
3.736 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
3.736 * [taylor]: Taking taylor expansion of 1.0 in v
3.736 * [backup-simplify]: Simplify 1.0 into 1.0
3.736 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
3.736 * [taylor]: Taking taylor expansion of 5.0 in v
3.736 * [backup-simplify]: Simplify 5.0 into 5.0
3.736 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.736 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.736 * [taylor]: Taking taylor expansion of v in v
3.736 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [backup-simplify]: Simplify (* 1 1) into 1
3.737 * [backup-simplify]: Simplify (/ 1 1) into 1
3.737 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
3.737 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.738 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.738 * [taylor]: Taking taylor expansion of v in v
3.738 * [backup-simplify]: Simplify 0 into 0
3.738 * [backup-simplify]: Simplify 1 into 1
3.738 * [backup-simplify]: Simplify (* 1 1) into 1
3.738 * [backup-simplify]: Simplify (/ 1 1) into 1
3.738 * [taylor]: Taking taylor expansion of 1.0 in v
3.738 * [backup-simplify]: Simplify 1.0 into 1.0
3.739 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
3.739 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
3.740 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
3.741 * [backup-simplify]: Simplify (+ 1 0) into 1
3.741 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
3.742 * [backup-simplify]: Simplify -5.0 into -5.0
3.742 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.744 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
3.744 * [backup-simplify]: Simplify (- 0) into 0
3.744 * [backup-simplify]: Simplify (+ 0 0) into 0
3.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.746 * [backup-simplify]: Simplify (+ 0 0) into 0
3.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)))) into 0
3.747 * [backup-simplify]: Simplify 0 into 0
3.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.750 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
3.750 * [backup-simplify]: Simplify (- 0) into 0
3.750 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.752 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.753 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.758 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -5.0 (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
3.759 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.762 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.762 * [backup-simplify]: Simplify (- 0) into 0
3.763 * [backup-simplify]: Simplify (+ 0 0) into 0
3.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.766 * [backup-simplify]: Simplify (- 0) into 0
3.766 * [backup-simplify]: Simplify (+ 0 0) into 0
3.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ (- 1.0) 1)) (* (- 4.0) (/ 0 1)))) into 0
3.768 * [backup-simplify]: Simplify 0 into 0
3.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.771 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.772 * [backup-simplify]: Simplify (- 0) into 0
3.772 * [backup-simplify]: Simplify (+ 0 0) into 0
3.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.775 * [backup-simplify]: Simplify (- 0) into 0
3.775 * [backup-simplify]: Simplify (+ 0 0) into 0
3.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ 0 1)) (* (- 4.0) (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
3.783 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.784 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow (/ 1 v) 4)) (+ (* (- 4.0) (pow (/ 1 v) 2)) -5.0)) into (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
3.785 * [backup-simplify]: Simplify (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0)) into (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))
3.785 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in (v) around 0
3.785 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
3.785 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
3.785 * [taylor]: Taking taylor expansion of 1.0 in v
3.785 * [backup-simplify]: Simplify 1.0 into 1.0
3.785 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
3.785 * [taylor]: Taking taylor expansion of 5.0 in v
3.785 * [backup-simplify]: Simplify 5.0 into 5.0
3.785 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.785 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.785 * [taylor]: Taking taylor expansion of v in v
3.785 * [backup-simplify]: Simplify 0 into 0
3.785 * [backup-simplify]: Simplify 1 into 1
3.786 * [backup-simplify]: Simplify (* 1 1) into 1
3.786 * [backup-simplify]: Simplify (/ 1 1) into 1
3.786 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
3.786 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.786 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.786 * [taylor]: Taking taylor expansion of v in v
3.786 * [backup-simplify]: Simplify 0 into 0
3.786 * [backup-simplify]: Simplify 1 into 1
3.787 * [backup-simplify]: Simplify (* 1 1) into 1
3.787 * [backup-simplify]: Simplify (/ 1 1) into 1
3.787 * [taylor]: Taking taylor expansion of 1.0 in v
3.787 * [backup-simplify]: Simplify 1.0 into 1.0
3.788 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
3.788 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
3.789 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
3.789 * [backup-simplify]: Simplify (+ 1 0) into 1
3.790 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
3.790 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)) in v
3.790 * [taylor]: Taking taylor expansion of (- 1.0 (* 5.0 (/ 1 (pow v 2)))) in v
3.790 * [taylor]: Taking taylor expansion of 1.0 in v
3.790 * [backup-simplify]: Simplify 1.0 into 1.0
3.790 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 (pow v 2))) in v
3.790 * [taylor]: Taking taylor expansion of 5.0 in v
3.790 * [backup-simplify]: Simplify 5.0 into 5.0
3.790 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.790 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.790 * [taylor]: Taking taylor expansion of v in v
3.790 * [backup-simplify]: Simplify 0 into 0
3.790 * [backup-simplify]: Simplify 1 into 1
3.791 * [backup-simplify]: Simplify (* 1 1) into 1
3.791 * [backup-simplify]: Simplify (/ 1 1) into 1
3.791 * [taylor]: Taking taylor expansion of (- (/ 1 (pow v 2)) 1.0) in v
3.791 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
3.791 * [taylor]: Taking taylor expansion of (pow v 2) in v
3.791 * [taylor]: Taking taylor expansion of v in v
3.791 * [backup-simplify]: Simplify 0 into 0
3.791 * [backup-simplify]: Simplify 1 into 1
3.792 * [backup-simplify]: Simplify (* 1 1) into 1
3.792 * [backup-simplify]: Simplify (/ 1 1) into 1
3.792 * [taylor]: Taking taylor expansion of 1.0 in v
3.792 * [backup-simplify]: Simplify 1.0 into 1.0
3.793 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
3.793 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
3.794 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0)
3.794 * [backup-simplify]: Simplify (+ 1 0) into 1
3.795 * [backup-simplify]: Simplify (/ (- 5.0) 1) into -5.0
3.795 * [backup-simplify]: Simplify -5.0 into -5.0
3.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.797 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
3.798 * [backup-simplify]: Simplify (- 0) into 0
3.798 * [backup-simplify]: Simplify (+ 0 0) into 0
3.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.800 * [backup-simplify]: Simplify (+ 0 0) into 0
3.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)))) into 0
3.801 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.804 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
3.804 * [backup-simplify]: Simplify (- 0) into 0
3.804 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.807 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.807 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.817 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -5.0 (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
3.817 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.821 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.821 * [backup-simplify]: Simplify (- 0) into 0
3.821 * [backup-simplify]: Simplify (+ 0 0) into 0
3.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.824 * [backup-simplify]: Simplify (- 0) into 0
3.824 * [backup-simplify]: Simplify (+ 0 0) into 0
3.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ (- 1.0) 1)) (* (- 4.0) (/ 0 1)))) into 0
3.826 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.829 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.830 * [backup-simplify]: Simplify (- 0) into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.832 * [backup-simplify]: Simplify (- 0) into 0
3.833 * [backup-simplify]: Simplify (+ 0 0) into 0
3.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -5.0 (/ 0 1)) (* 0 (/ 0 1)) (* (- 4.0) (/ (- 1.0) 1)) (* 0 (/ 0 1)))) into (- 4.0)
3.841 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.842 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow (/ 1 (- v)) 4)) (+ (* (- 4.0) (pow (/ 1 (- v)) 2)) -5.0)) into (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
3.842 * * * [progress]: simplifying candidates
3.844 * [simplify]: Simplifying:
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (expm1 (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log1p (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (- (log (- 1.0 (* 5.0 (* v v)))) (log (- (* v v) 1.0)))
  (log (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (exp (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (/ (* (* (- 1.0 (* 5.0 (* v v))) (- 1.0 (* 5.0 (* v v)))) (- 1.0 (* 5.0 (* v v)))) (* (* (- (* v v) 1.0) (- (* v v) 1.0)) (- (* v v) 1.0)))
  (* (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* (* (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (- (- 1.0 (* 5.0 (* v v))))
  (- (- (* v v) 1.0))
  (/ 1.0 (- (* v v) 1.0))
  (/ (* 5.0 (* v v)) (- (* v v) 1.0))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- (* v v) 1.0)))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0)))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) 1)
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (+ v (sqrt 1.0)))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- v (sqrt 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) 1)
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (+ v (sqrt 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- v (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (- 1.0 (* 5.0 (* v v))) (cbrt (- (* v v) 1.0)))
  (/ 1 (sqrt (- (* v v) 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) (sqrt (- (* v v) 1.0)))
  (/ 1 1)
  (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
  (/ 1 (+ v (sqrt 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) (- v (sqrt 1.0)))
  (/ 1 (- (* v v) 1.0))
  (/ (- (* v v) 1.0) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (- 1.0 (* 5.0 (* v v))) (sqrt (- (* v v) 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) 1)
  (/ (- 1.0 (* 5.0 (* v v))) (+ v (sqrt 1.0)))
  (/ (- (* v v) 1.0) (cbrt (- 1.0 (* 5.0 (* v v)))))
  (/ (- (* v v) 1.0) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (/ (- (* v v) 1.0) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (- (pow (* v v) 3) (pow 1.0 3)))
  (/ (- 1.0 (* 5.0 (* v v))) (- (* (* v v) (* v v)) (* 1.0 1.0)))
  (* (- (* v v) 1.0) (+ (* 1.0 1.0) (+ (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 1.0 (* 5.0 (* v v))))))
  (* (- (* v v) 1.0) (+ 1.0 (* 5.0 (* v v))))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (- (+ (* 4.0 (pow v 2)) (* 4.0 (pow v 4))) 1.0)
  (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
  (- (+ (* 4.0 (/ 1 (pow v 2))) (+ (* 4.0 (/ 1 (pow v 4))) 5.0)))
3.848 * * [simplify]: Extracting # 0 : cost  0
3.848 * * [simplify]: Extracting # 1 : cost  0
3.848 * * [simplify]: Extracting # 2 : cost  0
3.849 * * [simplify]: Extracting # 3 : cost  0
3.849 * * [simplify]: Extracting # 4 : cost  0
3.849 * * [simplify]: Extracting # 5 : cost  0
3.850 * * [simplify]: Extracting # 6 : cost  0
3.850 * * [simplify]: Extracting # 7 : cost  0
3.850 * * [simplify]: iteration  0 :  145  enodes  (cost  1268 )
3.980 * * [simplify]: Extracting # 0 : cost  0
3.982 * * [simplify]: Extracting # 1 : cost  0
3.984 * * [simplify]: Extracting # 2 : cost  0
3.986 * * [simplify]: Extracting # 3 : cost  0
3.988 * * [simplify]: Extracting # 4 : cost  0
3.989 * * [simplify]: Extracting # 5 : cost  0
3.991 * * [simplify]: iteration  1 :  731  enodes  (cost  1231 )
7.365 * * [simplify]: Extracting # 0 : cost  0
7.380 * * [simplify]: Extracting # 1 : cost  0
7.387 * * [simplify]: Extracting # 2 : cost  0
7.393 * * [simplify]: Extracting # 3 : cost  0
7.400 * * [simplify]: Extracting # 4 : cost  0
7.406 * * [simplify]: Extracting # 5 : cost  0
7.413 * * [simplify]: iteration done:  5000  enodes  (cost  1124 )
7.413 * [simplify]: Simplified to:
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* (pow v 2) 5.0)
  (* (pow v 2) 5.0)
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* (pow v 2) 5.0)
  (expm1 (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log1p (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (exp (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (pow (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) 3)
  (* (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (cbrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (pow (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)) 3)
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (sqrt (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (- (- 1.0 (* 5.0 (* v v))))
  (- (- (* v v) 1.0))
  (/ 1.0 (- (* v v) 1.0))
  (/ (* 5.0 (* v v)) (- (* v v) 1.0))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- (* v v) 1.0)))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (sqrt (- (* v v) 1.0)))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v)))))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (/ (* (cbrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- 1.0 (* 5.0 (* v v))))) (+ v (sqrt 1.0)))
  (/ (cbrt (- 1.0 (* 5.0 (* v v)))) (- v (sqrt 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (cbrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (sqrt (- (* v v) 1.0)))
  (sqrt (- 1.0 (* 5.0 (* v v))))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- (* v v) 1.0))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (+ v (sqrt 1.0)))
  (/ (sqrt (- 1.0 (* 5.0 (* v v)))) (- v (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (- 1.0 (* 5.0 (* v v))) (cbrt (- (* v v) 1.0)))
  (/ 1 (sqrt (- (* v v) 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) (sqrt (- (* v v) 1.0)))
  1
  (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))
  (/ 1 (+ v (sqrt 1.0)))
  (/ (- 1.0 (* 5.0 (* v v))) (- v (sqrt 1.0)))
  (/ 1 (- (* v v) 1.0))
  (/ (- (* v v) 1.0) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (* (cbrt (- (* v v) 1.0)) (cbrt (- (* v v) 1.0))))
  (/ (- 1.0 (* 5.0 (* v v))) (sqrt (- (* v v) 1.0)))
  (- 1.0 (* 5.0 (pow v 2)))
  (/ (- 1.0 (* 5.0 (* v v))) (+ v (sqrt 1.0)))
  (/ (- (* v v) 1.0) (cbrt (- 1.0 (* 5.0 (* v v)))))
  (/ (- (* v v) 1.0) (sqrt (- 1.0 (* 5.0 (* v v)))))
  (/ (- (* v v) 1.0) (- 1.0 (* 5.0 (* v v))))
  (/ (- 1.0 (* 5.0 (* v v))) (- (pow (* v v) 3) (pow 1.0 3)))
  (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v (* 2 2)) (* 1.0 1.0)))
  (* (- (pow v 2) 1.0) (fma 1.0 1.0 (* v (* (* 5.0 v) (fma (pow v 2) 5.0 1.0)))))
  (* (- (pow v 2) 1.0) (fma (pow v 2) 5.0 1.0))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* (pow v 2) 5.0)
  (* (pow v 2) 5.0)
  (* (pow v 2) 5.0)
  (- (* (fma v v (pow v 4)) 4.0) 1.0)
  (- (+ (+ (/ 4.0 (pow v 4)) 5.0) (/ 4.0 (* v v))))
  (- (+ (+ (/ 4.0 (pow v 4)) 5.0) (/ 4.0 (* v v))))
7.414 * * * [progress]: adding candidates to table
7.704 * * [progress]: iteration 2 / 4
7.704 * * * [progress]: picking best candidate
7.718 * * * * [pick]: Picked  #<alt (λ (v) (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))>
7.718 * * * [progress]: localizing error
7.733 * * * [progress]: generating rewritten candidates
7.733 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
7.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
7.778 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.785 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.789 * * * [progress]: generating series expansions
7.789 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.790 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.790 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
7.790 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.790 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.790 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.791 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.791 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.791 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.792 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.792 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
7.792 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.793 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.793 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.793 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.794 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.795 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.795 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
7.795 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.795 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.795 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.796 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.796 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.796 * [backup-simplify]: Simplify 0 into 0
7.796 * [backup-simplify]: Simplify 0 into 0
7.796 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.797 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
7.797 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
7.797 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
7.797 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
7.797 * [taylor]: Taking taylor expansion of 5.0 in v
7.797 * [backup-simplify]: Simplify 5.0 into 5.0
7.797 * [taylor]: Taking taylor expansion of (pow v 2) in v
7.797 * [taylor]: Taking taylor expansion of v in v
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 1 into 1
7.797 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
7.798 * [taylor]: Taking taylor expansion of 5.0 in v
7.798 * [backup-simplify]: Simplify 5.0 into 5.0
7.798 * [taylor]: Taking taylor expansion of (pow v 2) in v
7.798 * [taylor]: Taking taylor expansion of v in v
7.798 * [backup-simplify]: Simplify 0 into 0
7.798 * [backup-simplify]: Simplify 1 into 1
7.798 * [backup-simplify]: Simplify (* 1 1) into 1
7.799 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
7.799 * [backup-simplify]: Simplify 5.0 into 5.0
7.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.800 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
7.800 * [backup-simplify]: Simplify 0 into 0
7.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.802 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
7.802 * [backup-simplify]: Simplify 0 into 0
7.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.804 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.804 * [backup-simplify]: Simplify 0 into 0
7.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.807 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.807 * [backup-simplify]: Simplify 0 into 0
7.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.810 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.813 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.813 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
7.814 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
7.814 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
7.814 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
7.814 * [taylor]: Taking taylor expansion of 5.0 in v
7.814 * [backup-simplify]: Simplify 5.0 into 5.0
7.814 * [taylor]: Taking taylor expansion of (pow v 2) in v
7.814 * [taylor]: Taking taylor expansion of v in v
7.814 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify 1 into 1
7.814 * [backup-simplify]: Simplify (* 1 1) into 1
7.815 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
7.815 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
7.815 * [taylor]: Taking taylor expansion of 5.0 in v
7.815 * [backup-simplify]: Simplify 5.0 into 5.0
7.815 * [taylor]: Taking taylor expansion of (pow v 2) in v
7.815 * [taylor]: Taking taylor expansion of v in v
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 1 into 1
7.815 * [backup-simplify]: Simplify (* 1 1) into 1
7.816 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
7.816 * [backup-simplify]: Simplify 5.0 into 5.0
7.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.817 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
7.817 * [backup-simplify]: Simplify 0 into 0
7.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.819 * [backup-simplify]: Simplify 0 into 0
7.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.821 * [backup-simplify]: Simplify 0 into 0
7.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.823 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.823 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.825 * [backup-simplify]: Simplify 0 into 0
7.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.828 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
7.829 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
7.829 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
7.829 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
7.829 * [taylor]: Taking taylor expansion of 5.0 in v
7.829 * [backup-simplify]: Simplify 5.0 into 5.0
7.829 * [taylor]: Taking taylor expansion of (pow v 2) in v
7.829 * [taylor]: Taking taylor expansion of v in v
7.829 * [backup-simplify]: Simplify 0 into 0
7.829 * [backup-simplify]: Simplify 1 into 1
7.829 * [backup-simplify]: Simplify (* 1 1) into 1
7.830 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
7.830 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
7.830 * [taylor]: Taking taylor expansion of 5.0 in v
7.830 * [backup-simplify]: Simplify 5.0 into 5.0
7.830 * [taylor]: Taking taylor expansion of (pow v 2) in v
7.830 * [taylor]: Taking taylor expansion of v in v
7.830 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify 1 into 1
7.830 * [backup-simplify]: Simplify (* 1 1) into 1
7.831 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
7.831 * [backup-simplify]: Simplify 5.0 into 5.0
7.832 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
7.833 * [backup-simplify]: Simplify 0 into 0
7.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.835 * [backup-simplify]: Simplify 0 into 0
7.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.837 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.839 * [backup-simplify]: Simplify 0 into 0
7.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.841 * [backup-simplify]: Simplify 0 into 0
7.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.844 * [backup-simplify]: Simplify 0 into 0
7.844 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
7.844 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.845 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.845 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
7.845 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.845 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.845 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.846 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.846 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.846 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.847 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.847 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.847 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
7.848 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.848 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.848 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.848 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.849 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.849 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.850 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.850 * [backup-simplify]: Simplify (exp (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.850 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
7.850 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.851 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.851 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.851 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.852 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.852 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.853 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.853 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.853 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.853 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in (v) around 0
7.853 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.853 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.854 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.854 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.854 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) in v
7.854 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
7.855 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
7.855 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.855 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.857 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 1) into 0
7.857 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 2) into 0
7.860 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 6) into 0
7.864 * [backup-simplify]: Simplify 0 into 0
7.871 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 24) into 0
7.871 * [backup-simplify]: Simplify 0 into 0
7.882 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 120) into 0
7.883 * [backup-simplify]: Simplify 0 into 0
7.899 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 1)))) 720) into 0
7.900 * [backup-simplify]: Simplify 0 into 0
7.900 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.901 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.901 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in (v) around 0
7.901 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.901 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.901 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.901 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.902 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.902 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.902 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.902 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.903 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.910 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 1) into 0
7.911 * [backup-simplify]: Simplify 0 into 0
7.913 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 2) into 0
7.913 * [backup-simplify]: Simplify 0 into 0
7.917 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 6) into 0
7.917 * [backup-simplify]: Simplify 0 into 0
7.924 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 24) into 0
7.924 * [backup-simplify]: Simplify 0 into 0
7.934 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 120) into 0
7.935 * [backup-simplify]: Simplify 0 into 0
7.951 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 720) into 0
7.951 * [backup-simplify]: Simplify 0 into 0
7.952 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.952 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.952 * [approximate]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in (v) around 0
7.952 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.952 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.953 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.953 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.953 * [taylor]: Taking taylor expansion of (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) in v
7.953 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
7.954 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
7.954 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.955 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))))
7.956 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 1) into 0
7.956 * [backup-simplify]: Simplify 0 into 0
7.959 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 2) into 0
7.959 * [backup-simplify]: Simplify 0 into 0
7.961 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 6) into 0
7.961 * [backup-simplify]: Simplify 0 into 0
7.965 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 24) into 0
7.966 * [backup-simplify]: Simplify 0 into 0
7.972 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 120) into 0
7.972 * [backup-simplify]: Simplify 0 into 0
7.982 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) 1)))) 720) into 0
7.982 * [backup-simplify]: Simplify 0 into 0
7.982 * [backup-simplify]: Simplify (log (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0)))) into (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.983 * * * [progress]: simplifying candidates
7.984 * [simplify]: Simplifying:
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (expm1 (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (log1p (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp 1)
  (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (exp (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp 1)
  (exp (log (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (exp (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (log 1))
  (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (exp (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (cbrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (cbrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (cbrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (* (* (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (sqrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (sqrt (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (expm1 (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log 1)
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (* (* (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
7.985 * * [simplify]: Extracting # 0 : cost  0
7.985 * * [simplify]: Extracting # 1 : cost  0
7.985 * * [simplify]: Extracting # 2 : cost  0
7.985 * * [simplify]: Extracting # 3 : cost  0
7.985 * * [simplify]: Extracting # 4 : cost  0
7.986 * * [simplify]: Extracting # 5 : cost  0
7.986 * * [simplify]: Extracting # 6 : cost  0
7.986 * * [simplify]: Extracting # 7 : cost  0
7.986 * * [simplify]: Extracting # 8 : cost  0
7.986 * * [simplify]: iteration  0 :  88  enodes  (cost  1166 )
8.032 * * [simplify]: Extracting # 0 : cost  0
8.033 * * [simplify]: Extracting # 1 : cost  0
8.033 * * [simplify]: Extracting # 2 : cost  0
8.034 * * [simplify]: Extracting # 3 : cost  0
8.034 * * [simplify]: Extracting # 4 : cost  0
8.035 * * [simplify]: iteration  1 :  229  enodes  (cost  1066 )
9.364 * * [simplify]: Extracting # 0 : cost  0
9.377 * * [simplify]: Extracting # 1 : cost  0
9.382 * * [simplify]: Extracting # 2 : cost  0
9.387 * * [simplify]: Extracting # 3 : cost  0
9.392 * * [simplify]: Extracting # 4 : cost  0
9.396 * * [simplify]: Extracting # 5 : cost  0
9.401 * * [simplify]: iteration  2 :  2271  enodes  (cost  950 )
13.340 * * [simplify]: Extracting # 0 : cost  0
13.355 * * [simplify]: Extracting # 1 : cost  0
13.360 * * [simplify]: Extracting # 2 : cost  0
13.365 * * [simplify]: Extracting # 3 : cost  0
13.377 * * [simplify]: Extracting # 4 : cost  0
13.386 * * [simplify]: Extracting # 5 : cost  0
13.395 * * [simplify]: Extracting # 6 : cost  0
13.404 * * [simplify]: iteration done:  5000  enodes  (cost  950 )
13.405 * [simplify]: Simplified to:
  (expm1 (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) 2)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* v (* 5.0 v))
  (expm1 (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  E
  (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
  (exp (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  E
  (pow (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) 2)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  1
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) 2)
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (expm1 (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log1p (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2)
  (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (log (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  0
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
  (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (pow (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) 3)
  (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
13.406 * * * [progress]: adding candidates to table
13.621 * * [progress]: iteration 3 / 4
13.621 * * * [progress]: picking best candidate
13.634 * * * * [pick]: Picked  #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>
13.635 * * * [progress]: localizing error
13.660 * * * [progress]: generating rewritten candidates
13.660 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
13.661 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
13.663 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 2)
13.694 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
13.715 * * * [progress]: generating series expansions
13.715 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
13.715 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.715 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
13.715 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
13.715 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.715 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
13.716 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.716 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.717 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.717 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
13.717 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.717 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.717 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.717 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.717 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.717 * [backup-simplify]: Simplify 0 into 0
13.717 * [backup-simplify]: Simplify 0 into 0
13.717 * [backup-simplify]: Simplify 0 into 0
13.718 * [backup-simplify]: Simplify 0 into 0
13.718 * [backup-simplify]: Simplify 0 into 0
13.718 * [backup-simplify]: Simplify 0 into 0
13.718 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.718 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.718 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
13.718 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.718 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.718 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.719 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.719 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.719 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
13.720 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.720 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
13.720 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
13.720 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.720 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
13.720 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.720 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.720 * [backup-simplify]: Simplify 0 into 0
13.720 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.721 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.721 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
13.721 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.721 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.721 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.722 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.722 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.722 * [backup-simplify]: Simplify 0 into 0
13.722 * [backup-simplify]: Simplify 0 into 0
13.722 * [backup-simplify]: Simplify 0 into 0
13.722 * [backup-simplify]: Simplify 0 into 0
13.722 * [backup-simplify]: Simplify 0 into 0
13.722 * [backup-simplify]: Simplify 0 into 0
13.722 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.723 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.723 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
13.723 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.723 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.723 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
13.723 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.723 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
13.723 * [backup-simplify]: Simplify 0 into 0
13.723 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
13.724 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 2)
13.724 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
13.724 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
13.724 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
13.724 * [taylor]: Taking taylor expansion of 5.0 in v
13.724 * [backup-simplify]: Simplify 5.0 into 5.0
13.724 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.724 * [taylor]: Taking taylor expansion of v in v
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify 1 into 1
13.724 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
13.724 * [taylor]: Taking taylor expansion of 5.0 in v
13.724 * [backup-simplify]: Simplify 5.0 into 5.0
13.724 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.724 * [taylor]: Taking taylor expansion of v in v
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify 1 into 1
13.725 * [backup-simplify]: Simplify (* 1 1) into 1
13.725 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
13.725 * [backup-simplify]: Simplify 5.0 into 5.0
13.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.726 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
13.726 * [backup-simplify]: Simplify 0 into 0
13.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.727 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
13.727 * [backup-simplify]: Simplify 0 into 0
13.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.729 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.729 * [backup-simplify]: Simplify 0 into 0
13.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.730 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.730 * [backup-simplify]: Simplify 0 into 0
13.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.733 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.733 * [backup-simplify]: Simplify 0 into 0
13.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.736 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
13.736 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
13.736 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
13.736 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.736 * [taylor]: Taking taylor expansion of 5.0 in v
13.736 * [backup-simplify]: Simplify 5.0 into 5.0
13.736 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.736 * [taylor]: Taking taylor expansion of v in v
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify 1 into 1
13.737 * [backup-simplify]: Simplify (* 1 1) into 1
13.737 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.737 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.737 * [taylor]: Taking taylor expansion of 5.0 in v
13.737 * [backup-simplify]: Simplify 5.0 into 5.0
13.737 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.737 * [taylor]: Taking taylor expansion of v in v
13.737 * [backup-simplify]: Simplify 0 into 0
13.738 * [backup-simplify]: Simplify 1 into 1
13.738 * [backup-simplify]: Simplify (* 1 1) into 1
13.738 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.738 * [backup-simplify]: Simplify 5.0 into 5.0
13.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
13.740 * [backup-simplify]: Simplify 0 into 0
13.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.742 * [backup-simplify]: Simplify 0 into 0
13.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.744 * [backup-simplify]: Simplify 0 into 0
13.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.747 * [backup-simplify]: Simplify 0 into 0
13.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.749 * [backup-simplify]: Simplify 0 into 0
13.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.752 * [backup-simplify]: Simplify 0 into 0
13.753 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
13.753 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
13.753 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
13.753 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.753 * [taylor]: Taking taylor expansion of 5.0 in v
13.753 * [backup-simplify]: Simplify 5.0 into 5.0
13.753 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.753 * [taylor]: Taking taylor expansion of v in v
13.753 * [backup-simplify]: Simplify 0 into 0
13.753 * [backup-simplify]: Simplify 1 into 1
13.754 * [backup-simplify]: Simplify (* 1 1) into 1
13.754 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.754 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.754 * [taylor]: Taking taylor expansion of 5.0 in v
13.754 * [backup-simplify]: Simplify 5.0 into 5.0
13.754 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.754 * [taylor]: Taking taylor expansion of v in v
13.754 * [backup-simplify]: Simplify 0 into 0
13.754 * [backup-simplify]: Simplify 1 into 1
13.755 * [backup-simplify]: Simplify (* 1 1) into 1
13.755 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.755 * [backup-simplify]: Simplify 5.0 into 5.0
13.756 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
13.757 * [backup-simplify]: Simplify 0 into 0
13.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.759 * [backup-simplify]: Simplify 0 into 0
13.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.761 * [backup-simplify]: Simplify 0 into 0
13.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.769 * [backup-simplify]: Simplify 0 into 0
13.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.772 * [backup-simplify]: Simplify 0 into 0
13.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.775 * [backup-simplify]: Simplify 0 into 0
13.775 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
13.775 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 2)
13.775 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
13.775 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
13.775 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
13.775 * [taylor]: Taking taylor expansion of 5.0 in v
13.775 * [backup-simplify]: Simplify 5.0 into 5.0
13.775 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.775 * [taylor]: Taking taylor expansion of v in v
13.776 * [backup-simplify]: Simplify 0 into 0
13.776 * [backup-simplify]: Simplify 1 into 1
13.776 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
13.776 * [taylor]: Taking taylor expansion of 5.0 in v
13.776 * [backup-simplify]: Simplify 5.0 into 5.0
13.776 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.776 * [taylor]: Taking taylor expansion of v in v
13.776 * [backup-simplify]: Simplify 0 into 0
13.776 * [backup-simplify]: Simplify 1 into 1
13.776 * [backup-simplify]: Simplify (* 1 1) into 1
13.777 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
13.777 * [backup-simplify]: Simplify 5.0 into 5.0
13.777 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.778 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
13.778 * [backup-simplify]: Simplify 0 into 0
13.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.780 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
13.780 * [backup-simplify]: Simplify 0 into 0
13.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.782 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.782 * [backup-simplify]: Simplify 0 into 0
13.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.785 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.785 * [backup-simplify]: Simplify 0 into 0
13.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.788 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.788 * [backup-simplify]: Simplify 0 into 0
13.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.791 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.791 * [backup-simplify]: Simplify 0 into 0
13.791 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
13.792 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
13.792 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
13.792 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.792 * [taylor]: Taking taylor expansion of 5.0 in v
13.792 * [backup-simplify]: Simplify 5.0 into 5.0
13.792 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.792 * [taylor]: Taking taylor expansion of v in v
13.792 * [backup-simplify]: Simplify 0 into 0
13.792 * [backup-simplify]: Simplify 1 into 1
13.792 * [backup-simplify]: Simplify (* 1 1) into 1
13.793 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.793 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.793 * [taylor]: Taking taylor expansion of 5.0 in v
13.793 * [backup-simplify]: Simplify 5.0 into 5.0
13.793 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.793 * [taylor]: Taking taylor expansion of v in v
13.793 * [backup-simplify]: Simplify 0 into 0
13.793 * [backup-simplify]: Simplify 1 into 1
13.793 * [backup-simplify]: Simplify (* 1 1) into 1
13.794 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.794 * [backup-simplify]: Simplify 5.0 into 5.0
13.795 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
13.795 * [backup-simplify]: Simplify 0 into 0
13.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.797 * [backup-simplify]: Simplify 0 into 0
13.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.800 * [backup-simplify]: Simplify 0 into 0
13.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.802 * [backup-simplify]: Simplify 0 into 0
13.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.805 * [backup-simplify]: Simplify 0 into 0
13.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.808 * [backup-simplify]: Simplify 0 into 0
13.808 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
13.808 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
13.808 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
13.808 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.808 * [taylor]: Taking taylor expansion of 5.0 in v
13.808 * [backup-simplify]: Simplify 5.0 into 5.0
13.808 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.808 * [taylor]: Taking taylor expansion of v in v
13.808 * [backup-simplify]: Simplify 0 into 0
13.808 * [backup-simplify]: Simplify 1 into 1
13.809 * [backup-simplify]: Simplify (* 1 1) into 1
13.809 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.809 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
13.809 * [taylor]: Taking taylor expansion of 5.0 in v
13.809 * [backup-simplify]: Simplify 5.0 into 5.0
13.809 * [taylor]: Taking taylor expansion of (pow v 2) in v
13.809 * [taylor]: Taking taylor expansion of v in v
13.809 * [backup-simplify]: Simplify 0 into 0
13.809 * [backup-simplify]: Simplify 1 into 1
13.810 * [backup-simplify]: Simplify (* 1 1) into 1
13.810 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
13.810 * [backup-simplify]: Simplify 5.0 into 5.0
13.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
13.812 * [backup-simplify]: Simplify 0 into 0
13.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.814 * [backup-simplify]: Simplify 0 into 0
13.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.816 * [backup-simplify]: Simplify 0 into 0
13.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.819 * [backup-simplify]: Simplify 0 into 0
13.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.821 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.824 * [backup-simplify]: Simplify 0 into 0
13.824 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
13.824 * * * [progress]: simplifying candidates
13.826 * [simplify]: Simplifying:
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
13.828 * * [simplify]: Extracting # 0 : cost  0
13.828 * * [simplify]: Extracting # 1 : cost  0
13.828 * * [simplify]: Extracting # 2 : cost  0
13.828 * * [simplify]: Extracting # 3 : cost  0
13.828 * * [simplify]: Extracting # 4 : cost  0
13.828 * * [simplify]: Extracting # 5 : cost  0
13.828 * * [simplify]: Extracting # 6 : cost  0
13.828 * * [simplify]: Extracting # 7 : cost  0
13.828 * * [simplify]: iteration  0 :  57  enodes  (cost  826 )
13.848 * * [simplify]: Extracting # 0 : cost  0
13.848 * * [simplify]: Extracting # 1 : cost  0
13.848 * * [simplify]: Extracting # 2 : cost  0
13.848 * * [simplify]: Extracting # 3 : cost  0
13.849 * * [simplify]: Extracting # 4 : cost  0
13.849 * * [simplify]: iteration  1 :  181  enodes  (cost  808 )
14.976 * * [simplify]: Extracting # 0 : cost  0
14.981 * * [simplify]: Extracting # 1 : cost  0
14.986 * * [simplify]: Extracting # 2 : cost  0
14.991 * * [simplify]: Extracting # 3 : cost  0
14.995 * * [simplify]: Extracting # 4 : cost  0
15.007 * * [simplify]: Extracting # 5 : cost  0
15.012 * * [simplify]: iteration  2 :  2153  enodes  (cost  704 )
18.416 * * [simplify]: Extracting # 0 : cost  0
18.435 * * [simplify]: Extracting # 1 : cost  0
18.442 * * [simplify]: Extracting # 2 : cost  0
18.446 * * [simplify]: Extracting # 3 : cost  0
18.452 * * [simplify]: Extracting # 4 : cost  0
18.457 * * [simplify]: Extracting # 5 : cost  0
18.464 * * [simplify]: iteration done:  5000  enodes  (cost  704 )
18.464 * [simplify]: Simplified to:
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* (* v v) 5.0)
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (pow (* 5.0 (* v v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* 5.0 (* v v)) 3)
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* (* v v) 5.0)
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (* (* v v) 5.0)
  (* (* v v) 5.0)
18.465 * * * [progress]: adding candidates to table
18.833 * * [progress]: iteration 4 / 4
18.833 * * * [progress]: picking best candidate
18.845 * * * * [pick]: Picked  #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>
18.845 * * * [progress]: localizing error
18.892 * * * [progress]: generating rewritten candidates
18.892 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
18.899 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
18.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
18.903 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 2)
18.929 * * * [progress]: generating series expansions
18.929 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1 2)
18.929 * [backup-simplify]: Simplify (log (exp (* 5.0 (* v v)))) into (* 5.0 (pow v 2))
18.929 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
18.929 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
18.929 * [taylor]: Taking taylor expansion of 5.0 in v
18.929 * [backup-simplify]: Simplify 5.0 into 5.0
18.929 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.929 * [taylor]: Taking taylor expansion of v in v
18.929 * [backup-simplify]: Simplify 0 into 0
18.929 * [backup-simplify]: Simplify 1 into 1
18.929 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
18.929 * [taylor]: Taking taylor expansion of 5.0 in v
18.929 * [backup-simplify]: Simplify 5.0 into 5.0
18.930 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.930 * [taylor]: Taking taylor expansion of v in v
18.930 * [backup-simplify]: Simplify 0 into 0
18.930 * [backup-simplify]: Simplify 1 into 1
18.930 * [backup-simplify]: Simplify (* 1 1) into 1
18.931 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
18.931 * [backup-simplify]: Simplify 5.0 into 5.0
18.931 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.932 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
18.932 * [backup-simplify]: Simplify 0 into 0
18.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.934 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
18.934 * [backup-simplify]: Simplify 0 into 0
18.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.935 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.935 * [backup-simplify]: Simplify 0 into 0
18.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.937 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.937 * [backup-simplify]: Simplify 0 into 0
18.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.939 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.940 * [backup-simplify]: Simplify 0 into 0
18.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.942 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.942 * [backup-simplify]: Simplify 0 into 0
18.942 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
18.943 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 v) (/ 1 v))))) into (/ 5.0 (pow v 2))
18.943 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
18.943 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.943 * [taylor]: Taking taylor expansion of 5.0 in v
18.943 * [backup-simplify]: Simplify 5.0 into 5.0
18.943 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.943 * [taylor]: Taking taylor expansion of v in v
18.943 * [backup-simplify]: Simplify 0 into 0
18.943 * [backup-simplify]: Simplify 1 into 1
18.943 * [backup-simplify]: Simplify (* 1 1) into 1
18.944 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.944 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.944 * [taylor]: Taking taylor expansion of 5.0 in v
18.944 * [backup-simplify]: Simplify 5.0 into 5.0
18.944 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.944 * [taylor]: Taking taylor expansion of v in v
18.944 * [backup-simplify]: Simplify 0 into 0
18.944 * [backup-simplify]: Simplify 1 into 1
18.944 * [backup-simplify]: Simplify (* 1 1) into 1
18.945 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.945 * [backup-simplify]: Simplify 5.0 into 5.0
18.945 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
18.946 * [backup-simplify]: Simplify 0 into 0
18.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.947 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.948 * [backup-simplify]: Simplify 0 into 0
18.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.949 * [backup-simplify]: Simplify 0 into 0
18.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.951 * [backup-simplify]: Simplify 0 into 0
18.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.953 * [backup-simplify]: Simplify 0 into 0
18.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.955 * [backup-simplify]: Simplify 0 into 0
18.955 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
18.955 * [backup-simplify]: Simplify (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))))) into (/ 5.0 (pow v 2))
18.955 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
18.955 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.955 * [taylor]: Taking taylor expansion of 5.0 in v
18.955 * [backup-simplify]: Simplify 5.0 into 5.0
18.955 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.955 * [taylor]: Taking taylor expansion of v in v
18.955 * [backup-simplify]: Simplify 0 into 0
18.955 * [backup-simplify]: Simplify 1 into 1
18.955 * [backup-simplify]: Simplify (* 1 1) into 1
18.956 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.956 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.956 * [taylor]: Taking taylor expansion of 5.0 in v
18.956 * [backup-simplify]: Simplify 5.0 into 5.0
18.956 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.956 * [taylor]: Taking taylor expansion of v in v
18.956 * [backup-simplify]: Simplify 0 into 0
18.956 * [backup-simplify]: Simplify 1 into 1
18.956 * [backup-simplify]: Simplify (* 1 1) into 1
18.956 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.956 * [backup-simplify]: Simplify 5.0 into 5.0
18.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
18.957 * [backup-simplify]: Simplify 0 into 0
18.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.965 * [backup-simplify]: Simplify 0 into 0
18.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.967 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.967 * [backup-simplify]: Simplify 0 into 0
18.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.968 * [backup-simplify]: Simplify 0 into 0
18.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.969 * [backup-simplify]: Simplify 0 into 0
18.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.971 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.971 * [backup-simplify]: Simplify 0 into 0
18.971 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
18.971 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
18.971 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.972 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
18.972 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
18.972 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.972 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
18.972 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.972 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.972 * [backup-simplify]: Simplify 0 into 0
18.972 * [backup-simplify]: Simplify 0 into 0
18.972 * [backup-simplify]: Simplify 0 into 0
18.972 * [backup-simplify]: Simplify 0 into 0
18.972 * [backup-simplify]: Simplify 0 into 0
18.972 * [backup-simplify]: Simplify 0 into 0
18.973 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.973 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 v) (/ 1 v)))))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.973 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
18.973 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.973 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.973 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.974 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.974 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.974 * [backup-simplify]: Simplify 0 into 0
18.974 * [backup-simplify]: Simplify 0 into 0
18.974 * [backup-simplify]: Simplify 0 into 0
18.974 * [backup-simplify]: Simplify 0 into 0
18.974 * [backup-simplify]: Simplify 0 into 0
18.974 * [backup-simplify]: Simplify 0 into 0
18.974 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.975 * [backup-simplify]: Simplify (acos (/ (- 1.0 (log (exp (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.975 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
18.975 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.975 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.975 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.975 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.975 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.975 * [backup-simplify]: Simplify 0 into 0
18.975 * [backup-simplify]: Simplify 0 into 0
18.975 * [backup-simplify]: Simplify 0 into 0
18.976 * [backup-simplify]: Simplify 0 into 0
18.976 * [backup-simplify]: Simplify 0 into 0
18.976 * [backup-simplify]: Simplify 0 into 0
18.976 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.976 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
18.976 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.976 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in (v) around 0
18.976 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
18.976 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.976 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) in v
18.977 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.977 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.977 * [backup-simplify]: Simplify 0 into 0
18.977 * [backup-simplify]: Simplify 0 into 0
18.977 * [backup-simplify]: Simplify 0 into 0
18.977 * [backup-simplify]: Simplify 0 into 0
18.977 * [backup-simplify]: Simplify 0 into 0
18.977 * [backup-simplify]: Simplify 0 into 0
18.977 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.977 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 v) (/ 1 v)))) (- (* (/ 1 v) (/ 1 v)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.977 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
18.977 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.978 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.978 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.978 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.978 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.978 * [backup-simplify]: Simplify 0 into 0
18.978 * [backup-simplify]: Simplify 0 into 0
18.978 * [backup-simplify]: Simplify 0 into 0
18.978 * [backup-simplify]: Simplify 0 into 0
18.978 * [backup-simplify]: Simplify 0 into 0
18.978 * [backup-simplify]: Simplify 0 into 0
18.979 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 v) 2)))) (- (/ 1 (pow (/ 1 v) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.979 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (* (/ 1 (- v)) (/ 1 (- v))))) (- (* (/ 1 (- v)) (/ 1 (- v))) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.979 * [approximate]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in (v) around 0
18.979 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.979 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.979 * [taylor]: Taking taylor expansion of (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) in v
18.979 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.980 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (/ 1 (pow v 2)))) (- (/ 1 (pow v 2)) 1.0)))
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify (acos (/ (- 1.0 (* 5.0 (/ 1 (pow (/ 1 (- v)) 2)))) (- (/ 1 (pow (/ 1 (- v)) 2)) 1.0))) into (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
18.980 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 2)
18.980 * [backup-simplify]: Simplify (* 5.0 (* v v)) into (* 5.0 (pow v 2))
18.980 * [approximate]: Taking taylor expansion of (* 5.0 (pow v 2)) in (v) around 0
18.980 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
18.980 * [taylor]: Taking taylor expansion of 5.0 in v
18.980 * [backup-simplify]: Simplify 5.0 into 5.0
18.980 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.980 * [taylor]: Taking taylor expansion of v in v
18.980 * [backup-simplify]: Simplify 0 into 0
18.980 * [backup-simplify]: Simplify 1 into 1
18.980 * [taylor]: Taking taylor expansion of (* 5.0 (pow v 2)) in v
18.980 * [taylor]: Taking taylor expansion of 5.0 in v
18.981 * [backup-simplify]: Simplify 5.0 into 5.0
18.981 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.981 * [taylor]: Taking taylor expansion of v in v
18.981 * [backup-simplify]: Simplify 0 into 0
18.981 * [backup-simplify]: Simplify 1 into 1
18.981 * [backup-simplify]: Simplify (* 1 1) into 1
18.981 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
18.981 * [backup-simplify]: Simplify 5.0 into 5.0
18.982 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.982 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
18.982 * [backup-simplify]: Simplify 0 into 0
18.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.983 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
18.983 * [backup-simplify]: Simplify 0 into 0
18.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.984 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.985 * [backup-simplify]: Simplify 0 into 0
18.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.986 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.986 * [backup-simplify]: Simplify 0 into 0
18.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.987 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.987 * [backup-simplify]: Simplify 0 into 0
18.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.989 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.989 * [backup-simplify]: Simplify 0 into 0
18.990 * [backup-simplify]: Simplify (* 5.0 (pow v 2)) into (* 5.0 (pow v 2))
18.990 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 v) (/ 1 v))) into (/ 5.0 (pow v 2))
18.990 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
18.990 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.990 * [taylor]: Taking taylor expansion of 5.0 in v
18.990 * [backup-simplify]: Simplify 5.0 into 5.0
18.990 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.990 * [taylor]: Taking taylor expansion of v in v
18.990 * [backup-simplify]: Simplify 0 into 0
18.990 * [backup-simplify]: Simplify 1 into 1
18.990 * [backup-simplify]: Simplify (* 1 1) into 1
18.990 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.990 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.990 * [taylor]: Taking taylor expansion of 5.0 in v
18.990 * [backup-simplify]: Simplify 5.0 into 5.0
18.990 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.990 * [taylor]: Taking taylor expansion of v in v
18.990 * [backup-simplify]: Simplify 0 into 0
18.990 * [backup-simplify]: Simplify 1 into 1
18.991 * [backup-simplify]: Simplify (* 1 1) into 1
18.991 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.991 * [backup-simplify]: Simplify 5.0 into 5.0
18.991 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
18.992 * [backup-simplify]: Simplify 0 into 0
18.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.993 * [backup-simplify]: Simplify 0 into 0
18.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.994 * [backup-simplify]: Simplify 0 into 0
18.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.995 * [backup-simplify]: Simplify 0 into 0
18.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.997 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.997 * [backup-simplify]: Simplify 0 into 0
18.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.998 * [backup-simplify]: Simplify 0 into 0
18.998 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 v)) 2)) into (* 5.0 (pow v 2))
18.999 * [backup-simplify]: Simplify (* 5.0 (* (/ 1 (- v)) (/ 1 (- v)))) into (/ 5.0 (pow v 2))
18.999 * [approximate]: Taking taylor expansion of (/ 5.0 (pow v 2)) in (v) around 0
18.999 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.999 * [taylor]: Taking taylor expansion of 5.0 in v
18.999 * [backup-simplify]: Simplify 5.0 into 5.0
18.999 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.999 * [taylor]: Taking taylor expansion of v in v
18.999 * [backup-simplify]: Simplify 0 into 0
18.999 * [backup-simplify]: Simplify 1 into 1
18.999 * [backup-simplify]: Simplify (* 1 1) into 1
18.999 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
18.999 * [taylor]: Taking taylor expansion of (/ 5.0 (pow v 2)) in v
18.999 * [taylor]: Taking taylor expansion of 5.0 in v
18.999 * [backup-simplify]: Simplify 5.0 into 5.0
18.999 * [taylor]: Taking taylor expansion of (pow v 2) in v
18.999 * [taylor]: Taking taylor expansion of v in v
18.999 * [backup-simplify]: Simplify 0 into 0
18.999 * [backup-simplify]: Simplify 1 into 1
19.000 * [backup-simplify]: Simplify (* 1 1) into 1
19.000 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0
19.000 * [backup-simplify]: Simplify 5.0 into 5.0
19.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)))) into 0
19.001 * [backup-simplify]: Simplify 0 into 0
19.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.002 * [backup-simplify]: Simplify 0 into 0
19.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
19.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.003 * [backup-simplify]: Simplify 0 into 0
19.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
19.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.004 * [backup-simplify]: Simplify 0 into 0
19.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
19.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.006 * [backup-simplify]: Simplify 0 into 0
19.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
19.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 5.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.007 * [backup-simplify]: Simplify 0 into 0
19.007 * [backup-simplify]: Simplify (* 5.0 (pow (/ 1 (/ 1 (- v))) 2)) into (* 5.0 (pow v 2))
19.007 * * * [progress]: simplifying candidates
19.009 * [simplify]: Simplifying:
  (expm1 (log (exp (* 5.0 (* v v)))))
  (log1p (log (exp (* 5.0 (* v v)))))
  (log (* (cbrt (exp (* 5.0 (* v v)))) (cbrt (exp (* 5.0 (* v v))))))
  (log (cbrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log 1)
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (exp (* 5.0 (* v v))))
  (log (exp 5.0))
  (log (log (exp (* 5.0 (* v v)))))
  (exp (log (exp (* 5.0 (* v v)))))
  (* (cbrt (log (exp (* 5.0 (* v v))))) (cbrt (log (exp (* 5.0 (* v v))))))
  (cbrt (log (exp (* 5.0 (* v v)))))
  (* (* (log (exp (* 5.0 (* v v)))) (log (exp (* 5.0 (* v v))))) (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (sqrt (log (exp (* 5.0 (* v v)))))
  (expm1 (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (* (* (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* 5.0 (* v v)))
  (log1p (* 5.0 (* v v)))
  (* 5.0 (* v v))
  (* 5.0 (* v v))
  (+ (log 5.0) (+ (log v) (log v)))
  (+ (log 5.0) (log (* v v)))
  (log (* 5.0 (* v v)))
  (exp (* 5.0 (* v v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) v) (* (* v v) v)))
  (* (* (* 5.0 5.0) 5.0) (* (* (* v v) (* v v)) (* v v)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (* (* (* 5.0 (* v v)) (* 5.0 (* v v))) (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (sqrt (* 5.0 (* v v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* 5.0 (* v v))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
  (* 5.0 (pow v 2))
19.011 * * [simplify]: Extracting # 0 : cost  0
19.011 * * [simplify]: Extracting # 1 : cost  0
19.011 * * [simplify]: Extracting # 2 : cost  0
19.011 * * [simplify]: Extracting # 3 : cost  0
19.011 * * [simplify]: Extracting # 4 : cost  0
19.012 * * [simplify]: Extracting # 5 : cost  0
19.012 * * [simplify]: Extracting # 6 : cost  0
19.012 * * [simplify]: Extracting # 7 : cost  0
19.012 * * [simplify]: iteration  0 :  90  enodes  (cost  851 )
19.043 * * [simplify]: Extracting # 0 : cost  0
19.043 * * [simplify]: Extracting # 1 : cost  0
19.043 * * [simplify]: Extracting # 2 : cost  0
19.043 * * [simplify]: Extracting # 3 : cost  0
19.044 * * [simplify]: Extracting # 4 : cost  0
19.044 * * [simplify]: iteration  1 :  218  enodes  (cost  775 )
21.022 * * [simplify]: Extracting # 0 : cost  0
21.027 * * [simplify]: Extracting # 1 : cost  0
21.032 * * [simplify]: Extracting # 2 : cost  0
21.037 * * [simplify]: Extracting # 3 : cost  0
21.041 * * [simplify]: Extracting # 4 : cost  0
21.045 * * [simplify]: Extracting # 5 : cost  0
21.047 * * [simplify]: iteration  2 :  2821  enodes  (cost  687 )
25.870 * * [simplify]: Extracting # 0 : cost  0
25.880 * * [simplify]: Extracting # 1 : cost  0
25.884 * * [simplify]: Extracting # 2 : cost  0
25.889 * * [simplify]: Extracting # 3 : cost  0
25.894 * * [simplify]: Extracting # 4 : cost  0
25.902 * * [simplify]: iteration done:  5000  enodes  (cost  687 )
25.903 * [simplify]: Simplified to:
  (expm1 (* v (* 5.0 v)))
  (log1p (* v (* 5.0 v)))
  (* 2 (log (cbrt (exp (* 5.0 (* v v))))))
  (log (cbrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  (log (sqrt (exp (* 5.0 (* v v)))))
  0
  (* v (* 5.0 v))
  5.0
  (* v (* 5.0 v))
  5.0
  (log (* v (* 5.0 v)))
  (exp (* 5.0 (pow v 2)))
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* v (* 5.0 v)) 3)
  (sqrt (* v (* 5.0 v)))
  (sqrt (* v (* 5.0 v)))
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (log1p (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (/ PI 2)
  (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (log (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (exp (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (* (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0)))))
  (cbrt (acos (/ (- 1.0 (* 5.0 (pow v 2))) (- (pow v 2) 1.0))))
  (pow (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) 3)
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
  (expm1 (* v (* 5.0 v)))
  (log1p (* v (* 5.0 v)))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (log (* v (* 5.0 v)))
  (log (* v (* 5.0 v)))
  (log (* v (* 5.0 v)))
  (exp (* 5.0 (pow v 2)))
  (pow (* v (* 5.0 v)) 3)
  (pow (* v (* 5.0 v)) 3)
  (* (cbrt (* 5.0 (* v v))) (cbrt (* 5.0 (* v v))))
  (cbrt (* 5.0 (* v v)))
  (pow (* v (* 5.0 v)) 3)
  (sqrt (* v (* 5.0 v)))
  (sqrt (* v (* 5.0 v)))
  (* (sqrt 5.0) v)
  (* (sqrt 5.0) v)
  (* 5.0 v)
  (* (cbrt 5.0) (* v v))
  (* (sqrt 5.0) (* v v))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
  (* v (* 5.0 v))
25.903 * * * [progress]: adding candidates to table
26.312 * [progress]: [Phase 3 of 3] Extracting.
26.312 * * [regime]: Finding splitpoints for: (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (+ (log (sqrt (exp (* 5.0 (* v v))))) (log (sqrt (exp (* 5.0 (* v v))))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>)
26.317 * * * [regime-changes]: Trying 4 branch expressions: ((* v v) (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) v)
26.317 * * * * [regimes]: Trying to branch on (* v v) from (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (+ (log (sqrt (exp (* 5.0 (* v v))))) (log (sqrt (exp (* 5.0 (* v v))))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>)
26.363 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) from (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (+ (log (sqrt (exp (* 5.0 (* v v))))) (log (sqrt (exp (* 5.0 (* v v))))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>)
26.405 * * * * [regimes]: Trying to branch on (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)) from (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))>)
26.421 * * * * [regimes]: Trying to branch on (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) from (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (+ (log (sqrt (exp (* 5.0 (* v v))))) (log (sqrt (exp (* 5.0 (* v v))))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>)
26.470 * * * * [regimes]: Trying to branch on (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))) from (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))>)
26.507 * * * * [regimes]: Trying to branch on v from (#<alt (λ (v) (exp (+ (* (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) 2) (log (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))> #<alt (λ (v) (* (* (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))> #<alt (λ (v) (pow (exp (* (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))) (cbrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))> #<alt (λ (v) (exp (* (sqrt (log (acos (/ (- 1.0 (+ (log (sqrt (exp (* 5.0 (* v v))))) (log (sqrt (exp (* 5.0 (* v v))))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))))>)
26.561 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
26.562 * [simplify]: Simplifying:
  (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
26.562 * * [simplify]: Extracting # 0 : cost  0
26.562 * * [simplify]: Extracting # 1 : cost  0
26.562 * * [simplify]: Extracting # 2 : cost  0
26.562 * * [simplify]: Extracting # 3 : cost  0
26.562 * * [simplify]: Extracting # 4 : cost  0
26.562 * * [simplify]: Extracting # 5 : cost  0
26.562 * * [simplify]: Extracting # 6 : cost  0
26.562 * * [simplify]: Extracting # 7 : cost  0
26.562 * * [simplify]: Extracting # 8 : cost  0
26.562 * * [simplify]: Extracting # 9 : cost  0
26.562 * * [simplify]: Extracting # 10 : cost  0
26.562 * * [simplify]: Extracting # 11 : cost  0
26.562 * * [simplify]: Extracting # 12 : cost  0
26.562 * * [simplify]: Extracting # 13 : cost  0
26.563 * * [simplify]: Extracting # 14 : cost  0
26.563 * * [simplify]: Extracting # 15 : cost  0
26.563 * * [simplify]: iteration  0 :  20  enodes  (cost  36 )
26.564 * * [simplify]: Extracting # 0 : cost  0
26.564 * * [simplify]: iteration  1 :  22  enodes  (cost  36 )
26.564 * * [simplify]: Extracting # 0 : cost  0
26.564 * * [simplify]: iteration done:  22  enodes  (cost  36 )
26.564 * [simplify]: Simplified to:
  (exp (* (sqrt (log (acos (/ (- 1.0 (log (exp (* 5.0 (* v v))))) (- (* v v) 1.0))))) (sqrt (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))))
33.272 * [regime-testing]: Baseline error score: 0.5599955335569464
33.274 * [regime-testing]: Oracle error score: 0.5246122297372806
33.279 * [regime-testing]: End program error score: 0.5599955335569464