tan Pow Pow 0.250000000000000 x0 acoth x6 
Mul Pow sec Pow Pow 0.250000000000000 x0 acoth x6 2 Mul Pow Pow 0.250000000000000 x0 Add acoth x6 -1 Mul acoth x6 Mul Pow 0.250000000000000 Add x0 -1 -1.13629436111989 