Mul Mul Pow Mul Pow Mul Mul Pow sec x0 4 2 acos Pow acoth x2 cos x0 1.73205080756888 E x0 x4 x0 
Add Mul x0 Mul x4 Mul Pow Mul Pow Mul Mul Pow sec x0 4 2 acos Pow acoth x2 cos x0 1.73205080756888 E Add x0 -1 Add Mul x0 Mul E Mul Pow Mul Mul Pow sec x0 4 2 acos Pow acoth x2 cos x0 0.732050807568877 Mul 1.73205080756888 Add Mul acos Pow acoth x2 cos x0 Mul 2 Mul Pow sec x0 3 Mul 4 Mul tan x0 sec x0 Mul Mul Pow sec x0 4 2 Mul -1 Mul Mul Pow acoth x2 Add cos x0 -1 Mul Mul acoth x2 log acoth x2 Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Pow acoth x2 cos x0 Pow acoth x2 cos x0 -1 Mul Mul Pow Mul Mul Pow sec x0 4 2 acos Pow acoth x2 cos x0 1.73205080756888 E log Mul Pow Mul Mul Pow sec x0 4 2 acos Pow acoth x2 cos x0 1.73205080756888 E Mul Pow Mul Pow Mul Mul Pow sec x0 4 2 acos Pow acoth x2 cos x0 1.73205080756888 E x0 x4 