Mul Pow asinh x7 acosh sqrt Pow Add Add Mul x0 x0 pi x0 acoth x0 x0 
Add Mul x0 Mul Pow asinh x7 Add acosh sqrt Pow Add Add Mul x0 x0 pi x0 acoth x0 -1 Mul Mul asinh x7 log asinh x7 Mul Mul Pow Mul 2 sqrt Pow Add Add Mul x0 x0 pi x0 acoth x0 -1 Mul Pow Add Add Mul x0 x0 pi x0 Add acoth x0 -1 Add Mul acoth x0 Add Add x0 x0 1 Mul Mul Add Add Mul x0 x0 pi x0 log Add Add Mul x0 x0 pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add sqrt Pow Add Add Mul x0 x0 pi x0 acoth x0 -1 sqrt Add 1 sqrt Pow Add Add Mul x0 x0 pi x0 acoth x0 -1 Pow asinh x7 acosh sqrt Pow Add Add Mul x0 x0 pi x0 acoth x0 