Pow cosh acot Mul x0 Add x0 Add Mul pi x0 x0 x4 
Mul Pow cosh acot Mul x0 Add x0 Add Mul pi x0 x0 Add x4 -1 Mul x4 Mul sinh acot Mul x0 Add x0 Add Mul pi x0 x0 Mul -1 Mul Add Add x0 Add Mul pi x0 x0 Mul x0 Add 1 Add pi 1 Pow Add 1 Mul Mul x0 Add x0 Add Mul pi x0 x0 Mul x0 Add x0 Add Mul pi x0 x0 -1 