Add pi Mul acot Pow Add 2 E asec atanh x3 sin Add atanh x0 Mul x0 Mul cos E -4 
Mul acot Pow Add 2 E asec atanh x3 Mul cos Add atanh x0 Mul x0 Mul cos E -4 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cos E -4 