Mul x4 Pow acosh pi Pow cos tan Mul atanh Pow Mul x7 E x0 -2 3 
Mul x4 Mul Pow acosh pi Add Pow cos tan Mul atanh Pow Mul x7 E x0 -2 3 -1 Mul Mul acosh pi log acosh pi Mul Pow cos tan Mul atanh Pow Mul x7 E x0 -2 2 Mul 3 Mul Mul -1 sin tan Mul atanh Pow Mul x7 E x0 -2 Mul Pow sec Mul atanh Pow Mul x7 E x0 -2 2 Mul -2 Mul Mul Pow Mul x7 E Add x0 -1 Mul Mul x7 E log Mul x7 E Pow Add 1 Mul -1 Mul Pow Mul x7 E x0 Pow Mul x7 E x0 -1 