Mul Pow acosh x3 Mul Mul -2 x0 Pow cbrt acot x0 atan atanh x0 x5 
Mul x5 Mul Pow acosh x3 Add Mul Mul -2 x0 Pow cbrt acot x0 atan atanh x0 -1 Mul Mul acosh x3 log acosh x3 Add Mul Pow cbrt acot x0 atan atanh x0 -2 Mul Mul -2 x0 Mul Pow cbrt acot x0 Add atan atanh x0 -1 Add Mul atan atanh x0 Mul Pow Mul Mul 3 cbrt acot x0 cbrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul cbrt acot x0 log cbrt acot x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul atanh x0 atanh x0 -1 