Mul acosh Add Mul x0 x0 Pow sec tan acot x6 x0 Mul x0 pi 
Add Mul Mul x0 pi Mul Add Add x0 x0 Mul Pow sec tan acot x6 Add x0 -1 Mul sec tan acot x6 log sec tan acot x6 Pow Mul sqrt Add Add Mul x0 x0 Pow sec tan acot x6 x0 -1 sqrt Add 1 Add Mul x0 x0 Pow sec tan acot x6 x0 -1 Mul acosh Add Mul x0 x0 Pow sec tan acot x6 x0 pi 