sec Mul acot x0 Add atanh x4 Pow x3 x0 
Mul Mul tan Mul acot x0 Add atanh x4 Pow x3 x0 sec Mul acot x0 Add atanh x4 Pow x3 x0 Add Mul Add atanh x4 Pow x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 