Mul x4 acos acos asech acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 
Mul x4 Mul -1 Mul Mul -1 Mul Mul Mul Mul -1 Add Mul x0 Add Mul x0 x0 4 Mul Add x0 pi Add Add Mul x0 x0 4 Mul x0 Add x0 x0 Pow Mul Mul Mul Add x0 pi Mul x0 Add Mul x0 x0 4 Mul Add x0 pi Mul x0 Add Mul x0 x0 4 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 pi Mul x0 Add Mul x0 x0 4 Mul Add x0 pi Mul x0 Add Mul x0 x0 4 -1 -1 Pow Mul Mul acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 sqrt Add 1 Mul -1 Pow Mul acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 asech acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 -1 Pow sqrt Add 1 Mul -1 Mul acos asech acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 acos asech acsch Mul Add x0 pi Mul x0 Add Mul x0 x0 4 -1 