Mul x0 tan Mul Add Mul Pow acoth Pow x4 x7 asech x0 -3 x0 x0 
Add tan Mul Add Mul Pow acoth Pow x4 x7 asech x0 -3 x0 x0 Mul x0 Mul Pow sec Mul Add Mul Pow acoth Pow x4 x7 asech x0 -3 x0 x0 2 Add Mul x0 Add Mul -3 Mul Pow acoth Pow x4 x7 Add asech x0 -1 Mul Mul acoth Pow x4 x7 log acoth Pow x4 x7 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Add Mul Pow acoth Pow x4 x7 asech x0 -3 x0 