log Add -1 Mul x0 Mul Add 3 Mul asinh cos acoth x0 Mul 3 Mul x2 exp x3 x0 
Mul Add Mul Add 3 Mul asinh cos acoth x0 Mul 3 Mul x2 exp x3 x0 Mul x0 Add Mul x0 Mul Mul 3 Mul x2 exp x3 Mul Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul cos acoth x0 cos acoth x0 -1 Add 3 Mul asinh cos acoth x0 Mul 3 Mul x2 exp x3 Pow Add -1 Mul x0 Mul Add 3 Mul asinh cos acoth x0 Mul 3 Mul x2 exp x3 x0 -1 