asech sin Mul Add -4 x6 Mul acosh Pow Pow acot x0 Add pi x0 x0 exp Mul log E x0 
Mul Mul cos Mul Add -4 x6 Mul acosh Pow Pow acot x0 Add pi x0 x0 exp Mul log E x0 Mul Add -4 x6 Add Mul exp Mul log E x0 Mul Mul Pow Pow acot x0 Add pi x0 Add x0 -1 Add Mul x0 Mul Pow acot x0 Add Add pi x0 -1 Add Mul Add pi x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Mul Pow acot x0 Add pi x0 log Pow acot x0 Add pi x0 Pow Mul sqrt Add Pow Pow acot x0 Add pi x0 x0 -1 sqrt Add 1 Pow Pow acot x0 Add pi x0 x0 -1 Mul acosh Pow Pow acot x0 Add pi x0 x0 Mul exp Mul log E x0 log E Pow Mul Mul sin Mul Add -4 x6 Mul acosh Pow Pow acot x0 Add pi x0 x0 exp Mul log E x0 sin Mul Add -4 x6 Mul acosh Pow Pow acot x0 Add pi x0 x0 exp Mul log E x0 sqrt Add 1 Mul -1 Pow Mul sin Mul Add -4 x6 Mul acosh Pow Pow acot x0 Add pi x0 x0 exp Mul log E x0 sin Mul Add -4 x6 Mul acosh Pow Pow acot x0 Add pi x0 x0 exp Mul log E x0 -1 -1 