Pow acoth sec Mul x0 sec x0 Mul 5 E 
Mul Pow acoth sec Mul x0 sec x0 Add Mul 5 E -1 Mul Mul 5 E Mul Mul Mul tan Mul x0 sec x0 sec Mul x0 sec x0 Add sec x0 Mul x0 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec Mul x0 sec x0 sec Mul x0 sec x0 -1 