Mul x0 Pow Mul Mul sec x3 Mul Pow x0 x3 acsch x0 x0 atanh x0 
Add Pow Mul Mul sec x3 Mul Pow x0 x3 acsch x0 x0 atanh x0 Mul x0 Mul Pow Mul Mul sec x3 Mul Pow x0 x3 acsch x0 x0 Add atanh x0 -1 Add Mul atanh x0 Add Mul x0 Mul sec x3 Add Mul acsch x0 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul sec x3 Mul Pow x0 x3 acsch x0 Mul Mul Mul Mul sec x3 Mul Pow x0 x3 acsch x0 x0 log Mul Mul sec x3 Mul Pow x0 x3 acsch x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 