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