Mul Pow Add sqrt Mul Mul x0 asinh x0 4 Pow cos x0 asinh x0 acoth x0 -1 
Mul -1 Mul Pow Add sqrt Mul Mul x0 asinh x0 4 Pow cos x0 asinh x0 Add acoth x0 -1 Add Mul acoth x0 Add Mul Pow Mul 2 sqrt Mul Mul x0 asinh x0 4 -1 Mul 4 Add asinh x0 Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow cos x0 Add asinh x0 -1 Add Mul asinh x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Add sqrt Mul Mul x0 asinh x0 4 Pow cos x0 asinh x0 log Add sqrt Mul Mul x0 asinh x0 4 Pow cos x0 asinh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 