Add cosh x5 Pow Mul x0 5 Pow sec Mul acoth Pow sqrt E Add 0.00390625000000000 pi Add pi x2 Add 3 x0 
Mul Pow Mul x0 5 Add Pow sec Mul acoth Pow sqrt E Add 0.00390625000000000 pi Add pi x2 Add 3 x0 -1 Add Mul Pow sec Mul acoth Pow sqrt E Add 0.00390625000000000 pi Add pi x2 Add 3 x0 5 Mul Mul Mul x0 5 log Mul x0 5 Mul Pow sec Mul acoth Pow sqrt E Add 0.00390625000000000 pi Add pi x2 Add Add 3 x0 -1 Mul sec Mul acoth Pow sqrt E Add 0.00390625000000000 pi Add pi x2 log sec Mul acoth Pow sqrt E Add 0.00390625000000000 pi Add pi x2 