acsch Mul Pow Mul -3 sinh Mul x2 Add tan sqrt x0 -4 x0 pi 
Mul Mul -1 Mul pi Mul Pow Mul -3 sinh Mul x2 Add tan sqrt x0 -4 Add x0 -1 Add Mul x0 Mul -3 Mul cosh Mul x2 Add tan sqrt x0 -4 Mul x2 Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 Mul Mul -3 sinh Mul x2 Add tan sqrt x0 -4 log Mul -3 sinh Mul x2 Add tan sqrt x0 -4 Pow Mul Mul Mul Pow Mul -3 sinh Mul x2 Add tan sqrt x0 -4 x0 pi Mul Pow Mul -3 sinh Mul x2 Add tan sqrt x0 -4 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul -3 sinh Mul x2 Add tan sqrt x0 -4 x0 pi Mul Pow Mul -3 sinh Mul x2 Add tan sqrt x0 -4 x0 pi -1 -1 