Mul Pow exp acoth Pow Mul Mul asech x0 log x4 Add pi x0 4 Pow x0 3 Mul Pow x0 pi Mul x0 x0 
Add Mul Mul Pow x0 pi Mul x0 x0 Mul Pow exp acoth Pow Mul Mul asech x0 log x4 Add pi x0 4 Add Pow x0 3 -1 Add Mul Pow x0 3 Mul exp acoth Pow Mul Mul asech x0 log x4 Add pi x0 4 Mul Mul Pow Mul Mul asech x0 log x4 Add pi x0 3 Mul 4 Add Mul Add pi x0 Mul log x4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 log x4 Pow Add 1 Mul -1 Mul Pow Mul Mul asech x0 log x4 Add pi x0 4 Pow Mul Mul asech x0 log x4 Add pi x0 4 -1 Mul Mul exp acoth Pow Mul Mul asech x0 log x4 Add pi x0 4 log exp acoth Pow Mul Mul asech x0 log x4 Add pi x0 4 Mul Pow x0 2 3 Mul Pow exp acoth Pow Mul Mul asech x0 log x4 Add pi x0 4 Pow x0 3 Add Mul Mul x0 x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi Add x0 x0 