atanh Mul Add x0 acoth log sin Mul asech x0 x4 x5 
Mul Mul x5 Add 1 Mul Mul Mul cos Mul asech x0 x4 Mul x4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sin Mul asech x0 x4 -1 Pow Add 1 Mul -1 Mul log sin Mul asech x0 x4 log sin Mul asech x0 x4 -1 Pow Add 1 Mul -1 Mul Mul Add x0 acoth log sin Mul asech x0 x4 x5 Mul Add x0 acoth log sin Mul asech x0 x4 x5 -1 