Add Pow x6 Add Pow acot x0 acosh x4 5 Add acoth pi asinh Mul x4 Add x0 atanh x0 
Add Mul Pow x6 Add Add Pow acot x0 acosh x4 5 -1 Mul Mul x6 log x6 Mul Pow acot x0 Add acosh x4 -1 Mul acosh x4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul x4 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul x4 Add x0 atanh x0 Mul x4 Add x0 atanh x0 -1 