Add -0.500000000000000 acot asech Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 
Mul -1 Mul Mul Mul x4 Add 1 Mul Mul -1 Mul Add Mul sqrt x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Mul acot x0 sqrt x0 Mul acot x0 sqrt x0 -1 Pow Mul Mul atan Mul acot x0 sqrt x0 atan Mul acot x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul atan Mul acot x0 sqrt x0 atan Mul acot x0 sqrt x0 -1 -1 Pow Mul Mul Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 -1 -1 Pow Add 1 Mul asech Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 asech Mul x4 Add x0 Add x7 acsch atan Mul acot x0 sqrt x0 -1 