Mul -2 Pow Pow Add asinh x0 sinh x0 x6 tan sqrt pi 
Mul -2 Mul Pow Pow Add asinh x0 sinh x0 x6 Add tan sqrt pi -1 Mul tan sqrt pi Mul Pow Add asinh x0 sinh x0 Add x6 -1 Mul x6 Add Pow sqrt Add 1 Mul x0 x0 -1 cosh x0 