Mul 4 Pow exp Mul x4 exp x0 Add Add x2 pi tan cos acoth Add 1 x0 
Mul 4 Mul Pow exp Mul x4 exp x0 Add Add Add x2 pi tan cos acoth Add 1 x0 -1 Add Mul Add Add x2 pi tan cos acoth Add 1 x0 Mul exp Mul x4 exp x0 Mul x4 exp x0 Mul Mul exp Mul x4 exp x0 log exp Mul x4 exp x0 Mul Pow sec cos acoth Add 1 x0 2 Mul Mul -1 sin acoth Add 1 x0 Pow Add 1 Mul -1 Mul Add 1 x0 Add 1 x0 -1 