26.747 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (/ a (- (acos a))) 0.022 * * [simplify]: iteration 0 : 4 enodes (cost 3 ) 0.022 * [simplify]: Simplified to: (/ a (- (acos a))) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.028 * * * [progress]: generating rewritten candidates 0.028 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.031 * * * [progress]: generating series expansions 0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.031 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.031 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.031 * [taylor]: Taking taylor expansion of -1 in a 0.031 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.031 * [taylor]: Taking taylor expansion of a in a 0.031 * [taylor]: Taking taylor expansion of (acos a) in a 0.032 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.032 * [taylor]: Taking taylor expansion of -1 in a 0.032 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.032 * [taylor]: Taking taylor expansion of a in a 0.032 * [taylor]: Taking taylor expansion of (acos a) in a 0.040 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.040 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.040 * [taylor]: Taking taylor expansion of -1 in a 0.040 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.040 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.040 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.040 * [taylor]: Taking taylor expansion of -1 in a 0.040 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.040 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.040 * [taylor]: Taking taylor expansion of a in a 0.047 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.047 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.047 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.047 * [taylor]: Taking taylor expansion of a in a 0.047 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.047 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.047 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.047 * [taylor]: Taking taylor expansion of a in a 0.047 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.057 * * * [progress]: simplifying candidates 0.057 * [simplify]: Simplifying using # : (- a) (- (- (acos a))) (/ 1 (- (acos a))) (/ (- (acos a)) a) (/ a -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.060 * * [simplify]: iteration 0 : 20 enodes (cost 18 ) 0.062 * * [simplify]: iteration 1 : 29 enodes (cost 18 ) 0.063 * * [simplify]: iteration 2 : 38 enodes (cost 18 ) 0.065 * * [simplify]: iteration 3 : 43 enodes (cost 18 ) 0.066 * * [simplify]: iteration 4 : 44 enodes (cost 18 ) 0.068 * * [simplify]: iteration 5 : 44 enodes (cost 18 ) 0.068 * [simplify]: Simplified to: (* -1 a) (acos a) (/ 1 (- (acos a))) (/ (- (acos a)) a) (/ a -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.068 * * * [progress]: adding candidates to table 0.084 * * [progress]: iteration 2 / 4 0.084 * * * [progress]: picking best candidate 0.085 * * * * [pick]: Picked # 0.085 * * * [progress]: localizing error 0.091 * * * [progress]: generating rewritten candidates 0.091 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.094 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.098 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.098 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.099 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.099 * [taylor]: Taking taylor expansion of -1 in a 0.099 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.099 * [taylor]: Taking taylor expansion of (acos a) in a 0.099 * [taylor]: Taking taylor expansion of a in a 0.099 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.099 * [taylor]: Taking taylor expansion of -1 in a 0.099 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.099 * [taylor]: Taking taylor expansion of (acos a) in a 0.099 * [taylor]: Taking taylor expansion of a in a 0.113 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.113 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.113 * [taylor]: Taking taylor expansion of -1 in a 0.113 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.113 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.113 * [taylor]: Taking taylor expansion of a in a 0.113 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.113 * [taylor]: Taking taylor expansion of -1 in a 0.113 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.113 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.113 * [taylor]: Taking taylor expansion of a in a 0.126 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.126 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.126 * [taylor]: Taking taylor expansion of a in a 0.126 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.126 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.126 * [taylor]: Taking taylor expansion of a in a 0.126 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.134 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.134 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.134 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.134 * [taylor]: Taking taylor expansion of -1 in a 0.134 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.134 * [taylor]: Taking taylor expansion of a in a 0.134 * [taylor]: Taking taylor expansion of (acos a) in a 0.134 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.134 * [taylor]: Taking taylor expansion of -1 in a 0.134 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.134 * [taylor]: Taking taylor expansion of a in a 0.134 * [taylor]: Taking taylor expansion of (acos a) in a 0.142 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.142 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.142 * [taylor]: Taking taylor expansion of -1 in a 0.142 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.142 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.142 * [taylor]: Taking taylor expansion of a in a 0.142 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.142 * [taylor]: Taking taylor expansion of -1 in a 0.142 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.142 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.142 * [taylor]: Taking taylor expansion of a in a 0.149 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.149 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.149 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.149 * [taylor]: Taking taylor expansion of a in a 0.149 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.149 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.149 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.149 * [taylor]: Taking taylor expansion of a in a 0.149 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.159 * * * [progress]: simplifying candidates 0.163 * [simplify]: Simplifying using # : (- (- (acos a))) (- a) (/ 0 a) (/ (acos a) a) (/ 1 a) (/ a (- (acos a))) (/ (acos a) a) (/ a (acos a)) (- 1) (- (/ (- (acos a)) a)) (/ 1 (/ (- (acos a)) a)) (/ (/ (- (acos a)) a) 1) (/ 1 (- (acos a))) (/ 1 (- (acos a))) (/ 1 (- (- (acos a)))) (/ 1 1) (/ 1 -1) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.166 * * [simplify]: iteration 0 : 37 enodes (cost 50 ) 0.168 * * [simplify]: iteration 1 : 121 enodes (cost 48 ) 0.172 * * [simplify]: iteration 2 : 409 enodes (cost 44 ) 0.178 * * [simplify]: iteration 3 : 654 enodes (cost 44 ) 0.195 * * [simplify]: iteration 4 : 2380 enodes (cost 44 ) 0.344 * * [simplify]: iteration 5 : 5001 enodes (cost 44 ) 0.347 * [simplify]: Simplified to: (acos a) (* -1 a) 0 (/ (acos a) a) (/ 1 a) (* -1 (/ a (acos a))) (/ (acos a) a) (/ a (acos a)) -1 (/ (acos a) a) (* -1 (/ a (acos a))) (/ (- (acos a)) a) (/ -1 (acos a)) (/ -1 (acos a)) (/ 1 (acos a)) 1 -1 (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.347 * * * [progress]: adding candidates to table 0.379 * * [progress]: iteration 3 / 4 0.379 * * * [progress]: picking best candidate 0.382 * * * * [pick]: Picked # 0.382 * * * [progress]: localizing error 0.388 * * * [progress]: generating rewritten candidates 0.388 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.393 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.395 * * * [progress]: generating series expansions 0.395 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.395 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.395 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.395 * [taylor]: Taking taylor expansion of -1 in a 0.395 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.395 * [taylor]: Taking taylor expansion of a in a 0.396 * [taylor]: Taking taylor expansion of (acos a) in a 0.396 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.396 * [taylor]: Taking taylor expansion of -1 in a 0.396 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.396 * [taylor]: Taking taylor expansion of a in a 0.396 * [taylor]: Taking taylor expansion of (acos a) in a 0.403 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.404 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.404 * [taylor]: Taking taylor expansion of -1 in a 0.404 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.404 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.404 * [taylor]: Taking taylor expansion of a in a 0.404 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.404 * [taylor]: Taking taylor expansion of -1 in a 0.404 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.404 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.405 * [taylor]: Taking taylor expansion of a in a 0.414 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.414 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.414 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.414 * [taylor]: Taking taylor expansion of a in a 0.414 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.415 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.415 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.415 * [taylor]: Taking taylor expansion of a in a 0.415 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.424 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.424 * [approximate]: Taking taylor expansion of (/ -1 (acos a)) in (a) around 0 0.424 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.424 * [taylor]: Taking taylor expansion of -1 in a 0.424 * [taylor]: Taking taylor expansion of (acos a) in a 0.425 * [taylor]: Taking taylor expansion of (/ -1 (acos a)) in a 0.425 * [taylor]: Taking taylor expansion of -1 in a 0.425 * [taylor]: Taking taylor expansion of (acos a) in a 0.426 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in (a) around 0 0.426 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.426 * [taylor]: Taking taylor expansion of -1 in a 0.426 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.426 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ 1 a))) in a 0.426 * [taylor]: Taking taylor expansion of -1 in a 0.426 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.428 * [approximate]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in (a) around 0 0.428 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.428 * [taylor]: Taking taylor expansion of -1 in a 0.428 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.428 * [taylor]: Taking taylor expansion of (/ -1 (acos (/ -1 a))) in a 0.428 * [taylor]: Taking taylor expansion of -1 in a 0.428 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.430 * * * [progress]: simplifying candidates 0.431 * [simplify]: Simplifying using # : (- (/ -1 (acos a))) (- (/ 1 a)) (/ -1 1) (/ (/ 1 (acos a)) (/ 1 a)) (/ 1 (/ 1 a)) (/ (/ 1 a) (/ -1 (acos a))) (/ (/ -1 (acos a)) 1) (/ (/ 1 a) (/ 1 (acos a))) (/ (/ -1 (acos a)) 1) (/ (/ -1 (acos a)) (- 1)) (/ (/ -1 (acos a)) 1) (* (/ 1 a) (acos a)) (* (/ 1 a) (- (acos a))) (* (/ 1 a) (/ (acos a) -1)) (- -1) (- (acos a)) (/ 1 (acos a)) (/ (acos a) -1) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) 0.434 * * [simplify]: iteration 0 : 60 enodes (cost 60 ) 0.436 * * [simplify]: iteration 1 : 209 enodes (cost 51 ) 0.441 * * [simplify]: iteration 2 : 497 enodes (cost 47 ) 0.448 * * [simplify]: iteration 3 : 733 enodes (cost 47 ) 0.458 * * [simplify]: iteration 4 : 1037 enodes (cost 47 ) 0.471 * * [simplify]: iteration 5 : 1903 enodes (cost 47 ) 0.530 * * [simplify]: iteration 6 : 5001 enodes (cost 47 ) 0.531 * [simplify]: Simplified to: (/ 1 (acos a)) (/ -1 a) -1 (/ a (acos a)) a (/ (/ (acos a) -1) a) (/ -1 (acos a)) (/ (acos a) a) (/ -1 (acos a)) (/ 1 (acos a)) (/ -1 (acos a)) (/ (acos a) a) (/ (/ (acos a) -1) a) (/ (/ (acos a) -1) a) 1 (- (acos a)) (/ 1 (acos a)) (- (acos a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) 0.531 * * * [progress]: adding candidates to table 0.555 * * [progress]: iteration 4 / 4 0.555 * * * [progress]: picking best candidate 0.556 * * * * [pick]: Picked # 0.556 * * * [progress]: localizing error 0.564 * * * [progress]: generating rewritten candidates 0.564 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.568 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.573 * * * [progress]: generating series expansions 0.573 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.573 * [approximate]: Taking taylor expansion of (* -1 (/ (acos a) a)) in (a) around 0 0.573 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.573 * [taylor]: Taking taylor expansion of -1 in a 0.573 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.573 * [taylor]: Taking taylor expansion of (acos a) in a 0.573 * [taylor]: Taking taylor expansion of a in a 0.574 * [taylor]: Taking taylor expansion of (* -1 (/ (acos a) a)) in a 0.574 * [taylor]: Taking taylor expansion of -1 in a 0.574 * [taylor]: Taking taylor expansion of (/ (acos a) a) in a 0.574 * [taylor]: Taking taylor expansion of (acos a) in a 0.574 * [taylor]: Taking taylor expansion of a in a 0.593 * [approximate]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.593 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.593 * [taylor]: Taking taylor expansion of -1 in a 0.593 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.593 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.593 * [taylor]: Taking taylor expansion of a in a 0.593 * [taylor]: Taking taylor expansion of (* -1 (* (acos (/ 1 a)) a)) in a 0.593 * [taylor]: Taking taylor expansion of -1 in a 0.593 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.593 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.593 * [taylor]: Taking taylor expansion of a in a 0.605 * [approximate]: Taking taylor expansion of (* a (acos (/ -1 a))) in (a) around 0 0.605 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.605 * [taylor]: Taking taylor expansion of a in a 0.605 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.606 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.606 * [taylor]: Taking taylor expansion of a in a 0.606 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.613 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.614 * [approximate]: Taking taylor expansion of (* -1 (/ a (acos a))) in (a) around 0 0.614 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.614 * [taylor]: Taking taylor expansion of -1 in a 0.614 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.614 * [taylor]: Taking taylor expansion of a in a 0.614 * [taylor]: Taking taylor expansion of (acos a) in a 0.614 * [taylor]: Taking taylor expansion of (* -1 (/ a (acos a))) in a 0.614 * [taylor]: Taking taylor expansion of -1 in a 0.614 * [taylor]: Taking taylor expansion of (/ a (acos a)) in a 0.614 * [taylor]: Taking taylor expansion of a in a 0.614 * [taylor]: Taking taylor expansion of (acos a) in a 0.621 * [approximate]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in (a) around 0 0.621 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.621 * [taylor]: Taking taylor expansion of -1 in a 0.621 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.621 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.622 * [taylor]: Taking taylor expansion of a in a 0.622 * [taylor]: Taking taylor expansion of (/ -1 (* (acos (/ 1 a)) a)) in a 0.622 * [taylor]: Taking taylor expansion of -1 in a 0.622 * [taylor]: Taking taylor expansion of (* (acos (/ 1 a)) a) in a 0.622 * [taylor]: Taking taylor expansion of (acos (/ 1 a)) in a 0.622 * [taylor]: Taking taylor expansion of a in a 0.628 * [approximate]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in (a) around 0 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.628 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.628 * [taylor]: Taking taylor expansion of a in a 0.628 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* a (acos (/ -1 a)))) in a 0.629 * [taylor]: Taking taylor expansion of (* a (acos (/ -1 a))) in a 0.629 * [taylor]: Taking taylor expansion of a in a 0.629 * [taylor]: Taking taylor expansion of (acos (/ -1 a)) in a 0.639 * * * [progress]: simplifying candidates 0.639 * [simplify]: Simplifying using # : (* (acos a) (/ 1 a)) (* (- (acos a)) 1) (* (acos a) (/ 1 a)) (* (- (acos a)) 1) (* (- (acos a)) (- 1)) (* (- (acos a)) 1) (- 1) (- (* (- (acos a)) (/ 1 a))) (/ 1 (* (- (acos a)) (/ 1 a))) (/ (* (- (acos a)) (/ 1 a)) 1) (/ 1 (- (acos a))) (/ 1 (* (- (acos a)) 1)) (/ 1 -1) (/ 1 (/ 1 a)) (/ 1 (- (acos a))) (/ 1 (- (acos a))) (/ 1 (* (- (acos a)) 1)) (/ 1 (* (- (acos a)) (- 1))) (/ 1 (* (- (acos a)) 1)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ (acos a) a)) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.642 * * [simplify]: iteration 0 : 55 enodes (cost 70 ) 0.645 * * [simplify]: iteration 1 : 205 enodes (cost 61 ) 0.650 * * [simplify]: iteration 2 : 721 enodes (cost 52 ) 0.661 * * [simplify]: iteration 3 : 1490 enodes (cost 51 ) 0.671 * * [simplify]: iteration 4 : 1788 enodes (cost 51 ) 0.685 * * [simplify]: iteration 5 : 2654 enodes (cost 51 ) 0.742 * * [simplify]: iteration 6 : 5001 enodes (cost 51 ) 0.743 * [simplify]: Simplified to: (/ (acos a) a) (- (acos a)) (/ (acos a) a) (- (acos a)) (acos a) (- (acos a)) -1 (/ (acos a) a) (* -1 (/ a (acos a))) (/ (- (acos a)) a) (/ -1 (acos a)) (/ -1 (acos a)) -1 a (/ -1 (acos a)) (/ -1 (acos a)) (/ -1 (acos a)) (/ 1 (acos a)) (/ -1 (acos a)) (/ (- (acos a)) a) (/ (- (acos a)) a) (/ (- (acos a)) a) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) (* -1 (/ a (acos a))) 0.743 * * * [progress]: adding candidates to table 0.775 * [progress]: [Phase 3 of 3] Extracting. 0.775 * * [regime]: Finding splitpoints for: (# # # #) 0.776 * * * [regime-changes]: Trying 2 branch expressions: ((/ a (- (acos a))) a) 0.776 * * * * [regimes]: Trying to branch on (/ a (- (acos a))) from (# # # #) 0.793 * * * * [regimes]: Trying to branch on a from (# # # #) 0.811 * * * [regime]: Found split indices: #