Mul Mul Pow tan Add 1 Mul x0 Mul acoth Mul Mul x0 Mul x0 x0 acot x0 2 x0 x7 0.832352909060798 
Mul 0.832352909060798 Mul x7 Mul Pow tan Add 1 Mul x0 Mul acoth Mul Mul x0 Mul x0 x0 acot x0 2 Add x0 -1 Add Mul x0 Mul Pow sec Add 1 Mul x0 Mul acoth Mul Mul x0 Mul x0 x0 acot x0 2 2 Add Mul acoth Mul Mul x0 Mul x0 x0 acot x0 2 Mul x0 Mul 2 Mul Add Mul acot x0 Add Mul x0 x0 Mul x0 Add x0 x0 Mul Mul x0 Mul x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 Mul x0 x0 acot x0 Mul Mul x0 Mul x0 x0 acot x0 -1 Mul tan Add 1 Mul x0 Mul acoth Mul Mul x0 Mul x0 x0 acot x0 2 log tan Add 1 Mul x0 Mul acoth Mul Mul x0 Mul x0 x0 acot x0 2 