Add tan acoth Pow Mul x0 Pow Add x7 sinh acsch x0 x0 x0 Pow atan Mul x0 x0 pi 
Add Mul Pow sec acoth Pow Mul x0 Pow Add x7 sinh acsch x0 x0 x0 2 Mul Mul Pow Mul x0 Pow Add x7 sinh acsch x0 x0 Add x0 -1 Add Mul x0 Add Pow Add x7 sinh acsch x0 x0 Mul x0 Mul Pow Add x7 sinh acsch x0 Add x0 -1 Add Mul x0 Mul cosh acsch x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add x7 sinh acsch x0 log Add x7 sinh acsch x0 Mul Mul x0 Pow Add x7 sinh acsch x0 x0 log Mul x0 Pow Add x7 sinh acsch x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 Pow Add x7 sinh acsch x0 x0 x0 Pow Mul x0 Pow Add x7 sinh acsch x0 x0 x0 -1 Mul Pow atan Mul x0 x0 Add pi -1 Mul pi Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 