acsch Mul 2 sec Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 
Mul Mul -1 Mul 2 Mul Mul tan Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 sec Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 Add Mul Add Pow atan x0 pi Pow asinh x0 x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul Pow atan x0 Add pi -1 Mul pi Pow Add 1 Mul x0 x0 -1 Mul Pow asinh x0 Add x3 -1 Mul x3 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul Mul 2 sec Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 Mul 2 sec Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul 2 sec Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 Mul 2 sec Mul acosh x0 Add Pow atan x0 pi Pow asinh x0 x3 -1 -1 