Add Pow Mul x3 Add pi atanh acoth Mul x0 Mul acosh x4 sqrt asech x0 x6 x0 
Add Mul Pow Mul x3 Add pi atanh acoth Mul x0 Mul acosh x4 sqrt asech x0 Add x6 -1 Mul x6 Mul x3 Mul Mul Add Mul acosh x4 sqrt asech x0 Mul x0 Mul acosh x4 Mul Pow Mul 2 sqrt asech x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Mul x0 Mul acosh x4 sqrt asech x0 Mul x0 Mul acosh x4 sqrt asech x0 -1 Pow Add 1 Mul -1 Mul acoth Mul x0 Mul acosh x4 sqrt asech x0 acoth Mul x0 Mul acosh x4 sqrt asech x0 -1 1 