Pow Pow acoth Pow acosh Mul -3 Add -4 x0 x0 Pow tan Mul Add 2 Add x5 2 Add 4 x0 pi 2 
Mul Pow acoth Pow acosh Mul -3 Add -4 x0 x0 Pow tan Mul Add 2 Add x5 2 Add 4 x0 pi Mul 2 Mul Pow acoth Pow acosh Mul -3 Add -4 x0 x0 Add Pow tan Mul Add 2 Add x5 2 Add 4 x0 pi -1 Add Mul Pow tan Mul Add 2 Add x5 2 Add 4 x0 pi Mul Mul Pow acosh Mul -3 Add -4 x0 Add x0 -1 Add Mul x0 Mul -3 Pow Mul sqrt Add Mul -3 Add -4 x0 -1 sqrt Add 1 Mul -3 Add -4 x0 -1 Mul acosh Mul -3 Add -4 x0 log acosh Mul -3 Add -4 x0 Pow Add 1 Mul -1 Mul Pow acosh Mul -3 Add -4 x0 x0 Pow acosh Mul -3 Add -4 x0 x0 -1 Mul Mul acoth Pow acosh Mul -3 Add -4 x0 x0 log acoth Pow acosh Mul -3 Add -4 x0 x0 Mul Pow tan Mul Add 2 Add x5 2 Add 4 x0 Add pi -1 Mul pi Mul Pow sec Mul Add 2 Add x5 2 Add 4 x0 2 Add 2 Add x5 2 