tan Add x3 Mul Add sqrt atanh x7 x0 Pow Pow x0 cot x7 x3 
Mul Pow sec Add x3 Mul Add sqrt atanh x7 x0 Pow Pow x0 cot x7 x3 2 Add Pow Pow x0 cot x7 x3 Mul Add sqrt atanh x7 x0 Mul Pow Pow x0 cot x7 Add x3 -1 Mul x3 Mul Pow x0 Add cot x7 -1 cot x7 