atanh Pow acsch atanh x6 atan x0 
Mul Mul Pow acsch atanh x6 Add atan x0 -1 Mul Mul acsch atanh x6 log acsch atanh x6 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acsch atanh x6 atan x0 Pow acsch atanh x6 atan x0 -1 