Add Add -5 x0 Pow Add Add Mul x0 Add 4 x7 -4 Add tan cot sec acos Pow x0 acot acoth x1 x0 x0 
Add 1 Mul Pow Add Add Mul x0 Add 4 x7 -4 Add tan cot sec acos Pow x0 acot acoth x1 x0 Add x0 -1 Add Mul x0 Add Add 4 x7 Add Mul Pow sec cot sec acos Pow x0 acot acoth x1 2 Mul Mul -1 Pow csc sec acos Pow x0 acot acoth x1 2 Mul Mul tan acos Pow x0 acot acoth x1 sec acos Pow x0 acot acoth x1 Mul -1 Mul Mul Pow x0 Add acot acoth x1 -1 acot acoth x1 Pow sqrt Add 1 Mul -1 Mul Pow x0 acot acoth x1 Pow x0 acot acoth x1 -1 1 Mul Add Add Mul x0 Add 4 x7 -4 Add tan cot sec acos Pow x0 acot acoth x1 x0 log Add Add Mul x0 Add 4 x7 -4 Add tan cot sec acos Pow x0 acot acoth x1 x0 