Pow asec acosh Mul acot x0 x1 tan Mul x0 Mul x3 Add asinh pi asec x0 
Mul Pow asec acosh Mul acot x0 x1 Add tan Mul x0 Mul x3 Add asinh pi asec x0 -1 Add Mul tan Mul x0 Mul x3 Add asinh pi asec x0 Mul Mul Mul x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul acot x0 x1 -1 sqrt Add 1 Mul acot x0 x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Mul acot x0 x1 acosh Mul acot x0 x1 -1 acosh Mul acot x0 x1 acosh Mul acot x0 x1 -1 Mul Mul asec acosh Mul acot x0 x1 log asec acosh Mul acot x0 x1 Mul Pow sec Mul x0 Mul x3 Add asinh pi asec x0 2 Add Mul x3 Add asinh pi asec x0 Mul x0 Mul x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 