Mul Mul acot x4 sinh sec acot Pow cos x0 Pow acoth x1 Mul -2 x0 Add Mul x3 asinh x0 x1 
Add Mul Add Mul x3 asinh x0 x1 Mul acot x4 Mul cosh sec acot Pow cos x0 Pow acoth x1 Mul -2 x0 Mul Mul tan acot Pow cos x0 Pow acoth x1 Mul -2 x0 sec acot Pow cos x0 Pow acoth x1 Mul -2 x0 Mul -1 Mul Mul Pow cos x0 Add Pow acoth x1 Mul -2 x0 -1 Add Mul Pow acoth x1 Mul -2 x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Pow acoth x1 Add Mul -2 x0 -1 Mul Mul acoth x1 log acoth x1 -2 Pow Add 1 Mul Pow cos x0 Pow acoth x1 Mul -2 x0 Pow cos x0 Pow acoth x1 Mul -2 x0 -1 Mul Mul acot x4 sinh sec acot Pow cos x0 Pow acoth x1 Mul -2 x0 Mul x3 Pow sqrt Add 1 Mul x0 x0 -1 