atanh Mul Mul 5 x0 acsch sqrt Mul 4 Mul x0 x3 
Mul Add Mul acsch sqrt Mul 4 Mul x0 x3 5 Mul Mul 5 x0 Mul Mul -1 Mul Pow Mul 2 sqrt Mul 4 Mul x0 x3 -1 Mul 4 x3 Pow Mul Mul sqrt Mul 4 Mul x0 x3 sqrt Mul 4 Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul sqrt Mul 4 Mul x0 x3 sqrt Mul 4 Mul x0 x3 -1 -1 Pow Add 1 Mul -1 Mul Mul Mul 5 x0 acsch sqrt Mul 4 Mul x0 x3 Mul Mul 5 x0 acsch sqrt Mul 4 Mul x0 x3 -1 