Pow sqrt Mul asech x7 x7 Add Pow cos x1 tan acoth log Mul x3 acot x0 x0 
Mul Pow sqrt Mul asech x7 x7 Add Add Pow cos x1 tan acoth log Mul x3 acot x0 x0 -1 Mul Mul sqrt Mul asech x7 x7 log sqrt Mul asech x7 x7 Add Mul Pow cos x1 Add tan acoth log Mul x3 acot x0 -1 Mul Mul cos x1 log cos x1 Mul Pow sec acoth log Mul x3 acot x0 2 Mul Mul Mul x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul x3 acot x0 -1 Pow Add 1 Mul -1 Mul log Mul x3 acot x0 log Mul x3 acot x0 -1 1 