Pow x0 tan Pow Pow x0 acot log sinh x5 acosh Add x0 1.41421356237309 
Mul Pow x0 Add tan Pow Pow x0 acot log sinh x5 acosh Add x0 1.41421356237309 -1 Add tan Pow Pow x0 acot log sinh x5 acosh Add x0 1.41421356237309 Mul Mul x0 log x0 Mul Pow sec Pow Pow x0 acot log sinh x5 acosh Add x0 1.41421356237309 2 Mul Pow Pow x0 acot log sinh x5 Add acosh Add x0 1.41421356237309 -1 Add Mul acosh Add x0 1.41421356237309 Mul Pow x0 Add acot log sinh x5 -1 acot log sinh x5 Mul Mul Pow x0 acot log sinh x5 log Pow x0 acot log sinh x5 Pow Mul sqrt Add Add x0 1.41421356237309 -1 sqrt Add 1 Add x0 1.41421356237309 -1 