cosh asech acot Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 
Mul sinh asech acot Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 Mul Mul -1 Mul Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add acot acot Mul x0 Add x3 x0 Mul x0 Mul -1 Mul Mul -1 Mul Add Add x3 x0 x0 Pow Add 1 Mul Mul x0 Add x3 x0 Mul x0 Add x3 x0 -1 Pow Add 1 Mul acot Mul x0 Add x3 x0 acot Mul x0 Add x3 x0 -1 Pow Add 1 Mul Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 -1 Pow Mul Mul acot Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 acot Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 sqrt Add 1 Mul -1 Pow Mul acot Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 acot Add acos x0 Mul x0 acot acot Mul x0 Add x3 x0 -1 -1 