acosh Pow Pow atanh Pow pi x3 Mul cos x0 x0 x0 
Mul Mul Pow Pow atanh Pow pi x3 Mul cos x0 x0 Add x0 -1 Add Mul x0 Mul Pow atanh Pow pi x3 Add Mul cos x0 x0 -1 Mul Mul atanh Pow pi x3 log atanh Pow pi x3 Add Mul x0 Mul -1 sin x0 cos x0 Mul Pow atanh Pow pi x3 Mul cos x0 x0 log Pow atanh Pow pi x3 Mul cos x0 x0 Pow Mul sqrt Add Pow Pow atanh Pow pi x3 Mul cos x0 x0 x0 -1 sqrt Add 1 Pow Pow atanh Pow pi x3 Mul cos x0 x0 x0 -1 