Mul Pow Pow sec Add acoth x0 x0 atanh x3 x0 Mul Add -1 x0 x0 
Add Mul Mul Add -1 x0 x0 Mul Pow Pow sec Add acoth x0 x0 atanh x3 Add x0 -1 Add Mul x0 Mul Pow sec Add acoth x0 x0 Add atanh x3 -1 Mul atanh x3 Mul Mul tan Add acoth x0 x0 sec Add acoth x0 x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Pow sec Add acoth x0 x0 atanh x3 log Pow sec Add acoth x0 x0 atanh x3 Mul Pow Pow sec Add acoth x0 x0 atanh x3 x0 Add x0 Add -1 x0 