Mul x0 Pow exp cosh cbrt Pow acosh Add pi x0 2 acot x0 
Add Pow exp cosh cbrt Pow acosh Add pi x0 2 acot x0 Mul x0 Mul Pow exp cosh cbrt Pow acosh Add pi x0 2 Add acot x0 -1 Add Mul acot x0 Mul exp cosh cbrt Pow acosh Add pi x0 2 Mul sinh cbrt Pow acosh Add pi x0 2 Mul Pow Mul Mul 3 cbrt Pow acosh Add pi x0 2 cbrt Pow acosh Add pi x0 2 -1 Mul acosh Add pi x0 Mul 2 Pow Mul sqrt Add Add pi x0 -1 sqrt Add 1 Add pi x0 -1 Mul Mul exp cosh cbrt Pow acosh Add pi x0 2 log exp cosh cbrt Pow acosh Add pi x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 