atanh acsch Add Mul x0 -3 4 
Mul Mul 4 Pow Mul Mul Add Mul x0 -3 4 Add Mul x0 -3 4 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 -3 4 Add Mul x0 -3 4 -1 -1 Pow Add 1 Mul -1 Mul acsch Add Mul x0 -3 4 acsch Add Mul x0 -3 4 -1 