Mul acot Mul Add Add acsch Add 3 Add pi x0 acsch E x0 1.01312197369200 x0 
Add Mul x0 Mul -1 Mul Mul 1.01312197369200 Add Mul -1 Pow Mul Mul Add 3 Add pi x0 Add 3 Add pi x0 sqrt Add 1 Mul -1 Pow Mul Add 3 Add pi x0 Add 3 Add pi x0 -1 -1 1 Pow Add 1 Mul Mul Add Add acsch Add 3 Add pi x0 acsch E x0 1.01312197369200 Mul Add Add acsch Add 3 Add pi x0 acsch E x0 1.01312197369200 -1 acot Mul Add Add acsch Add 3 Add pi x0 acsch E x0 1.01312197369200 