Add x0 asec Mul sec x3 Pow acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 x0 
Add 1 Mul Mul sec x3 Mul Pow acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 Add x0 -1 Add Mul x0 Mul Add Mul pi Mul -4 cosh x0 -2 Pow Add 1 Mul -1 Mul Add Mul pi Mul -4 sinh x0 Mul x0 -2 Add Mul pi Mul -4 sinh x0 Mul x0 -2 -1 Mul acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 log acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul sec x3 Pow acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 x0 Mul sec x3 Pow acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 x0 -1 Mul sec x3 Pow acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 x0 Mul sec x3 Pow acoth Add Mul pi Mul -4 sinh x0 Mul x0 -2 x0 -1 