Mul atan atan sec atan Pow acoth acot Pow cot E x1 x0 Add -0.888503459830471 x0 
Add Mul Add -0.888503459830471 x0 Mul Mul Mul Mul tan atan Pow acoth acot Pow cot E x1 x0 sec atan Pow acoth acot Pow cot E x1 x0 Mul Mul Pow acoth acot Pow cot E x1 Add x0 -1 Mul acoth acot Pow cot E x1 log acoth acot Pow cot E x1 Pow Add 1 Mul Pow acoth acot Pow cot E x1 x0 Pow acoth acot Pow cot E x1 x0 -1 Pow Add 1 Mul sec atan Pow acoth acot Pow cot E x1 x0 sec atan Pow acoth acot Pow cot E x1 x0 -1 Pow Add 1 Mul atan sec atan Pow acoth acot Pow cot E x1 x0 atan sec atan Pow acoth acot Pow cot E x1 x0 -1 atan atan sec atan Pow acoth acot Pow cot E x1 x0 