Pow asech atanh Mul x0 x0 Pow Mul -4 Add acot x0 x0 Pow x7 Mul sec x0 x0 
Mul Pow asech atanh Mul x0 x0 Add Pow Mul -4 Add acot x0 x0 Pow x7 Mul sec x0 x0 -1 Add Mul Pow Mul -4 Add acot x0 x0 Pow x7 Mul sec x0 x0 Mul Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Mul Mul atanh Mul x0 x0 atanh Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul atanh Mul x0 x0 atanh Mul x0 x0 -1 -1 Mul Mul asech atanh Mul x0 x0 log asech atanh Mul x0 x0 Mul Pow Mul -4 Add acot x0 x0 Add Pow x7 Mul sec x0 x0 -1 Add Mul Pow x7 Mul sec x0 x0 Mul -4 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Mul Mul -4 Add acot x0 x0 log Mul -4 Add acot x0 x0 Mul Pow x7 Add Mul sec x0 x0 -1 Mul Mul x7 log x7 Add Mul x0 Mul tan x0 sec x0 sec x0 