Add x1 Mul acoth asech Add Mul 3 x0 Pow E cos Add pi x3 Mul x1 pi 
Mul Mul x1 pi Mul Mul 3 Pow Mul Mul Add Mul 3 x0 Pow E cos Add pi x3 Add Mul 3 x0 Pow E cos Add pi x3 sqrt Add 1 Mul -1 Pow Mul Add Mul 3 x0 Pow E cos Add pi x3 Add Mul 3 x0 Pow E cos Add pi x3 -1 -1 Pow Add 1 Mul -1 Mul asech Add Mul 3 x0 Pow E cos Add pi x3 asech Add Mul 3 x0 Pow E cos Add pi x3 -1 